public void attributeDecl(
     String elementName,
     String attributeName,
     String type,
     String[] enumeration,
     String defaultType,
     XMLString defaultValue,
     XMLString nonNormalizedDefaultValue,
     Augmentations augmentations)
     throws XNIException {
   if (fDTDHandler != null) {
     fDTDHandler.attributeDecl(
         elementName,
         attributeName,
         type,
         enumeration,
         defaultType,
         defaultValue,
         nonNormalizedDefaultValue,
         augmentations);
   }
 }