| de.uka.ilkd.key.java.declaration.VariableSpecification de.uka.ilkd.key.java.declaration.FieldSpecification
All known Subclasses: de.uka.ilkd.key.java.declaration.ImplicitFieldSpecification,
FieldSpecification | public FieldSpecification()(Code) | | Field specification.
|
FieldSpecification | public FieldSpecification(ProgramVariable var, Type type)(Code) | | Field specification.
Parameters: var - the ProgramVariable representing this concrete field Parameters: type - the Type of this field |
FieldSpecification | public FieldSpecification(ProgramVariable var, Expression init, Type type)(Code) | | Field specification.
Parameters: var - the ProgramVariable representing this concrete field Parameters: init - the Expression the field is initialised with. Parameters: type - the Type of this field |
FieldSpecification | public FieldSpecification(ProgramVariable var, int dimensions, Expression init, Type type)(Code) | | Field specification.
Parameters: var - the ProgramVariable representing this concrete field Parameters: dimensions - an int defining the dimension Parameters: init - the Expression the field is initialised with. Parameters: type - the Type of this field |
FieldSpecification | public FieldSpecification(ExtList children, ProgramVariable var, int dimensions, Type type)(Code) | | Field specification.
Parameters: children - an ExtList with the children.May contain:an Expression (as initializer of the variable)a ProgramElementName (as name of the variable)a Comment Parameters: var - the ProgramVariable representing this concrete field Parameters: dimensions - an int defining the dimension Parameters: type - the Type of this field |
getProgramName | public String getProgramName()(Code) | | returns the name of the field as used in programs. In the logic
each field has a unique name which is composed by the class name where
it is declared and its source code name
returns the name of the field as used in programs |
isPrivate | public boolean isPrivate()(Code) | | Test whether the declaration is private.
|
isProtected | public boolean isProtected()(Code) | | Test whether the declaration is protected.TO BE IMPLEMENTED
|
isPublic | public boolean isPublic()(Code) | | Test whether the declaration is public.TO BE IMPLEMENTED
|
isStatic | public boolean isStatic()(Code) | | Test whether the declaration is static.
|
isStrictFp | public boolean isStrictFp()(Code) | | Test whether the declaration is strictFp.TO BE IMPLEMENTED
|
isTransient | public boolean isTransient()(Code) | | Test whether the declaration is transient.TO BE IMPLEMENTED
|
isVolatile | public boolean isVolatile()(Code) | | Test whether the declaration is volatile.TO BE IMPLEMENTED
|
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 |
|
|