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

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

The ESC/Java2 Project Homepage