valid.c

Go to the documentation of this file.

/*
 * valid.c : part of the code use to do the DTD handling and the validity
 *           checking
 *
 * See Copyright for the status of this software.
 *
 * daniel@veillard.com
 */

#define IN_LIBXML
#include "libxml.h"

#include <string.h>

#ifdef HAVE_STDLIB_H
#include <stdlib.h>
#endif

#include <libxml/xmlmemory.h>
#include <libxml/hash.h>
#include <libxml/uri.h>
#include <libxml/valid.h>
#include <libxml/parser.h>
#include <libxml/parserInternals.h>
#include <libxml/xmlerror.h>
#include <libxml/list.h>
#include <libxml/globals.h>

static xmlElementPtr xmlGetDtdElementDesc2(xmlDtdPtr dtd, const xmlChar *name,
                               int create);
/* #define DEBUG_VALID_ALGO */
/* #define DEBUG_REGEXP_ALGO */

#define TODO                                \
    xmlGenericError(xmlGenericErrorContext,             \
        "Unimplemented block at %s:%d\n",               \
            __FILE__, __LINE__);

#ifdef LIBXML_VALID_ENABLED
static int
xmlValidateAttributeValueInternal(xmlDocPtr doc, xmlAttributeType type,
                                  const xmlChar *value);
#endif
/************************************************************************
 *                                  *
 *          Error handling routines             *
 *                                  *
 ************************************************************************/

static void
xmlVErrMemory(xmlValidCtxtPtr ctxt, const char *extra)
{
    xmlGenericErrorFunc channel = NULL;
    xmlParserCtxtPtr pctxt = NULL;
    void *data = NULL;

    if (ctxt != NULL) {
        channel = ctxt->error;
        data = ctxt->userData;
    /* Use the special values to detect if it is part of a parsing
       context */
    if ((ctxt->finishDtd == XML_CTXT_FINISH_DTD_0) ||
        (ctxt->finishDtd == XML_CTXT_FINISH_DTD_1)) {
        long delta = (char *) ctxt - (char *) ctxt->userData;
        if ((delta > 0) && (delta < 250))
        pctxt = ctxt->userData;
    }
    }
    if (extra)
        __xmlRaiseError(NULL, channel, data,
                        pctxt, NULL, XML_FROM_VALID, XML_ERR_NO_MEMORY,
                        XML_ERR_FATAL, NULL, 0, extra, NULL, NULL, 0, 0,
                        "Memory allocation failed : %s\n", extra);
    else
        __xmlRaiseError(NULL, channel, data,
                        pctxt, NULL, XML_FROM_VALID, XML_ERR_NO_MEMORY,
                        XML_ERR_FATAL, NULL, 0, NULL, NULL, NULL, 0, 0,
                        "Memory allocation failed\n");
}

static void LIBXML_ATTR_FORMAT(3,0)
xmlErrValid(xmlValidCtxtPtr ctxt, xmlParserErrors error,
            const char *msg, const char *extra)
{
    xmlGenericErrorFunc channel = NULL;
    xmlParserCtxtPtr pctxt = NULL;
    void *data = NULL;

    if (ctxt != NULL) {
        channel = ctxt->error;
        data = ctxt->userData;
    /* Use the special values to detect if it is part of a parsing
       context */
    if ((ctxt->finishDtd == XML_CTXT_FINISH_DTD_0) ||
        (ctxt->finishDtd == XML_CTXT_FINISH_DTD_1)) {
        long delta = (char *) ctxt - (char *) ctxt->userData;
        if ((delta > 0) && (delta < 250))
        pctxt = ctxt->userData;
    }
    }
    if (extra)
        __xmlRaiseError(NULL, channel, data,
                        pctxt, NULL, XML_FROM_VALID, error,
                        XML_ERR_ERROR, NULL, 0, extra, NULL, NULL, 0, 0,
                        msg, extra);
    else
        __xmlRaiseError(NULL, channel, data,
                        pctxt, NULL, XML_FROM_VALID, error,
                        XML_ERR_ERROR, NULL, 0, NULL, NULL, NULL, 0, 0,
                        "%s", msg);
}

#if defined(LIBXML_VALID_ENABLED) || defined(LIBXML_SCHEMAS_ENABLED)

static void LIBXML_ATTR_FORMAT(4,0)
xmlErrValidNode(xmlValidCtxtPtr ctxt,
                xmlNodePtr node, xmlParserErrors error,
                const char *msg, const xmlChar * str1,
                const xmlChar * str2, const xmlChar * str3)
{
    xmlStructuredErrorFunc schannel = NULL;
    xmlGenericErrorFunc channel = NULL;
    xmlParserCtxtPtr pctxt = NULL;
    void *data = NULL;

    if (ctxt != NULL) {
        channel = ctxt->error;
        data = ctxt->userData;
    /* Use the special values to detect if it is part of a parsing
       context */
    if ((ctxt->finishDtd == XML_CTXT_FINISH_DTD_0) ||
        (ctxt->finishDtd == XML_CTXT_FINISH_DTD_1)) {
        long delta = (char *) ctxt - (char *) ctxt->userData;
        if ((delta > 0) && (delta < 250))
        pctxt = ctxt->userData;
    }
    }
    __xmlRaiseError(schannel, channel, data, pctxt, node, XML_FROM_VALID, error,
                    XML_ERR_ERROR, NULL, 0,
                    (const char *) str1,
                    (const char *) str2,
                    (const char *) str3, 0, 0, msg, str1, str2, str3);
}
#endif /* LIBXML_VALID_ENABLED or LIBXML_SCHEMAS_ENABLED */

#ifdef LIBXML_VALID_ENABLED

static void LIBXML_ATTR_FORMAT(4,0)
xmlErrValidNodeNr(xmlValidCtxtPtr ctxt,
                xmlNodePtr node, xmlParserErrors error,
                const char *msg, const xmlChar * str1,
                int int2, const xmlChar * str3)
{
    xmlStructuredErrorFunc schannel = NULL;
    xmlGenericErrorFunc channel = NULL;
    xmlParserCtxtPtr pctxt = NULL;
    void *data = NULL;

    if (ctxt != NULL) {
        channel = ctxt->error;
        data = ctxt->userData;
    /* Use the special values to detect if it is part of a parsing
       context */
    if ((ctxt->finishDtd == XML_CTXT_FINISH_DTD_0) ||
        (ctxt->finishDtd == XML_CTXT_FINISH_DTD_1)) {
        long delta = (char *) ctxt - (char *) ctxt->userData;
        if ((delta > 0) && (delta < 250))
        pctxt = ctxt->userData;
    }
    }
    __xmlRaiseError(schannel, channel, data, pctxt, node, XML_FROM_VALID, error,
                    XML_ERR_ERROR, NULL, 0,
                    (const char *) str1,
                    (const char *) str3,
                    NULL, int2, 0, msg, str1, int2, str3);
}

static void LIBXML_ATTR_FORMAT(4,0)
xmlErrValidWarning(xmlValidCtxtPtr ctxt,
                xmlNodePtr node, xmlParserErrors error,
                const char *msg, const xmlChar * str1,
                const xmlChar * str2, const xmlChar * str3)
{
    xmlStructuredErrorFunc schannel = NULL;
    xmlGenericErrorFunc channel = NULL;
    xmlParserCtxtPtr pctxt = NULL;
    void *data = NULL;

    if (ctxt != NULL) {
        channel = ctxt->warning;
        data = ctxt->userData;
    /* Use the special values to detect if it is part of a parsing
       context */
    if ((ctxt->finishDtd == XML_CTXT_FINISH_DTD_0) ||
        (ctxt->finishDtd == XML_CTXT_FINISH_DTD_1)) {
        long delta = (char *) ctxt - (char *) ctxt->userData;
        if ((delta > 0) && (delta < 250))
        pctxt = ctxt->userData;
    }
    }
    __xmlRaiseError(schannel, channel, data, pctxt, node, XML_FROM_VALID, error,
                    XML_ERR_WARNING, NULL, 0,
                    (const char *) str1,
                    (const char *) str2,
                    (const char *) str3, 0, 0, msg, str1, str2, str3);
}



#ifdef LIBXML_REGEXP_ENABLED
/*
 * If regexp are enabled we can do continuous validation without the
 * need of a tree to validate the content model. this is done in each
 * callbacks.
 * Each xmlValidState represent the validation state associated to the
 * set of nodes currently open from the document root to the current element.
 */


typedef struct _xmlValidState {
    xmlElementPtr    elemDecl;  /* pointer to the content model */
    xmlNodePtr           node;      /* pointer to the current node */
    xmlRegExecCtxtPtr    exec;      /* regexp runtime */
} _xmlValidState;


static int
vstateVPush(xmlValidCtxtPtr ctxt, xmlElementPtr elemDecl, xmlNodePtr node) {
    if ((ctxt->vstateMax == 0) || (ctxt->vstateTab == NULL)) {
    ctxt->vstateMax = 10;
    ctxt->vstateTab = (xmlValidState *) xmlMalloc(ctxt->vstateMax *
                      sizeof(ctxt->vstateTab[0]));
        if (ctxt->vstateTab == NULL) {
        xmlVErrMemory(ctxt, "malloc failed");
        return(-1);
    }
    }

    if (ctxt->vstateNr >= ctxt->vstateMax) {
        xmlValidState *tmp;

    tmp = (xmlValidState *) xmlRealloc(ctxt->vstateTab,
                 2 * ctxt->vstateMax * sizeof(ctxt->vstateTab[0]));
        if (tmp == NULL) {
        xmlVErrMemory(ctxt, "realloc failed");
        return(-1);
    }
    ctxt->vstateMax *= 2;
    ctxt->vstateTab = tmp;
    }
    ctxt->vstate = &ctxt->vstateTab[ctxt->vstateNr];
    ctxt->vstateTab[ctxt->vstateNr].elemDecl = elemDecl;
    ctxt->vstateTab[ctxt->vstateNr].node = node;
    if ((elemDecl != NULL) && (elemDecl->etype == XML_ELEMENT_TYPE_ELEMENT)) {
    if (elemDecl->contModel == NULL)
        xmlValidBuildContentModel(ctxt, elemDecl);
    if (elemDecl->contModel != NULL) {
        ctxt->vstateTab[ctxt->vstateNr].exec =
        xmlRegNewExecCtxt(elemDecl->contModel, NULL, NULL);
    } else {
        ctxt->vstateTab[ctxt->vstateNr].exec = NULL;
        xmlErrValidNode(ctxt, (xmlNodePtr) elemDecl,
                        XML_ERR_INTERNAL_ERROR,
                "Failed to build content model regexp for %s\n",
                node->name, NULL, NULL);
    }
    }
    return(ctxt->vstateNr++);
}

static int
vstateVPop(xmlValidCtxtPtr ctxt) {
    xmlElementPtr elemDecl;

    if (ctxt->vstateNr < 1) return(-1);
    ctxt->vstateNr--;
    elemDecl = ctxt->vstateTab[ctxt->vstateNr].elemDecl;
    ctxt->vstateTab[ctxt->vstateNr].elemDecl = NULL;
    ctxt->vstateTab[ctxt->vstateNr].node = NULL;
    if ((elemDecl != NULL) && (elemDecl->etype == XML_ELEMENT_TYPE_ELEMENT)) {
    xmlRegFreeExecCtxt(ctxt->vstateTab[ctxt->vstateNr].exec);
    }
    ctxt->vstateTab[ctxt->vstateNr].exec = NULL;
    if (ctxt->vstateNr >= 1)
    ctxt->vstate = &ctxt->vstateTab[ctxt->vstateNr - 1];
    else
    ctxt->vstate = NULL;
    return(ctxt->vstateNr);
}

#else /* not LIBXML_REGEXP_ENABLED */
/*
 * If regexp are not enabled, it uses a home made algorithm less
 * complex and easier to
 * debug/maintain than a generic NFA -> DFA state based algo. The
 * only restriction is on the deepness of the tree limited by the
 * size of the occurs bitfield
 *
 * this is the content of a saved state for rollbacks
 */

#define ROLLBACK_OR 0
#define ROLLBACK_PARENT 1

typedef struct _xmlValidState {
    xmlElementContentPtr cont;  /* pointer to the content model subtree */
    xmlNodePtr           node;  /* pointer to the current node in the list */
    long                 occurs;/* bitfield for multiple occurrences */
    unsigned char        depth; /* current depth in the overall tree */
    unsigned char        state; /* ROLLBACK_XXX */
} _xmlValidState;

#define MAX_RECURSE 25000
#define MAX_DEPTH ((sizeof(_xmlValidState.occurs)) * 8)
#define CONT ctxt->vstate->cont
#define NODE ctxt->vstate->node
#define DEPTH ctxt->vstate->depth
#define OCCURS ctxt->vstate->occurs
#define STATE ctxt->vstate->state

#define OCCURRENCE (ctxt->vstate->occurs & (1 << DEPTH))
#define PARENT_OCCURRENCE (ctxt->vstate->occurs & ((1 << DEPTH) - 1))

#define SET_OCCURRENCE ctxt->vstate->occurs |= (1 << DEPTH)
#define RESET_OCCURRENCE ctxt->vstate->occurs &= ((1 << DEPTH) - 1)

static int
vstateVPush(xmlValidCtxtPtr ctxt, xmlElementContentPtr cont,
        xmlNodePtr node, unsigned char depth, long occurs,
        unsigned char state) {
    int i = ctxt->vstateNr - 1;

    if (ctxt->vstateNr > MAX_RECURSE) {
    return(-1);
    }
    if (ctxt->vstateTab == NULL) {
    ctxt->vstateMax = 8;
    ctxt->vstateTab = (xmlValidState *) xmlMalloc(
             ctxt->vstateMax * sizeof(ctxt->vstateTab[0]));
    if (ctxt->vstateTab == NULL) {
        xmlVErrMemory(ctxt, "malloc failed");
        return(-1);
    }
    }
    if (ctxt->vstateNr >= ctxt->vstateMax) {
        xmlValidState *tmp;

        tmp = (xmlValidState *) xmlRealloc(ctxt->vstateTab,
                 2 * ctxt->vstateMax * sizeof(ctxt->vstateTab[0]));
        if (tmp == NULL) {
        xmlVErrMemory(ctxt, "malloc failed");
        return(-1);
    }
    ctxt->vstateMax *= 2;
    ctxt->vstateTab = tmp;
    ctxt->vstate = &ctxt->vstateTab[0];
    }
    /*
     * Don't push on the stack a state already here
     */
    if ((i >= 0) && (ctxt->vstateTab[i].cont == cont) &&
    (ctxt->vstateTab[i].node == node) &&
    (ctxt->vstateTab[i].depth == depth) &&
    (ctxt->vstateTab[i].occurs == occurs) &&
    (ctxt->vstateTab[i].state == state))
    return(ctxt->vstateNr);
    ctxt->vstateTab[ctxt->vstateNr].cont = cont;
    ctxt->vstateTab[ctxt->vstateNr].node = node;
    ctxt->vstateTab[ctxt->vstateNr].depth = depth;
    ctxt->vstateTab[ctxt->vstateNr].occurs = occurs;
    ctxt->vstateTab[ctxt->vstateNr].state = state;
    return(ctxt->vstateNr++);
}

static int
vstateVPop(xmlValidCtxtPtr ctxt) {
    if (ctxt->vstateNr <= 1) return(-1);
    ctxt->vstateNr--;
    ctxt->vstate = &ctxt->vstateTab[0];
    ctxt->vstate->cont =  ctxt->vstateTab[ctxt->vstateNr].cont;
    ctxt->vstate->node = ctxt->vstateTab[ctxt->vstateNr].node;
    ctxt->vstate->depth = ctxt->vstateTab[ctxt->vstateNr].depth;
    ctxt->vstate->occurs = ctxt->vstateTab[ctxt->vstateNr].occurs;
    ctxt->vstate->state = ctxt->vstateTab[ctxt->vstateNr].state;
    return(ctxt->vstateNr);
}

#endif /* LIBXML_REGEXP_ENABLED */

static int
nodeVPush(xmlValidCtxtPtr ctxt, xmlNodePtr value)
{
    if (ctxt->nodeMax <= 0) {
        ctxt->nodeMax = 4;
        ctxt->nodeTab =
            (xmlNodePtr *) xmlMalloc(ctxt->nodeMax *
                                     sizeof(ctxt->nodeTab[0]));
        if (ctxt->nodeTab == NULL) {
        xmlVErrMemory(ctxt, "malloc failed");
            ctxt->nodeMax = 0;
            return (0);
        }
    }
    if (ctxt->nodeNr >= ctxt->nodeMax) {
        xmlNodePtr *tmp;
        tmp = (xmlNodePtr *) xmlRealloc(ctxt->nodeTab,
                  ctxt->nodeMax * 2 * sizeof(ctxt->nodeTab[0]));
        if (tmp == NULL) {
        xmlVErrMemory(ctxt, "realloc failed");
            return (0);
        }
        ctxt->nodeMax *= 2;
    ctxt->nodeTab = tmp;
    }
    ctxt->nodeTab[ctxt->nodeNr] = value;
    ctxt->node = value;
    return (ctxt->nodeNr++);
}
static xmlNodePtr
nodeVPop(xmlValidCtxtPtr ctxt)
{
    xmlNodePtr ret;

    if (ctxt->nodeNr <= 0)
        return (NULL);
    ctxt->nodeNr--;
    if (ctxt->nodeNr > 0)
        ctxt->node = ctxt->nodeTab[ctxt->nodeNr - 1];
    else
        ctxt->node = NULL;
    ret = ctxt->nodeTab[ctxt->nodeNr];
    ctxt->nodeTab[ctxt->nodeNr] = NULL;
    return (ret);
}

#ifdef DEBUG_VALID_ALGO
static void
xmlValidPrintNode(xmlNodePtr cur) {
    if (cur == NULL) {
    xmlGenericError(xmlGenericErrorContext, "null");
    return;
    }
    switch (cur->type) {
    case XML_ELEMENT_NODE:
        xmlGenericError(xmlGenericErrorContext, "%s ", cur->name);
        break;
    case XML_TEXT_NODE:
        xmlGenericError(xmlGenericErrorContext, "text ");
        break;
    case XML_CDATA_SECTION_NODE:
        xmlGenericError(xmlGenericErrorContext, "cdata ");
        break;
    case XML_ENTITY_REF_NODE:
        xmlGenericError(xmlGenericErrorContext, "&%s; ", cur->name);
        break;
    case XML_PI_NODE:
        xmlGenericError(xmlGenericErrorContext, "pi(%s) ", cur->name);
        break;
    case XML_COMMENT_NODE:
        xmlGenericError(xmlGenericErrorContext, "comment ");
        break;
    case XML_ATTRIBUTE_NODE:
        xmlGenericError(xmlGenericErrorContext, "?attr? ");
        break;
    case XML_ENTITY_NODE:
        xmlGenericError(xmlGenericErrorContext, "?ent? ");
        break;
    case XML_DOCUMENT_NODE:
        xmlGenericError(xmlGenericErrorContext, "?doc? ");
        break;
    case XML_DOCUMENT_TYPE_NODE:
        xmlGenericError(xmlGenericErrorContext, "?doctype? ");
        break;
    case XML_DOCUMENT_FRAG_NODE:
        xmlGenericError(xmlGenericErrorContext, "?frag? ");
        break;
    case XML_NOTATION_NODE:
        xmlGenericError(xmlGenericErrorContext, "?nota? ");
        break;
    case XML_HTML_DOCUMENT_NODE:
        xmlGenericError(xmlGenericErrorContext, "?html? ");
        break;
#ifdef LIBXML_DOCB_ENABLED
    case XML_DOCB_DOCUMENT_NODE:
        xmlGenericError(xmlGenericErrorContext, "?docb? ");
        break;
#endif
    case XML_DTD_NODE:
        xmlGenericError(xmlGenericErrorContext, "?dtd? ");
        break;
    case XML_ELEMENT_DECL:
        xmlGenericError(xmlGenericErrorContext, "?edecl? ");
        break;
    case XML_ATTRIBUTE_DECL:
        xmlGenericError(xmlGenericErrorContext, "?adecl? ");
        break;
    case XML_ENTITY_DECL:
        xmlGenericError(xmlGenericErrorContext, "?entdecl? ");
        break;
    case XML_NAMESPACE_DECL:
        xmlGenericError(xmlGenericErrorContext, "?nsdecl? ");
        break;
    case XML_XINCLUDE_START:
        xmlGenericError(xmlGenericErrorContext, "incstart ");
        break;
    case XML_XINCLUDE_END:
        xmlGenericError(xmlGenericErrorContext, "incend ");
        break;
    }
}

