86     /**
  87       * Retrieves the attribute with the given attribute id from the
  88       * attribute set.
  89       *
  90       * @param attrID The non-null id of the attribute to retrieve.
  91       *           If this attribute set ignores the character
  92       *           case of its attribute ids, the case of attrID
  93       *           is ignored.
  94       * @return The attribute identified by attrID; null if not found.
  95       * @see #put
  96       * @see #remove
  97       */
  98     Attribute get(String attrID);
  99 
 100     /**
 101       * Retrieves an enumeration of the attributes in the attribute set.
 102       * The effects of updates to this attribute set on this enumeration
 103       * are undefined.
 104       *
 105       * @return A non-null enumeration of the attributes in this attribute set.
 106       *         Each element of the enumeration is of class <tt>Attribute</tt>.
 107       *         If attribute set has zero attributes, an empty enumeration
 108       *         is returned.
 109       */
 110     NamingEnumeration<? extends Attribute> getAll();
 111 
 112     /**
 113       * Retrieves an enumeration of the ids of the attributes in the
 114       * attribute set.
 115       * The effects of updates to this attribute set on this enumeration
 116       * are undefined.
 117       *
 118       * @return A non-null enumeration of the attributes' ids in
 119       *         this attribute set. Each element of the enumeration is
 120       *         of class String.
 121       *         If attribute set has zero attributes, an empty enumeration
 122       *         is returned.
 123       */
 124     NamingEnumeration<String> getIDs();
 125 
 126     /**

  86     /**
  87       * Retrieves the attribute with the given attribute id from the
  88       * attribute set.
  89       *
  90       * @param attrID The non-null id of the attribute to retrieve.
  91       *           If this attribute set ignores the character
  92       *           case of its attribute ids, the case of attrID
  93       *           is ignored.
  94       * @return The attribute identified by attrID; null if not found.
  95       * @see #put
  96       * @see #remove
  97       */
  98     Attribute get(String attrID);
  99 
 100     /**
 101       * Retrieves an enumeration of the attributes in the attribute set.
 102       * The effects of updates to this attribute set on this enumeration
 103       * are undefined.
 104       *
 105       * @return A non-null enumeration of the attributes in this attribute set.
 106       *         Each element of the enumeration is of class {@code Attribute}.
 107       *         If attribute set has zero attributes, an empty enumeration
 108       *         is returned.
 109       */
 110     NamingEnumeration<? extends Attribute> getAll();
 111 
 112     /**
 113       * Retrieves an enumeration of the ids of the attributes in the
 114       * attribute set.
 115       * The effects of updates to this attribute set on this enumeration
 116       * are undefined.
 117       *
 118       * @return A non-null enumeration of the attributes' ids in
 119       *         this attribute set. Each element of the enumeration is
 120       *         of class String.
 121       *         If attribute set has zero attributes, an empty enumeration
 122       *         is returned.
 123       */
 124     NamingEnumeration<String> getIDs();
 125 
 126     /**