fmrisc.ProofNavigator.Semantics

Class SymbolTable

java.lang.Object

fmrisc.ProofNavigator.Semantics.SymbolTable

Direct Known Subclasses:

FormulaTable, TypeTable, ValueTable

public abstract class SymbolTable
extends java.lang.Object

Base class of symbol tables.

Constructor Summary

Constructors

Constructor and Description
SymbolTable()

Method Summary

Modifier and Type	Method and Description
SymbolTable	cloneTable(SymbolTable s) makes s a clone of the symbol table, the clone is a shallow copy (the symbols in the table are not cloned)
java.util.Collection<Symbol>	getSymbols() Get all symbols.

Methods inherited from class java.lang.Object

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

Constructor Detail

SymbolTable

public SymbolTable()

Method Detail

cloneTable

public SymbolTable cloneTable(SymbolTable s)

makes s a clone of the symbol table, the clone is a shallow copy (the symbols in the table are not cloned)

Parameters:

s - the symbol table which becomes a clone of this table

Returns:

the clone.

getSymbols

public java.util.Collection<Symbol> getSymbols()

Get all symbols.

Returns:

collection of all symbols stored in this table.