|
| |
|
| de.uka.ilkd.key.java.declaration.JavaDeclaration
 de.uka.ilkd.key.java.declaration.VariableDeclaration
de.uka.ilkd.key.java.declaration.ParameterDeclaration
| ParameterDeclaration | | public class ParameterDeclaration extends VariableDeclaration (Code) | | Formal parameters require a VariableSpecificationList of size() <= 1
(size() == 0 for abstract methods) without initializer (for Java).
|
| Field Summary | |
| final protected ArrayOfVariableSpecification | varSpec
Var spec. |
| varSpec | | final protected ArrayOfVariableSpecification varSpec(Code) | | Var spec.
|
| ParameterDeclaration | | public ParameterDeclaration()(Code) | | Parameter declaration.
|
| ParameterDeclaration | | public ParameterDeclaration(Modifier[] mods, TypeReference typeRef, VariableSpecification var, boolean parentIsInterfaceDeclaration)(Code) | | Parameter declaration.
Parameters:
mods - a modifier array.
Parameters:
typeRef - a type reference.
Parameters:
var - the VariableSpecification belonging to this parameter declaration.
Parameters:
parentIsInterfaceDeclaration - a boolean set true iffthe parent is an InterfaceDeclaration |
| ParameterDeclaration | | public ParameterDeclaration(ExtList children, boolean parentIsInterfaceDeclaration)(Code) | | Parameter declaration.
Parameters:
children - an ExtList of children. May contain: a VariableSpecification (specifying the parameter)a TypeReference (as reference to the type of the declared variable)several Modifier (taken as modifiers of the declaration), a Comment
Parameters:
parentIsInterfaceDeclaration - a boolean set true iffthe parent is an InterfaceDeclaration |
| 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 |
| getVariables | | public ArrayOfVariableSpecification getVariables()(Code) | | |
| isPrivate | | public boolean isPrivate()(Code) | | Parameters are never private.
|
| isProtected | | public boolean isProtected()(Code) | | Parameters are never protected..
|
| isPublic | | public boolean isPublic()(Code) | | Parameters are never "public".
|
| isStatic | | public boolean isStatic()(Code) | | Parameters are never static.
|
| isTransient | | public boolean isTransient()(Code) | | Parameters 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)
|
|
|
|