public abstract class MethodSymbol extends ParamSymbol implements GlobalSymbol
Modifier and Type | Method and Description |
---|---|
Type |
getLogicReturnType()
Get logic return type of the method.
|
TypeExpression |
getReturnType()
Get return type of the method.
|
getArgumentTypes, getBodyJudgement, getCall, getClassSymbol, getDeclaration, getLoops, getObligations, getOptional, getParameterArray, getParams, getPreconditions, getPreMap, getRecursion, getSatisfies, getSpecification, getTCCs, reset, setBodyJudgement, setCall, setPreMap, setRecursion, setSatisfies, setSpecification
getLongName
getName
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getLongName
getDeclaration, getName, print
public TypeExpression getReturnType()
public Type getLogicReturnType()