code: @Override
      public int getNotationAttrIndex()
      {
          /* If necessary, we could find this index when resolving the
           * element, could avoid linear search. But who knows how often
           * it's really needed...
           */
          for (int i = 0, len = mAttrCount; i < len; ++i) {
              if (mAttrSpecs[i].typeIsNotation()) {
                  return i;
              }
          }
          return -1;
      }
docs: Method for finding out the index of the attribute (collected using
  the attribute collector; having DTD-derived info in same order)
  that is of type NOTATION. DTD explicitly specifies that at most one
  attribute can have this type for any element.
  
  @return Index of the attribute with type NOTATION, in the current
  element, if one exists: -1 otherwise