static void
xmlValidPrintNodeList(xmlNodePtr cur) {
    if (cur == NULL)
    xmlGenericError(xmlGenericErrorContext, "null ");
    while (cur != NULL) {
    xmlValidPrintNode(cur);
    cur = cur->next;
    }
}

static void
xmlValidDebug(xmlNodePtr cur, xmlElementContentPtr cont) {
    char expr[5000];

    expr[0] = 0;
    xmlGenericError(xmlGenericErrorContext, "valid: ");
    xmlValidPrintNodeList(cur);
    xmlGenericError(xmlGenericErrorContext, "against ");
    xmlSnprintfElementContent(expr, 5000, cont, 1);
    xmlGenericError(xmlGenericErrorContext, "%s\n", expr);
}

static void
xmlValidDebugState(xmlValidStatePtr state) {
    xmlGenericError(xmlGenericErrorContext, "(");
    if (state->cont == NULL)
    xmlGenericError(xmlGenericErrorContext, "null,");
    else
    switch (state->cont->type) {
            case XML_ELEMENT_CONTENT_PCDATA:
        xmlGenericError(xmlGenericErrorContext, "pcdata,");
        break;
            case XML_ELEMENT_CONTENT_ELEMENT:
        xmlGenericError(xmlGenericErrorContext, "%s,",
                    state->cont->name);
        break;
            case XML_ELEMENT_CONTENT_SEQ:
        xmlGenericError(xmlGenericErrorContext, "seq,");
        break;
            case XML_ELEMENT_CONTENT_OR:
        xmlGenericError(xmlGenericErrorContext, "or,");
        break;
    }
    xmlValidPrintNode(state->node);
    xmlGenericError(xmlGenericErrorContext, ",%d,%X,%d)",
        state->depth, state->occurs, state->state);
}

static void
xmlValidStateDebug(xmlValidCtxtPtr ctxt) {
    int i, j;

    xmlGenericError(xmlGenericErrorContext, "state: ");
    xmlValidDebugState(ctxt->vstate);
    xmlGenericError(xmlGenericErrorContext, " stack: %d ",
        ctxt->vstateNr - 1);
    for (i = 0, j = ctxt->vstateNr - 1;(i < 3) && (j > 0);i++,j--)
    xmlValidDebugState(&ctxt->vstateTab[j]);
    xmlGenericError(xmlGenericErrorContext, "\n");
}

/*****
#define DEBUG_VALID_STATE(n,c) xmlValidDebug(n,c);
 *****/

#define DEBUG_VALID_STATE(n,c) xmlValidStateDebug(ctxt);
#define DEBUG_VALID_MSG(m)                  \
    xmlGenericError(xmlGenericErrorContext, "%s\n", m);

#else
#define DEBUG_VALID_STATE(n,c)
#define DEBUG_VALID_MSG(m)
#endif

/* TODO: use hash table for accesses to elem and attribute definitions */


#define CHECK_DTD                       \
   if (doc == NULL) return(0);                  \
   else if ((doc->intSubset == NULL) &&             \
        (doc->extSubset == NULL)) return(0)

#ifdef LIBXML_REGEXP_ENABLED

/************************************************************************
 *                                  *
 *      Content model validation based on the regexps       *
 *                                  *
 ************************************************************************/

static int
xmlValidBuildAContentModel(xmlElementContentPtr content,
                   xmlValidCtxtPtr ctxt,
                   const xmlChar *name) {
    if (content == NULL) {
    xmlErrValidNode(ctxt, NULL, XML_ERR_INTERNAL_ERROR,
            "Found NULL content in content model of %s\n",
            name, NULL, NULL);
    return(0);
    }
    switch (content->type) {
    case XML_ELEMENT_CONTENT_PCDATA:
        xmlErrValidNode(ctxt, NULL, XML_ERR_INTERNAL_ERROR,
                "Found PCDATA in content model of %s\n",
                    name, NULL, NULL);
        return(0);
        break;
    case XML_ELEMENT_CONTENT_ELEMENT: {
        xmlAutomataStatePtr oldstate = ctxt->state;
        xmlChar fn[50];
        xmlChar *fullname;

        fullname = xmlBuildQName(content->name, content->prefix, fn, 50);
        if (fullname == NULL) {
            xmlVErrMemory(ctxt, "Building content model");
        return(0);
        }

        switch (content->ocur) {
        case XML_ELEMENT_CONTENT_ONCE:
            ctxt->state = xmlAutomataNewTransition(ctxt->am,
                ctxt->state, NULL, fullname, NULL);
            break;
        case XML_ELEMENT_CONTENT_OPT:
            ctxt->state = xmlAutomataNewTransition(ctxt->am,
                ctxt->state, NULL, fullname, NULL);
            xmlAutomataNewEpsilon(ctxt->am, oldstate, ctxt->state);
            break;
        case XML_ELEMENT_CONTENT_PLUS:
            ctxt->state = xmlAutomataNewTransition(ctxt->am,
                ctxt->state, NULL, fullname, NULL);
            xmlAutomataNewTransition(ctxt->am, ctxt->state,
                                 ctxt->state, fullname, NULL);
            break;
        case XML_ELEMENT_CONTENT_MULT:
            ctxt->state = xmlAutomataNewEpsilon(ctxt->am,
                        ctxt->state, NULL);
            xmlAutomataNewTransition(ctxt->am,
                ctxt->state, ctxt->state, fullname, NULL);
            break;
        }
        if ((fullname != fn) && (fullname != content->name))
        xmlFree(fullname);
        break;
    }
    case XML_ELEMENT_CONTENT_SEQ: {
        xmlAutomataStatePtr oldstate, oldend;
        xmlElementContentOccur ocur;

        /*
         * Simply iterate over the content
         */
        oldstate = ctxt->state;
        ocur = content->ocur;
        if (ocur != XML_ELEMENT_CONTENT_ONCE) {
        ctxt->state = xmlAutomataNewEpsilon(ctxt->am, oldstate, NULL);
        oldstate = ctxt->state;
        }
        do {
        xmlValidBuildAContentModel(content->c1, ctxt, name);
        content = content->c2;
        } while ((content->type == XML_ELEMENT_CONTENT_SEQ) &&
             (content->ocur == XML_ELEMENT_CONTENT_ONCE));
        xmlValidBuildAContentModel(content, ctxt, name);
        oldend = ctxt->state;
        ctxt->state = xmlAutomataNewEpsilon(ctxt->am, oldend, NULL);
        switch (ocur) {
        case XML_ELEMENT_CONTENT_ONCE:
            break;
        case XML_ELEMENT_CONTENT_OPT:
            xmlAutomataNewEpsilon(ctxt->am, oldstate, ctxt->state);
            break;
        case XML_ELEMENT_CONTENT_MULT:
            xmlAutomataNewEpsilon(ctxt->am, oldstate, ctxt->state);
            xmlAutomataNewEpsilon(ctxt->am, oldend, oldstate);
            break;
        case XML_ELEMENT_CONTENT_PLUS:
            xmlAutomataNewEpsilon(ctxt->am, oldend, oldstate);
            break;
        }
        break;
    }
    case XML_ELEMENT_CONTENT_OR: {
        xmlAutomataStatePtr oldstate, oldend;
        xmlElementContentOccur ocur;

        ocur = content->ocur;
        if ((ocur == XML_ELEMENT_CONTENT_PLUS) ||
        (ocur == XML_ELEMENT_CONTENT_MULT)) {
        ctxt->state = xmlAutomataNewEpsilon(ctxt->am,
            ctxt->state, NULL);
        }
        oldstate = ctxt->state;
        oldend = xmlAutomataNewState(ctxt->am);

        /*
         * iterate over the subtypes and remerge the end with an
         * epsilon transition
         */
        do {
        ctxt->state = oldstate;
        xmlValidBuildAContentModel(content->c1, ctxt, name);
        xmlAutomataNewEpsilon(ctxt->am, ctxt->state, oldend);
        content = content->c2;
        } while ((content->type == XML_ELEMENT_CONTENT_OR) &&
             (content->ocur == XML_ELEMENT_CONTENT_ONCE));
        ctxt->state = oldstate;
        xmlValidBuildAContentModel(content, ctxt, name);
        xmlAutomataNewEpsilon(ctxt->am, ctxt->state, oldend);
        ctxt->state = xmlAutomataNewEpsilon(ctxt->am, oldend, NULL);
        switch (ocur) {
        case XML_ELEMENT_CONTENT_ONCE:
            break;
        case XML_ELEMENT_CONTENT_OPT:
            xmlAutomataNewEpsilon(ctxt->am, oldstate, ctxt->state);
            break;
        case XML_ELEMENT_CONTENT_MULT:
            xmlAutomataNewEpsilon(ctxt->am, oldstate, ctxt->state);
            xmlAutomataNewEpsilon(ctxt->am, oldend, oldstate);
            break;
        case XML_ELEMENT_CONTENT_PLUS:
            xmlAutomataNewEpsilon(ctxt->am, oldend, oldstate);
            break;
        }
        break;
    }
    default:
        xmlErrValid(ctxt, XML_ERR_INTERNAL_ERROR,
                    "ContentModel broken for element %s\n",
            (const char *) name);
        return(0);
    }
    return(1);
}
int
xmlValidBuildContentModel(xmlValidCtxtPtr ctxt, xmlElementPtr elem) {

    if ((ctxt == NULL) || (elem == NULL))
    return(0);
    if (elem->type != XML_ELEMENT_DECL)
    return(0);
    if (elem->etype != XML_ELEMENT_TYPE_ELEMENT)
    return(1);
    /* TODO: should we rebuild in this case ? */
    if (elem->contModel != NULL) {
    if (!xmlRegexpIsDeterminist(elem->contModel)) {
        ctxt->valid = 0;
        return(0);
    }
    return(1);
    }

    ctxt->am = xmlNewAutomata();
    if (ctxt->am == NULL) {
    xmlErrValidNode(ctxt, (xmlNodePtr) elem,
                    XML_ERR_INTERNAL_ERROR,
                    "Cannot create automata for element %s\n",
                elem->name, NULL, NULL);
    return(0);
    }
    ctxt->state = xmlAutomataGetInitState(ctxt->am);
    xmlValidBuildAContentModel(elem->content, ctxt, elem->name);
    xmlAutomataSetFinalState(ctxt->am, ctxt->state);
    elem->contModel = xmlAutomataCompile(ctxt->am);
    if (xmlRegexpIsDeterminist(elem->contModel) != 1) {
    char expr[5000];
    expr[0] = 0;
    xmlSnprintfElementContent(expr, 5000, elem->content, 1);
    xmlErrValidNode(ctxt, (xmlNodePtr) elem,
                    XML_DTD_CONTENT_NOT_DETERMINIST,
           "Content model of %s is not determinist: %s\n",
           elem->name, BAD_CAST expr, NULL);
#ifdef DEBUG_REGEXP_ALGO
        xmlRegexpPrint(stderr, elem->contModel);
#endif
        ctxt->valid = 0;
    ctxt->state = NULL;
    xmlFreeAutomata(ctxt->am);
    ctxt->am = NULL;
    return(0);
    }
    ctxt->state = NULL;
    xmlFreeAutomata(ctxt->am);
    ctxt->am = NULL;
    return(1);
}

#endif /* LIBXML_REGEXP_ENABLED */

/****************************************************************
 *                              *
 *  Util functions for data allocation/deallocation     *
 *                              *
 ****************************************************************/

xmlValidCtxtPtr xmlNewValidCtxt(void) {
    xmlValidCtxtPtr ret;

    if ((ret = xmlMalloc(sizeof (xmlValidCtxt))) == NULL) {
    xmlVErrMemory(NULL, "malloc failed");
    return (NULL);
    }

    (void) memset(ret, 0, sizeof (xmlValidCtxt));

    return (ret);
}

void
xmlFreeValidCtxt(xmlValidCtxtPtr cur) {
    if (cur->vstateTab != NULL)
        xmlFree(cur->vstateTab);
    if (cur->nodeTab != NULL)
        xmlFree(cur->nodeTab);
    xmlFree(cur);
}

#endif /* LIBXML_VALID_ENABLED */

xmlElementContentPtr
xmlNewDocElementContent(xmlDocPtr doc, const xmlChar *name,
                        xmlElementContentType type) {
    xmlElementContentPtr ret;
    xmlDictPtr dict = NULL;

    if (doc != NULL)
        dict = doc->dict;

    switch(type) {
    case XML_ELEMENT_CONTENT_ELEMENT:
        if (name == NULL) {
            xmlErrValid(NULL, XML_ERR_INTERNAL_ERROR,
            "xmlNewElementContent : name == NULL !\n",
            NULL);
        }
        break;
        case XML_ELEMENT_CONTENT_PCDATA:
    case XML_ELEMENT_CONTENT_SEQ:
    case XML_ELEMENT_CONTENT_OR:
        if (name != NULL) {
            xmlErrValid(NULL, XML_ERR_INTERNAL_ERROR,
            "xmlNewElementContent : name != NULL !\n",
            NULL);
        }
        break;
    default:
        xmlErrValid(NULL, XML_ERR_INTERNAL_ERROR,
            "Internal: ELEMENT content corrupted invalid type\n",
            NULL);
        return(NULL);
    }
    ret = (xmlElementContentPtr) xmlMalloc(sizeof(xmlElementContent));
    if (ret == NULL) {
    xmlVErrMemory(NULL, "malloc failed");
    return(NULL);
    }
    memset(ret, 0, sizeof(xmlElementContent));
    ret->type = type;
    ret->ocur = XML_ELEMENT_CONTENT_ONCE;
    if (name != NULL) {
        int l;
    const xmlChar *tmp;

    tmp = xmlSplitQName3(name, &l);
    if (tmp == NULL) {
        if (dict == NULL)
        ret->name = xmlStrdup(name);
        else
            ret->name = xmlDictLookup(dict, name, -1);
    } else {
        if (dict == NULL) {
        ret->prefix = xmlStrndup(name, l);
        ret->name = xmlStrdup(tmp);
        } else {
            ret->prefix = xmlDictLookup(dict, name, l);
        ret->name = xmlDictLookup(dict, tmp, -1);
        }
    }
    }
    return(ret);
}

xmlElementContentPtr
xmlNewElementContent(const xmlChar *name, xmlElementContentType type) {
    return(xmlNewDocElementContent(NULL, name, type));
}

xmlElementContentPtr
xmlCopyDocElementContent(xmlDocPtr doc, xmlElementContentPtr cur) {
    xmlElementContentPtr ret = NULL, prev = NULL, tmp;
    xmlDictPtr dict = NULL;

    if (cur == NULL) return(NULL);

    if (doc != NULL)
        dict = doc->dict;

    ret = (xmlElementContentPtr) xmlMalloc(sizeof(xmlElementContent));
    if (ret == NULL) {
    xmlVErrMemory(NULL, "malloc failed");
    return(NULL);
    }
    memset(ret, 0, sizeof(xmlElementContent));
    ret->type = cur->type;
    ret->ocur = cur->ocur;
    if (cur->name != NULL) {
    if (dict)
        ret->name = xmlDictLookup(dict, cur->name, -1);
    else
        ret->name = xmlStrdup(cur->name);
    }

    if (cur->prefix != NULL) {
    if (dict)
        ret->prefix = xmlDictLookup(dict, cur->prefix, -1);
    else
        ret->prefix = xmlStrdup(cur->prefix);
    }
    if (cur->c1 != NULL)
        ret->c1 = xmlCopyDocElementContent(doc, cur->c1);
    if (ret->c1 != NULL)
    ret->c1->parent = ret;
    if (cur->c2 != NULL) {
        prev = ret;
    cur = cur->c2;
    while (cur != NULL) {
        tmp = (xmlElementContentPtr) xmlMalloc(sizeof(xmlElementContent));
        if (tmp == NULL) {
        xmlVErrMemory(NULL, "malloc failed");
        return(ret);
        }
        memset(tmp, 0, sizeof(xmlElementContent));
        tmp->type = cur->type;
        tmp->ocur = cur->ocur;
        prev->c2 = tmp;
        if (cur->name != NULL) {
        if (dict)
            tmp->name = xmlDictLookup(dict, cur->name, -1);
        else
            tmp->name = xmlStrdup(cur->name);
        }

        if (cur->prefix != NULL) {
        if (dict)
            tmp->prefix = xmlDictLookup(dict, cur->prefix, -1);
        else
            tmp->prefix = xmlStrdup(cur->prefix);
        }
        if (cur->c1 != NULL)
            tmp->c1 = xmlCopyDocElementContent(doc,cur->c1);
        if (tmp->c1 != NULL)
        tmp->c1->parent = ret;
        prev = tmp;
        cur = cur->c2;
    }
    }
    return(ret);
}

xmlElementContentPtr
xmlCopyElementContent(xmlElementContentPtr cur) {
    return(xmlCopyDocElementContent(NULL, cur));
}

void
xmlFreeDocElementContent(xmlDocPtr doc, xmlElementContentPtr cur) {
    xmlDictPtr dict = NULL;
    size_t depth = 0;

    if (cur == NULL)
        return;
    if (doc != NULL)
        dict = doc->dict;

    while (1) {
        xmlElementContentPtr parent;

        while ((cur->c1 != NULL) || (cur->c2 != NULL)) {
            cur = (cur->c1 != NULL) ? cur->c1 : cur->c2;
            depth += 1;
        }

    switch (cur->type) {
        case XML_ELEMENT_CONTENT_PCDATA:
        case XML_ELEMENT_CONTENT_ELEMENT:
        case XML_ELEMENT_CONTENT_SEQ:
        case XML_ELEMENT_CONTENT_OR:
        break;
        default:
        xmlErrValid(NULL, XML_ERR_INTERNAL_ERROR,
            "Internal: ELEMENT content corrupted invalid type\n",
            NULL);
        return;
    }
    if (dict) {
        if ((cur->name != NULL) && (!xmlDictOwns(dict, cur->name)))
            xmlFree((xmlChar *) cur->name);
        if ((cur->prefix != NULL) && (!xmlDictOwns(dict, cur->prefix)))
            xmlFree((xmlChar *) cur->prefix);
    } else {
        if (cur->name != NULL) xmlFree((xmlChar *) cur->name);
        if (cur->prefix != NULL) xmlFree((xmlChar *) cur->prefix);
    }
        parent = cur->parent;
        if ((depth == 0) || (parent == NULL)) {
            xmlFree(cur);
            break;
        }
        if (cur == parent->c1)
            parent->c1 = NULL;
        else
            parent->c2 = NULL;
    xmlFree(cur);

        if (parent->c2 != NULL) {
        cur = parent->c2;
        } else {
            depth -= 1;
            cur = parent;
        }
    }
}

