fmrisc.ProgramExplorer.Semantics

Class ValueSymbol

java.lang.Object

fmrisc.ProgramExplorer.Semantics.SymbolBase

fmrisc.ProgramExplorer.Semantics.ValueSymbol

All Implemented Interfaces:

Symbol

public final class ValueSymbol
extends SymbolBase

A symbol denoting a logical value.

Method Summary

Modifier and Type	Method and Description
static ValueSymbol	construct(Identifier name, Type type, Declaration decl) Construct value symbol.
Declaration	getDeclaration() Get declaration.
Type	getType() Get type.
void	print(java.io.PrintWriter out) Print symbol on output stream.

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

Method Detail

construct

public static ValueSymbol construct(Identifier name,
                                    Type type,
                                    Declaration decl)

Construct value symbol.

Parameters:

name - the name of the symbol.

type - the type.

decl - the declaration.

Returns:

the symbol.

getType

public Type getType()

Get type.

Returns:

the type.

getDeclaration

public Declaration getDeclaration()

Get declaration.

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.