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, validTopLevelException
KeYJavaType getKeYJavaType()
KeYJavaType getKeYJavaType(Services javaServ)
KeYJavaType getKeYJavaType(Services javaServ, ExecutionContext ec)
Copyright © 2003-2019 The KeY-Project.