fmrisc.ProgramExplorer.Semantics

Class ParamSymbols<S extends ParamSymbol>

java.lang.Object

fmrisc.ProgramExplorer.Semantics.ParamSymbols<S>

public final class ParamSymbols<S extends ParamSymbol>
extends java.lang.Object

A set of parameterized symbols.

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
S	get(TypeExpression[] atypes) Returns value associated to argument types.
java.util.Collection<S>	getSymbols() Return collection of symbols in table.
boolean	put(S value) Puts symbol into table to be looked up for the symbol's argument types.

Methods inherited from class java.lang.Object

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

Constructor Detail

ParamSymbols

public ParamSymbols(ErrorStream error)

Construct symbol table with denoted 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 symbol's argument types.

Parameters:

value - the symbol.

Returns:

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

get

public S get(TypeExpression[] atypes)

Returns value associated to argument types.

Parameters:

atypes - the array of argument types serving as key.

Returns:

the associated symbol.