void
xmlFreeElementContent(xmlElementContentPtr cur) {
    xmlFreeDocElementContent(NULL, cur);
}

#ifdef LIBXML_OUTPUT_ENABLED

static void
xmlDumpElementOccur(xmlBufferPtr buf, xmlElementContentPtr cur) {
    switch (cur->ocur) {
        case XML_ELEMENT_CONTENT_ONCE:
            break;
        case XML_ELEMENT_CONTENT_OPT:
            xmlBufferWriteChar(buf, "?");
            break;
        case XML_ELEMENT_CONTENT_MULT:
            xmlBufferWriteChar(buf, "*");
            break;
        case XML_ELEMENT_CONTENT_PLUS:
            xmlBufferWriteChar(buf, "+");
            break;
    }
}

static void
xmlDumpElementContent(xmlBufferPtr buf, xmlElementContentPtr content) {
    xmlElementContentPtr cur;

    if (content == NULL) return;

    xmlBufferWriteChar(buf, "(");
    cur = content;

    do {
        if (cur == NULL) return;

        switch (cur->type) {
            case XML_ELEMENT_CONTENT_PCDATA:
                xmlBufferWriteChar(buf, "#PCDATA");
                break;
            case XML_ELEMENT_CONTENT_ELEMENT:
                if (cur->prefix != NULL) {
                    xmlBufferWriteCHAR(buf, cur->prefix);
                    xmlBufferWriteChar(buf, ":");
                }
                xmlBufferWriteCHAR(buf, cur->name);
                break;
            case XML_ELEMENT_CONTENT_SEQ:
            case XML_ELEMENT_CONTENT_OR:
                if ((cur != content) &&
                    (cur->parent != NULL) &&
                    ((cur->type != cur->parent->type) ||
                     (cur->ocur != XML_ELEMENT_CONTENT_ONCE)))
                    xmlBufferWriteChar(buf, "(");
                cur = cur->c1;
                continue;
            default:
                xmlErrValid(NULL, XML_ERR_INTERNAL_ERROR,
                        "Internal: ELEMENT cur corrupted invalid type\n",
                        NULL);
        }

        while (cur != content) {
            xmlElementContentPtr parent = cur->parent;

            if (parent == NULL) return;

            if (((cur->type == XML_ELEMENT_CONTENT_OR) ||
                 (cur->type == XML_ELEMENT_CONTENT_SEQ)) &&
                ((cur->type != parent->type) ||
                 (cur->ocur != XML_ELEMENT_CONTENT_ONCE)))
                xmlBufferWriteChar(buf, ")");
            xmlDumpElementOccur(buf, cur);

            if (cur == parent->c1) {
                if (parent->type == XML_ELEMENT_CONTENT_SEQ)
                    xmlBufferWriteChar(buf, " , ");
                else if (parent->type == XML_ELEMENT_CONTENT_OR)
                    xmlBufferWriteChar(buf, " | ");

                cur = parent->c2;
                break;
            }

            cur = parent;
        }
    } while (cur != content);

    xmlBufferWriteChar(buf, ")");
    xmlDumpElementOccur(buf, content);
}

void
xmlSprintfElementContent(char *buf ATTRIBUTE_UNUSED,
                     xmlElementContentPtr content ATTRIBUTE_UNUSED,
             int englob ATTRIBUTE_UNUSED) {
}
#endif /* LIBXML_OUTPUT_ENABLED */

void
xmlSnprintfElementContent(char *buf, int size, xmlElementContentPtr content, int englob) {
    int len;

    if (content == NULL) return;
    len = strlen(buf);
    if (size - len < 50) {
    if ((size - len > 4) && (buf[len - 1] != '.'))
        strcat(buf, " ...");
    return;
    }
    if (englob) strcat(buf, "(");
    switch (content->type) {
        case XML_ELEMENT_CONTENT_PCDATA:
            strcat(buf, "#PCDATA");
        break;
    case XML_ELEMENT_CONTENT_ELEMENT: {
            int qnameLen = xmlStrlen(content->name);

        if (content->prefix != NULL)
                qnameLen += xmlStrlen(content->prefix) + 1;
        if (size - len < qnameLen + 10) {
        strcat(buf, " ...");
        return;
        }
        if (content->prefix != NULL) {
        strcat(buf, (char *) content->prefix);
        strcat(buf, ":");
        }
        if (content->name != NULL)
        strcat(buf, (char *) content->name);
        break;
        }
    case XML_ELEMENT_CONTENT_SEQ:
        if ((content->c1->type == XML_ELEMENT_CONTENT_OR) ||
            (content->c1->type == XML_ELEMENT_CONTENT_SEQ))
        xmlSnprintfElementContent(buf, size, content->c1, 1);
        else
        xmlSnprintfElementContent(buf, size, content->c1, 0);
        len = strlen(buf);
        if (size - len < 50) {
        if ((size - len > 4) && (buf[len - 1] != '.'))
            strcat(buf, " ...");
        return;
        }
            strcat(buf, " , ");
        if (((content->c2->type == XML_ELEMENT_CONTENT_OR) ||
         (content->c2->ocur != XML_ELEMENT_CONTENT_ONCE)) &&
        (content->c2->type != XML_ELEMENT_CONTENT_ELEMENT))
        xmlSnprintfElementContent(buf, size, content->c2, 1);
        else
        xmlSnprintfElementContent(buf, size, content->c2, 0);
        break;
    case XML_ELEMENT_CONTENT_OR:
        if ((content->c1->type == XML_ELEMENT_CONTENT_OR) ||
            (content->c1->type == XML_ELEMENT_CONTENT_SEQ))
        xmlSnprintfElementContent(buf, size, content->c1, 1);
        else
        xmlSnprintfElementContent(buf, size, content->c1, 0);
        len = strlen(buf);
        if (size - len < 50) {
        if ((size - len > 4) && (buf[len - 1] != '.'))
            strcat(buf, " ...");
        return;
        }
            strcat(buf, " | ");
        if (((content->c2->type == XML_ELEMENT_CONTENT_SEQ) ||
         (content->c2->ocur != XML_ELEMENT_CONTENT_ONCE)) &&
        (content->c2->type != XML_ELEMENT_CONTENT_ELEMENT))
        xmlSnprintfElementContent(buf, size, content->c2, 1);
        else
        xmlSnprintfElementContent(buf, size, content->c2, 0);
        break;
    }
    if (size - strlen(buf) <= 2) return;
    if (englob)
        strcat(buf, ")");
    switch (content->ocur) {
        case XML_ELEMENT_CONTENT_ONCE:
        break;
        case XML_ELEMENT_CONTENT_OPT:
        strcat(buf, "?");
        break;
        case XML_ELEMENT_CONTENT_MULT:
        strcat(buf, "*");
        break;
        case XML_ELEMENT_CONTENT_PLUS:
        strcat(buf, "+");
        break;
    }
}

/****************************************************************
 *                              *
 *  Registration of DTD declarations            *
 *                              *
 ****************************************************************/

static void
xmlFreeElement(xmlElementPtr elem) {
    if (elem == NULL) return;
    xmlUnlinkNode((xmlNodePtr) elem);
    xmlFreeDocElementContent(elem->doc, elem->content);
    if (elem->name != NULL)
    xmlFree((xmlChar *) elem->name);
    if (elem->prefix != NULL)
    xmlFree((xmlChar *) elem->prefix);
#ifdef LIBXML_REGEXP_ENABLED
    if (elem->contModel != NULL)
    xmlRegFreeRegexp(elem->contModel);
#endif
    xmlFree(elem);
}


xmlElementPtr
xmlAddElementDecl(xmlValidCtxtPtr ctxt,
                  xmlDtdPtr dtd, const xmlChar *name,
                  xmlElementTypeVal type,
          xmlElementContentPtr content) {
    xmlElementPtr ret;
    xmlElementTablePtr table;
    xmlAttributePtr oldAttributes = NULL;
    xmlChar *ns, *uqname;

    if (dtd == NULL) {
    return(NULL);
    }
    if (name == NULL) {
    return(NULL);
    }

    switch (type) {
        case XML_ELEMENT_TYPE_EMPTY:
        if (content != NULL) {
        xmlErrValid(ctxt, XML_ERR_INTERNAL_ERROR,
                "xmlAddElementDecl: content != NULL for EMPTY\n",
            NULL);
        return(NULL);
        }
        break;
    case XML_ELEMENT_TYPE_ANY:
        if (content != NULL) {
        xmlErrValid(ctxt, XML_ERR_INTERNAL_ERROR,
                "xmlAddElementDecl: content != NULL for ANY\n",
            NULL);
        return(NULL);
        }
        break;
    case XML_ELEMENT_TYPE_MIXED:
        if (content == NULL) {
        xmlErrValid(ctxt, XML_ERR_INTERNAL_ERROR,
                "xmlAddElementDecl: content == NULL for MIXED\n",
            NULL);
        return(NULL);
        }
        break;
    case XML_ELEMENT_TYPE_ELEMENT:
        if (content == NULL) {
        xmlErrValid(ctxt, XML_ERR_INTERNAL_ERROR,
                "xmlAddElementDecl: content == NULL for ELEMENT\n",
            NULL);
        return(NULL);
        }
        break;
    default:
        xmlErrValid(ctxt, XML_ERR_INTERNAL_ERROR,
            "Internal: ELEMENT decl corrupted invalid type\n",
            NULL);
        return(NULL);
    }

    /*
     * check if name is a QName
     */
    uqname = xmlSplitQName2(name, &ns);
    if (uqname != NULL)
    name = uqname;

    /*
     * Create the Element table if needed.
     */
    table = (xmlElementTablePtr) dtd->elements;
    if (table == NULL) {
    xmlDictPtr dict = NULL;

    if (dtd->doc != NULL)
        dict = dtd->doc->dict;
        table = xmlHashCreateDict(0, dict);
    dtd->elements = (void *) table;
    }
    if (table == NULL) {
    xmlVErrMemory(ctxt,
            "xmlAddElementDecl: Table creation failed!\n");
    if (uqname != NULL)
        xmlFree(uqname);
    if (ns != NULL)
        xmlFree(ns);
        return(NULL);
    }

    /*
     * lookup old attributes inserted on an undefined element in the
     * internal subset.
     */
    if ((dtd->doc != NULL) && (dtd->doc->intSubset != NULL)) {
    ret = xmlHashLookup2(dtd->doc->intSubset->elements, name, ns);
    if ((ret != NULL) && (ret->etype == XML_ELEMENT_TYPE_UNDEFINED)) {
        oldAttributes = ret->attributes;
        ret->attributes = NULL;
        xmlHashRemoveEntry2(dtd->doc->intSubset->elements, name, ns, NULL);
        xmlFreeElement(ret);
    }
    }

    /*
     * The element may already be present if one of its attribute
     * was registered first
     */
    ret = xmlHashLookup2(table, name, ns);
    if (ret != NULL) {
    if (ret->etype != XML_ELEMENT_TYPE_UNDEFINED) {
#ifdef LIBXML_VALID_ENABLED
        /*
         * The element is already defined in this DTD.
         */
        xmlErrValidNode(ctxt, (xmlNodePtr) dtd, XML_DTD_ELEM_REDEFINED,
                        "Redefinition of element %s\n",
                name, NULL, NULL);
#endif /* LIBXML_VALID_ENABLED */
        if (uqname != NULL)
        xmlFree(uqname);
            if (ns != NULL)
            xmlFree(ns);
        return(NULL);
    }
    if (ns != NULL) {
        xmlFree(ns);
        ns = NULL;
    }
    } else {
    ret = (xmlElementPtr) xmlMalloc(sizeof(xmlElement));
    if (ret == NULL) {
        xmlVErrMemory(ctxt, "malloc failed");
        if (uqname != NULL)
        xmlFree(uqname);
            if (ns != NULL)
            xmlFree(ns);
        return(NULL);
    }
    memset(ret, 0, sizeof(xmlElement));
    ret->type = XML_ELEMENT_DECL;

    /*
     * fill the structure.
     */
    ret->name = xmlStrdup(name);
    if (ret->name == NULL) {
        xmlVErrMemory(ctxt, "malloc failed");
        if (uqname != NULL)
        xmlFree(uqname);
            if (ns != NULL)
            xmlFree(ns);
        xmlFree(ret);
        return(NULL);
    }
    ret->prefix = ns;

    /*
     * Validity Check:
     * Insertion must not fail
     */
    if (xmlHashAddEntry2(table, name, ns, ret)) {
#ifdef LIBXML_VALID_ENABLED
        /*
         * The element is already defined in this DTD.
         */
        xmlErrValidNode(ctxt, (xmlNodePtr) dtd, XML_DTD_ELEM_REDEFINED,
                        "Redefinition of element %s\n",
                name, NULL, NULL);
#endif /* LIBXML_VALID_ENABLED */
        xmlFreeElement(ret);
        if (uqname != NULL)
        xmlFree(uqname);
        return(NULL);
    }
    /*
     * For new element, may have attributes from earlier
     * definition in internal subset
     */
    ret->attributes = oldAttributes;
    }

    /*
     * Finish to fill the structure.
     */
    ret->etype = type;
    /*
     * Avoid a stupid copy when called by the parser
     * and flag it by setting a special parent value
     * so the parser doesn't unallocate it.
     */
    if ((ctxt != NULL) &&
        ((ctxt->finishDtd == XML_CTXT_FINISH_DTD_0) ||
         (ctxt->finishDtd == XML_CTXT_FINISH_DTD_1))) {
    ret->content = content;
    if (content != NULL)
        content->parent = (xmlElementContentPtr) 1;
    } else {
    ret->content = xmlCopyDocElementContent(dtd->doc, content);
    }

    /*
     * Link it to the DTD
     */
    ret->parent = dtd;
    ret->doc = dtd->doc;
    if (dtd->last == NULL) {
    dtd->children = dtd->last = (xmlNodePtr) ret;
    } else {
        dtd->last->next = (xmlNodePtr) ret;
    ret->prev = dtd->last;
    dtd->last = (xmlNodePtr) ret;
    }
    if (uqname != NULL)
    xmlFree(uqname);
    return(ret);
}

static void
xmlFreeElementTableEntry(void *elem, const xmlChar *name ATTRIBUTE_UNUSED) {
    xmlFreeElement((xmlElementPtr) elem);
}

void
xmlFreeElementTable(xmlElementTablePtr table) {
    xmlHashFree(table, xmlFreeElementTableEntry);
}

#ifdef LIBXML_TREE_ENABLED

static void *
xmlCopyElement(void *payload, const xmlChar *name ATTRIBUTE_UNUSED) {
    xmlElementPtr elem = (xmlElementPtr) payload;
    xmlElementPtr cur;

    cur = (xmlElementPtr) xmlMalloc(sizeof(xmlElement));
    if (cur == NULL) {
    xmlVErrMemory(NULL, "malloc failed");
    return(NULL);
    }
    memset(cur, 0, sizeof(xmlElement));
    cur->type = XML_ELEMENT_DECL;
    cur->etype = elem->etype;
    if (elem->name != NULL)
    cur->name = xmlStrdup(elem->name);
    else
    cur->name = NULL;
    if (elem->prefix != NULL)
    cur->prefix = xmlStrdup(elem->prefix);
    else
    cur->prefix = NULL;
    cur->content = xmlCopyElementContent(elem->content);
    /* TODO : rebuild the attribute list on the copy */
    cur->attributes = NULL;
    return(cur);
}

xmlElementTablePtr
xmlCopyElementTable(xmlElementTablePtr table) {
    return((xmlElementTablePtr) xmlHashCopy(table, xmlCopyElement));
}
#endif /* LIBXML_TREE_ENABLED */

#ifdef LIBXML_OUTPUT_ENABLED

void
xmlDumpElementDecl(xmlBufferPtr buf, xmlElementPtr elem) {
    if ((buf == NULL) || (elem == NULL))
        return;
    switch (elem->etype) {
    case XML_ELEMENT_TYPE_EMPTY:
        xmlBufferWriteChar(buf, "<!ELEMENT ");
        if (elem->prefix != NULL) {
        xmlBufferWriteCHAR(buf, elem->prefix);
        xmlBufferWriteChar(buf, ":");
        }
        xmlBufferWriteCHAR(buf, elem->name);
        xmlBufferWriteChar(buf, " EMPTY>\n");
        break;
    case XML_ELEMENT_TYPE_ANY:
        xmlBufferWriteChar(buf, "<!ELEMENT ");
        if (elem->prefix != NULL) {
        xmlBufferWriteCHAR(buf, elem->prefix);
        xmlBufferWriteChar(buf, ":");
        }
        xmlBufferWriteCHAR(buf, elem->name);
        xmlBufferWriteChar(buf, " ANY>\n");
        break;
    case XML_ELEMENT_TYPE_MIXED:
        xmlBufferWriteChar(buf, "<!ELEMENT ");
        if (elem->prefix != NULL) {
        xmlBufferWriteCHAR(buf, elem->prefix);
        xmlBufferWriteChar(buf, ":");
        }
        xmlBufferWriteCHAR(buf, elem->name);
        xmlBufferWriteChar(buf, " ");
        xmlDumpElementContent(buf, elem->content);
        xmlBufferWriteChar(buf, ">\n");
        break;
    case XML_ELEMENT_TYPE_ELEMENT:
        xmlBufferWriteChar(buf, "<!ELEMENT ");
        if (elem->prefix != NULL) {
        xmlBufferWriteCHAR(buf, elem->prefix);
        xmlBufferWriteChar(buf, ":");
        }
        xmlBufferWriteCHAR(buf, elem->name);
        xmlBufferWriteChar(buf, " ");
        xmlDumpElementContent(buf, elem->content);
        xmlBufferWriteChar(buf, ">\n");
        break;
    default:
        xmlErrValid(NULL, XML_ERR_INTERNAL_ERROR,
            "Internal: ELEMENT struct corrupted invalid type\n",
            NULL);
    }
}

static void
xmlDumpElementDeclScan(void *elem, void *buf,
                       const xmlChar *name ATTRIBUTE_UNUSED) {
    xmlDumpElementDecl((xmlBufferPtr) buf, (xmlElementPtr) elem);
}

void
xmlDumpElementTable(xmlBufferPtr buf, xmlElementTablePtr table) {
    if ((buf == NULL) || (table == NULL))
        return;
    xmlHashScan(table, xmlDumpElementDeclScan, buf);
}
#endif /* LIBXML_OUTPUT_ENABLED */

xmlEnumerationPtr
xmlCreateEnumeration(const xmlChar *name) {
    xmlEnumerationPtr ret;

    ret = (xmlEnumerationPtr) xmlMalloc(sizeof(xmlEnumeration));
    if (ret == NULL) {
    xmlVErrMemory(NULL, "malloc failed");
        return(NULL);
    }
    memset(ret, 0, sizeof(xmlEnumeration));

    if (name != NULL)
        ret->name = xmlStrdup(name);
    return(ret);
}

