public interface Expression extends ProgramElement
Modifier and Type | Method and Description |
---|---|
KeYJavaType |
getKeYJavaType(Services javaServ,
ExecutionContext ec)
returns the
KeYJavaType of an expression |
getComments, match
equalsModRenaming, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition, prettyPrint, visit
KeYJavaType getKeYJavaType(Services javaServ, ExecutionContext ec)
KeYJavaType
of an expression