code: public Enumeration<String> getElements () {
          AttributeNameEnumeration elements = new AttributeNameEnumeration();
          for( int i=0; i<NAMES.length; i++ ) {
              elements.addElement(NAMES[i]);
          }
          return (elements.elements());
      }
docs: Return an enumeration of names of attributes existing within this
  attribute.