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

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