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

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