void
xmlFreeEnumeration(xmlEnumerationPtr cur) {
    if (cur == NULL) return;

    if (cur->next != NULL) xmlFreeEnumeration(cur->next);

    if (cur->name != NULL) xmlFree((xmlChar *) cur->name);
    xmlFree(cur);
}

#ifdef LIBXML_TREE_ENABLED

xmlEnumerationPtr
xmlCopyEnumeration(xmlEnumerationPtr cur) {
    xmlEnumerationPtr ret;

    if (cur == NULL) return(NULL);
    ret = xmlCreateEnumeration((xmlChar *) cur->name);
    if (ret == NULL) return(NULL);

    if (cur->next != NULL) ret->next = xmlCopyEnumeration(cur->next);
    else ret->next = NULL;

    return(ret);
}
#endif /* LIBXML_TREE_ENABLED */

#ifdef LIBXML_OUTPUT_ENABLED

static void
xmlDumpEnumeration(xmlBufferPtr buf, xmlEnumerationPtr cur) {
    if ((buf == NULL) || (cur == NULL))
        return;

    xmlBufferWriteCHAR(buf, cur->name);
    if (cur->next == NULL)
    xmlBufferWriteChar(buf, ")");
    else {
    xmlBufferWriteChar(buf, " | ");
    xmlDumpEnumeration(buf, cur->next);
    }
}
#endif /* LIBXML_OUTPUT_ENABLED */

#ifdef LIBXML_VALID_ENABLED

static int
xmlScanIDAttributeDecl(xmlValidCtxtPtr ctxt, xmlElementPtr elem, int err) {
    xmlAttributePtr cur;
    int ret = 0;

    if (elem == NULL) return(0);
    cur = elem->attributes;
    while (cur != NULL) {
        if (cur->atype == XML_ATTRIBUTE_ID) {
        ret ++;
        if ((ret > 1) && (err))
        xmlErrValidNode(ctxt, (xmlNodePtr) elem, XML_DTD_MULTIPLE_ID,
           "Element %s has too many ID attributes defined : %s\n",
               elem->name, cur->name, NULL);
    }
    cur = cur->nexth;
    }
    return(ret);
}
#endif /* LIBXML_VALID_ENABLED */

static void
xmlFreeAttribute(xmlAttributePtr attr) {
    xmlDictPtr dict;

    if (attr == NULL) return;
    if (attr->doc != NULL)
    dict = attr->doc->dict;
    else
    dict = NULL;
    xmlUnlinkNode((xmlNodePtr) attr);
    if (attr->tree != NULL)
        xmlFreeEnumeration(attr->tree);
    if (dict) {
        if ((attr->elem != NULL) && (!xmlDictOwns(dict, attr->elem)))
        xmlFree((xmlChar *) attr->elem);
        if ((attr->name != NULL) && (!xmlDictOwns(dict, attr->name)))
        xmlFree((xmlChar *) attr->name);
        if ((attr->prefix != NULL) && (!xmlDictOwns(dict, attr->prefix)))
        xmlFree((xmlChar *) attr->prefix);
        if ((attr->defaultValue != NULL) &&
        (!xmlDictOwns(dict, attr->defaultValue)))
        xmlFree((xmlChar *) attr->defaultValue);
    } else {
    if (attr->elem != NULL)
        xmlFree((xmlChar *) attr->elem);
    if (attr->name != NULL)
        xmlFree((xmlChar *) attr->name);
    if (attr->defaultValue != NULL)
        xmlFree((xmlChar *) attr->defaultValue);
    if (attr->prefix != NULL)
        xmlFree((xmlChar *) attr->prefix);
    }
    xmlFree(attr);
}


xmlAttributePtr
xmlAddAttributeDecl(xmlValidCtxtPtr ctxt,
                    xmlDtdPtr dtd, const xmlChar *elem,
                    const xmlChar *name, const xmlChar *ns,
            xmlAttributeType type, xmlAttributeDefault def,
            const xmlChar *defaultValue, xmlEnumerationPtr tree) {
    xmlAttributePtr ret;
    xmlAttributeTablePtr table;
    xmlElementPtr elemDef;
    xmlDictPtr dict = NULL;

    if (dtd == NULL) {
    xmlFreeEnumeration(tree);
    return(NULL);
    }
    if (name == NULL) {
    xmlFreeEnumeration(tree);
    return(NULL);
    }
    if (elem == NULL) {
    xmlFreeEnumeration(tree);
    return(NULL);
    }
    if (dtd->doc != NULL)
    dict = dtd->doc->dict;

#ifdef LIBXML_VALID_ENABLED
    /*
     * Check the type and possibly the default value.
     */
    switch (type) {
        case XML_ATTRIBUTE_CDATA:
        break;
        case XML_ATTRIBUTE_ID:
        break;
        case XML_ATTRIBUTE_IDREF:
        break;
        case XML_ATTRIBUTE_IDREFS:
        break;
        case XML_ATTRIBUTE_ENTITY:
        break;
        case XML_ATTRIBUTE_ENTITIES:
        break;
        case XML_ATTRIBUTE_NMTOKEN:
        break;
        case XML_ATTRIBUTE_NMTOKENS:
        break;
        case XML_ATTRIBUTE_ENUMERATION:
        break;
        case XML_ATTRIBUTE_NOTATION:
        break;
    default:
        xmlErrValid(ctxt, XML_ERR_INTERNAL_ERROR,
            "Internal: ATTRIBUTE struct corrupted invalid type\n",
            NULL);
        xmlFreeEnumeration(tree);
        return(NULL);
    }
    if ((defaultValue != NULL) &&
        (!xmlValidateAttributeValueInternal(dtd->doc, type, defaultValue))) {
    xmlErrValidNode(ctxt, (xmlNodePtr) dtd, XML_DTD_ATTRIBUTE_DEFAULT,
                    "Attribute %s of %s: invalid default value\n",
                    elem, name, defaultValue);
    defaultValue = NULL;
    if (ctxt != NULL)
        ctxt->valid = 0;
    }
#endif /* LIBXML_VALID_ENABLED */

    /*
     * Check first that an attribute defined in the external subset wasn't
     * already defined in the internal subset
     */
    if ((dtd->doc != NULL) && (dtd->doc->extSubset == dtd) &&
    (dtd->doc->intSubset != NULL) &&
    (dtd->doc->intSubset->attributes != NULL)) {
        ret = xmlHashLookup3(dtd->doc->intSubset->attributes, name, ns, elem);
    if (ret != NULL) {
        xmlFreeEnumeration(tree);
        return(NULL);
    }
    }

    /*
     * Create the Attribute table if needed.
     */
    table = (xmlAttributeTablePtr) dtd->attributes;
    if (table == NULL) {
        table = xmlHashCreateDict(0, dict);
    dtd->attributes = (void *) table;
    }
    if (table == NULL) {
    xmlVErrMemory(ctxt,
            "xmlAddAttributeDecl: Table creation failed!\n");
    xmlFreeEnumeration(tree);
        return(NULL);
    }


    ret = (xmlAttributePtr) xmlMalloc(sizeof(xmlAttribute));
    if (ret == NULL) {
    xmlVErrMemory(ctxt, "malloc failed");
    xmlFreeEnumeration(tree);
    return(NULL);
    }
    memset(ret, 0, sizeof(xmlAttribute));
    ret->type = XML_ATTRIBUTE_DECL;

    /*
     * fill the structure.
     */
    ret->atype = type;
    /*
     * doc must be set before possible error causes call
     * to xmlFreeAttribute (because it's used to check on
     * dict use)
     */
    ret->doc = dtd->doc;
    if (dict) {
    ret->name = xmlDictLookup(dict, name, -1);
    ret->prefix = xmlDictLookup(dict, ns, -1);
    ret->elem = xmlDictLookup(dict, elem, -1);
    } else {
    ret->name = xmlStrdup(name);
    ret->prefix = xmlStrdup(ns);
    ret->elem = xmlStrdup(elem);
    }
    ret->def = def;
    ret->tree = tree;
    if (defaultValue != NULL) {
        if (dict)
        ret->defaultValue = xmlDictLookup(dict, defaultValue, -1);
    else
        ret->defaultValue = xmlStrdup(defaultValue);
    }

    /*
     * Validity Check:
     * Search the DTD for previous declarations of the ATTLIST
     */
    if (xmlHashAddEntry3(table, ret->name, ret->prefix, ret->elem, ret) < 0) {
#ifdef LIBXML_VALID_ENABLED
    /*
     * The attribute is already defined in this DTD.
     */
    xmlErrValidWarning(ctxt, (xmlNodePtr) dtd, XML_DTD_ATTRIBUTE_REDEFINED,
         "Attribute %s of element %s: already defined\n",
         name, elem, NULL);
#endif /* LIBXML_VALID_ENABLED */
    xmlFreeAttribute(ret);
    return(NULL);
    }

    /*
     * Validity Check:
     * Multiple ID per element
     */
    elemDef = xmlGetDtdElementDesc2(dtd, elem, 1);
    if (elemDef != NULL) {

#ifdef LIBXML_VALID_ENABLED
        if ((type == XML_ATTRIBUTE_ID) &&
        (xmlScanIDAttributeDecl(NULL, elemDef, 1) != 0)) {
        xmlErrValidNode(ctxt, (xmlNodePtr) dtd, XML_DTD_MULTIPLE_ID,
       "Element %s has too may ID attributes defined : %s\n",
           elem, name, NULL);
        if (ctxt != NULL)
        ctxt->valid = 0;
    }
#endif /* LIBXML_VALID_ENABLED */

    /*
     * Insert namespace default def first they need to be
     * processed first.
     */
    if ((xmlStrEqual(ret->name, BAD_CAST "xmlns")) ||
        ((ret->prefix != NULL &&
         (xmlStrEqual(ret->prefix, BAD_CAST "xmlns"))))) {
        ret->nexth = elemDef->attributes;
        elemDef->attributes = ret;
    } else {
        xmlAttributePtr tmp = elemDef->attributes;

        while ((tmp != NULL) &&
           ((xmlStrEqual(tmp->name, BAD_CAST "xmlns")) ||
            ((ret->prefix != NULL &&
             (xmlStrEqual(ret->prefix, BAD_CAST "xmlns")))))) {
        if (tmp->nexth == NULL)
            break;
        tmp = tmp->nexth;
        }
        if (tmp != NULL) {
        ret->nexth = tmp->nexth;
            tmp->nexth = ret;
        } else {
        ret->nexth = elemDef->attributes;
        elemDef->attributes = ret;
        }
    }
    }

    /*
     * Link it to the DTD
     */
    ret->parent = dtd;
    if (dtd->last == NULL) {
    dtd->children = dtd->last = (xmlNodePtr) ret;
    } else {
        dtd->last->next = (xmlNodePtr) ret;
    ret->prev = dtd->last;
    dtd->last = (xmlNodePtr) ret;
    }
    return(ret);
}

static void
xmlFreeAttributeTableEntry(void *attr, const xmlChar *name ATTRIBUTE_UNUSED) {
    xmlFreeAttribute((xmlAttributePtr) attr);
}

void
xmlFreeAttributeTable(xmlAttributeTablePtr table) {
    xmlHashFree(table, xmlFreeAttributeTableEntry);
}

#ifdef LIBXML_TREE_ENABLED

static void *
xmlCopyAttribute(void *payload, const xmlChar *name ATTRIBUTE_UNUSED) {
    xmlAttributePtr attr = (xmlAttributePtr) payload;
    xmlAttributePtr cur;

    cur = (xmlAttributePtr) xmlMalloc(sizeof(xmlAttribute));
    if (cur == NULL) {
    xmlVErrMemory(NULL, "malloc failed");
    return(NULL);
    }
    memset(cur, 0, sizeof(xmlAttribute));
    cur->type = XML_ATTRIBUTE_DECL;
    cur->atype = attr->atype;
    cur->def = attr->def;
    cur->tree = xmlCopyEnumeration(attr->tree);
    if (attr->elem != NULL)
    cur->elem = xmlStrdup(attr->elem);
    if (attr->name != NULL)
    cur->name = xmlStrdup(attr->name);
    if (attr->prefix != NULL)
    cur->prefix = xmlStrdup(attr->prefix);
    if (attr->defaultValue != NULL)
    cur->defaultValue = xmlStrdup(attr->defaultValue);
    return(cur);
}

xmlAttributeTablePtr
xmlCopyAttributeTable(xmlAttributeTablePtr table) {
    return((xmlAttributeTablePtr) xmlHashCopy(table, xmlCopyAttribute));
}
#endif /* LIBXML_TREE_ENABLED */

#ifdef LIBXML_OUTPUT_ENABLED

void
xmlDumpAttributeDecl(xmlBufferPtr buf, xmlAttributePtr attr) {
    if ((buf == NULL) || (attr == NULL))
        return;
    xmlBufferWriteChar(buf, "<!ATTLIST ");
    xmlBufferWriteCHAR(buf, attr->elem);
    xmlBufferWriteChar(buf, " ");
    if (attr->prefix != NULL) {
    xmlBufferWriteCHAR(buf, attr->prefix);
    xmlBufferWriteChar(buf, ":");
    }
    xmlBufferWriteCHAR(buf, attr->name);
    switch (attr->atype) {
    case XML_ATTRIBUTE_CDATA:
        xmlBufferWriteChar(buf, " CDATA");
        break;
    case XML_ATTRIBUTE_ID:
        xmlBufferWriteChar(buf, " ID");
        break;
    case XML_ATTRIBUTE_IDREF:
        xmlBufferWriteChar(buf, " IDREF");
        break;
    case XML_ATTRIBUTE_IDREFS:
        xmlBufferWriteChar(buf, " IDREFS");
        break;
    case XML_ATTRIBUTE_ENTITY:
        xmlBufferWriteChar(buf, " ENTITY");
        break;
    case XML_ATTRIBUTE_ENTITIES:
        xmlBufferWriteChar(buf, " ENTITIES");
        break;
    case XML_ATTRIBUTE_NMTOKEN:
        xmlBufferWriteChar(buf, " NMTOKEN");
        break;
    case XML_ATTRIBUTE_NMTOKENS:
        xmlBufferWriteChar(buf, " NMTOKENS");
        break;
    case XML_ATTRIBUTE_ENUMERATION:
        xmlBufferWriteChar(buf, " (");
        xmlDumpEnumeration(buf, attr->tree);
        break;
    case XML_ATTRIBUTE_NOTATION:
        xmlBufferWriteChar(buf, " NOTATION (");
        xmlDumpEnumeration(buf, attr->tree);
        break;
    default:
        xmlErrValid(NULL, XML_ERR_INTERNAL_ERROR,
            "Internal: ATTRIBUTE struct corrupted invalid type\n",
            NULL);
    }
    switch (attr->def) {
    case XML_ATTRIBUTE_NONE:
        break;
    case XML_ATTRIBUTE_REQUIRED:
        xmlBufferWriteChar(buf, " #REQUIRED");
        break;
    case XML_ATTRIBUTE_IMPLIED:
        xmlBufferWriteChar(buf, " #IMPLIED");
        break;
    case XML_ATTRIBUTE_FIXED:
        xmlBufferWriteChar(buf, " #FIXED");
        break;
    default:
        xmlErrValid(NULL, XML_ERR_INTERNAL_ERROR,
            "Internal: ATTRIBUTE struct corrupted invalid def\n",
            NULL);
    }
    if (attr->defaultValue != NULL) {
    xmlBufferWriteChar(buf, " ");
    xmlBufferWriteQuotedString(buf, attr->defaultValue);
    }
    xmlBufferWriteChar(buf, ">\n");
}

static void
xmlDumpAttributeDeclScan(void *attr, void *buf,
                         const xmlChar *name ATTRIBUTE_UNUSED) {
    xmlDumpAttributeDecl((xmlBufferPtr) buf, (xmlAttributePtr) attr);
}

void
xmlDumpAttributeTable(xmlBufferPtr buf, xmlAttributeTablePtr table) {
    if ((buf == NULL) || (table == NULL))
        return;
    xmlHashScan(table, xmlDumpAttributeDeclScan, buf);
}
#endif /* LIBXML_OUTPUT_ENABLED */

/************************************************************************
 *                                  *
 *              NOTATIONs               *
 *                                  *
 ************************************************************************/
static void
xmlFreeNotation(xmlNotationPtr nota) {
    if (nota == NULL) return;
    if (nota->name != NULL)
    xmlFree((xmlChar *) nota->name);
    if (nota->PublicID != NULL)
    xmlFree((xmlChar *) nota->PublicID);
    if (nota->SystemID != NULL)
    xmlFree((xmlChar *) nota->SystemID);
    xmlFree(nota);
}


xmlNotationPtr
xmlAddNotationDecl(xmlValidCtxtPtr ctxt, xmlDtdPtr dtd,
               const xmlChar *name,
                   const xmlChar *PublicID, const xmlChar *SystemID) {
    xmlNotationPtr ret;
    xmlNotationTablePtr table;

    if (dtd == NULL) {
    return(NULL);
    }
    if (name == NULL) {
    return(NULL);
    }
    if ((PublicID == NULL) && (SystemID == NULL)) {
    return(NULL);
    }

    /*
     * Create the Notation table if needed.
     */
    table = (xmlNotationTablePtr) dtd->notations;
    if (table == NULL) {
    xmlDictPtr dict = NULL;
    if (dtd->doc != NULL)
        dict = dtd->doc->dict;

        dtd->notations = table = xmlHashCreateDict(0, dict);
    }
    if (table == NULL) {
    xmlVErrMemory(ctxt,
        "xmlAddNotationDecl: Table creation failed!\n");
        return(NULL);
    }

    ret = (xmlNotationPtr) xmlMalloc(sizeof(xmlNotation));
    if (ret == NULL) {
    xmlVErrMemory(ctxt, "malloc failed");
    return(NULL);
    }
    memset(ret, 0, sizeof(xmlNotation));

    /*
     * fill the structure.
     */
    ret->name = xmlStrdup(name);
    if (SystemID != NULL)
        ret->SystemID = xmlStrdup(SystemID);
    if (PublicID != NULL)
        ret->PublicID = xmlStrdup(PublicID);

    /*
     * Validity Check:
     * Check the DTD for previous declarations of the ATTLIST
     */
    if (xmlHashAddEntry(table, name, ret)) {
#ifdef LIBXML_VALID_ENABLED
    xmlErrValid(NULL, XML_DTD_NOTATION_REDEFINED,
            "xmlAddNotationDecl: %s already defined\n",
            (const char *) name);
#endif /* LIBXML_VALID_ENABLED */
    xmlFreeNotation(ret);
    return(NULL);
    }
    return(ret);
}

static void
xmlFreeNotationTableEntry(void *nota, const xmlChar *name ATTRIBUTE_UNUSED) {
    xmlFreeNotation((xmlNotationPtr) nota);
}

void
xmlFreeNotationTable(xmlNotationTablePtr table) {
    xmlHashFree(table, xmlFreeNotationTableEntry);
}

#ifdef LIBXML_TREE_ENABLED

