fmrisc.ProgramExplorer.Semantics

Class ClassVariableSymbol

java.lang.Object

fmrisc.ProgramExplorer.Semantics.SymbolBase

fmrisc.ProgramExplorer.Semantics.VariableSymbolBase

fmrisc.ProgramExplorer.Semantics.GlobalVariableSymbolBase

fmrisc.ProgramExplorer.Semantics.ClassVariableSymbol

All Implemented Interfaces:

GlobalSymbol, Symbol, VariableSymbol

public final class ClassVariableSymbol
extends GlobalVariableSymbolBase

A class value.

Method Summary

Methods

Modifier and Type	Method and Description
static ClassVariableSymbol	construct(ClassSymbol csymbol, Identifier name, TypeExpression type, ClassVariableDeclaration decl) Construct class variable symbol.
ClassVariableDeclaration	getDeclaration() Return declaration associated to symbol.
void	print(java.io.PrintWriter out) Print symbol on output stream.

Methods inherited from class fmrisc.ProgramExplorer.Semantics.GlobalVariableSymbolBase

getClassSymbol, getLongName

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 ClassVariableSymbol construct(ClassSymbol csymbol,
                            Identifier name,
                            TypeExpression type,
                            ClassVariableDeclaration decl)

Construct class variable symbol.

Parameters:

csymbol - the symbol of the class holding the declaration.

name - the name of the symbol.

type - the type of the symbol.

decl - the declaration introducing the symbol.

Returns:

the symbol or null if some problem occurred.

getDeclaration

public ClassVariableDeclaration getDeclaration()

Return declaration associated to symbol.

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.