fmrisc.ProgramExplorer.Semantics

Class ObjectMethodSymbol

java.lang.Object

fmrisc.ProgramExplorer.Semantics.SymbolBase

fmrisc.ProgramExplorer.Semantics.GlobalSymbolBase

fmrisc.ProgramExplorer.Semantics.ParamSymbol

fmrisc.ProgramExplorer.Semantics.MethodSymbol

fmrisc.ProgramExplorer.Semantics.ObjectMethodSymbol

All Implemented Interfaces:

GlobalSymbol, Symbol

public final class ObjectMethodSymbol
extends MethodSymbol

A symbol denoting an object method.

Method Summary

Methods

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.

Methods inherited from class fmrisc.ProgramExplorer.Semantics.MethodSymbol

getLogicReturnType, getReturnType

Methods inherited from class fmrisc.ProgramExplorer.Semantics.ParamSymbol

getArgumentTypes, getBodyJudgement, getCall, getClassSymbol, getLoops, getObligations, getOptional, getParameterArray, getParams, getPreconditions, getPreMap, getRecursion, getSatisfies, getSpecification, getTCCs, reset, setBodyJudgement, setCall, setPreMap, setRecursion, setSatisfies, setSpecification

Methods inherited from class fmrisc.ProgramExplorer.Semantics.GlobalSymbolBase

getLongName

Methods inherited from class fmrisc.ProgramExplorer.Semantics.SymbolBase

getName

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface fmrisc.ProgramExplorer.Semantics.GlobalSymbol

getLongName

Methods inherited from interface fmrisc.ProgramExplorer.Semantics.Symbol

getName

Method Detail

construct

public 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).

Parameters:

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.

Returns:

the symbol or null if a problem occurred.

getDeclaration

public ObjectMethodDeclaration getDeclaration()

Get declaration of method.

Specified by:

getDeclaration in interface Symbol

Specified by:

getDeclaration in class ParamSymbol

Returns:

the declaration.

print

public void print(java.io.PrintWriter out)

Print symbol on output stream.

Parameters:

out - the output stream.