static void *
xmlCopyNotation(void *payload, const xmlChar *name ATTRIBUTE_UNUSED) {
    xmlNotationPtr nota = (xmlNotationPtr) payload;
    xmlNotationPtr cur;

    cur = (xmlNotationPtr) xmlMalloc(sizeof(xmlNotation));
    if (cur == NULL) {
    xmlVErrMemory(NULL, "malloc failed");
    return(NULL);
    }
    if (nota->name != NULL)
    cur->name = xmlStrdup(nota->name);
    else
    cur->name = NULL;
    if (nota->PublicID != NULL)
    cur->PublicID = xmlStrdup(nota->PublicID);
    else
    cur->PublicID = NULL;
    if (nota->SystemID != NULL)
    cur->SystemID = xmlStrdup(nota->SystemID);
    else
    cur->SystemID = NULL;
    return(cur);
}

xmlNotationTablePtr
xmlCopyNotationTable(xmlNotationTablePtr table) {
    return((xmlNotationTablePtr) xmlHashCopy(table, xmlCopyNotation));
}
#endif /* LIBXML_TREE_ENABLED */

#ifdef LIBXML_OUTPUT_ENABLED

void
xmlDumpNotationDecl(xmlBufferPtr buf, xmlNotationPtr nota) {
    if ((buf == NULL) || (nota == NULL))
        return;
    xmlBufferWriteChar(buf, "<!NOTATION ");
    xmlBufferWriteCHAR(buf, nota->name);
    if (nota->PublicID != NULL) {
    xmlBufferWriteChar(buf, " PUBLIC ");
    xmlBufferWriteQuotedString(buf, nota->PublicID);
    if (nota->SystemID != NULL) {
        xmlBufferWriteChar(buf, " ");
        xmlBufferWriteQuotedString(buf, nota->SystemID);
    }
    } else {
    xmlBufferWriteChar(buf, " SYSTEM ");
    xmlBufferWriteQuotedString(buf, nota->SystemID);
    }
    xmlBufferWriteChar(buf, " >\n");
}

static void
xmlDumpNotationDeclScan(void *nota, void *buf,
                        const xmlChar *name ATTRIBUTE_UNUSED) {
    xmlDumpNotationDecl((xmlBufferPtr) buf, (xmlNotationPtr) nota);
}

void
xmlDumpNotationTable(xmlBufferPtr buf, xmlNotationTablePtr table) {
    if ((buf == NULL) || (table == NULL))
        return;
    xmlHashScan(table, xmlDumpNotationDeclScan, buf);
}
#endif /* LIBXML_OUTPUT_ENABLED */

/************************************************************************
 *                                  *
 *              IDs                 *
 *                                  *
 ************************************************************************/
#define DICT_FREE(str)                      \
    if ((str) && ((!dict) ||                \
        (xmlDictOwns(dict, (const xmlChar *)(str)) == 0)))  \
        xmlFree((char *)(str));

static void
xmlFreeID(xmlIDPtr id) {
    xmlDictPtr dict = NULL;

    if (id == NULL) return;

    if (id->doc != NULL)
        dict = id->doc->dict;

    if (id->value != NULL)
    DICT_FREE(id->value)
    if (id->name != NULL)
    DICT_FREE(id->name)
    xmlFree(id);
}


xmlIDPtr
xmlAddID(xmlValidCtxtPtr ctxt, xmlDocPtr doc, const xmlChar *value,
         xmlAttrPtr attr) {
    xmlIDPtr ret;
    xmlIDTablePtr table;

    if (doc == NULL) {
    return(NULL);
    }
    if (value == NULL) {
    return(NULL);
    }
    if (attr == NULL) {
    return(NULL);
    }

    /*
     * Create the ID table if needed.
     */
    table = (xmlIDTablePtr) doc->ids;
    if (table == NULL)  {
        doc->ids = table = xmlHashCreateDict(0, doc->dict);
    }
    if (table == NULL) {
    xmlVErrMemory(ctxt,
        "xmlAddID: Table creation failed!\n");
        return(NULL);
    }

    ret = (xmlIDPtr) xmlMalloc(sizeof(xmlID));
    if (ret == NULL) {
    xmlVErrMemory(ctxt, "malloc failed");
    return(NULL);
    }

    /*
     * fill the structure.
     */
    ret->value = xmlStrdup(value);
    ret->doc = doc;
    if ((ctxt != NULL) && (ctxt->vstateNr != 0)) {
    /*
     * Operating in streaming mode, attr is gonna disappear
     */
    if (doc->dict != NULL)
        ret->name = xmlDictLookup(doc->dict, attr->name, -1);
    else
        ret->name = xmlStrdup(attr->name);
    ret->attr = NULL;
    } else {
    ret->attr = attr;
    ret->name = NULL;
    }
    ret->lineno = xmlGetLineNo(attr->parent);

    if (xmlHashAddEntry(table, value, ret) < 0) {
#ifdef LIBXML_VALID_ENABLED
    /*
     * The id is already defined in this DTD.
     */
    if (ctxt != NULL) {
        xmlErrValidNode(ctxt, attr->parent, XML_DTD_ID_REDEFINED,
                "ID %s already defined\n", value, NULL, NULL);
    }
#endif /* LIBXML_VALID_ENABLED */
    xmlFreeID(ret);
    return(NULL);
    }
    if (attr != NULL)
    attr->atype = XML_ATTRIBUTE_ID;
    return(ret);
}

static void
xmlFreeIDTableEntry(void *id, const xmlChar *name ATTRIBUTE_UNUSED) {
    xmlFreeID((xmlIDPtr) id);
}

void
xmlFreeIDTable(xmlIDTablePtr table) {
    xmlHashFree(table, xmlFreeIDTableEntry);
}

int
xmlIsID(xmlDocPtr doc, xmlNodePtr elem, xmlAttrPtr attr) {
    if ((attr == NULL) || (attr->name == NULL)) return(0);
    if ((attr->ns != NULL) && (attr->ns->prefix != NULL) &&
        (!strcmp((char *) attr->name, "id")) &&
        (!strcmp((char *) attr->ns->prefix, "xml")))
    return(1);
    if (doc == NULL) return(0);
    if ((doc->intSubset == NULL) && (doc->extSubset == NULL) &&
        (doc->type != XML_HTML_DOCUMENT_NODE)) {
    return(0);
    } else if (doc->type == XML_HTML_DOCUMENT_NODE) {
        if ((xmlStrEqual(BAD_CAST "id", attr->name)) ||
        ((xmlStrEqual(BAD_CAST "name", attr->name)) &&
        ((elem == NULL) || (xmlStrEqual(elem->name, BAD_CAST "a")))))
        return(1);
    return(0);
    } else if (elem == NULL) {
    return(0);
    } else {
    xmlAttributePtr attrDecl = NULL;

    xmlChar felem[50], fattr[50];
    xmlChar *fullelemname, *fullattrname;

    fullelemname = (elem->ns != NULL && elem->ns->prefix != NULL) ?
        xmlBuildQName(elem->name, elem->ns->prefix, felem, 50) :
        (xmlChar *)elem->name;

    fullattrname = (attr->ns != NULL && attr->ns->prefix != NULL) ?
        xmlBuildQName(attr->name, attr->ns->prefix, fattr, 50) :
        (xmlChar *)attr->name;

    if (fullelemname != NULL && fullattrname != NULL) {
        attrDecl = xmlGetDtdAttrDesc(doc->intSubset, fullelemname,
                                 fullattrname);
        if ((attrDecl == NULL) && (doc->extSubset != NULL))
        attrDecl = xmlGetDtdAttrDesc(doc->extSubset, fullelemname,
                         fullattrname);
    }

    if ((fullattrname != fattr) && (fullattrname != attr->name))
        xmlFree(fullattrname);
    if ((fullelemname != felem) && (fullelemname != elem->name))
        xmlFree(fullelemname);

        if ((attrDecl != NULL) && (attrDecl->atype == XML_ATTRIBUTE_ID))
        return(1);
    }
    return(0);
}

int
xmlRemoveID(xmlDocPtr doc, xmlAttrPtr attr) {
    xmlIDTablePtr table;
    xmlIDPtr id;
    xmlChar *ID;

    if (doc == NULL) return(-1);
    if (attr == NULL) return(-1);

    table = (xmlIDTablePtr) doc->ids;
    if (table == NULL)
        return(-1);

    ID = xmlNodeListGetString(doc, attr->children, 1);
    if (ID == NULL)
        return(-1);

    id = xmlHashLookup(table, ID);
    if (id == NULL || id->attr != attr) {
        xmlFree(ID);
        return(-1);
    }

    xmlHashRemoveEntry(table, ID, xmlFreeIDTableEntry);
    xmlFree(ID);
    attr->atype = 0;
    return(0);
}

xmlAttrPtr
xmlGetID(xmlDocPtr doc, const xmlChar *ID) {
    xmlIDTablePtr table;
    xmlIDPtr id;

    if (doc == NULL) {
    return(NULL);
    }

    if (ID == NULL) {
    return(NULL);
    }

    table = (xmlIDTablePtr) doc->ids;
    if (table == NULL)
        return(NULL);

    id = xmlHashLookup(table, ID);
    if (id == NULL)
    return(NULL);
    if (id->attr == NULL) {
    /*
     * We are operating on a stream, return a well known reference
     * since the attribute node doesn't exist anymore
     */
    return((xmlAttrPtr) doc);
    }
    return(id->attr);
}

/************************************************************************
 *                                  *
 *              Refs                    *
 *                                  *
 ************************************************************************/
typedef struct xmlRemoveMemo_t
{
    xmlListPtr l;
    xmlAttrPtr ap;
} xmlRemoveMemo;

typedef xmlRemoveMemo *xmlRemoveMemoPtr;

typedef struct xmlValidateMemo_t
{
    xmlValidCtxtPtr ctxt;
    const xmlChar *name;
} xmlValidateMemo;

typedef xmlValidateMemo *xmlValidateMemoPtr;

static void
xmlFreeRef(xmlLinkPtr lk) {
    xmlRefPtr ref = (xmlRefPtr)xmlLinkGetData(lk);
    if (ref == NULL) return;
    if (ref->value != NULL)
        xmlFree((xmlChar *)ref->value);
    if (ref->name != NULL)
        xmlFree((xmlChar *)ref->name);
    xmlFree(ref);
}

static void
xmlFreeRefTableEntry(void *payload, const xmlChar *name ATTRIBUTE_UNUSED) {
    xmlListPtr list_ref = (xmlListPtr) payload;
    if (list_ref == NULL) return;
    xmlListDelete(list_ref);
}

static int
xmlWalkRemoveRef(const void *data, void *user)
{
    xmlAttrPtr attr0 = ((xmlRefPtr)data)->attr;
    xmlAttrPtr attr1 = ((xmlRemoveMemoPtr)user)->ap;
    xmlListPtr ref_list = ((xmlRemoveMemoPtr)user)->l;

    if (attr0 == attr1) { /* Matched: remove and terminate walk */
        xmlListRemoveFirst(ref_list, (void *)data);
        return 0;
    }
    return 1;
}

static int
xmlDummyCompare(const void *data0 ATTRIBUTE_UNUSED,
                const void *data1 ATTRIBUTE_UNUSED)
{
    return (0);
}

xmlRefPtr
xmlAddRef(xmlValidCtxtPtr ctxt, xmlDocPtr doc, const xmlChar *value,
    xmlAttrPtr attr) {
    xmlRefPtr ret;
    xmlRefTablePtr table;
    xmlListPtr ref_list;

    if (doc == NULL) {
        return(NULL);
    }
    if (value == NULL) {
        return(NULL);
    }
    if (attr == NULL) {
        return(NULL);
    }

    /*
     * Create the Ref table if needed.
     */
    table = (xmlRefTablePtr) doc->refs;
    if (table == NULL) {
        doc->refs = table = xmlHashCreateDict(0, doc->dict);
    }
    if (table == NULL) {
    xmlVErrMemory(ctxt,
            "xmlAddRef: Table creation failed!\n");
        return(NULL);
    }

    ret = (xmlRefPtr) xmlMalloc(sizeof(xmlRef));
    if (ret == NULL) {
    xmlVErrMemory(ctxt, "malloc failed");
        return(NULL);
    }

    /*
     * fill the structure.
     */
    ret->value = xmlStrdup(value);
    if ((ctxt != NULL) && (ctxt->vstateNr != 0)) {
    /*
     * Operating in streaming mode, attr is gonna disappear
     */
    ret->name = xmlStrdup(attr->name);
    ret->attr = NULL;
    } else {
    ret->name = NULL;
    ret->attr = attr;
    }
    ret->lineno = xmlGetLineNo(attr->parent);

    /* To add a reference :-
     * References are maintained as a list of references,
     * Lookup the entry, if no entry create new nodelist
     * Add the owning node to the NodeList
     * Return the ref
     */

    if (NULL == (ref_list = xmlHashLookup(table, value))) {
        if (NULL == (ref_list = xmlListCreate(xmlFreeRef, xmlDummyCompare))) {
        xmlErrValid(NULL, XML_ERR_INTERNAL_ERROR,
            "xmlAddRef: Reference list creation failed!\n",
            NULL);
        goto failed;
        }
        if (xmlHashAddEntry(table, value, ref_list) < 0) {
            xmlListDelete(ref_list);
        xmlErrValid(NULL, XML_ERR_INTERNAL_ERROR,
            "xmlAddRef: Reference list insertion failed!\n",
            NULL);
        goto failed;
        }
    }
    if (xmlListAppend(ref_list, ret) != 0) {
    xmlErrValid(NULL, XML_ERR_INTERNAL_ERROR,
            "xmlAddRef: Reference list insertion failed!\n",
            NULL);
        goto failed;
    }
    return(ret);
failed:
    if (ret != NULL) {
        if (ret->value != NULL)
        xmlFree((char *)ret->value);
        if (ret->name != NULL)
        xmlFree((char *)ret->name);
        xmlFree(ret);
    }
    return(NULL);
}

void
xmlFreeRefTable(xmlRefTablePtr table) {
    xmlHashFree(table, xmlFreeRefTableEntry);
}

int
xmlIsRef(xmlDocPtr doc, xmlNodePtr elem, xmlAttrPtr attr) {
    if (attr == NULL)
        return(0);
    if (doc == NULL) {
        doc = attr->doc;
    if (doc == NULL) return(0);
    }

    if ((doc->intSubset == NULL) && (doc->extSubset == NULL)) {
        return(0);
    } else if (doc->type == XML_HTML_DOCUMENT_NODE) {
        /* TODO @@@ */
        return(0);
    } else {
        xmlAttributePtr attrDecl;

        if (elem == NULL) return(0);
        attrDecl = xmlGetDtdAttrDesc(doc->intSubset, elem->name, attr->name);
        if ((attrDecl == NULL) && (doc->extSubset != NULL))
            attrDecl = xmlGetDtdAttrDesc(doc->extSubset,
                                 elem->name, attr->name);

    if ((attrDecl != NULL) &&
        (attrDecl->atype == XML_ATTRIBUTE_IDREF ||
         attrDecl->atype == XML_ATTRIBUTE_IDREFS))
    return(1);
    }
    return(0);
}

int
xmlRemoveRef(xmlDocPtr doc, xmlAttrPtr attr) {
    xmlListPtr ref_list;
    xmlRefTablePtr table;
    xmlChar *ID;
    xmlRemoveMemo target;

    if (doc == NULL) return(-1);
    if (attr == NULL) return(-1);

    table = (xmlRefTablePtr) doc->refs;
    if (table == NULL)
        return(-1);

    ID = xmlNodeListGetString(doc, attr->children, 1);
    if (ID == NULL)
        return(-1);

    ref_list = xmlHashLookup(table, ID);
    if(ref_list == NULL) {
        xmlFree(ID);
        return (-1);
    }

    /* At this point, ref_list refers to a list of references which
     * have the same key as the supplied attr. Our list of references
     * is ordered by reference address and we don't have that information
     * here to use when removing. We'll have to walk the list and
     * check for a matching attribute, when we find one stop the walk
     * and remove the entry.
     * The list is ordered by reference, so that means we don't have the
     * key. Passing the list and the reference to the walker means we
     * will have enough data to be able to remove the entry.
     */
    target.l = ref_list;
    target.ap = attr;

    /* Remove the supplied attr from our list */
    xmlListWalk(ref_list, xmlWalkRemoveRef, &target);

    /*If the list is empty then remove the list entry in the hash */
    if (xmlListEmpty(ref_list))
        xmlHashUpdateEntry(table, ID, NULL, xmlFreeRefTableEntry);
    xmlFree(ID);
    return(0);
}

xmlListPtr
xmlGetRefs(xmlDocPtr doc, const xmlChar *ID) {
    xmlRefTablePtr table;

    if (doc == NULL) {
        return(NULL);
    }

    if (ID == NULL) {
        return(NULL);
    }

    table = (xmlRefTablePtr) doc->refs;
    if (table == NULL)
        return(NULL);

    return (xmlHashLookup(table, ID));
}

/************************************************************************
 *                                  *
 *      Routines for validity checking              *
 *                                  *
 ************************************************************************/

xmlElementPtr
xmlGetDtdElementDesc(xmlDtdPtr dtd, const xmlChar *name) {
    xmlElementTablePtr table;
    xmlElementPtr cur;
    xmlChar *uqname = NULL, *prefix = NULL;

    if ((dtd == NULL) || (name == NULL)) return(NULL);
    if (dtd->elements == NULL)
    return(NULL);
    table = (xmlElementTablePtr) dtd->elements;

    uqname = xmlSplitQName2(name, &prefix);
    if (uqname != NULL)
        name = uqname;
    cur = xmlHashLookup2(table, name, prefix);
    if (prefix != NULL) xmlFree(prefix);
    if (uqname != NULL) xmlFree(uqname);
    return(cur);
}
static xmlElementPtr
xmlGetDtdElementDesc2(xmlDtdPtr dtd, const xmlChar *name, int create) {
    xmlElementTablePtr table;
    xmlElementPtr cur;
    xmlChar *uqname = NULL, *prefix = NULL;

    if (dtd == NULL) return(NULL);
    if (dtd->elements == NULL) {
    xmlDictPtr dict = NULL;

    if (dtd->doc != NULL)
        dict = dtd->doc->dict;

    if (!create)
        return(NULL);
    /*
     * Create the Element table if needed.
     */
    table = (xmlElementTablePtr) dtd->elements;
    if (table == NULL) {
        table = xmlHashCreateDict(0, dict);
        dtd->elements = (void *) table;
    }
    if (table == NULL) {
        xmlVErrMemory(NULL, "element table allocation failed");
        return(NULL);
    }
    }
    table = (xmlElementTablePtr) dtd->elements;

    uqname = xmlSplitQName2(name, &prefix);
    if (uqname != NULL)
        name = uqname;
    cur = xmlHashLookup2(table, name, prefix);
    if ((cur == NULL) && (create)) {
    cur = (xmlElementPtr) xmlMalloc(sizeof(xmlElement));
    if (cur == NULL) {
        xmlVErrMemory(NULL, "malloc failed");
        return(NULL);
    }
    memset(cur, 0, sizeof(xmlElement));
    cur->type = XML_ELEMENT_DECL;

    /*
     * fill the structure.
     */
    cur->name = xmlStrdup(name);
    cur->prefix = xmlStrdup(prefix);
    cur->etype = XML_ELEMENT_TYPE_UNDEFINED;

    xmlHashAddEntry2(table, name, prefix, cur);
    }
    if (prefix != NULL) xmlFree(prefix);
    if (uqname != NULL) xmlFree(uqname);
    return(cur);
}

