public interface IProgramVariable extends TerminalProgramElement, Named, SortedOperator
Modifier and Type | Method and Description |
---|---|
KeYJavaType |
getKeYJavaType() |
KeYJavaType |
getKeYJavaType(Services javaServ) |
KeYJavaType |
getKeYJavaType(Services javaServ,
ExecutionContext ec) |
getComments, match
equalsModRenaming, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition, prettyPrint, visit
argSort, argSorts, sort
arity, bindVarsAt, isRigid, sort, validTopLevel
KeYJavaType getKeYJavaType()
KeYJavaType getKeYJavaType(Services javaServ)
KeYJavaType getKeYJavaType(Services javaServ, ExecutionContext ec)