fmrisc.ProgramExplorer.Semantics

Class TypeSymbol

java.lang.Object

fmrisc.ProgramExplorer.Semantics.SymbolBase

fmrisc.ProgramExplorer.Semantics.TypeSymbol

All Implemented Interfaces:

Symbol

public final class TypeSymbol
extends SymbolBase

A symbol denoting a logical type.

Method Summary

Modifier and Type	Method and Description
static TypeSymbol	construct(Identifier name, Type type, TypeDeclaration decl) Construct type symbol.
TypeDeclaration	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 TypeSymbol construct(Identifier name,
                                   Type type,
                                   TypeDeclaration decl)

Construct type 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 TypeDeclaration 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.