xmlElementPtr
xmlGetDtdQElementDesc(xmlDtdPtr dtd, const xmlChar *name,
                  const xmlChar *prefix) {
    xmlElementTablePtr table;

    if (dtd == NULL) return(NULL);
    if (dtd->elements == NULL) return(NULL);
    table = (xmlElementTablePtr) dtd->elements;

    return(xmlHashLookup2(table, name, prefix));
}

xmlAttributePtr
xmlGetDtdAttrDesc(xmlDtdPtr dtd, const xmlChar *elem, const xmlChar *name) {
    xmlAttributeTablePtr table;
    xmlAttributePtr cur;
    xmlChar *uqname = NULL, *prefix = NULL;

    if (dtd == NULL) return(NULL);
    if (dtd->attributes == NULL) return(NULL);

    table = (xmlAttributeTablePtr) dtd->attributes;
    if (table == NULL)
    return(NULL);

    uqname = xmlSplitQName2(name, &prefix);

    if (uqname != NULL) {
    cur = xmlHashLookup3(table, uqname, prefix, elem);
    if (prefix != NULL) xmlFree(prefix);
    if (uqname != NULL) xmlFree(uqname);
    } else
    cur = xmlHashLookup3(table, name, NULL, elem);
    return(cur);
}

xmlAttributePtr
xmlGetDtdQAttrDesc(xmlDtdPtr dtd, const xmlChar *elem, const xmlChar *name,
              const xmlChar *prefix) {
    xmlAttributeTablePtr table;

    if (dtd == NULL) return(NULL);
    if (dtd->attributes == NULL) return(NULL);
    table = (xmlAttributeTablePtr) dtd->attributes;

    return(xmlHashLookup3(table, name, prefix, elem));
}

xmlNotationPtr
xmlGetDtdNotationDesc(xmlDtdPtr dtd, const xmlChar *name) {
    xmlNotationTablePtr table;

    if (dtd == NULL) return(NULL);
    if (dtd->notations == NULL) return(NULL);
    table = (xmlNotationTablePtr) dtd->notations;

    return(xmlHashLookup(table, name));
}

#if defined(LIBXML_VALID_ENABLED) || defined(LIBXML_SCHEMAS_ENABLED)

int
xmlValidateNotationUse(xmlValidCtxtPtr ctxt, xmlDocPtr doc,
                       const xmlChar *notationName) {
    xmlNotationPtr notaDecl;
    if ((doc == NULL) || (doc->intSubset == NULL) ||
        (notationName == NULL)) return(-1);

    notaDecl = xmlGetDtdNotationDesc(doc->intSubset, notationName);
    if ((notaDecl == NULL) && (doc->extSubset != NULL))
    notaDecl = xmlGetDtdNotationDesc(doc->extSubset, notationName);

    if ((notaDecl == NULL) && (ctxt != NULL)) {
    xmlErrValidNode(ctxt, (xmlNodePtr) doc, XML_DTD_UNKNOWN_NOTATION,
                    "NOTATION %s is not declared\n",
                notationName, NULL, NULL);
    return(0);
    }
    return(1);
}
#endif /* LIBXML_VALID_ENABLED or LIBXML_SCHEMAS_ENABLED */

int
xmlIsMixedElement(xmlDocPtr doc, const xmlChar *name) {
    xmlElementPtr elemDecl;

    if ((doc == NULL) || (doc->intSubset == NULL)) return(-1);

    elemDecl = xmlGetDtdElementDesc(doc->intSubset, name);
    if ((elemDecl == NULL) && (doc->extSubset != NULL))
    elemDecl = xmlGetDtdElementDesc(doc->extSubset, name);
    if (elemDecl == NULL) return(-1);
    switch (elemDecl->etype) {
    case XML_ELEMENT_TYPE_UNDEFINED:
        return(-1);
    case XML_ELEMENT_TYPE_ELEMENT:
        return(0);
        case XML_ELEMENT_TYPE_EMPTY:
        /*
         * return 1 for EMPTY since we want VC error to pop up
         * on <empty>     </empty> for example
         */
    case XML_ELEMENT_TYPE_ANY:
    case XML_ELEMENT_TYPE_MIXED:
        return(1);
    }
    return(1);
}

#ifdef LIBXML_VALID_ENABLED

static int
xmlIsDocNameStartChar(xmlDocPtr doc, int c) {
    if ((doc == NULL) || (doc->properties & XML_DOC_OLD10) == 0) {
        /*
     * Use the new checks of production [4] [4a] amd [5] of the
     * Update 5 of XML-1.0
     */
    if (((c >= 'a') && (c <= 'z')) ||
        ((c >= 'A') && (c <= 'Z')) ||
        (c == '_') || (c == ':') ||
        ((c >= 0xC0) && (c <= 0xD6)) ||
        ((c >= 0xD8) && (c <= 0xF6)) ||
        ((c >= 0xF8) && (c <= 0x2FF)) ||
        ((c >= 0x370) && (c <= 0x37D)) ||
        ((c >= 0x37F) && (c <= 0x1FFF)) ||
        ((c >= 0x200C) && (c <= 0x200D)) ||
        ((c >= 0x2070) && (c <= 0x218F)) ||
        ((c >= 0x2C00) && (c <= 0x2FEF)) ||
        ((c >= 0x3001) && (c <= 0xD7FF)) ||
        ((c >= 0xF900) && (c <= 0xFDCF)) ||
        ((c >= 0xFDF0) && (c <= 0xFFFD)) ||
        ((c >= 0x10000) && (c <= 0xEFFFF)))
        return(1);
    } else {
        if (IS_LETTER(c) || (c == '_') || (c == ':'))
        return(1);
    }
    return(0);
}

static int
xmlIsDocNameChar(xmlDocPtr doc, int c) {
    if ((doc == NULL) || (doc->properties & XML_DOC_OLD10) == 0) {
        /*
     * Use the new checks of production [4] [4a] amd [5] of the
     * Update 5 of XML-1.0
     */
    if (((c >= 'a') && (c <= 'z')) ||
        ((c >= 'A') && (c <= 'Z')) ||
        ((c >= '0') && (c <= '9')) || /* !start */
        (c == '_') || (c == ':') ||
        (c == '-') || (c == '.') || (c == 0xB7) || /* !start */
        ((c >= 0xC0) && (c <= 0xD6)) ||
        ((c >= 0xD8) && (c <= 0xF6)) ||
        ((c >= 0xF8) && (c <= 0x2FF)) ||
        ((c >= 0x300) && (c <= 0x36F)) || /* !start */
        ((c >= 0x370) && (c <= 0x37D)) ||
        ((c >= 0x37F) && (c <= 0x1FFF)) ||
        ((c >= 0x200C) && (c <= 0x200D)) ||
        ((c >= 0x203F) && (c <= 0x2040)) || /* !start */
        ((c >= 0x2070) && (c <= 0x218F)) ||
        ((c >= 0x2C00) && (c <= 0x2FEF)) ||
        ((c >= 0x3001) && (c <= 0xD7FF)) ||
        ((c >= 0xF900) && (c <= 0xFDCF)) ||
        ((c >= 0xFDF0) && (c <= 0xFFFD)) ||
        ((c >= 0x10000) && (c <= 0xEFFFF)))
         return(1);
    } else {
        if ((IS_LETTER(c)) || (IS_DIGIT(c)) ||
            (c == '.') || (c == '-') ||
        (c == '_') || (c == ':') ||
        (IS_COMBINING(c)) ||
        (IS_EXTENDER(c)))
        return(1);
    }
    return(0);
}

static int
xmlValidateNameValueInternal(xmlDocPtr doc, const xmlChar *value) {
    const xmlChar *cur;
    int val, len;

    if (value == NULL) return(0);
    cur = value;
    val = xmlStringCurrentChar(NULL, cur, &len);
    cur += len;
    if (!xmlIsDocNameStartChar(doc, val))
    return(0);

    val = xmlStringCurrentChar(NULL, cur, &len);
    cur += len;
    while (xmlIsDocNameChar(doc, val)) {
    val = xmlStringCurrentChar(NULL, cur, &len);
    cur += len;
    }

    if (val != 0) return(0);

    return(1);
}

int
xmlValidateNameValue(const xmlChar *value) {
    return(xmlValidateNameValueInternal(NULL, value));
}

static int
xmlValidateNamesValueInternal(xmlDocPtr doc, const xmlChar *value) {
    const xmlChar *cur;
    int val, len;

    if (value == NULL) return(0);
    cur = value;
    val = xmlStringCurrentChar(NULL, cur, &len);
    cur += len;

    if (!xmlIsDocNameStartChar(doc, val))
    return(0);

    val = xmlStringCurrentChar(NULL, cur, &len);
    cur += len;
    while (xmlIsDocNameChar(doc, val)) {
    val = xmlStringCurrentChar(NULL, cur, &len);
    cur += len;
    }

    /* Should not test IS_BLANK(val) here -- see erratum E20*/
    while (val == 0x20) {
    while (val == 0x20) {
        val = xmlStringCurrentChar(NULL, cur, &len);
        cur += len;
    }

    if (!xmlIsDocNameStartChar(doc, val))
        return(0);

    val = xmlStringCurrentChar(NULL, cur, &len);
    cur += len;

    while (xmlIsDocNameChar(doc, val)) {
        val = xmlStringCurrentChar(NULL, cur, &len);
        cur += len;
    }
    }

    if (val != 0) return(0);

    return(1);
}

int
xmlValidateNamesValue(const xmlChar *value) {
    return(xmlValidateNamesValueInternal(NULL, value));
}

static int
xmlValidateNmtokenValueInternal(xmlDocPtr doc, const xmlChar *value) {
    const xmlChar *cur;
    int val, len;

    if (value == NULL) return(0);
    cur = value;
    val = xmlStringCurrentChar(NULL, cur, &len);
    cur += len;

    if (!xmlIsDocNameChar(doc, val))
    return(0);

    val = xmlStringCurrentChar(NULL, cur, &len);
    cur += len;
    while (xmlIsDocNameChar(doc, val)) {
    val = xmlStringCurrentChar(NULL, cur, &len);
    cur += len;
    }

    if (val != 0) return(0);

    return(1);
}

int
xmlValidateNmtokenValue(const xmlChar *value) {
    return(xmlValidateNmtokenValueInternal(NULL, value));
}

static int
xmlValidateNmtokensValueInternal(xmlDocPtr doc, const xmlChar *value) {
    const xmlChar *cur;
    int val, len;

    if (value == NULL) return(0);
    cur = value;
    val = xmlStringCurrentChar(NULL, cur, &len);
    cur += len;

    while (IS_BLANK(val)) {
    val = xmlStringCurrentChar(NULL, cur, &len);
    cur += len;
    }

    if (!xmlIsDocNameChar(doc, val))
    return(0);

    while (xmlIsDocNameChar(doc, val)) {
    val = xmlStringCurrentChar(NULL, cur, &len);
    cur += len;
    }

    /* Should not test IS_BLANK(val) here -- see erratum E20*/
    while (val == 0x20) {
    while (val == 0x20) {
        val = xmlStringCurrentChar(NULL, cur, &len);
        cur += len;
    }
    if (val == 0) return(1);

    if (!xmlIsDocNameChar(doc, val))
        return(0);

    val = xmlStringCurrentChar(NULL, cur, &len);
    cur += len;

    while (xmlIsDocNameChar(doc, val)) {
        val = xmlStringCurrentChar(NULL, cur, &len);
        cur += len;
    }
    }

    if (val != 0) return(0);

    return(1);
}

int
xmlValidateNmtokensValue(const xmlChar *value) {
    return(xmlValidateNmtokensValueInternal(NULL, value));
}

int
xmlValidateNotationDecl(xmlValidCtxtPtr ctxt ATTRIBUTE_UNUSED, xmlDocPtr doc ATTRIBUTE_UNUSED,
                         xmlNotationPtr nota ATTRIBUTE_UNUSED) {
    int ret = 1;

    return(ret);
}

static int
xmlValidateAttributeValueInternal(xmlDocPtr doc, xmlAttributeType type,
                                  const xmlChar *value) {
    switch (type) {
    case XML_ATTRIBUTE_ENTITIES:
    case XML_ATTRIBUTE_IDREFS:
        return(xmlValidateNamesValueInternal(doc, value));
    case XML_ATTRIBUTE_ENTITY:
    case XML_ATTRIBUTE_IDREF:
    case XML_ATTRIBUTE_ID:
    case XML_ATTRIBUTE_NOTATION:
        return(xmlValidateNameValueInternal(doc, value));
    case XML_ATTRIBUTE_NMTOKENS:
    case XML_ATTRIBUTE_ENUMERATION:
        return(xmlValidateNmtokensValueInternal(doc, value));
    case XML_ATTRIBUTE_NMTOKEN:
        return(xmlValidateNmtokenValueInternal(doc, value));
        case XML_ATTRIBUTE_CDATA:
        break;
    }
    return(1);
}

int
xmlValidateAttributeValue(xmlAttributeType type, const xmlChar *value) {
    return(xmlValidateAttributeValueInternal(NULL, type, value));
}

static int
xmlValidateAttributeValue2(xmlValidCtxtPtr ctxt, xmlDocPtr doc,
      const xmlChar *name, xmlAttributeType type, const xmlChar *value) {
    int ret = 1;
    switch (type) {
    case XML_ATTRIBUTE_IDREFS:
    case XML_ATTRIBUTE_IDREF:
    case XML_ATTRIBUTE_ID:
    case XML_ATTRIBUTE_NMTOKENS:
    case XML_ATTRIBUTE_ENUMERATION:
    case XML_ATTRIBUTE_NMTOKEN:
        case XML_ATTRIBUTE_CDATA:
        break;
    case XML_ATTRIBUTE_ENTITY: {
        xmlEntityPtr ent;

        ent = xmlGetDocEntity(doc, value);
        /* yeah it's a bit messy... */
        if ((ent == NULL) && (doc->standalone == 1)) {
        doc->standalone = 0;
        ent = xmlGetDocEntity(doc, value);
        }
        if (ent == NULL) {
        xmlErrValidNode(ctxt, (xmlNodePtr) doc,
                XML_DTD_UNKNOWN_ENTITY,
   "ENTITY attribute %s reference an unknown entity \"%s\"\n",
               name, value, NULL);
        ret = 0;
        } else if (ent->etype != XML_EXTERNAL_GENERAL_UNPARSED_ENTITY) {
        xmlErrValidNode(ctxt, (xmlNodePtr) doc,
                XML_DTD_ENTITY_TYPE,
   "ENTITY attribute %s reference an entity \"%s\" of wrong type\n",
               name, value, NULL);
        ret = 0;
        }
        break;
        }
    case XML_ATTRIBUTE_ENTITIES: {
        xmlChar *dup, *nam = NULL, *cur, save;
        xmlEntityPtr ent;

        dup = xmlStrdup(value);
        if (dup == NULL)
        return(0);
        cur = dup;
        while (*cur != 0) {
        nam = cur;
        while ((*cur != 0) && (!IS_BLANK_CH(*cur))) cur++;
        save = *cur;
        *cur = 0;
        ent = xmlGetDocEntity(doc, nam);
        if (ent == NULL) {
            xmlErrValidNode(ctxt, (xmlNodePtr) doc,
                    XML_DTD_UNKNOWN_ENTITY,
       "ENTITIES attribute %s reference an unknown entity \"%s\"\n",
               name, nam, NULL);
            ret = 0;
        } else if (ent->etype != XML_EXTERNAL_GENERAL_UNPARSED_ENTITY) {
            xmlErrValidNode(ctxt, (xmlNodePtr) doc,
                    XML_DTD_ENTITY_TYPE,
       "ENTITIES attribute %s reference an entity \"%s\" of wrong type\n",
               name, nam, NULL);
            ret = 0;
        }
        if (save == 0)
            break;
        *cur = save;
        while (IS_BLANK_CH(*cur)) cur++;
        }
        xmlFree(dup);
        break;
    }
    case XML_ATTRIBUTE_NOTATION: {
        xmlNotationPtr nota;

        nota = xmlGetDtdNotationDesc(doc->intSubset, value);
        if ((nota == NULL) && (doc->extSubset != NULL))
        nota = xmlGetDtdNotationDesc(doc->extSubset, value);

        if (nota == NULL) {
        xmlErrValidNode(ctxt, (xmlNodePtr) doc,
                        XML_DTD_UNKNOWN_NOTATION,
       "NOTATION attribute %s reference an unknown notation \"%s\"\n",
               name, value, NULL);
        ret = 0;
        }
        break;
        }
    }
    return(ret);
}

xmlChar *
xmlValidCtxtNormalizeAttributeValue(xmlValidCtxtPtr ctxt, xmlDocPtr doc,
         xmlNodePtr elem, const xmlChar *name, const xmlChar *value) {
    xmlChar *ret, *dst;
    const xmlChar *src;
    xmlAttributePtr attrDecl = NULL;
    int extsubset = 0;

    if (doc == NULL) return(NULL);
    if (elem == NULL) return(NULL);
    if (name == NULL) return(NULL);
    if (value == NULL) return(NULL);

    if ((elem->ns != NULL) && (elem->ns->prefix != NULL)) {
    xmlChar fn[50];
    xmlChar *fullname;

    fullname = xmlBuildQName(elem->name, elem->ns->prefix, fn, 50);
    if (fullname == NULL)
        return(NULL);
    attrDecl = xmlGetDtdAttrDesc(doc->intSubset, fullname, name);
    if ((attrDecl == NULL) && (doc->extSubset != NULL)) {
        attrDecl = xmlGetDtdAttrDesc(doc->extSubset, fullname, name);
        if (attrDecl != NULL)
        extsubset = 1;
    }
    if ((fullname != fn) && (fullname != elem->name))
        xmlFree(fullname);
    }
    if ((attrDecl == NULL) && (doc->intSubset != NULL))
    attrDecl = xmlGetDtdAttrDesc(doc->intSubset, elem->name, name);
    if ((attrDecl == NULL) && (doc->extSubset != NULL)) {
    attrDecl = xmlGetDtdAttrDesc(doc->extSubset, elem->name, name);
    if (attrDecl != NULL)
        extsubset = 1;
    }

    if (attrDecl == NULL)
    return(NULL);
    if (attrDecl->atype == XML_ATTRIBUTE_CDATA)
    return(NULL);

    ret = xmlStrdup(value);
    if (ret == NULL)
    return(NULL);
    src = value;
    dst = ret;
    while (*src == 0x20) src++;
    while (*src != 0) {
    if (*src == 0x20) {
        while (*src == 0x20) src++;
        if (*src != 0)
        *dst++ = 0x20;
    } else {
        *dst++ = *src++;
    }
    }
    *dst = 0;
    if ((doc->standalone) && (extsubset == 1) && (!xmlStrEqual(value, ret))) {
    xmlErrValidNode(ctxt, elem, XML_DTD_NOT_STANDALONE,
"standalone: %s on %s value had to be normalized based on external subset declaration\n",
           name, elem->name, NULL);
    ctxt->valid = 0;
    }
    return(ret);
}

