void parseAttDef(String elementName) throws java.lang.Exception
    {
        String name;
        int type;
        String enum_ = null;

        // Read the attribute name.
        name = readNmtoken(true);

        // Read the attribute type.
        requireWhitespace();
        type = readAttType();

        // Get the string of enumerated values
        // if necessary.
        if (type == ATTRIBUTE_ENUMERATED || type == ATTRIBUTE_NOTATION) {
        	enum_ = dataBufferToString();
        }

        // Read the default value.
        requireWhitespace();
        parseDefault(elementName, name, type, enum_);
    }