public final class ObjectMethodSymbol extends MethodSymbol
Modifier and Type | Method and Description |
---|---|
static ObjectMethodSymbol |
construct(ClassSymbol csymbol,
Identifier name,
Parameter[] params,
TypeExpression[] atypes,
TypeExpression rtype,
ObjectMethodDeclaration decl,
ErrorStream error)
Construct object method symbol from declaration (NULL, in case of error).
|
ObjectMethodDeclaration |
getDeclaration()
Get declaration of method.
|
void |
print(java.io.PrintWriter out)
Print symbol on output stream.
|
getLogicReturnType, getReturnType
getArgumentTypes, getBodyJudgement, getCall, getClassSymbol, 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
public static ObjectMethodSymbol construct(ClassSymbol csymbol, Identifier name, Parameter[] params, TypeExpression[] atypes, TypeExpression rtype, ObjectMethodDeclaration decl, ErrorStream error)
csymbol
- the symbol of the class holding the declaration.name
- the name of the symbol.params
- the parameters.atypes
- the argument types of its arguments.rtype
- the return type.decl
- the declaration introducing the symbol.error
- the stream to be used for printing errors.public ObjectMethodDeclaration getDeclaration()
getDeclaration
in interface Symbol
getDeclaration
in class ParamSymbol
public void print(java.io.PrintWriter out)
out
- the output stream.