xmlChar *
xmlValidNormalizeAttributeValue(xmlDocPtr doc, xmlNodePtr elem,
                    const xmlChar *name, const xmlChar *value) {
    xmlChar *ret, *dst;
    const xmlChar *src;
    xmlAttributePtr attrDecl = NULL;

    if (doc == NULL) return(NULL);
    if (elem == NULL) return(NULL);
    if (name == NULL) return(NULL);
    if (value == NULL) return(NULL);

    if ((elem->ns != NULL) && (elem->ns->prefix != NULL)) {
    xmlChar fn[50];
    xmlChar *fullname;

    fullname = xmlBuildQName(elem->name, elem->ns->prefix, fn, 50);
    if (fullname == NULL)
        return(NULL);
    if ((fullname != fn) && (fullname != elem->name))
        xmlFree(fullname);
    }
    attrDecl = xmlGetDtdAttrDesc(doc->intSubset, elem->name, name);
    if ((attrDecl == NULL) && (doc->extSubset != NULL))
    attrDecl = xmlGetDtdAttrDesc(doc->extSubset, elem->name, name);

    if (attrDecl == NULL)
    return(NULL);
    if (attrDecl->atype == XML_ATTRIBUTE_CDATA)
    return(NULL);

    ret = xmlStrdup(value);
    if (ret == NULL)
    return(NULL);
    src = value;
    dst = ret;
    while (*src == 0x20) src++;
    while (*src != 0) {
    if (*src == 0x20) {
        while (*src == 0x20) src++;
        if (*src != 0)
        *dst++ = 0x20;
    } else {
        *dst++ = *src++;
    }
    }
    *dst = 0;
    return(ret);
}

static void
xmlValidateAttributeIdCallback(void *payload, void *data,
                           const xmlChar *name ATTRIBUTE_UNUSED) {
    xmlAttributePtr attr = (xmlAttributePtr) payload;
    int *count = (int *) data;
    if (attr->atype == XML_ATTRIBUTE_ID) (*count)++;
}

int
xmlValidateAttributeDecl(xmlValidCtxtPtr ctxt, xmlDocPtr doc,
                         xmlAttributePtr attr) {
    int ret = 1;
    int val;
    CHECK_DTD;
    if(attr == NULL) return(1);

    /* Attribute Default Legal */
    /* Enumeration */
    if (attr->defaultValue != NULL) {
    val = xmlValidateAttributeValueInternal(doc, attr->atype,
                                            attr->defaultValue);
    if (val == 0) {
        xmlErrValidNode(ctxt, (xmlNodePtr) attr, XML_DTD_ATTRIBUTE_DEFAULT,
           "Syntax of default value for attribute %s of %s is not valid\n",
               attr->name, attr->elem, NULL);
    }
        ret &= val;
    }

    /* ID Attribute Default */
    if ((attr->atype == XML_ATTRIBUTE_ID)&&
        (attr->def != XML_ATTRIBUTE_IMPLIED) &&
    (attr->def != XML_ATTRIBUTE_REQUIRED)) {
    xmlErrValidNode(ctxt, (xmlNodePtr) attr, XML_DTD_ID_FIXED,
          "ID attribute %s of %s is not valid must be #IMPLIED or #REQUIRED\n",
           attr->name, attr->elem, NULL);
    ret = 0;
    }

    /* One ID per Element Type */
    if (attr->atype == XML_ATTRIBUTE_ID) {
        int nbId;

    /* the trick is that we parse DtD as their own internal subset */
        xmlElementPtr elem = xmlGetDtdElementDesc(doc->intSubset,
                                              attr->elem);
    if (elem != NULL) {
        nbId = xmlScanIDAttributeDecl(NULL, elem, 0);
    } else {
        xmlAttributeTablePtr table;

        /*
         * The attribute may be declared in the internal subset and the
         * element in the external subset.
         */
        nbId = 0;
        if (doc->intSubset != NULL) {
        table = (xmlAttributeTablePtr) doc->intSubset->attributes;
        xmlHashScan3(table, NULL, NULL, attr->elem,
                 xmlValidateAttributeIdCallback, &nbId);
        }
    }
    if (nbId > 1) {

        xmlErrValidNodeNr(ctxt, (xmlNodePtr) attr, XML_DTD_ID_SUBSET,
       "Element %s has %d ID attribute defined in the internal subset : %s\n",
           attr->elem, nbId, attr->name);
    } else if (doc->extSubset != NULL) {
        int extId = 0;
        elem = xmlGetDtdElementDesc(doc->extSubset, attr->elem);
        if (elem != NULL) {
        extId = xmlScanIDAttributeDecl(NULL, elem, 0);
        }
        if (extId > 1) {
        xmlErrValidNodeNr(ctxt, (xmlNodePtr) attr, XML_DTD_ID_SUBSET,
       "Element %s has %d ID attribute defined in the external subset : %s\n",
               attr->elem, extId, attr->name);
        } else if (extId + nbId > 1) {
        xmlErrValidNode(ctxt, (xmlNodePtr) attr, XML_DTD_ID_SUBSET,
"Element %s has ID attributes defined in the internal and external subset : %s\n",
               attr->elem, attr->name, NULL);
        }
    }
    }

    /* Validity Constraint: Enumeration */
    if ((attr->defaultValue != NULL) && (attr->tree != NULL)) {
        xmlEnumerationPtr tree = attr->tree;
    while (tree != NULL) {
        if (xmlStrEqual(tree->name, attr->defaultValue)) break;
        tree = tree->next;
    }
    if (tree == NULL) {
        xmlErrValidNode(ctxt, (xmlNodePtr) attr, XML_DTD_ATTRIBUTE_VALUE,
"Default value \"%s\" for attribute %s of %s is not among the enumerated set\n",
           attr->defaultValue, attr->name, attr->elem);
        ret = 0;
    }
    }

    return(ret);
}

int
xmlValidateElementDecl(xmlValidCtxtPtr ctxt, xmlDocPtr doc,
                       xmlElementPtr elem) {
    int ret = 1;
    xmlElementPtr tst;

    CHECK_DTD;

    if (elem == NULL) return(1);

#if 0
#ifdef LIBXML_REGEXP_ENABLED
    /* Build the regexp associated to the content model */
    ret = xmlValidBuildContentModel(ctxt, elem);
#endif
#endif

    /* No Duplicate Types */
    if (elem->etype == XML_ELEMENT_TYPE_MIXED) {
    xmlElementContentPtr cur, next;
        const xmlChar *name;

    cur = elem->content;
    while (cur != NULL) {
        if (cur->type != XML_ELEMENT_CONTENT_OR) break;
        if (cur->c1 == NULL) break;
        if (cur->c1->type == XML_ELEMENT_CONTENT_ELEMENT) {
        name = cur->c1->name;
        next = cur->c2;
        while (next != NULL) {
            if (next->type == XML_ELEMENT_CONTENT_ELEMENT) {
                if ((xmlStrEqual(next->name, name)) &&
                (xmlStrEqual(next->prefix, cur->c1->prefix))) {
                if (cur->c1->prefix == NULL) {
                xmlErrValidNode(ctxt, (xmlNodePtr) elem, XML_DTD_CONTENT_ERROR,
           "Definition of %s has duplicate references of %s\n",
                       elem->name, name, NULL);
                } else {
                xmlErrValidNode(ctxt, (xmlNodePtr) elem, XML_DTD_CONTENT_ERROR,
           "Definition of %s has duplicate references of %s:%s\n",
                       elem->name, cur->c1->prefix, name);
                }
                ret = 0;
            }
            break;
            }
            if (next->c1 == NULL) break;
            if (next->c1->type != XML_ELEMENT_CONTENT_ELEMENT) break;
            if ((xmlStrEqual(next->c1->name, name)) &&
                (xmlStrEqual(next->c1->prefix, cur->c1->prefix))) {
            if (cur->c1->prefix == NULL) {
                xmlErrValidNode(ctxt, (xmlNodePtr) elem, XML_DTD_CONTENT_ERROR,
           "Definition of %s has duplicate references to %s\n",
                   elem->name, name, NULL);
            } else {
                xmlErrValidNode(ctxt, (xmlNodePtr) elem, XML_DTD_CONTENT_ERROR,
           "Definition of %s has duplicate references to %s:%s\n",
                   elem->name, cur->c1->prefix, name);
            }
            ret = 0;
            }
            next = next->c2;
        }
        }
        cur = cur->c2;
    }
    }

    /* VC: Unique Element Type Declaration */
    tst = xmlGetDtdElementDesc(doc->intSubset, elem->name);
    if ((tst != NULL ) && (tst != elem) &&
    ((tst->prefix == elem->prefix) ||
     (xmlStrEqual(tst->prefix, elem->prefix))) &&
    (tst->etype != XML_ELEMENT_TYPE_UNDEFINED)) {
    xmlErrValidNode(ctxt, (xmlNodePtr) elem, XML_DTD_ELEM_REDEFINED,
                    "Redefinition of element %s\n",
               elem->name, NULL, NULL);
    ret = 0;
    }
    tst = xmlGetDtdElementDesc(doc->extSubset, elem->name);
    if ((tst != NULL ) && (tst != elem) &&
    ((tst->prefix == elem->prefix) ||
     (xmlStrEqual(tst->prefix, elem->prefix))) &&
    (tst->etype != XML_ELEMENT_TYPE_UNDEFINED)) {
    xmlErrValidNode(ctxt, (xmlNodePtr) elem, XML_DTD_ELEM_REDEFINED,
                    "Redefinition of element %s\n",
               elem->name, NULL, NULL);
    ret = 0;
    }
    /* One ID per Element Type
     * already done when registering the attribute
    if (xmlScanIDAttributeDecl(ctxt, elem) > 1) {
    ret = 0;
    } */
    return(ret);
}

int
xmlValidateOneAttribute(xmlValidCtxtPtr ctxt, xmlDocPtr doc,
                        xmlNodePtr elem, xmlAttrPtr attr, const xmlChar *value)
{
    xmlAttributePtr attrDecl =  NULL;
    int val;
    int ret = 1;

    CHECK_DTD;
    if ((elem == NULL) || (elem->name == NULL)) return(0);
    if ((attr == NULL) || (attr->name == NULL)) return(0);

    if ((elem->ns != NULL) && (elem->ns->prefix != NULL)) {
    xmlChar fn[50];
    xmlChar *fullname;

    fullname = xmlBuildQName(elem->name, elem->ns->prefix, fn, 50);
    if (fullname == NULL)
        return(0);
    if (attr->ns != NULL) {
        attrDecl = xmlGetDtdQAttrDesc(doc->intSubset, fullname,
                                  attr->name, attr->ns->prefix);
        if ((attrDecl == NULL) && (doc->extSubset != NULL))
        attrDecl = xmlGetDtdQAttrDesc(doc->extSubset, fullname,
                          attr->name, attr->ns->prefix);
    } else {
        attrDecl = xmlGetDtdAttrDesc(doc->intSubset, fullname, attr->name);
        if ((attrDecl == NULL) && (doc->extSubset != NULL))
        attrDecl = xmlGetDtdAttrDesc(doc->extSubset,
                         fullname, attr->name);
    }
    if ((fullname != fn) && (fullname != elem->name))
        xmlFree(fullname);
    }
    if (attrDecl == NULL) {
    if (attr->ns != NULL) {
        attrDecl = xmlGetDtdQAttrDesc(doc->intSubset, elem->name,
                                  attr->name, attr->ns->prefix);
        if ((attrDecl == NULL) && (doc->extSubset != NULL))
        attrDecl = xmlGetDtdQAttrDesc(doc->extSubset, elem->name,
                          attr->name, attr->ns->prefix);
    } else {
        attrDecl = xmlGetDtdAttrDesc(doc->intSubset,
                                 elem->name, attr->name);
        if ((attrDecl == NULL) && (doc->extSubset != NULL))
        attrDecl = xmlGetDtdAttrDesc(doc->extSubset,
                         elem->name, attr->name);
    }
    }


    /* Validity Constraint: Attribute Value Type */
    if (attrDecl == NULL) {
    xmlErrValidNode(ctxt, elem, XML_DTD_UNKNOWN_ATTRIBUTE,
           "No declaration for attribute %s of element %s\n",
           attr->name, elem->name, NULL);
    return(0);
    }
    attr->atype = attrDecl->atype;

    val = xmlValidateAttributeValueInternal(doc, attrDecl->atype, value);
    if (val == 0) {
        xmlErrValidNode(ctxt, elem, XML_DTD_ATTRIBUTE_VALUE,
       "Syntax of value for attribute %s of %s is not valid\n",
           attr->name, elem->name, NULL);
        ret = 0;
    }

    /* Validity constraint: Fixed Attribute Default */
    if (attrDecl->def == XML_ATTRIBUTE_FIXED) {
    if (!xmlStrEqual(value, attrDecl->defaultValue)) {
        xmlErrValidNode(ctxt, elem, XML_DTD_ATTRIBUTE_DEFAULT,
       "Value for attribute %s of %s is different from default \"%s\"\n",
           attr->name, elem->name, attrDecl->defaultValue);
        ret = 0;
    }
    }

    /* Validity Constraint: ID uniqueness */
    if (attrDecl->atype == XML_ATTRIBUTE_ID) {
        if (xmlAddID(ctxt, doc, value, attr) == NULL)
        ret = 0;
    }

    if ((attrDecl->atype == XML_ATTRIBUTE_IDREF) ||
    (attrDecl->atype == XML_ATTRIBUTE_IDREFS)) {
        if (xmlAddRef(ctxt, doc, value, attr) == NULL)
        ret = 0;
    }

    /* Validity Constraint: Notation Attributes */
    if (attrDecl->atype == XML_ATTRIBUTE_NOTATION) {
        xmlEnumerationPtr tree = attrDecl->tree;
        xmlNotationPtr nota;

        /* First check that the given NOTATION was declared */
    nota = xmlGetDtdNotationDesc(doc->intSubset, value);
    if (nota == NULL)
        nota = xmlGetDtdNotationDesc(doc->extSubset, value);

    if (nota == NULL) {
        xmlErrValidNode(ctxt, elem, XML_DTD_UNKNOWN_NOTATION,
       "Value \"%s\" for attribute %s of %s is not a declared Notation\n",
           value, attr->name, elem->name);
        ret = 0;
        }

    /* Second, verify that it's among the list */
    while (tree != NULL) {
        if (xmlStrEqual(tree->name, value)) break;
        tree = tree->next;
    }
    if (tree == NULL) {
        xmlErrValidNode(ctxt, elem, XML_DTD_NOTATION_VALUE,
"Value \"%s\" for attribute %s of %s is not among the enumerated notations\n",
           value, attr->name, elem->name);
        ret = 0;
    }
    }

    /* Validity Constraint: Enumeration */
    if (attrDecl->atype == XML_ATTRIBUTE_ENUMERATION) {
        xmlEnumerationPtr tree = attrDecl->tree;
    while (tree != NULL) {
        if (xmlStrEqual(tree->name, value)) break;
        tree = tree->next;
    }
    if (tree == NULL) {
        xmlErrValidNode(ctxt, elem, XML_DTD_ATTRIBUTE_VALUE,
       "Value \"%s\" for attribute %s of %s is not among the enumerated set\n",
           value, attr->name, elem->name);
        ret = 0;
    }
    }

    /* Fixed Attribute Default */
    if ((attrDecl->def == XML_ATTRIBUTE_FIXED) &&
        (!xmlStrEqual(attrDecl->defaultValue, value))) {
    xmlErrValidNode(ctxt, elem, XML_DTD_ATTRIBUTE_VALUE,
       "Value for attribute %s of %s must be \"%s\"\n",
           attr->name, elem->name, attrDecl->defaultValue);
        ret = 0;
    }

    /* Extra check for the attribute value */
    ret &= xmlValidateAttributeValue2(ctxt, doc, attr->name,
                      attrDecl->atype, value);

    return(ret);
}

