67       module (module () + "/" + name ());
  68   } // ctor
  69 
  70   public Object clone ()
  71   {
  72     return new EnumEntry (this);
  73   } // clone
  74 
  75   /** Invoke the enumerator generator.
  76       @param symbolTable the symbol table is a hash table whose key is
  77        a fully qualified type name and whose value is a SymtabEntry or
  78        a subclass of SymtabEntry.
  79       @param stream the stream to which the generator should sent its output.
  80       @see SymtabEntry */
  81   public void generate (Hashtable symbolTable, PrintWriter stream)
  82   {
  83     enumGen.generate (symbolTable, this, stream);
  84   } // generate
  85 
  86   /** Access the enumerator generator.
  87       @returns an object which implements the EnumGen interface.
  88       @see EnumGen */
  89   public Generator generator ()
  90   {
  91     return enumGen;
  92   } // generator
  93 
  94   /** Add an element to the list of elements. */
  95   public void addElement (String element)
  96   {
  97     _elements.addElement (element);
  98   } // addElement
  99 
 100   /** Each element of the vector is a String. */
 101   public Vector elements ()
 102   {
 103     return _elements;
 104   } // elements
 105 
 106   static  EnumGen enumGen;
 107   private Vector  _elements = new Vector ();

  67       module (module () + "/" + name ());
  68   } // ctor
  69 
  70   public Object clone ()
  71   {
  72     return new EnumEntry (this);
  73   } // clone
  74 
  75   /** Invoke the enumerator generator.
  76       @param symbolTable the symbol table is a hash table whose key is
  77        a fully qualified type name and whose value is a SymtabEntry or
  78        a subclass of SymtabEntry.
  79       @param stream the stream to which the generator should sent its output.
  80       @see SymtabEntry */
  81   public void generate (Hashtable symbolTable, PrintWriter stream)
  82   {
  83     enumGen.generate (symbolTable, this, stream);
  84   } // generate
  85 
  86   /** Access the enumerator generator.
  87       @return an object which implements the EnumGen interface.
  88       @see EnumGen */
  89   public Generator generator ()
  90   {
  91     return enumGen;
  92   } // generator
  93 
  94   /** Add an element to the list of elements. */
  95   public void addElement (String element)
  96   {
  97     _elements.addElement (element);
  98   } // addElement
  99 
 100   /** Each element of the vector is a String. */
 101   public Vector elements ()
 102   {
 103     return _elements;
 104   } // elements
 105 
 106   static  EnumGen enumGen;
 107   private Vector  _elements = new Vector ();