|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object fmrisc.Semantics.SymbolTable fmrisc.Semantics.TypeTable
public final class TypeTable
Type table for type checking.
Constructor Summary | |
---|---|
TypeTable()
|
Method Summary | |
---|---|
TypeTable |
cloneTypeTable()
creates a clone of the symbol table, the clone is a shallow copy (the symbols in the table are not cloned) |
TypeSymbol |
getSymbol(Identifier name)
returns symbol associated to name (null, if none) |
Type |
getType(Identifier key)
returns canonical type associated to key type equality implies pointer equality of types. |
TypeSymbol |
put(TypeDeclIdentifier key,
Type type)
put type in type table |
Methods inherited from class fmrisc.Semantics.SymbolTable |
---|
cloneTable, getSymbols |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public TypeTable()
Method Detail |
---|
public TypeTable cloneTypeTable()
public TypeSymbol put(TypeDeclIdentifier key, Type type)
key
- the name of the typetype
- the type associated to the name
public TypeSymbol getSymbol(Identifier name)
name
- the name
public Type getType(Identifier key)
key
- the name of the type
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |