|
ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Token | |
escjava.parser | |
javafe.parser |
Uses of Token in escjava.parser |
Subclasses of Token in escjava.parser | |
class |
EscPragmaLex
This lexer overrides Lex.scanJavaExtensions(int) to
support "informal predicates". |
Methods in escjava.parser with parameters of type Token | |
void |
EscPragmaParser.savePragma(Token d)
|
boolean |
EscPragmaParser.getPragma(Token dst)
|
boolean |
EscPragmaParser.getNextPragma(Token dst)
Parse the next pragma, putting information about it in the provided token dst , and return a flag indicating if there are further pragmas to
be parsed.
|
boolean |
EscPragmaParser.getNextPragmaHelper(Token dst)
|
private void |
EscPragmaParser.continuePragma(Token dst)
|
boolean |
EscPragmaParser.parseDeclaration(Token dst,
int loc,
int kwtag)
Parses a declaration that appears in a ghost or model annotation - can be a ghost or model field or a model method or constructor. |
boolean |
EscPragmaParser.parseTypeDeclTail(Token dst,
int loc)
|
boolean |
EscPragmaParser.parseFieldDeclTail(Token dst,
int loc,
int locId,
Type type,
Identifier id,
ModifierPragmaVec modifierPragmas)
|
boolean |
EscPragmaParser.parseConstructorDeclTail(Token dst,
int loc,
Type type,
int locType,
ModifierPragmaVec modifierPragmas)
|
boolean |
EscPragmaParser.parseMethodDeclTail(Token dst,
int loc,
Type type,
int locType,
Identifier id,
int locId,
ModifierPragmaVec modifierPragmas)
|
FieldDecl |
EscPragmaParser.isPragmaDecl(Token l)
|
private boolean |
EscPragmaParser.parseInPragmas(int tag,
int loc,
Token dst,
boolean first)
|
boolean |
ErrorPragmaParser.getNextPragma(Token dst)
Produce no actual pragmas. |
FieldDecl |
ErrorPragmaParser.isPragmaDecl(Token l)
|
Uses of Token in javafe.parser |
Subclasses of Token in javafe.parser | |
class |
Lex
A Lex object generates a sequence of Java "input elements" (that is, tokens) by converting the sequence of input characters and line terminators generated by an underlying CorrelatedReader .
|
Fields in javafe.parser declared as Token | |
private Token[] |
TokenQueue.toks
Contents of queue tokens. |
protected Token |
Lex.savedState
|
Methods in javafe.parser that return Token | |
Token |
TokenQueue.elementAt(int n)
Returns n th element in token queue.
|
Token |
Token.copyInto(Token dst)
Copy all the fields of this into
dst . |
Token |
Lex.lookaheadToken(int k)
|
Methods in javafe.parser with parameters of type Token | |
void |
TokenQueue.setElementAt(int n,
Token t)
|
void |
TokenQueue.dequeue(Token dst)
Removes head of token queue. |
void |
TokenQueue.enqueue(Token td)
Pushes a token onto the lookahead queue. |
Token |
Token.copyInto(Token dst)
Copy all the fields of this into
dst . |
FieldDecl |
PragmaParser.isPragmaDecl(Token l)
|
boolean |
PragmaParser.getNextPragma(Token destination)
Parse the next pragma. |
void |
Lex.replaceLookaheadToken(int k,
Token t)
|
|
ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
PREV NEXT | FRAMES NO FRAMES |