fmrisc.ProgramExplorer.Semantics

Class ClassMethodSymbol

java.lang.Object

fmrisc.ProgramExplorer.Semantics.SymbolBase

fmrisc.ProgramExplorer.Semantics.GlobalSymbolBase

fmrisc.ProgramExplorer.Semantics.ParamSymbol

fmrisc.ProgramExplorer.Semantics.MethodSymbol

fmrisc.ProgramExplorer.Semantics.ClassMethodSymbol

All Implemented Interfaces:

GlobalSymbol, Symbol

public final class ClassMethodSymbol
extends MethodSymbol

A symbol denoting a class method.

Method Summary

Modifier and Type	Method and Description
static ClassMethodSymbol	construct(ClassSymbol csymbol, Identifier name, Parameter[] params, TypeExpression[] atypes, TypeExpression rtype, ClassMethodDeclaration decl, ErrorStream error) Construct class method symbol from declaration (NULL, in case of error).
ClassMethodDeclaration	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 ClassMethodSymbol construct(ClassSymbol csymbol,
                                          Identifier name,
                                          Parameter[] params,
                                          TypeExpression[] atypes,
                                          TypeExpression rtype,
                                          ClassMethodDeclaration decl,
                                          ErrorStream error)

Construct class 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 ClassMethodDeclaration 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.