fmrisc.ProgramExplorer.Semantics

Class ParameterSymbol

java.lang.Object

fmrisc.ProgramExplorer.Semantics.SymbolBase

fmrisc.ProgramExplorer.Semantics.VariableSymbolBase

fmrisc.ProgramExplorer.Semantics.LocalVariableSymbolBase

fmrisc.ProgramExplorer.Semantics.ParameterSymbol

All Implemented Interfaces:

Symbol, VariableSymbol

public final class ParameterSymbol
extends LocalVariableSymbolBase

The symbol for a method/constructor parameter.

Method Summary

Methods

Modifier and Type	Method and Description
static ParameterSymbol	construct(ParamSymbol psymbol, Parameter parameter, TypeExpression type) Construct parameter symbol.
Declaration	getDeclaration() Get the declaration of this parameter.
ParamSymbol	getParamSymbol() Get the entity to which the variable belongs.
void	print(java.io.PrintWriter out) Print symbol on output stream.

Methods inherited from class fmrisc.ProgramExplorer.Semantics.VariableSymbolBase

apply, getLogicType, getType, setLogicType

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

getName

Method Detail

construct

public static ParameterSymbol construct(ParamSymbol psymbol,
                        Parameter parameter,
                        TypeExpression type)

Construct parameter symbol.

Parameters:

psymbol - the parameterized entity holding the parameter.

parameter - the parameter

type - its type

Returns:

the symbol or null if a problem occurred.

getParamSymbol

public ParamSymbol getParamSymbol()

Get the entity to which the variable belongs.

Returns:

the entity.

getDeclaration

public Declaration getDeclaration()

Get the declaration of this parameter.

Specified by:

getDeclaration in interface Symbol

Overrides:

getDeclaration in class SymbolBase

Returns:

the parameter declaration.

print

public void print(java.io.PrintWriter out)

Print symbol on output stream.

Parameters:

out - the output stream.