public interface IObserverFunction extends SortedOperator
Modifier and Type | Method and Description |
---|---|
KeYJavaType |
getContainerType()
Returns the container type of this symbol; for non-static observer
symbols, this corresponds to the sort of its second argument.
|
int |
getHeapCount(Services services)
Check the heap count of the declaration, e.g. the base heap and extra heap.
|
int |
getNumParams()
Gives the number of parameters of the observer symbol.
|
KeYJavaType |
getParamType(int i)
Gives the type of the i-th parameter of this observer symbol.
|
ImmutableArray<KeYJavaType> |
getParamTypes()
Returns the parameter types of this observer symbol.
|
int |
getStateCount()
Check the state count of the declaration (no_state = 0, two_state = 2, 1 otherwise).
|
KeYJavaType |
getType()
Returns the result type of this symbol.
|
boolean |
isStatic()
Tells whether the observer symbol is static.
|
argSort, argSorts, sort
arity, bindVarsAt, isRigid, sort, validTopLevel
KeYJavaType getType()
KeYJavaType getContainerType()
boolean isStatic()
int getStateCount()
int getHeapCount(Services services)
int getNumParams()
KeYJavaType getParamType(int i)
ImmutableArray<KeYJavaType> getParamTypes()