|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Object | +--scale.clef.type.TypeTable
This class maps from an integer value to a Type.
$Id: TypeTable.java,v 1.6 2002/01/03 21:44:15 burrill Exp $
Copyright 2002 by the Scale Compiler Group,
Department of Computer Science
University of Massachusetts,
Amherst MA. 01003, USA
All Rights Reserved.
| Constructor Summary | |
TypeTable(int capacity)
|
|
| Method Summary | |
void |
clear()
Remove all entries from the map. |
void |
clear(int flag)
Remove all entries with the specified flag value from the map. |
java.util.Enumeration |
elements()
Return an Enumeration of all of the elements in the map. |
Type |
get(int key)
Find an entry in the map. |
Type |
put(int key,
Type value,
int flag)
Place an entry in the map unless it is already there. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
public TypeTable(int capacity)
capacity - initial capacity - should be prime| Method Detail |
public void clear()
public void clear(int flag)
put(int, scale.clef.type.Type, int)
public Type put(int key,
Type value,
int flag)
key - map from this key to the valueflag - is a separate integer value attached to the mappingpublic Type get(int key)
key - map from this key to the valuepublic java.util.Enumeration elements()
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||