fmrisc.ProofNavigator.Semantics

Class SymbolBase

java.lang.Object

fmrisc.ProofNavigator.Semantics.SymbolBase

All Implemented Interfaces:

Symbol

Direct Known Subclasses:

FormulaSymbol, TypeSymbol, ValueSymbol

public abstract class SymbolBase
extends java.lang.Object
implements Symbol

Base class of symbols.

Constructor Summary

Constructors

Constructor and Description
SymbolBase(Identifier ident) construct symbol with given identifier

Method Summary

Modifier and Type	Method and Description
Identifier	getIdentifier() get identifier associated to symbol

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SymbolBase

public SymbolBase(Identifier ident)

construct symbol with given identifier

Parameters:

ident - the identifier of the symbol

Method Detail

getIdentifier

public Identifier getIdentifier()

get identifier associated to symbol

Specified by:

getIdentifier in interface Symbol

Returns:

the associated identifier