| de.uka.ilkd.key.java.declaration.JavaDeclaration
 de.uka.ilkd.key.java.declaration.VariableDeclaration
de.uka.ilkd.key.java.declaration.LocalVariableDeclaration
| LocalVariableDeclaration | | public class LocalVariableDeclaration extends VariableDeclaration implements LoopInitializer(Code) | | Local variable declaration.
taken from COMPOST and changed to achieve an immutable structure
|
| Field Summary | |
| final protected ArrayOfVariableSpecification | varSpecs
Var specs. |
| varSpecs | | final protected ArrayOfVariableSpecification varSpecs(Code) | | Var specs.
|
| LocalVariableDeclaration | | public LocalVariableDeclaration()(Code) | | Local variable declaration.
|
| LocalVariableDeclaration | | public LocalVariableDeclaration(Modifier[] mods, TypeReference typeRef, VariableSpecification[] vars)(Code) | | Local variable declaration.
Parameters:
mods - a modifier array.
Parameters:
typeRef - a type reference.
Parameters:
vars - a variable specification array. |
| LocalVariableDeclaration | | public LocalVariableDeclaration(TypeReference typeRef, VariableSpecification var)(Code) | | Local variable declaration which declared exactly
one variable.
Parameters:
typeRef - a type reference.
Parameters:
var - the variable specification |
| LocalVariableDeclaration | | public LocalVariableDeclaration(ArrayOfModifier mods, TypeReference typeRef, VariableSpecification var)(Code) | | Local variable declaration.
Parameters:
mods - a modifier array.
Parameters:
typeRef - a type reference.
Parameters:
var - a variable specification . |
| LocalVariableDeclaration | | public LocalVariableDeclaration(ArrayOfModifier mods, TypeReference typeRef, VariableSpecification[] vars)(Code) | | Local variable declaration.
Parameters:
mods - a modifier array.
Parameters:
typeRef - a type reference.
Parameters:
vars - a variable specification array. |
| LocalVariableDeclaration | | public LocalVariableDeclaration(ExtList children)(Code) | | Local variable declaration.
Parameters:
children - an ExtList containing the children. May include: several VariableSpecification (specifying the declared local variable),a TypeReference (as reference to the type of the declared variable),several Modifier (taken as modifiers of the declaration), a Comment |
| getChildAt | | public ProgramElement getChildAt(int index)(Code) | | Returns the child at the specified index in this node's "virtual"
child array
Parameters:
index - an index into this node's "virtual" child array the program element at the given position
exception:
ArrayIndexOutOfBoundsException - if index is outof bounds |
| getChildCount | | public int getChildCount()(Code) | | Returns the number of children of this node.
an int giving the number of children of this node |
| getVariableSpecifications | | public ArrayOfVariableSpecification getVariableSpecifications()(Code) | | |
| getVariables | | public ArrayOfVariableSpecification getVariables()(Code) | | |
| isPrivate | | public boolean isPrivate()(Code) | | Local variables are never private.
|
| isProtected | | public boolean isProtected()(Code) | | Local variables are never protected..
|
| isPublic | | public boolean isPublic()(Code) | | Local variables are never "public".
|
| isStatic | | public boolean isStatic()(Code) | | Local variables are never static.
|
| isTransient | | public boolean isTransient()(Code) | | Local variables are never transient.
|
| visit | | public void visit(Visitor v)(Code) | | calls the corresponding method of a visitor in order to
perform some action/transformation on this element
Parameters:
v - the Visitor |
| Fields inherited from de.uka.ilkd.key.java.declaration.JavaDeclaration | final protected ArrayOfModifier modArray(Code)(Java Doc)
|
|
|