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.ast.Identifier

Packages that use Identifier
escjava.ast   
escjava.parser   
escjava.reader   
escjava.tc   
escjava.translate   
javafe.ast   
javafe.parser   
javafe.reader   
javafe.tc   
 

Uses of Identifier in escjava.ast
 

Fields in escjava.ast declared as Identifier
static Identifier TagConstants.ExsuresIdnName
           
private static Identifier[] TagConstants.jmlkeywords
           
private static Identifier[] TagConstants.esckeywords
           
 Identifier StillDeferredDeclPragma.var
           
 Identifier ReachModifierPragma.id
           
 Identifier NaryExpr.methodName
           
 Identifier MapsExprModifierPragma.id
           
 Identifier LabelExpr.label
           
 Identifier IdExprDeclPragma.id
           
 Identifier IdentifierModifierPragma.id
           
 Identifier DefPredApplExpr.predId
           
 Identifier DefPred.predId
           
 

Methods in escjava.ast that return Identifier
 Identifier MapsExprModifierPragma.id()
           
 Identifier DerivedMethodDecl.getId()
           
 

Methods in escjava.ast with parameters of type Identifier
static int TagConstants.fromIdentifier(Identifier keyword)
           
static StillDeferredDeclPragma StillDeferredDeclPragma.make(Identifier var, int loc, int locId)
           
static ReachModifierPragma ReachModifierPragma.make(Expr expr, Identifier id, IdentifierVec storerefs, int loc)
           
static NaryExpr NaryExpr.make(int sloc, int eloc, int op, Identifier methodName, ExprVec exprs)
           
static MapsExprModifierPragma MapsExprModifierPragma.make(int tag, Identifier id, Expr mapsexpr, int loc, Expr expr)
           
static LabelExpr LabelExpr.make(int sloc, int eloc, boolean positive, Identifier label, Expr expr)
           
static IdExprDeclPragma IdExprDeclPragma.make(int tag, Identifier id, Expr expr, int modifiers, int loc, int locId)
           
static IdentifierModifierPragma IdentifierModifierPragma.make(int tag, Identifier id, int loc)
           
static DefPredApplExpr DefPredApplExpr.make(Identifier predId, ExprVec args)
           
static DefPred DefPred.make(Identifier predId, GenericVarDeclVec args, Expr body)
           
 

Uses of Identifier in escjava.parser
 

Methods in escjava.parser with parameters of type Identifier
static OldVarDecl OldVarDecl.make(Identifier id, Type type, int locId, VarInit init, int locAssignOp)
           
private  void EscPragmaParser.eatSemiColon(Identifier kw)
          Eat the next token if it is a semi-colon and, if the next token is a pragma (not EOF, thus not the end of the pragma) then issue an error message indicating that the specified identifier must be semi-colon terminated if it is followed by more pragmas.
protected  TypeDeclElem EscPragmaParser.parseTypeDeclElemIntoSeqTDE(Lex l, int keyword, Identifier containerId, boolean specOnly)
           
 boolean EscPragmaParser.parseFieldDeclTail(Token dst, int loc, int locId, Type type, Identifier id, ModifierPragmaVec modifierPragmas)
           
 boolean EscPragmaParser.parseMethodDeclTail(Token dst, int loc, Type type, int locType, Identifier id, int locId, ModifierPragmaVec modifierPragmas)
           
 

Uses of Identifier in escjava.reader
 

Methods in escjava.reader with parameters of type Identifier
(package private)  java.util.ArrayList RefinementCachedReader.getRefinementSequence(java.lang.String[] pkgStrings, Identifier type, CompilationUnit cu, boolean avoidSpec)
           
 

Uses of Identifier in escjava.tc
 

Methods in escjava.tc with parameters of type Identifier
 boolean TypeSig.hasField(Identifier id)
           
 FieldDecl TypeSig.lookupField(Identifier id, TypeSig caller)
           
protected  boolean PrepTypeDeclaration.declaresField(TypeSig sig, Identifier id)
           
private  boolean PrepTypeDeclaration.declaresField(TypeSig sig, Identifier id, int n)
           
protected  boolean GhostEnv.hasField(Identifier id)
          Override to make ghost fields visible if FlowInsensitiveChecks.inAnnotation is true.
 TypeSig EnvForGhostLocals.lookupSimpleTypeName(TypeSig caller, Identifier id, int loc)
          Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes.
 ASTNode EnvForGhostLocals.locateFieldOrLocal(Identifier id)
          Locate the lexically innermost field or local variable declaration.
 TypeSig EnvForGhostLocals.locateMethod(Identifier id)
          Locate the lexically innermost method named id.
 

