Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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

## Uses of Class
javafe.parser.Token

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)`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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

The ESC/Java2 Project Homepage