fmrisc.ProgramExplorer.Semantics

Class ConstructorSymbol

java.lang.Object

fmrisc.ProgramExplorer.Semantics.SymbolBase

fmrisc.ProgramExplorer.Semantics.GlobalSymbolBase

fmrisc.ProgramExplorer.Semantics.ParamSymbol

fmrisc.ProgramExplorer.Semantics.ConstructorSymbol

All Implemented Interfaces:

GlobalSymbol, Symbol

public final class ConstructorSymbol
extends ParamSymbol

A symbol denoting a class constructor.

Method Summary

Modifier and Type	Method and Description
static ConstructorSymbol	construct(ClassSymbol csymbol, Identifier name, Parameter[] params, TypeExpression[] atypes, ConstructorDeclaration decl, ErrorStream error) Construct class method symbol from declaration (NULL in case of error).
ConstructorDeclaration	getDeclaration() Get declaration of method.
void	print(java.io.PrintWriter out) Print symbol on output stream.

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 ConstructorSymbol construct(ClassSymbol csymbol,
                                          Identifier name,
                                          Parameter[] params,
                                          TypeExpression[] atypes,
                                          ConstructorDeclaration 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.

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 ConstructorDeclaration 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.