|
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 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 |
||||||||||
PREV NEXT | FRAMES NO FRAMES |