protected final void checkType(short type, String[] enumeratedType)
     throws InvalidArgumentException {
   TreeUtilities.checkAttlistDeclAttributeType(type);
   TreeUtilities.checkAttlistDeclAttributeEnumeratedType(enumeratedType);
 }
 protected final void checkDefaultType(short defaultType, String defaultValue)
     throws InvalidArgumentException {
   TreeUtilities.checkAttlistDeclAttributeDefaultType(defaultType);
   TreeUtilities.checkAttlistDeclAttributeDefaultValue(defaultValue);
 }
 protected final void checkName(String name) throws InvalidArgumentException {
   TreeUtilities.checkAttlistDeclAttributeName(name);
 }