public final class LocationVariable extends ProgramVariable implements UpdateableOperator
Constructor and Description |
---|
LocationVariable(ProgramElementName name,
KeYJavaType t) |
LocationVariable(ProgramElementName name,
KeYJavaType t,
boolean isFinal) |
LocationVariable(ProgramElementName name,
KeYJavaType t,
boolean isGhost,
boolean isFinal) |
LocationVariable(ProgramElementName name,
KeYJavaType t,
KeYJavaType containingType,
boolean isStatic,
boolean isModel) |
LocationVariable(ProgramElementName name,
KeYJavaType t,
KeYJavaType containingType,
boolean isStatic,
boolean isModel,
boolean isGhost,
boolean isFinal) |
LocationVariable(ProgramElementName name,
Sort s) |
Modifier and Type | Method and Description |
---|---|
UpdateableOperator |
rename(Name name)
Returns an equivalent variable with the new name.
|
void |
visit(Visitor v)
calls the corresponding method of a visitor in order to
perform some action/transformation on this element
|
convertToProgram, equalsModRenaming, getComments, getContainerType, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getKeYJavaType, getKeYJavaType, getKeYJavaType, getLastElement, getPositionInfo, getProgramElementName, getReferencePrefix, getRelativePosition, getStartPosition, isFinal, isGhost, isImplicit, isMember, isModel, isStatic, match, prettyPrint, proofToString
additionalValidTopLevel, additionalValidTopLevel2, argSort, argSorts, sort, sort
arity, bindVarsAt, isRigid, name, toString, validTopLevel, whereToBind
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
argSort, argSorts, sort
arity, bindVarsAt, isRigid, sort, validTopLevel
public LocationVariable(ProgramElementName name, KeYJavaType t, KeYJavaType containingType, boolean isStatic, boolean isModel, boolean isGhost, boolean isFinal)
public LocationVariable(ProgramElementName name, KeYJavaType t, KeYJavaType containingType, boolean isStatic, boolean isModel)
public LocationVariable(ProgramElementName name, KeYJavaType t)
public LocationVariable(ProgramElementName name, KeYJavaType t, boolean isFinal)
public LocationVariable(ProgramElementName name, KeYJavaType t, boolean isGhost, boolean isFinal)
public LocationVariable(ProgramElementName name, Sort s)
public void visit(Visitor v)
SourceElement
visit
in interface SourceElement
visit
in class ProgramVariable
v
- the Visitorpublic UpdateableOperator rename(Name name)
ProgramVariable
rename
in class ProgramVariable
name
- the new name