fmrisc.ProgramExplorer.Semantics

Class SymbolTable<S extends Symbol>

java.lang.Object

fmrisc.ProgramExplorer.Semantics.SymbolTable<S>

public final class SymbolTable<S extends Symbol>
extends java.lang.Object

A symbol table.

Constructor Summary

Constructors

Constructor and Description
SymbolTable(ErrorStream error) Construct symbol table with denoted error stream.

Method Summary

Modifier and Type	Method and Description
boolean	add(SymbolTable<S> stable, boolean override, boolean skip) Add symbols from another table to this table.
S	get(Identifier key) Returns symbol associated to key and links key with symbol.
java.util.Collection<S>	getSymbols() Return collection of symbols in table.
boolean	has(Identifier key) Checks whether table has an entry for key.
boolean	put(S value) Puts symbol into table to be looked up for the name of the symbol.

Methods inherited from class java.lang.Object

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

Constructor Detail

SymbolTable

public SymbolTable(ErrorStream error)

Construct symbol table with denoted error stream.

Parameters:

error - the error stream.

Method Detail

getSymbols

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

Return collection of symbols in table.

Returns:

the collection of all symbols.

put

public boolean put(S value)

Puts symbol into table to be looked up for the name of the symbol.

Parameters:

value - the symbol.

Returns:

true, if symbol could be added; false, if symbol with same name was already in table (in this case the symbol is not added)

get

public S get(Identifier key)

Returns symbol associated to key and links key with symbol.

Parameters:

key - the lookup key.

Returns:

the associated symbol (null, if there is none).

has

public boolean has(Identifier key)

Checks whether table has an entry for key.

Parameters:

key - the lookup key.

Returns:

true iff there is an entry with this key.

add

public boolean add(SymbolTable<S> stable,
                   boolean override,
                   boolean skip)

Add symbols from another table to this table.

Parameters:

stable - the table providing new symbols for this table.

override - if true, new declarations override old ones.

skip - if true (and there is no overriding), conflicting symbols are skipped without reporting errors.

Returns:

true if no conflicts with errors occurred.