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

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 nth 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

The ESC/Java2 Project Homepage