de.xabsl.jxabsl.symbols
Class Enumeration

java.lang.Object
  extended by de.xabsl.jxabsl.symbols.NamedItem
      extended by de.xabsl.jxabsl.symbols.Enumeration
Direct Known Subclasses:
JavaEnumeration

public class Enumeration
extends NamedItem

An enumeration. Maps a name to a unique object and an ordinal. Use the format "element" for names, not "enumeration.element" (as it is given in the intermediate code).


Field Summary
 
Fields inherited from class de.xabsl.jxabsl.symbols.NamedItem
debug, name
 
Constructor Summary
Enumeration(java.lang.String name, DebugMessages debug)
          Constructor
 
Method Summary
 void add(java.lang.String s)
          For convenience.
 void add(java.lang.String name, java.lang.Object reference)
          Adds an element to the enumeration.
 java.lang.Object getElement(java.lang.String name)
          return an element's unique reference
 java.lang.String getElementName(int ordinal)
          return an element's name by its ordinal
 java.lang.String getElementName(java.lang.Object element)
          return an elements name by its unique reference
 int getNrElements()
           
 java.lang.String toString()
           
 
Methods inherited from class de.xabsl.jxabsl.symbols.NamedItem
getName
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Enumeration

public Enumeration(java.lang.String name,
                   DebugMessages debug)
Constructor

Parameters:
name - the enumeration's name
debug - For debugging output
Method Detail

getElement

public java.lang.Object getElement(java.lang.String name)
return an element's unique reference


getElementName

public java.lang.String getElementName(java.lang.Object element)
return an elements name by its unique reference


getElementName

public java.lang.String getElementName(int ordinal)
return an element's name by its ordinal


getNrElements

public int getNrElements()
Returns:
the size of the enumeration

add

public void add(java.lang.String name,
                java.lang.Object reference)
Adds an element to the enumeration. The elements' ordinal is assigned in the sequence in which they are added

Parameters:
name - the element's name
reference - a reference which no other element in the enumeration shares

add

public void add(java.lang.String s)
For convenience. The added elements reference is the reference to the string s


toString

public java.lang.String toString()
Overrides:
toString in class NamedItem