fmrisc.ProgramExplorer.Semantics

Interface Symbol

All Known Subinterfaces:

GlobalSymbol, VariableSymbol

All Known Implementing Classes:

AxiomSymbol, BodySymbol, ClassMethodSymbol, ClassSymbol, ClassVariableSymbol, ConstructorSymbol, FormulaSymbol, GlobalSymbolBase, GlobalVariableSymbolBase, LocalVariableSymbolBase, MethodSymbol, ObjectMethodSymbol, ObjectVariableSymbol, PackageSymbol, ParameterSymbol, ParamSymbol, SymbolBase, TheorySymbol, ThisSymbol, TypeSymbol, ValueSymbol, VariableSymbolBase

public interface Symbol

The interface to symbols.

Method Summary

Modifier and Type	Method and Description
Declaration	getDeclaration() Get declaration of variable (if any).
Identifier	getName() Get name associated to symbol.
void	print(java.io.PrintWriter out) Print symbol on output stream.

Method Detail

getName

Identifier getName()

Get name associated to symbol.

Returns:

the associated name.

print

void print(java.io.PrintWriter out)

Print symbol on output stream.

Parameters:

out - the output stream.

getDeclaration

Declaration getDeclaration()

Get declaration of variable (if any).

Returns:

the declaration (may be null).