de.uka.ilkd.key.logic.op

Interface IProgramVariable

All Superinterfaces:

ModelElement, Named, Operator, ProgramElement, SortedOperator, SourceElement, SVSubstitute, TerminalProgramElement

All Known Subinterfaces:

ProgramConstruct

All Known Implementing Classes:

LocationVariable, ProgramConstant, ProgramSV, ProgramVariable

public interface IProgramVariable
extends TerminalProgramElement, Named, SortedOperator

Method Summary

Modifier and Type	Method and Description
KeYJavaType	getKeYJavaType()
KeYJavaType	getKeYJavaType(Services javaServ)
KeYJavaType	getKeYJavaType(Services javaServ, ExecutionContext ec)

Methods inherited from interface de.uka.ilkd.key.java.ProgramElement

getComments, match

Methods inherited from interface de.uka.ilkd.key.java.SourceElement

equalsModRenaming, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition, prettyPrint, visit

Methods inherited from interface de.uka.ilkd.key.logic.op.SortedOperator

argSort, argSorts, sort

Methods inherited from interface de.uka.ilkd.key.logic.op.Operator

arity, bindVarsAt, isRigid, sort, validTopLevel

Methods inherited from interface de.uka.ilkd.key.logic.Named

name

Method Detail

getKeYJavaType

KeYJavaType getKeYJavaType()

getKeYJavaType

KeYJavaType getKeYJavaType(Services javaServ)

getKeYJavaType

KeYJavaType getKeYJavaType(Services javaServ,
                           ExecutionContext ec)