| java.lang.Object
 de.uka.ilkd.key.logic.op.TermSymbol
de.uka.ilkd.key.logic.op.ProgramVariable
All known Subclasses: de.uka.ilkd.key.logic.op.LocationVariable, de.uka.ilkd.key.logic.op.ProgramConstant,
| arity | | public int arity()(Code) | | arity of the Variable as int |
| equalsModRenaming | | public boolean equalsModRenaming(SourceElement se, NameAbstractionTable nat)(Code) | | equals modulo renaming is described in the corresponding
comment in class SourceElement. In this case two
programvariables are considered to be equal if they are
assigned to the same abstract name or if they are the same
object.
|
| getAnnotationCount | | public int getAnnotationCount()(Code) | | |
| getContainerType | | public KeYJavaType getContainerType()(Code) | | returns the KeYJavaType where the program variable is declared or
null if the program variable denotes not a field
|
| getEndPosition | | public Position getEndPosition()(Code) | | Returns the end position of the primary token of this element.
To get the end position of the syntactical first token,
call the corresponding method of getLastElement().
the end position of the primary token. |
| getReferencePrefix | | public ReferencePrefix getReferencePrefix()(Code) | | We do not have a prefix, so fake it!
This way we implement ReferencePrefix
author:
VK |
| getRelativePosition | | public Position getRelativePosition()(Code) | | Returns the relative position (number of blank heading lines and
columns) of the primary token of this element.
To get the relative position of the syntactical first token,
call the corresponding method of getFirstElement().
the relative position of the primary token. |
| getStartPosition | | public Position getStartPosition()(Code) | | Returns the start position of the primary token of this element.
To get the start position of the syntactical first token,
call the corresponding method of getFirstElement().
the start position of the primary token. |
| id | | public long id()(Code) | | returns unique id %%%% HACK
|
| isGhost | | public boolean isGhost()(Code) | | returns true if the program variable has been declared as ghost
|
| isImplicit | | public boolean isImplicit()(Code) | | |
| isMember | | public boolean isMember()(Code) | | returns true if the program variable is a member
|
| isModel | | public boolean isModel()(Code) | | |
| isStatic | | public boolean isStatic()(Code) | | returns true if the program variable has been declared as static
|
|
|