int
xmlValidateOneNamespace(xmlValidCtxtPtr ctxt, xmlDocPtr doc,
xmlNodePtr elem, const xmlChar *prefix, xmlNsPtr ns, const xmlChar *value) {
    /* xmlElementPtr elemDecl; */
    xmlAttributePtr attrDecl =  NULL;
    int val;
    int ret = 1;

    CHECK_DTD;
    if ((elem == NULL) || (elem->name == NULL)) return(0);
    if ((ns == NULL) || (ns->href == NULL)) return(0);

    if (prefix != NULL) {
    xmlChar fn[50];
    xmlChar *fullname;

    fullname = xmlBuildQName(elem->name, prefix, fn, 50);
    if (fullname == NULL) {
        xmlVErrMemory(ctxt, "Validating namespace");
        return(0);
    }
    if (ns->prefix != NULL) {
        attrDecl = xmlGetDtdQAttrDesc(doc->intSubset, fullname,
                                  ns->prefix, BAD_CAST "xmlns");
        if ((attrDecl == NULL) && (doc->extSubset != NULL))
        attrDecl = xmlGetDtdQAttrDesc(doc->extSubset, fullname,
                      ns->prefix, BAD_CAST "xmlns");
    } else {
        attrDecl = xmlGetDtdAttrDesc(doc->intSubset, fullname,
                                 BAD_CAST "xmlns");
        if ((attrDecl == NULL) && (doc->extSubset != NULL))
        attrDecl = xmlGetDtdAttrDesc(doc->extSubset, fullname,
                             BAD_CAST "xmlns");
    }
    if ((fullname != fn) && (fullname != elem->name))
        xmlFree(fullname);
    }
    if (attrDecl == NULL) {
    if (ns->prefix != NULL) {
        attrDecl = xmlGetDtdQAttrDesc(doc->intSubset, elem->name,
                                  ns->prefix, BAD_CAST "xmlns");
        if ((attrDecl == NULL) && (doc->extSubset != NULL))
        attrDecl = xmlGetDtdQAttrDesc(doc->extSubset, elem->name,
                          ns->prefix, BAD_CAST "xmlns");
    } else {
        attrDecl = xmlGetDtdAttrDesc(doc->intSubset,
                                 elem->name, BAD_CAST "xmlns");
        if ((attrDecl == NULL) && (doc->extSubset != NULL))
        attrDecl = xmlGetDtdAttrDesc(doc->extSubset,
                         elem->name, BAD_CAST "xmlns");
    }
    }


    /* Validity Constraint: Attribute Value Type */
    if (attrDecl == NULL) {
    if (ns->prefix != NULL) {
        xmlErrValidNode(ctxt, elem, XML_DTD_UNKNOWN_ATTRIBUTE,
           "No declaration for attribute xmlns:%s of element %s\n",
           ns->prefix, elem->name, NULL);
    } else {
        xmlErrValidNode(ctxt, elem, XML_DTD_UNKNOWN_ATTRIBUTE,
           "No declaration for attribute xmlns of element %s\n",
           elem->name, NULL, NULL);
    }
    return(0);
    }

    val = xmlValidateAttributeValueInternal(doc, attrDecl->atype, value);
    if (val == 0) {
    if (ns->prefix != NULL) {
        xmlErrValidNode(ctxt, elem, XML_DTD_INVALID_DEFAULT,
           "Syntax of value for attribute xmlns:%s of %s is not valid\n",
           ns->prefix, elem->name, NULL);
    } else {
        xmlErrValidNode(ctxt, elem, XML_DTD_INVALID_DEFAULT,
           "Syntax of value for attribute xmlns of %s is not valid\n",
           elem->name, NULL, NULL);
    }
        ret = 0;
    }

    /* Validity constraint: Fixed Attribute Default */
    if (attrDecl->def == XML_ATTRIBUTE_FIXED) {
    if (!xmlStrEqual(value, attrDecl->defaultValue)) {
        if (ns->prefix != NULL) {
        xmlErrValidNode(ctxt, elem, XML_DTD_ATTRIBUTE_DEFAULT,
       "Value for attribute xmlns:%s of %s is different from default \"%s\"\n",
               ns->prefix, elem->name, attrDecl->defaultValue);
        } else {
        xmlErrValidNode(ctxt, elem, XML_DTD_ATTRIBUTE_DEFAULT,
       "Value for attribute xmlns of %s is different from default \"%s\"\n",
               elem->name, attrDecl->defaultValue, NULL);
        }
        ret = 0;
    }
    }

    /*
     * Casting ns to xmlAttrPtr is wrong. We'd need separate functions
     * xmlAddID and xmlAddRef for namespace declarations, but it makes
     * no practical sense to use ID types anyway.
     */
#if 0
    /* Validity Constraint: ID uniqueness */
    if (attrDecl->atype == XML_ATTRIBUTE_ID) {
        if (xmlAddID(ctxt, doc, value, (xmlAttrPtr) ns) == NULL)
        ret = 0;
    }

    if ((attrDecl->atype == XML_ATTRIBUTE_IDREF) ||
    (attrDecl->atype == XML_ATTRIBUTE_IDREFS)) {
        if (xmlAddRef(ctxt, doc, value, (xmlAttrPtr) ns) == NULL)
        ret = 0;
    }
#endif

    /* Validity Constraint: Notation Attributes */
    if (attrDecl->atype == XML_ATTRIBUTE_NOTATION) {
        xmlEnumerationPtr tree = attrDecl->tree;
        xmlNotationPtr nota;

        /* First check that the given NOTATION was declared */
    nota = xmlGetDtdNotationDesc(doc->intSubset, value);
    if (nota == NULL)
        nota = xmlGetDtdNotationDesc(doc->extSubset, value);

    if (nota == NULL) {
        if (ns->prefix != NULL) {
        xmlErrValidNode(ctxt, elem, XML_DTD_UNKNOWN_NOTATION,
       "Value \"%s\" for attribute xmlns:%s of %s is not a declared Notation\n",
               value, ns->prefix, elem->name);
        } else {
        xmlErrValidNode(ctxt, elem, XML_DTD_UNKNOWN_NOTATION,
       "Value \"%s\" for attribute xmlns of %s is not a declared Notation\n",
               value, elem->name, NULL);
        }
        ret = 0;
        }

    /* Second, verify that it's among the list */
    while (tree != NULL) {
        if (xmlStrEqual(tree->name, value)) break;
        tree = tree->next;
    }
    if (tree == NULL) {
        if (ns->prefix != NULL) {
        xmlErrValidNode(ctxt, elem, XML_DTD_NOTATION_VALUE,
"Value \"%s\" for attribute xmlns:%s of %s is not among the enumerated notations\n",
               value, ns->prefix, elem->name);
        } else {
        xmlErrValidNode(ctxt, elem, XML_DTD_NOTATION_VALUE,
"Value \"%s\" for attribute xmlns of %s is not among the enumerated notations\n",
               value, elem->name, NULL);
        }
        ret = 0;
    }
    }

    /* Validity Constraint: Enumeration */
    if (attrDecl->atype == XML_ATTRIBUTE_ENUMERATION) {
        xmlEnumerationPtr tree = attrDecl->tree;
    while (tree != NULL) {
        if (xmlStrEqual(tree->name, value)) break;
        tree = tree->next;
    }
    if (tree == NULL) {
        if (ns->prefix != NULL) {
        xmlErrValidNode(ctxt, elem, XML_DTD_ATTRIBUTE_VALUE,
"Value \"%s\" for attribute xmlns:%s of %s is not among the enumerated set\n",
               value, ns->prefix, elem->name);
        } else {
        xmlErrValidNode(ctxt, elem, XML_DTD_ATTRIBUTE_VALUE,
"Value \"%s\" for attribute xmlns of %s is not among the enumerated set\n",
               value, elem->name, NULL);
        }
        ret = 0;
    }
    }

    /* Fixed Attribute Default */
    if ((attrDecl->def == XML_ATTRIBUTE_FIXED) &&
        (!xmlStrEqual(attrDecl->defaultValue, value))) {
    if (ns->prefix != NULL) {
        xmlErrValidNode(ctxt, elem, XML_DTD_ELEM_NAMESPACE,
           "Value for attribute xmlns:%s of %s must be \"%s\"\n",
           ns->prefix, elem->name, attrDecl->defaultValue);
    } else {
        xmlErrValidNode(ctxt, elem, XML_DTD_ELEM_NAMESPACE,
           "Value for attribute xmlns of %s must be \"%s\"\n",
           elem->name, attrDecl->defaultValue, NULL);
    }
        ret = 0;
    }

    /* Extra check for the attribute value */
    if (ns->prefix != NULL) {
    ret &= xmlValidateAttributeValue2(ctxt, doc, ns->prefix,
                      attrDecl->atype, value);
    } else {
    ret &= xmlValidateAttributeValue2(ctxt, doc, BAD_CAST "xmlns",
                      attrDecl->atype, value);
    }

    return(ret);
}

#ifndef  LIBXML_REGEXP_ENABLED

static xmlNodePtr
xmlValidateSkipIgnorable(xmlNodePtr child) {
    while (child != NULL) {
    switch (child->type) {
        /* These things are ignored (skipped) during validation.  */
        case XML_PI_NODE:
        case XML_COMMENT_NODE:
        case XML_XINCLUDE_START:
        case XML_XINCLUDE_END:
        child = child->next;
        break;
        case XML_TEXT_NODE:
        if (xmlIsBlankNode(child))
            child = child->next;
        else
            return(child);
        break;
        /* keep current node */
        default:
        return(child);
    }
    }
    return(child);
}

static int
xmlValidateElementType(xmlValidCtxtPtr ctxt) {
    int ret = -1;
    int determinist = 1;

    NODE = xmlValidateSkipIgnorable(NODE);
    if ((NODE == NULL) && (CONT == NULL))
    return(1);
    if ((NODE == NULL) &&
    ((CONT->ocur == XML_ELEMENT_CONTENT_MULT) ||
     (CONT->ocur == XML_ELEMENT_CONTENT_OPT))) {
    return(1);
    }
    if (CONT == NULL) return(-1);
    if ((NODE != NULL) && (NODE->type == XML_ENTITY_REF_NODE))
    return(-2);

    /*
     * We arrive here when more states need to be examined
     */
cont:

    /*
     * We just recovered from a rollback generated by a possible
     * epsilon transition, go directly to the analysis phase
     */
    if (STATE == ROLLBACK_PARENT) {
    DEBUG_VALID_MSG("restored parent branch");
    DEBUG_VALID_STATE(NODE, CONT)
    ret = 1;
    goto analyze;
    }

    DEBUG_VALID_STATE(NODE, CONT)
    /*
     * we may have to save a backup state here. This is the equivalent
     * of handling epsilon transition in NFAs.
     */
    if ((CONT != NULL) &&
    ((CONT->parent == NULL) ||
     (CONT->parent->type != XML_ELEMENT_CONTENT_OR)) &&
    ((CONT->ocur == XML_ELEMENT_CONTENT_MULT) ||
     (CONT->ocur == XML_ELEMENT_CONTENT_OPT) ||
     ((CONT->ocur == XML_ELEMENT_CONTENT_PLUS) && (OCCURRENCE)))) {
    DEBUG_VALID_MSG("saving parent branch");
    if (vstateVPush(ctxt, CONT, NODE, DEPTH, OCCURS, ROLLBACK_PARENT) < 0)
        return(0);
    }


    /*
     * Check first if the content matches
     */
    switch (CONT->type) {
    case XML_ELEMENT_CONTENT_PCDATA:
        if (NODE == NULL) {
        DEBUG_VALID_MSG("pcdata failed no node");
        ret = 0;
        break;
        }
        if (NODE->type == XML_TEXT_NODE) {
        DEBUG_VALID_MSG("pcdata found, skip to next");
        /*
         * go to next element in the content model
         * skipping ignorable elems
         */
        do {
            NODE = NODE->next;
            NODE = xmlValidateSkipIgnorable(NODE);
            if ((NODE != NULL) &&
            (NODE->type == XML_ENTITY_REF_NODE))
            return(-2);
        } while ((NODE != NULL) &&
             ((NODE->type != XML_ELEMENT_NODE) &&
              (NODE->type != XML_TEXT_NODE) &&
              (NODE->type != XML_CDATA_SECTION_NODE)));
                ret = 1;
        break;
        } else {
        DEBUG_VALID_MSG("pcdata failed");
        ret = 0;
        break;
        }
        break;
    case XML_ELEMENT_CONTENT_ELEMENT:
        if (NODE == NULL) {
        DEBUG_VALID_MSG("element failed no node");
        ret = 0;
        break;
        }
        ret = ((NODE->type == XML_ELEMENT_NODE) &&
           (xmlStrEqual(NODE->name, CONT->name)));
        if (ret == 1) {
        if ((NODE->ns == NULL) || (NODE->ns->prefix == NULL)) {
            ret = (CONT->prefix == NULL);
        } else if (CONT->prefix == NULL) {
            ret = 0;
        } else {
            ret = xmlStrEqual(NODE->ns->prefix, CONT->prefix);
        }
        }
        if (ret == 1) {
        DEBUG_VALID_MSG("element found, skip to next");
        /*
         * go to next element in the content model
         * skipping ignorable elems
         */
        do {
            NODE = NODE->next;
            NODE = xmlValidateSkipIgnorable(NODE);
            if ((NODE != NULL) &&
            (NODE->type == XML_ENTITY_REF_NODE))
            return(-2);
        } while ((NODE != NULL) &&
             ((NODE->type != XML_ELEMENT_NODE) &&
              (NODE->type != XML_TEXT_NODE) &&
              (NODE->type != XML_CDATA_SECTION_NODE)));
        } else {
        DEBUG_VALID_MSG("element failed");
        ret = 0;
        break;
        }
        break;
    case XML_ELEMENT_CONTENT_OR:
        /*
         * Small optimization.
         */
        if (CONT->c1->type == XML_ELEMENT_CONTENT_ELEMENT) {
        if ((NODE == NULL) ||
            (!xmlStrEqual(NODE->name, CONT->c1->name))) {
            DEPTH++;
            CONT = CONT->c2;
            goto cont;
        }
        if ((NODE->ns == NULL) || (NODE->ns->prefix == NULL)) {
            ret = (CONT->c1->prefix == NULL);
        } else if (CONT->c1->prefix == NULL) {
            ret = 0;
        } else {
            ret = xmlStrEqual(NODE->ns->prefix, CONT->c1->prefix);
        }
        if (ret == 0) {
            DEPTH++;
            CONT = CONT->c2;
            goto cont;
        }
        }

        /*
         * save the second branch 'or' branch
         */
        DEBUG_VALID_MSG("saving 'or' branch");
        if (vstateVPush(ctxt, CONT->c2, NODE, (unsigned char)(DEPTH + 1),
                OCCURS, ROLLBACK_OR) < 0)
        return(-1);
        DEPTH++;
        CONT = CONT->c1;
        goto cont;
    case XML_ELEMENT_CONTENT_SEQ:
        /*
         * Small optimization.
         */
        if ((CONT->c1->type == XML_ELEMENT_CONTENT_ELEMENT) &&
        ((CONT->c1->ocur == XML_ELEMENT_CONTENT_OPT) ||
         (CONT->c1->ocur == XML_ELEMENT_CONTENT_MULT))) {
        if ((NODE == NULL) ||
            (!xmlStrEqual(NODE->name, CONT->c1->name))) {
            DEPTH++;
            CONT = CONT->c2;
            goto cont;
        }
        if ((NODE->ns == NULL) || (NODE->ns->prefix == NULL)) {
            ret = (CONT->c1->prefix == NULL);
        } else if (CONT->c1->prefix == NULL) {
            ret = 0;
        } else {
            ret = xmlStrEqual(NODE->ns->prefix, CONT->c1->prefix);
        }
        if (ret == 0) {
            DEPTH++;
            CONT = CONT->c2;
            goto cont;
        }
        }
        DEPTH++;
        CONT = CONT->c1;
        goto cont;
    }

    /*
     * At this point handle going up in the tree
     */
    if (ret == -1) {
    DEBUG_VALID_MSG("error found returning");
    return(ret);
    }
analyze:
    while (CONT != NULL) {
    /*
     * First do the analysis depending on the occurrence model at
     * this level.
     */
    if (ret == 0) {
        switch (CONT->ocur) {
        xmlNodePtr cur;

        case XML_ELEMENT_CONTENT_ONCE:
            cur = ctxt->vstate->node;
            DEBUG_VALID_MSG("Once branch failed, rollback");
            if (vstateVPop(ctxt) < 0 ) {
            DEBUG_VALID_MSG("exhaustion, failed");
            return(0);
            }
            if (cur != ctxt->vstate->node)
            determinist = -3;
            goto cont;
        case XML_ELEMENT_CONTENT_PLUS:
            if (OCCURRENCE == 0) {
            cur = ctxt->vstate->node;
            DEBUG_VALID_MSG("Plus branch failed, rollback");
            if (vstateVPop(ctxt) < 0 ) {
                DEBUG_VALID_MSG("exhaustion, failed");
                return(0);
            }
            if (cur != ctxt->vstate->node)
                determinist = -3;
            goto cont;
            }
            DEBUG_VALID_MSG("Plus branch found");
            ret = 1;
            break;
        case XML_ELEMENT_CONTENT_MULT:
#ifdef DEBUG_VALID_ALGO
            if (OCCURRENCE == 0) {
            DEBUG_VALID_MSG("Mult branch failed");
            } else {
            DEBUG_VALID_MSG("Mult branch found");
            }
#endif
            ret = 1;
            break;
        case XML_ELEMENT_CONTENT_OPT:
            DEBUG_VALID_MSG("Option branch failed");
            ret = 1;
            break;
        }
    } else {
        switch (CONT->ocur) {
        case XML_ELEMENT_CONTENT_OPT:
            DEBUG_VALID_MSG("Option branch succeeded");
            ret = 1;
            break;
        case XML_ELEMENT_CONTENT_ONCE:
            DEBUG_VALID_MSG("Once branch succeeded");
            ret = 1;
            break;
        case XML_ELEMENT_CONTENT_PLUS:
            if (STATE == ROLLBACK_PARENT) {
            DEBUG_VALID_MSG("Plus branch rollback");
            ret = 1;
            break;
            }
            if (NODE == NULL) {
            DEBUG_VALID_MSG("Plus branch exhausted");
            ret = 1;
            break;
            }
            DEBUG_VALID_MSG("Plus branch succeeded, continuing");
            SET_OCCURRENCE;
            goto cont;
        case XML_ELEMENT_CONTENT_MULT:
            if (STATE == ROLLBACK_PARENT) {
            DEBUG_VALID_MSG("Mult branch rollback");
            ret = 1;
            break;
            }
            if (NODE == NULL) {
            DEBUG_VALID_MSG("Mult branch exhausted");
            ret = 1;
            break;
            }
            DEBUG_VALID_MSG("Mult branch succeeded, continuing");
            /* SET_OCCURRENCE; */
            goto cont;
        }
    }
    STATE = 0;

    /*
     * Then act accordingly at the parent level
     */
    RESET_OCCURRENCE;
    if (CONT->parent == NULL)
        break;

    switch (CONT->parent->type) {
        case XML_ELEMENT_CONTENT_PCDATA:
        DEBUG_VALID_MSG("Error: parent pcdata");
        return(-1);
        case XML_ELEMENT_CONTENT_ELEMENT:
        DEBUG_VALID_MSG("Error: parent element");
        return(-1);
        case XML_ELEMENT_CONTENT_OR:
        if (ret == 1) {
            DEBUG_VALID_MSG("Or succeeded");
            CONT = CONT->parent;
            DEPTH--;
        } else {
            DEBUG_VALID_MSG("Or failed");
            CONT = CONT->parent;
            DEPTH--;
        }
        break;
        case XML_ELEMENT_CONTENT_SEQ:
        if (ret == 0) {
            DEBUG_VALID_MSG("Sequence failed");
            CONT = CONT->parent;
            DEPTH--;
        } else if (CONT == CONT->parent->c1) {
            DEBUG_VALID_MSG("Sequence testing 2nd branch");
            CONT = CONT->parent->c2;
            goto cont;
        } else {
            DEBUG_VALID_MSG("Sequence succeeded");
            CONT = CONT->parent;
            DEPTH--;
        }
    }
    }
    if (NODE != NULL) {
    xmlNodePtr cur;

    cur = ctxt->vstate->node;
    DEBUG_VALID_MSG("Failed, remaining input, rollback");
    if (vstateVPop(ctxt) < 0 ) {
        DEBUG_VALID_MSG("exhaustion, failed");
        return(0);
    }
    if (cur != ctxt->vstate->node)
        determinist = -3;
    goto cont;
    }
    if (ret == 0) {
    xmlNodePtr cur;

    cur = ctxt->vstate->node;
    DEBUG_VALID_MSG("Failure, rollback");
    if (vstateVPop(ctxt) < 0 ) {
        DEBUG_VALID_MSG("exhaustion, failed");
        return(0);
    }
    if (cur != ctxt->vstate->node)
        determinist = -3;
    goto cont;
    }
    return(determinist);
}
#endif

static void
xmlSnprintfElements(char *buf, int size, xmlNodePtr node, int glob) {
    xmlNodePtr cur;
    int len;

    if (node == NULL) return;
    if (glob) strcat(buf, "(");
    cur = node;
    while (cur != NULL) {
    len = strlen(buf);
    if (size - len < 50) {
        if ((size - len > 4) && (buf[len - 1] != '.'))
        strcat(buf, " ...");
        return;
    }
        switch (cur->type) {
            case XML_ELEMENT_NODE:
        if ((cur->ns != NULL) && (cur->ns->prefix != NULL)) {
            if (size - len < xmlStrlen(cur->ns->prefix) + 10) {
            if ((size - len > 4) && (buf[len - 1] != '.'))
                strcat(buf, " ...");
            return;
            }
            strcat(buf, (char *) cur->ns->prefix);
            strcat(buf, ":");
        }
                if (size - len < xmlStrlen(cur->name) + 10) {
            if ((size - len > 4) && (buf[len - 1] != '.'))
            strcat(buf, " ...");
            return;
        }
            strcat(buf, (char *) cur->name);
        if (cur->next != NULL)
            strcat(buf, " ");
        break;
            case XML_TEXT_NODE:
        if (xmlIsBlankNode(cur))
            break;
                /* Falls through. */
            case XML_CDATA_SECTION_NODE:
            case XML_ENTITY_REF_NODE:
            strcat(buf, "CDATA");
        if (cur->next != NULL)
            strcat(buf, " ");
        break;
            case XML_ATTRIBUTE_NODE:
            case XML_DOCUMENT_NODE:
#ifdef LIBXML_DOCB_ENABLED
        case XML_DOCB_DOCUMENT_NODE:
#endif
        case XML_HTML_DOCUMENT_NODE:
            case XML_DOCUMENT_TYPE_NODE:
            case XML_DOCUMENT_FRAG_NODE:
            case XML_NOTATION_NODE:
        case XML_NAMESPACE_DECL:
            strcat(buf, "???");
        if (cur->next != NULL)
            strcat(buf, " ");
        break;