|
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 LocalVarDecl | |
escjava.ast | |
escjava.parser | |
escjava.translate | |
javafe.ast |
Uses of LocalVarDecl in escjava.ast |
Fields in escjava.ast declared as LocalVarDecl | |
LocalVarDecl |
VarDeclModifierPragma.decl
|
private LocalVarDecl[] |
LocalVarDeclVec.elements
* Instance fields: * * |
Methods in escjava.ast that return LocalVarDecl | |
LocalVarDecl |
LocalVarDeclVec.elementAt(int index)
* Other methods: * * |
LocalVarDecl[] |
LocalVarDeclVec.toArray()
|
LocalVarDecl |
LocalVarDeclVec.pop()
|
Methods in escjava.ast with parameters of type LocalVarDecl | |
static VarDeclModifierPragma |
VarDeclModifierPragma.make(int tag,
LocalVarDecl decl,
int loc,
int locId)
|
static LocalVarDeclVec |
LocalVarDeclVec.make(LocalVarDecl[] els)
|
void |
LocalVarDeclVec.setElementAt(LocalVarDecl x,
int index)
|
boolean |
LocalVarDeclVec.contains(LocalVarDecl x)
|
void |
LocalVarDeclVec.addElement(LocalVarDecl x)
|
boolean |
LocalVarDeclVec.removeElement(LocalVarDecl x)
|
void |
LocalVarDeclVec.insertElementAt(LocalVarDecl obj,
int index)
|
Constructors in escjava.ast with parameters of type LocalVarDecl | |
LocalVarDeclVec(LocalVarDecl[] els)
* Private constructors: * * |
Uses of LocalVarDecl in escjava.parser |
Subclasses of LocalVarDecl in escjava.parser | |
class |
OldVarDecl
|
Uses of LocalVarDecl in escjava.translate |
Fields in escjava.translate declared as LocalVarDecl | |
(package private) LocalVarDecl |
InvariantInfo.sdecl
|
Methods in escjava.translate that return LocalVarDecl | |
static LocalVarDecl |
UniqName.newBoundVariable(char prefix)
Returns a new bound variable for use in a quantificiation, where we do not wish to or cannot associate the variable with an existing VariableAccess. |
static LocalVarDecl |
UniqName.newBoundThis()
Returns a new bound variable for use in quantifying over "this" in an invariant. |
static LocalVarDecl |
UniqName.newBoundVariable(java.lang.String name)
Private routine to create a new bound variable for use in a quantificiation, where we do not wish to or cannot associate the variable with an existing VariableAccess. |
static LocalVarDecl |
UniqName.newIntermediateStateVar(VariableAccess v,
java.lang.String suffix)
Returns a new intermediate-state variable associated with an existing VariableAccess. |
static LocalVarDecl |
UniqName.newIntermediateStateVar(GenericVarDecl vd,
java.lang.String suffix)
|
Methods in escjava.translate with parameters of type LocalVarDecl | |
private VariableAccess |
Translate.initadorn(LocalVarDecl d)
Make a fresh "boolean" variable to hold the initialized status of a Java variable that is marked as "uninitialized". |
Uses of LocalVarDecl in javafe.ast |
Fields in javafe.ast declared as LocalVarDecl | |
LocalVarDecl |
VarDeclStmt.decl
|
Methods in javafe.ast that return LocalVarDecl | |
static LocalVarDecl |
LocalVarDecl.make(int modifiers,
ModifierPragmaVec pmodifiers,
Identifier id,
Type type,
int locId,
VarInit init,
int locAssignOp)
|
Methods in javafe.ast with parameters of type LocalVarDecl | |
java.lang.Object |
VisitorArgResult.visitLocalVarDecl(LocalVarDecl x,
java.lang.Object o)
|
void |
Visitor.visitLocalVarDecl(LocalVarDecl x)
|
static VarDeclStmt |
VarDeclStmt.make(LocalVarDecl decl)
|
void |
StandardPrettyPrint.print(java.io.OutputStream o,
int ind,
LocalVarDecl d,
boolean showBody)
|
abstract void |
PrettyPrint.print(java.io.OutputStream o,
int ind,
LocalVarDecl d,
boolean showBody)
|
java.lang.String |
PrettyPrint.toString(LocalVarDecl d,
boolean showBody)
|
void |
DelegatingPrettyPrint.print(java.io.OutputStream o,
int ind,
LocalVarDecl d,
boolean showBody)
|
void |
DefaultVisitor.visitLocalVarDecl(LocalVarDecl x)
|
|
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 |