fmrisc.ProgramExplorer.Semantics

Class BodySymbol

java.lang.Object

fmrisc.ProgramExplorer.Semantics.SymbolBase

fmrisc.ProgramExplorer.Semantics.VariableSymbolBase

fmrisc.ProgramExplorer.Semantics.LocalVariableSymbolBase

fmrisc.ProgramExplorer.Semantics.BodySymbol

All Implemented Interfaces:

Symbol, VariableSymbol

public final class BodySymbol
extends LocalVariableSymbolBase

The symbol for a variable introduced in a method/constructor body.

Method Summary

Modifier and Type	Method and Description
static BodySymbol	construct(Identifier name, TypeExpression type, VariableDeclaration decl) Construct body symbol from name and type.
VariableDeclaration	getDeclaration() Get declaration of variable.
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 BodySymbol construct(Identifier name,
                                   TypeExpression type,
                                   VariableDeclaration decl)

Construct body symbol from name and type.

Parameters:

name - the name of the symbol.

type - the type of the symbol.

decl - the declaration introducing the variable.

Returns:

the symbol (or null, if an error occurred)

getDeclaration

public VariableDeclaration getDeclaration()

Get declaration of variable.

Specified by:

getDeclaration in interface Symbol

Overrides:

getDeclaration in class SymbolBase

Returns:

the declaration.

print

public void print(java.io.PrintWriter out)

Print symbol on output stream.

Parameters:

out - the output stream.