Uses of Identifier in escjava.translate
 

Fields in escjava.translate declared as Identifier
private  Identifier Translate.cacheVar
           
private static Identifier Frame.thisId
          A precomputed Identifier for 'this', to be used in constructing Expressions.
 

Methods in escjava.translate that return Identifier
static Identifier TrAnExpr.fullName(RoutineDecl rd, boolean useSuper)
           
static Identifier TrAnExpr.representsMethodName(java.lang.Object pt)
           
private static Identifier InlineConstructor.uniquifyName(java.lang.String s)
           
private static Identifier InlineConstructor.uniquifyName(Identifier i)
           
static Identifier GC.makeLabel(java.lang.String name, int locPragmaDecl, int auxLoc, int locUse)
           
static Identifier GC.makeLabel(java.lang.String name, int locPragmaDecl, int locUse)
           
static Identifier GC.makeFullLabel(java.lang.String name, int locPragmaDecl, int locUse)
           
 

Methods in escjava.translate with parameters of type Identifier
private static java.lang.String Suggestion.name(Identifier id, int loc)
           
private static void InlineConstructor.createMethodDecl(MethodDecl md, TypeDecl td, ConstructorDecl cd, Identifier newThis, int count)
           
private static Identifier InlineConstructor.uniquifyName(Identifier i)
           
static VariableAccess GC.makeVar(Identifier name, int locId)
           
static VariableAccess GC.makeVar(Identifier name)
           
static Expr GC.nary(Identifier id, ExprVec ev)
           
static Expr GC.nary(Identifier id, Expr e)
           
static Expr GC.nary(Identifier id, Expr e1, Expr e2)
           
static Expr GC.nary(int sloc, int eloc, Identifier id, ExprVec ev)
           
 

Uses of Identifier in javafe.ast
 

Fields in javafe.ast declared as Identifier
 Identifier VariableAccess.id
           
 Identifier TypeDecl.id
           
 Identifier SimpleName.id
           
 Identifier MethodInvocation.id
           
 Identifier MethodDecl.id
           
 Identifier LabelStmt.label
           
private  Identifier[] IdentifierVec.elements
          * Instance fields: * *
 Identifier IdentifierNode.id
          The wrapped Identifier
private static Identifier[][] Identifier.chains
          Table containing every instance of Identifier created.
 Identifier GenericVarDecl.id
           
 Identifier FieldAccess.id
           
 Identifier BranchStmt.label
           
 

Methods in javafe.ast that return Identifier
 Identifier SimpleName.identifierAt(int i)
          Return the ith identifier of this.
abstract  Identifier RoutineDecl.id()
           
abstract  Identifier Name.identifierAt(int i)
          Return the ith identifier of this.
 Identifier MethodDecl.id()
           
 Identifier IdPragma.id()
           
 Identifier IdentifierVec.elementAt(int index)
          * Other methods: * *
 Identifier[] IdentifierVec.toArray()
           
 Identifier IdentifierVec.pop()
           
static Identifier Identifier.intern(java.lang.String s)
          Returns the Identifier associated with s.
(package private) static Identifier Identifier.intern(char[] text, int textlen, int hashcode)
          Intern a sequence of characters with a pre-computed hashcode.
private static Identifier Identifier.slowFind(java.lang.String s)
          Used by check; checks for duplicates.
 Identifier ConstructorDecl.id()
           
 Identifier CompoundName.identifierAt(int i)
          Return the ith identifier of this.
static Identifier _SpecialParserInterface.intern(char[] text, int textlen, int hashcode)
          Intern a sequence of characters with a pre-computed hashcode.
 

Methods in javafe.ast with parameters of type Identifier
static VariableAccess VariableAccess.make(Identifier id, int loc, GenericVarDecl decl)
           
 void StandardPrettyPrint.print(java.io.OutputStream o, int ind, TypeDeclElem d, Identifier classId, boolean showBody)
           
static SimpleName SimpleName.make(Identifier id, int loc)
           
abstract  void PrettyPrint.print(java.io.OutputStream o, int ind, TypeDeclElem d, Identifier classId, boolean showBody)
          Print a member or static initializer of a type declaration.
