Uses of Class
javafe.ast.LocalVarDecl

Packages that use LocalVarDecl

escjava.ast
escjava.parser
escjava.translate
javafe.ast
javafe.tc

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

VarDeclModifierPragma(int tag, LocalVarDecl decl, int loc, int locId)

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)
void	RShiftVisitor.visitLocalVarDecl(LocalVarDecl x)
abstract void	PrettyPrint.print(java.io.OutputStream o, int ind, LocalVarDecl d, boolean showBody)
java.lang.String	PrettyPrint.toString(LocalVarDecl d, boolean showBody)
void	LShiftVisitor.visitLocalVarDecl(LocalVarDecl x)
void	DelegatingPrettyPrint.print(java.io.OutputStream o, int ind, LocalVarDecl d, boolean showBody)
void	DefaultVisitor.visitLocalVarDecl(LocalVarDecl x)
void	ASTDotVisitor.visitLocalVarDecl(LocalVarDecl x)

Constructors in javafe.ast with parameters of type LocalVarDecl

VarDeclStmt(LocalVarDecl decl)

Uses of LocalVarDecl in javafe.tc

Methods in javafe.tc with parameters of type LocalVarDecl

protected Env

FlowInsensitiveChecks.checkVarDeclStmt(Env e, LocalVarDecl s)