fmrisc.ProgramExplorer.Semantics

Class GlobalSymbolBase

java.lang.Object

fmrisc.ProgramExplorer.Semantics.SymbolBase

fmrisc.ProgramExplorer.Semantics.GlobalSymbolBase

All Implemented Interfaces:

GlobalSymbol, Symbol

Direct Known Subclasses:

ClassSymbol, FormulaSymbol, PackageSymbol, ParamSymbol, TheorySymbol

public abstract class GlobalSymbolBase
extends SymbolBase
implements GlobalSymbol

The base class of a symbol that can be globally referenced.

Constructor Summary

Constructors

Constructor and Description
GlobalSymbolBase(GlobalSymbol container, Identifier name) Construct a symbol that can be externally referenced.
GlobalSymbolBase(Identifier name, Name lname) Construct a symbol that can be externally referenced.

Method Summary

Methods

Modifier and Type	Method and Description
Name	getLongName() Get the unique long name by which the symbol can be referenced.

Methods inherited from class fmrisc.ProgramExplorer.Semantics.SymbolBase

getDeclaration, 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

getDeclaration, getName, print

Constructor Detail

GlobalSymbolBase

public GlobalSymbolBase(Identifier name,
                Name lname)

Construct a symbol that can be externally referenced.

Parameters:

name - the short name of the symbol.

lname - the long name of the symbol.

GlobalSymbolBase

public GlobalSymbolBase(GlobalSymbol container,
                Identifier name)

Construct a symbol that can be externally referenced.

Parameters:

container - the container of the symbol.

name - the name of the symbol.

Method Detail

getLongName

public Name getLongName()

Get the unique long name by which the symbol can be referenced.

Specified by:

getLongName in interface GlobalSymbol

Returns:

the unique long name.