static MethodInvocation MethodInvocation.make(ObjectDesignator od, Identifier id, TypeModifierPragmaVec tmodifiers, int locId, int locOpenParen, ExprVec args)
           
static MethodDecl MethodDecl.make(int modifiers, ModifierPragmaVec pmodifiers, TypeModifierPragmaVec tmodifiers, FormalParaDeclVec args, TypeNameVec raises, BlockStmt body, int locOpenBrace, int loc, int locId, int locThrowsKeyword, Identifier id, Type returnType, int locType)
           
static LocalVarDecl LocalVarDecl.make(int modifiers, ModifierPragmaVec pmodifiers, Identifier id, Type type, int locId, VarInit init, int locAssignOp)
           
static LabelStmt LabelStmt.make(Identifier label, Stmt stmt, int locId)
           
static InterfaceDecl InterfaceDecl.make(int modifiers, ModifierPragmaVec pmodifiers, Identifier id, TypeNameVec superInterfaces, TypeModifierPragmaVec tmodifiers, TypeDeclElemVec elems, int loc, int locId, int locOpenBrace, int locCloseBrace)
           
static IdentifierVec IdentifierVec.make(Identifier[] els)
           
 void IdentifierVec.setElementAt(Identifier x, int index)
           
 boolean IdentifierVec.contains(Identifier x)
           
 void IdentifierVec.addElement(Identifier x)
           
 boolean IdentifierVec.removeElement(Identifier x)
           
 void IdentifierVec.insertElementAt(Identifier obj, int index)
           
static IdentifierNode IdentifierNode.make(Identifier id)
          Creates a IdentifierNode object given an Identifier
static FormalParaDecl FormalParaDecl.make(int modifiers, ModifierPragmaVec pmodifiers, Identifier id, Type type, int locId)
           
static FieldDecl FieldDecl.make(int modifiers, ModifierPragmaVec pmodifiers, Identifier id, Type type, int locId, VarInit init, int locAssignOp)
           
static FieldAccess FieldAccess.make(ObjectDesignator od, Identifier id, int locId)
           
 void DelegatingPrettyPrint.print(java.io.OutputStream o, int ind, TypeDeclElem d, Identifier classId, boolean showBody)
           
static ContinueStmt ContinueStmt.make(Identifier label, int loc)
           
static ClassDecl ClassDecl.make(int modifiers, ModifierPragmaVec pmodifiers, Identifier id, TypeNameVec superInterfaces, TypeModifierPragmaVec tmodifiers, TypeDeclElemVec elems, int loc, int locId, int locOpenBrace, int locCloseBrace, TypeName superClass)
           
static BreakStmt BreakStmt.make(Identifier label, int loc)
           
static int _SpecialParserInterface.getTokenType(Identifier id)
          Return the hidden "token type" field of id.
static void _SpecialParserInterface.setTokenType(Identifier id, int tokenType)
          Set the hidden "token type" field of id.
 

Constructors in javafe.ast with parameters of type Identifier
IdentifierVec(Identifier[] els)
          * Private constructors: * *
 

Uses of Identifier in javafe.parser
 

Fields in javafe.parser declared as Identifier
 Identifier Token.identifierVal
          Identifier represented by the token.
 

Methods in javafe.parser that return Identifier
 Identifier ParseType.parseIdentifier(Lex l)
          Parse an Identifier.
 

Methods in javafe.parser with parameters of type Identifier
(package private) abstract  TypeDeclElem ParseExpr.parseTypeDeclElemIntoSeqTDE(Lex l, int keyword, Identifier containerId, boolean specOnly)
          Parse an element of a type declaration into "seq".
protected  TypeDeclElem Parse.parseTypeDeclElemIntoSeqTDE(Lex l, int keyword, Identifier containerId, boolean specOnly)
          Parse a TypeDeclElem, which is either a field, method, or constructor declaration, a static block, or a TypeDecl [1.1].
 

Uses of Identifier in javafe.reader
 

Fields in javafe.reader declared as Identifier
private  Identifier ASTClassFileParser.classIdentifier
          The identifier of the class being parsed.
 

Methods in javafe.reader that return Identifier
private static Identifier ASTClassFileParser.getNameTerminal(Name name)
          Return the terminal identifier of a given name.
 

Uses of Identifier in javafe.tc
 

Fields in javafe.tc declared as Identifier
protected static Identifier Types.lenId
           
 

Methods in javafe.tc with parameters of type Identifier
 TypeSig TypeSig.lookupType(TypeSig caller, Identifier id, int loc)
          Do we have a type member named id (including inherited type members)?
 TypeSig TypeSig.lookupLocalType(TypeSig caller, Identifier id)
          Do we have a type member named id (*not* including inherited type members)?
 FieldDecl TypeSig.lookupField(Identifier id, TypeSig caller)
          TBW
 boolean TypeSig.hasField(Identifier id)
          TBW
 MethodDecl TypeSig.hasMethod(Identifier id, Type[] args)
           
 MethodDecl TypeSig.lookupMethod(Identifier id, Type[] args, TypeSig caller)
          TBW
static FieldDecl Types.lookupField(Type t, Identifier id, TypeSig caller)
           
protected  FieldDecl Types.lookupFieldInstance(Type t, Identifier id, TypeSig caller)
           
static MethodDecl Types.lookupMethod(Type t, Identifier id, Type[] args, TypeSig caller)
           
protected  MethodDecl Types.lookupMethodInstance(Type t, Identifier id, Type[] args, TypeSig caller)
           
protected  boolean PrepTypeDeclaration.declaresFieldJava(TypeSig sig, Identifier id)
          Check if a type declares a field.
private  MethodDecl PrepTypeDeclaration.declaresMethod(TypeSig sig, Identifier id, Type[] argTypes)
          Check if a type declares a method.
 TypeSig EnvForTypeSig.lookupSimpleTypeName(TypeSig caller, Identifier id, int loc)
          Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes.
 ASTNode EnvForTypeSig.locateFieldOrLocal(Identifier id)
          Locate the lexically innermost field or local variable declaration.
 boolean EnvForTypeSig.isDuplicate(Identifier id)
           
 TypeSig EnvForTypeSig.locateMethod(Identifier id)
          Locate the lexically innermost method named id.
protected  boolean EnvForTypeSig.hasField(Identifier id)
          This is to allow overriding by subclasses
protected  boolean EnvForTypeSig.hasMethod(Identifier id)
           
 TypeSig EnvForLocalType.lookupSimpleTypeName(TypeSig caller, Identifier id, int loc)
          Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes.
 ASTNode EnvForLocalType.locateFieldOrLocal(Identifier id)
          Locate the lexically innermost field or local variable declaration.
 boolean EnvForLocalType.isDuplicate(Identifier id)
          Inside a local class declaration we may reuse identifiers, so we stop checking for duplicate variables at this point.
 TypeSig EnvForLocalType.locateMethod(Identifier id)
          Locate the lexically innermost method named id.
 TypeSig EnvForLocals.lookupSimpleTypeName(TypeSig caller, Identifier id, int loc)
          Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes.
 ASTNode EnvForLocals.locateFieldOrLocal(Identifier id)
          Locate the lexically innermost field or local variable declaration.
 boolean EnvForLocals.isDuplicate(Identifier id)
           
 TypeSig EnvForLocals.locateMethod(Identifier id)
          Locate the lexically innermost method named id.
 TypeSig EnvForEnclosedScope.lookupSimpleTypeName(TypeSig caller, Identifier id, int loc)
          Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes.
 ASTNode EnvForEnclosedScope.locateFieldOrLocal(Identifier id)
          Locate the lexically innermost field or local variable declaration.
 boolean EnvForEnclosedScope.isDuplicate(Identifier id)
           
 TypeSig EnvForEnclosedScope.locateMethod(Identifier id)
          Locate the lexically innermost method named id.
 ASTNode EnvForCU.locateFieldOrLocal(Identifier id)
          Locate the lexically innermost field or local variable declaration.
 boolean EnvForCU.isDuplicate(Identifier id)
           
 TypeSig EnvForCU.lookupSimpleTypeName(TypeSig caller, Identifier id, int loc)
          Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes.
 TypeSig EnvForCU.locateMethod(Identifier id)
          Locate the lexically innermost method named id.
abstract  TypeSig Env.lookupSimpleTypeName(TypeSig caller, Identifier id, int loc)
          Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes.
abstract  ASTNode Env.locateFieldOrLocal(Identifier id)
          Locate the lexically innermost field or local variable declaration with a given name.
 boolean Env.isDuplicate(Identifier id)
           
abstract  TypeSig Env.locateMethod(Identifier id)
          Locate the lexically innermost method named id.
 


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