2 * valid.c : part of the code use to do the DTD handling and the validity
5 * See Copyright for the status of this software.
19 #include <libxml/xmlmemory.h>
20 #include <libxml/hash.h>
21 #include <libxml/uri.h>
22 #include <libxml/valid.h>
23 #include <libxml/parser.h>
24 #include <libxml/parserInternals.h>
25 #include <libxml/xmlerror.h>
26 #include <libxml/list.h>
27 #include <libxml/globals.h>
29 static xmlElementPtr
xmlGetDtdElementDesc2(xmlDtdPtr dtd
, const xmlChar
*name
,
31 /* #define DEBUG_VALID_ALGO */
32 /* #define DEBUG_REGEXP_ALGO */
35 xmlGenericError(xmlGenericErrorContext, \
36 "Unimplemented block at %s:%d\n", \
39 #ifdef LIBXML_VALID_ENABLED
41 xmlValidateAttributeValueInternal(xmlDocPtr doc
, xmlAttributeType type
,
42 const xmlChar
*value
);
44 /************************************************************************
46 * Error handling routines *
48 ************************************************************************/
52 * @ctxt: an XML validation parser context
53 * @extra: extra informations
55 * Handle an out of memory error
58 xmlVErrMemory(xmlValidCtxtPtr ctxt
, const char *extra
)
60 xmlGenericErrorFunc channel
= NULL
;
61 xmlParserCtxtPtr pctxt
= NULL
;
65 channel
= ctxt
->error
;
66 data
= ctxt
->userData
;
67 /* Use the special values to detect if it is part of a parsing
69 if ((ctxt
->finishDtd
== XML_CTXT_FINISH_DTD_0
) ||
70 (ctxt
->finishDtd
== XML_CTXT_FINISH_DTD_1
)) {
71 long delta
= (char *) ctxt
- (char *) ctxt
->userData
;
72 if ((delta
> 0) && (delta
< 250))
73 pctxt
= ctxt
->userData
;
77 __xmlRaiseError(NULL
, channel
, data
,
78 pctxt
, NULL
, XML_FROM_VALID
, XML_ERR_NO_MEMORY
,
79 XML_ERR_FATAL
, NULL
, 0, extra
, NULL
, NULL
, 0, 0,
80 "Memory allocation failed : %s\n", extra
);
82 __xmlRaiseError(NULL
, channel
, data
,
83 pctxt
, NULL
, XML_FROM_VALID
, XML_ERR_NO_MEMORY
,
84 XML_ERR_FATAL
, NULL
, 0, NULL
, NULL
, NULL
, 0, 0,
85 "Memory allocation failed\n");
90 * @ctxt: an XML validation parser context
91 * @error: the error number
92 * @extra: extra informations
94 * Handle a validation error
97 xmlErrValid(xmlValidCtxtPtr ctxt
, xmlParserErrors error
,
98 const char *msg
, const char *extra
)
100 xmlGenericErrorFunc channel
= NULL
;
101 xmlParserCtxtPtr pctxt
= NULL
;
105 channel
= ctxt
->error
;
106 data
= ctxt
->userData
;
107 /* Use the special values to detect if it is part of a parsing
109 if ((ctxt
->finishDtd
== XML_CTXT_FINISH_DTD_0
) ||
110 (ctxt
->finishDtd
== XML_CTXT_FINISH_DTD_1
)) {
111 long delta
= (char *) ctxt
- (char *) ctxt
->userData
;
112 if ((delta
> 0) && (delta
< 250))
113 pctxt
= ctxt
->userData
;
117 __xmlRaiseError(NULL
, channel
, data
,
118 pctxt
, NULL
, XML_FROM_VALID
, error
,
119 XML_ERR_ERROR
, NULL
, 0, extra
, NULL
, NULL
, 0, 0,
122 __xmlRaiseError(NULL
, channel
, data
,
123 pctxt
, NULL
, XML_FROM_VALID
, error
,
124 XML_ERR_ERROR
, NULL
, 0, NULL
, NULL
, NULL
, 0, 0,
128 #if defined(LIBXML_VALID_ENABLED) || defined(LIBXML_SCHEMAS_ENABLED)
131 * @ctxt: an XML validation parser context
132 * @node: the node raising the error
133 * @error: the error number
134 * @str1: extra informations
135 * @str2: extra informations
136 * @str3: extra informations
138 * Handle a validation error, provide contextual informations
141 xmlErrValidNode(xmlValidCtxtPtr ctxt
,
142 xmlNodePtr node
, xmlParserErrors error
,
143 const char *msg
, const xmlChar
* str1
,
144 const xmlChar
* str2
, const xmlChar
* str3
)
146 xmlStructuredErrorFunc schannel
= NULL
;
147 xmlGenericErrorFunc channel
= NULL
;
148 xmlParserCtxtPtr pctxt
= NULL
;
152 channel
= ctxt
->error
;
153 data
= ctxt
->userData
;
154 /* Use the special values to detect if it is part of a parsing
156 if ((ctxt
->finishDtd
== XML_CTXT_FINISH_DTD_0
) ||
157 (ctxt
->finishDtd
== XML_CTXT_FINISH_DTD_1
)) {
158 long delta
= (char *) ctxt
- (char *) ctxt
->userData
;
159 if ((delta
> 0) && (delta
< 250))
160 pctxt
= ctxt
->userData
;
163 __xmlRaiseError(schannel
, channel
, data
, pctxt
, node
, XML_FROM_VALID
, error
,
164 XML_ERR_ERROR
, NULL
, 0,
167 (const char *) str3
, 0, 0, msg
, str1
, str2
, str3
);
169 #endif /* LIBXML_VALID_ENABLED or LIBXML_SCHEMAS_ENABLED */
171 #ifdef LIBXML_VALID_ENABLED
174 * @ctxt: an XML validation parser context
175 * @node: the node raising the error
176 * @error: the error number
177 * @str1: extra informations
178 * @int2: extra informations
179 * @str3: extra informations
181 * Handle a validation error, provide contextual informations
184 xmlErrValidNodeNr(xmlValidCtxtPtr ctxt
,
185 xmlNodePtr node
, xmlParserErrors error
,
186 const char *msg
, const xmlChar
* str1
,
187 int int2
, const xmlChar
* str3
)
189 xmlStructuredErrorFunc schannel
= NULL
;
190 xmlGenericErrorFunc channel
= NULL
;
191 xmlParserCtxtPtr pctxt
= NULL
;
195 channel
= ctxt
->error
;
196 data
= ctxt
->userData
;
197 /* Use the special values to detect if it is part of a parsing
199 if ((ctxt
->finishDtd
== XML_CTXT_FINISH_DTD_0
) ||
200 (ctxt
->finishDtd
== XML_CTXT_FINISH_DTD_1
)) {
201 long delta
= (char *) ctxt
- (char *) ctxt
->userData
;
202 if ((delta
> 0) && (delta
< 250))
203 pctxt
= ctxt
->userData
;
206 __xmlRaiseError(schannel
, channel
, data
, pctxt
, node
, XML_FROM_VALID
, error
,
207 XML_ERR_ERROR
, NULL
, 0,
210 NULL
, int2
, 0, msg
, str1
, int2
, str3
);
214 * xmlErrValidWarning:
215 * @ctxt: an XML validation parser context
216 * @node: the node raising the error
217 * @error: the error number
218 * @str1: extra information
219 * @str2: extra information
220 * @str3: extra information
222 * Handle a validation error, provide contextual information
225 xmlErrValidWarning(xmlValidCtxtPtr ctxt
,
226 xmlNodePtr node
, xmlParserErrors error
,
227 const char *msg
, const xmlChar
* str1
,
228 const xmlChar
* str2
, const xmlChar
* str3
)
230 xmlStructuredErrorFunc schannel
= NULL
;
231 xmlGenericErrorFunc channel
= NULL
;
232 xmlParserCtxtPtr pctxt
= NULL
;
236 channel
= ctxt
->warning
;
237 data
= ctxt
->userData
;
238 /* Use the special values to detect if it is part of a parsing
240 if ((ctxt
->finishDtd
== XML_CTXT_FINISH_DTD_0
) ||
241 (ctxt
->finishDtd
== XML_CTXT_FINISH_DTD_1
)) {
242 long delta
= (char *) ctxt
- (char *) ctxt
->userData
;
243 if ((delta
> 0) && (delta
< 250))
244 pctxt
= ctxt
->userData
;
247 __xmlRaiseError(schannel
, channel
, data
, pctxt
, node
, XML_FROM_VALID
, error
,
248 XML_ERR_WARNING
, NULL
, 0,
251 (const char *) str3
, 0, 0, msg
, str1
, str2
, str3
);
256 #ifdef LIBXML_REGEXP_ENABLED
258 * If regexp are enabled we can do continuous validation without the
259 * need of a tree to validate the content model. this is done in each
261 * Each xmlValidState represent the validation state associated to the
262 * set of nodes currently open from the document root to the current element.
266 typedef struct _xmlValidState
{
267 xmlElementPtr elemDecl
; /* pointer to the content model */
268 xmlNodePtr node
; /* pointer to the current node */
269 xmlRegExecCtxtPtr exec
; /* regexp runtime */
274 vstateVPush(xmlValidCtxtPtr ctxt
, xmlElementPtr elemDecl
, xmlNodePtr node
) {
275 if ((ctxt
->vstateMax
== 0) || (ctxt
->vstateTab
== NULL
)) {
276 ctxt
->vstateMax
= 10;
277 ctxt
->vstateTab
= (xmlValidState
*) xmlMalloc(ctxt
->vstateMax
*
278 sizeof(ctxt
->vstateTab
[0]));
279 if (ctxt
->vstateTab
== NULL
) {
280 xmlVErrMemory(ctxt
, "malloc failed");
285 if (ctxt
->vstateNr
>= ctxt
->vstateMax
) {
288 tmp
= (xmlValidState
*) xmlRealloc(ctxt
->vstateTab
,
289 2 * ctxt
->vstateMax
* sizeof(ctxt
->vstateTab
[0]));
291 xmlVErrMemory(ctxt
, "realloc failed");
294 ctxt
->vstateMax
*= 2;
295 ctxt
->vstateTab
= tmp
;
297 ctxt
->vstate
= &ctxt
->vstateTab
[ctxt
->vstateNr
];
298 ctxt
->vstateTab
[ctxt
->vstateNr
].elemDecl
= elemDecl
;
299 ctxt
->vstateTab
[ctxt
->vstateNr
].node
= node
;
300 if ((elemDecl
!= NULL
) && (elemDecl
->etype
== XML_ELEMENT_TYPE_ELEMENT
)) {
301 if (elemDecl
->contModel
== NULL
)
302 xmlValidBuildContentModel(ctxt
, elemDecl
);
303 if (elemDecl
->contModel
!= NULL
) {
304 ctxt
->vstateTab
[ctxt
->vstateNr
].exec
=
305 xmlRegNewExecCtxt(elemDecl
->contModel
, NULL
, NULL
);
307 ctxt
->vstateTab
[ctxt
->vstateNr
].exec
= NULL
;
308 xmlErrValidNode(ctxt
, (xmlNodePtr
) elemDecl
,
309 XML_ERR_INTERNAL_ERROR
,
310 "Failed to build content model regexp for %s\n",
311 node
->name
, NULL
, NULL
);
314 return(ctxt
->vstateNr
++);
318 vstateVPop(xmlValidCtxtPtr ctxt
) {
319 xmlElementPtr elemDecl
;
321 if (ctxt
->vstateNr
< 1) return(-1);
323 elemDecl
= ctxt
->vstateTab
[ctxt
->vstateNr
].elemDecl
;
324 ctxt
->vstateTab
[ctxt
->vstateNr
].elemDecl
= NULL
;
325 ctxt
->vstateTab
[ctxt
->vstateNr
].node
= NULL
;
326 if ((elemDecl
!= NULL
) && (elemDecl
->etype
== XML_ELEMENT_TYPE_ELEMENT
)) {
327 xmlRegFreeExecCtxt(ctxt
->vstateTab
[ctxt
->vstateNr
].exec
);
329 ctxt
->vstateTab
[ctxt
->vstateNr
].exec
= NULL
;
330 if (ctxt
->vstateNr
>= 1)
331 ctxt
->vstate
= &ctxt
->vstateTab
[ctxt
->vstateNr
- 1];
334 return(ctxt
->vstateNr
);
337 #else /* not LIBXML_REGEXP_ENABLED */
339 * If regexp are not enabled, it uses a home made algorithm less
340 * complex and easier to
341 * debug/maintain than a generic NFA -> DFA state based algo. The
342 * only restriction is on the deepness of the tree limited by the
343 * size of the occurs bitfield
345 * this is the content of a saved state for rollbacks
348 #define ROLLBACK_OR 0
349 #define ROLLBACK_PARENT 1
351 typedef struct _xmlValidState
{
352 xmlElementContentPtr cont
; /* pointer to the content model subtree */
353 xmlNodePtr node
; /* pointer to the current node in the list */
354 long occurs
;/* bitfield for multiple occurrences */
355 unsigned char depth
; /* current depth in the overall tree */
356 unsigned char state
; /* ROLLBACK_XXX */
359 #define MAX_RECURSE 25000
360 #define MAX_DEPTH ((sizeof(_xmlValidState.occurs)) * 8)
361 #define CONT ctxt->vstate->cont
362 #define NODE ctxt->vstate->node
363 #define DEPTH ctxt->vstate->depth
364 #define OCCURS ctxt->vstate->occurs
365 #define STATE ctxt->vstate->state
367 #define OCCURRENCE (ctxt->vstate->occurs & (1 << DEPTH))
368 #define PARENT_OCCURRENCE (ctxt->vstate->occurs & ((1 << DEPTH) - 1))
370 #define SET_OCCURRENCE ctxt->vstate->occurs |= (1 << DEPTH)
371 #define RESET_OCCURRENCE ctxt->vstate->occurs &= ((1 << DEPTH) - 1)
374 vstateVPush(xmlValidCtxtPtr ctxt
, xmlElementContentPtr cont
,
375 xmlNodePtr node
, unsigned char depth
, long occurs
,
376 unsigned char state
) {
377 int i
= ctxt
->vstateNr
- 1;
379 if (ctxt
->vstateNr
> MAX_RECURSE
) {
382 if (ctxt
->vstateTab
== NULL
) {
384 ctxt
->vstateTab
= (xmlValidState
*) xmlMalloc(
385 ctxt
->vstateMax
* sizeof(ctxt
->vstateTab
[0]));
386 if (ctxt
->vstateTab
== NULL
) {
387 xmlVErrMemory(ctxt
, "malloc failed");
391 if (ctxt
->vstateNr
>= ctxt
->vstateMax
) {
394 tmp
= (xmlValidState
*) xmlRealloc(ctxt
->vstateTab
,
395 2 * ctxt
->vstateMax
* sizeof(ctxt
->vstateTab
[0]));
397 xmlVErrMemory(ctxt
, "malloc failed");
400 ctxt
->vstateMax
*= 2;
401 ctxt
->vstateTab
= tmp
;
402 ctxt
->vstate
= &ctxt
->vstateTab
[0];
405 * Don't push on the stack a state already here
407 if ((i
>= 0) && (ctxt
->vstateTab
[i
].cont
== cont
) &&
408 (ctxt
->vstateTab
[i
].node
== node
) &&
409 (ctxt
->vstateTab
[i
].depth
== depth
) &&
410 (ctxt
->vstateTab
[i
].occurs
== occurs
) &&
411 (ctxt
->vstateTab
[i
].state
== state
))
412 return(ctxt
->vstateNr
);
413 ctxt
->vstateTab
[ctxt
->vstateNr
].cont
= cont
;
414 ctxt
->vstateTab
[ctxt
->vstateNr
].node
= node
;
415 ctxt
->vstateTab
[ctxt
->vstateNr
].depth
= depth
;
416 ctxt
->vstateTab
[ctxt
->vstateNr
].occurs
= occurs
;
417 ctxt
->vstateTab
[ctxt
->vstateNr
].state
= state
;
418 return(ctxt
->vstateNr
++);
422 vstateVPop(xmlValidCtxtPtr ctxt
) {
423 if (ctxt
->vstateNr
<= 1) return(-1);
425 ctxt
->vstate
= &ctxt
->vstateTab
[0];
426 ctxt
->vstate
->cont
= ctxt
->vstateTab
[ctxt
->vstateNr
].cont
;
427 ctxt
->vstate
->node
= ctxt
->vstateTab
[ctxt
->vstateNr
].node
;
428 ctxt
->vstate
->depth
= ctxt
->vstateTab
[ctxt
->vstateNr
].depth
;
429 ctxt
->vstate
->occurs
= ctxt
->vstateTab
[ctxt
->vstateNr
].occurs
;
430 ctxt
->vstate
->state
= ctxt
->vstateTab
[ctxt
->vstateNr
].state
;
431 return(ctxt
->vstateNr
);
434 #endif /* LIBXML_REGEXP_ENABLED */
437 nodeVPush(xmlValidCtxtPtr ctxt
, xmlNodePtr value
)
439 if (ctxt
->nodeMax
<= 0) {
442 (xmlNodePtr
*) xmlMalloc(ctxt
->nodeMax
*
443 sizeof(ctxt
->nodeTab
[0]));
444 if (ctxt
->nodeTab
== NULL
) {
445 xmlVErrMemory(ctxt
, "malloc failed");
450 if (ctxt
->nodeNr
>= ctxt
->nodeMax
) {
452 tmp
= (xmlNodePtr
*) xmlRealloc(ctxt
->nodeTab
,
453 ctxt
->nodeMax
* 2 * sizeof(ctxt
->nodeTab
[0]));
455 xmlVErrMemory(ctxt
, "realloc failed");
461 ctxt
->nodeTab
[ctxt
->nodeNr
] = value
;
463 return (ctxt
->nodeNr
++);
466 nodeVPop(xmlValidCtxtPtr ctxt
)
470 if (ctxt
->nodeNr
<= 0)
473 if (ctxt
->nodeNr
> 0)
474 ctxt
->node
= ctxt
->nodeTab
[ctxt
->nodeNr
- 1];
477 ret
= ctxt
->nodeTab
[ctxt
->nodeNr
];
478 ctxt
->nodeTab
[ctxt
->nodeNr
] = NULL
;
482 #ifdef DEBUG_VALID_ALGO
484 xmlValidPrintNode(xmlNodePtr cur
) {
486 xmlGenericError(xmlGenericErrorContext
, "null");
490 case XML_ELEMENT_NODE
:
491 xmlGenericError(xmlGenericErrorContext
, "%s ", cur
->name
);
494 xmlGenericError(xmlGenericErrorContext
, "text ");
496 case XML_CDATA_SECTION_NODE
:
497 xmlGenericError(xmlGenericErrorContext
, "cdata ");
499 case XML_ENTITY_REF_NODE
:
500 xmlGenericError(xmlGenericErrorContext
, "&%s; ", cur
->name
);
503 xmlGenericError(xmlGenericErrorContext
, "pi(%s) ", cur
->name
);
505 case XML_COMMENT_NODE
:
506 xmlGenericError(xmlGenericErrorContext
, "comment ");
508 case XML_ATTRIBUTE_NODE
:
509 xmlGenericError(xmlGenericErrorContext
, "?attr? ");
511 case XML_ENTITY_NODE
:
512 xmlGenericError(xmlGenericErrorContext
, "?ent? ");
514 case XML_DOCUMENT_NODE
:
515 xmlGenericError(xmlGenericErrorContext
, "?doc? ");
517 case XML_DOCUMENT_TYPE_NODE
:
518 xmlGenericError(xmlGenericErrorContext
, "?doctype? ");
520 case XML_DOCUMENT_FRAG_NODE
:
521 xmlGenericError(xmlGenericErrorContext
, "?frag? ");
523 case XML_NOTATION_NODE
:
524 xmlGenericError(xmlGenericErrorContext
, "?nota? ");
526 case XML_HTML_DOCUMENT_NODE
:
527 xmlGenericError(xmlGenericErrorContext
, "?html? ");
529 #ifdef LIBXML_DOCB_ENABLED
530 case XML_DOCB_DOCUMENT_NODE
:
531 xmlGenericError(xmlGenericErrorContext
, "?docb? ");
535 xmlGenericError(xmlGenericErrorContext
, "?dtd? ");
537 case XML_ELEMENT_DECL
:
538 xmlGenericError(xmlGenericErrorContext
, "?edecl? ");
540 case XML_ATTRIBUTE_DECL
:
541 xmlGenericError(xmlGenericErrorContext
, "?adecl? ");
543 case XML_ENTITY_DECL
:
544 xmlGenericError(xmlGenericErrorContext
, "?entdecl? ");
546 case XML_NAMESPACE_DECL
:
547 xmlGenericError(xmlGenericErrorContext
, "?nsdecl? ");
549 case XML_XINCLUDE_START
:
550 xmlGenericError(xmlGenericErrorContext
, "incstart ");
552 case XML_XINCLUDE_END
:
553 xmlGenericError(xmlGenericErrorContext
, "incend ");
559 xmlValidPrintNodeList(xmlNodePtr cur
) {
561 xmlGenericError(xmlGenericErrorContext
, "null ");
562 while (cur
!= NULL
) {
563 xmlValidPrintNode(cur
);
569 xmlValidDebug(xmlNodePtr cur
, xmlElementContentPtr cont
) {
573 xmlGenericError(xmlGenericErrorContext
, "valid: ");
574 xmlValidPrintNodeList(cur
);
575 xmlGenericError(xmlGenericErrorContext
, "against ");
576 xmlSnprintfElementContent(expr
, 5000, cont
, 1);
577 xmlGenericError(xmlGenericErrorContext
, "%s\n", expr
);
581 xmlValidDebugState(xmlValidStatePtr state
) {
582 xmlGenericError(xmlGenericErrorContext
, "(");
583 if (state
->cont
== NULL
)
584 xmlGenericError(xmlGenericErrorContext
, "null,");
586 switch (state
->cont
->type
) {
587 case XML_ELEMENT_CONTENT_PCDATA
:
588 xmlGenericError(xmlGenericErrorContext
, "pcdata,");
590 case XML_ELEMENT_CONTENT_ELEMENT
:
591 xmlGenericError(xmlGenericErrorContext
, "%s,",
594 case XML_ELEMENT_CONTENT_SEQ
:
595 xmlGenericError(xmlGenericErrorContext
, "seq,");
597 case XML_ELEMENT_CONTENT_OR
:
598 xmlGenericError(xmlGenericErrorContext
, "or,");
601 xmlValidPrintNode(state
->node
);
602 xmlGenericError(xmlGenericErrorContext
, ",%d,%X,%d)",
603 state
->depth
, state
->occurs
, state
->state
);
607 xmlValidStateDebug(xmlValidCtxtPtr ctxt
) {
610 xmlGenericError(xmlGenericErrorContext
, "state: ");
611 xmlValidDebugState(ctxt
->vstate
);
612 xmlGenericError(xmlGenericErrorContext
, " stack: %d ",
614 for (i
= 0, j
= ctxt
->vstateNr
- 1;(i
< 3) && (j
> 0);i
++,j
--)
615 xmlValidDebugState(&ctxt
->vstateTab
[j
]);
616 xmlGenericError(xmlGenericErrorContext
, "\n");
620 #define DEBUG_VALID_STATE(n,c) xmlValidDebug(n,c);
623 #define DEBUG_VALID_STATE(n,c) xmlValidStateDebug(ctxt);
624 #define DEBUG_VALID_MSG(m) \
625 xmlGenericError(xmlGenericErrorContext, "%s\n", m);
628 #define DEBUG_VALID_STATE(n,c)
629 #define DEBUG_VALID_MSG(m)
632 /* TODO: use hash table for accesses to elem and attribute definitions */
636 if (doc == NULL) return(0); \
637 else if ((doc->intSubset == NULL) && \
638 (doc->extSubset == NULL)) return(0)
640 #ifdef LIBXML_REGEXP_ENABLED
642 /************************************************************************
644 * Content model validation based on the regexps *
646 ************************************************************************/
649 * xmlValidBuildAContentModel:
650 * @content: the content model
651 * @ctxt: the schema parser context
652 * @name: the element name whose content is being built
654 * Generate the automata sequence needed for that type
656 * Returns 1 if successful or 0 in case of error.
659 xmlValidBuildAContentModel(xmlElementContentPtr content
,
660 xmlValidCtxtPtr ctxt
,
661 const xmlChar
*name
) {
662 if (content
== NULL
) {
663 xmlErrValidNode(ctxt
, NULL
, XML_ERR_INTERNAL_ERROR
,
664 "Found NULL content in content model of %s\n",
668 switch (content
->type
) {
669 case XML_ELEMENT_CONTENT_PCDATA
:
670 xmlErrValidNode(ctxt
, NULL
, XML_ERR_INTERNAL_ERROR
,
671 "Found PCDATA in content model of %s\n",
675 case XML_ELEMENT_CONTENT_ELEMENT
: {
676 xmlAutomataStatePtr oldstate
= ctxt
->state
;
680 fullname
= xmlBuildQName(content
->name
, content
->prefix
, fn
, 50);
681 if (fullname
== NULL
) {
682 xmlVErrMemory(ctxt
, "Building content model");
686 switch (content
->ocur
) {
687 case XML_ELEMENT_CONTENT_ONCE
:
688 ctxt
->state
= xmlAutomataNewTransition(ctxt
->am
,
689 ctxt
->state
, NULL
, fullname
, NULL
);
691 case XML_ELEMENT_CONTENT_OPT
:
692 ctxt
->state
= xmlAutomataNewTransition(ctxt
->am
,
693 ctxt
->state
, NULL
, fullname
, NULL
);
694 xmlAutomataNewEpsilon(ctxt
->am
, oldstate
, ctxt
->state
);
696 case XML_ELEMENT_CONTENT_PLUS
:
697 ctxt
->state
= xmlAutomataNewTransition(ctxt
->am
,
698 ctxt
->state
, NULL
, fullname
, NULL
);
699 xmlAutomataNewTransition(ctxt
->am
, ctxt
->state
,
700 ctxt
->state
, fullname
, NULL
);
702 case XML_ELEMENT_CONTENT_MULT
:
703 ctxt
->state
= xmlAutomataNewEpsilon(ctxt
->am
,
705 xmlAutomataNewTransition(ctxt
->am
,
706 ctxt
->state
, ctxt
->state
, fullname
, NULL
);
709 if ((fullname
!= fn
) && (fullname
!= content
->name
))
713 case XML_ELEMENT_CONTENT_SEQ
: {
714 xmlAutomataStatePtr oldstate
, oldend
;
715 xmlElementContentOccur ocur
;
718 * Simply iterate over the content
720 oldstate
= ctxt
->state
;
721 ocur
= content
->ocur
;
722 if (ocur
!= XML_ELEMENT_CONTENT_ONCE
) {
723 ctxt
->state
= xmlAutomataNewEpsilon(ctxt
->am
, oldstate
, NULL
);
724 oldstate
= ctxt
->state
;
727 xmlValidBuildAContentModel(content
->c1
, ctxt
, name
);
728 content
= content
->c2
;
729 } while ((content
->type
== XML_ELEMENT_CONTENT_SEQ
) &&
730 (content
->ocur
== XML_ELEMENT_CONTENT_ONCE
));
731 xmlValidBuildAContentModel(content
, ctxt
, name
);
732 oldend
= ctxt
->state
;
733 ctxt
->state
= xmlAutomataNewEpsilon(ctxt
->am
, oldend
, NULL
);
735 case XML_ELEMENT_CONTENT_ONCE
:
737 case XML_ELEMENT_CONTENT_OPT
:
738 xmlAutomataNewEpsilon(ctxt
->am
, oldstate
, ctxt
->state
);
740 case XML_ELEMENT_CONTENT_MULT
:
741 xmlAutomataNewEpsilon(ctxt
->am
, oldstate
, ctxt
->state
);
742 xmlAutomataNewEpsilon(ctxt
->am
, oldend
, oldstate
);
744 case XML_ELEMENT_CONTENT_PLUS
:
745 xmlAutomataNewEpsilon(ctxt
->am
, oldend
, oldstate
);
750 case XML_ELEMENT_CONTENT_OR
: {
751 xmlAutomataStatePtr oldstate
, oldend
;
752 xmlElementContentOccur ocur
;
754 ocur
= content
->ocur
;
755 if ((ocur
== XML_ELEMENT_CONTENT_PLUS
) ||
756 (ocur
== XML_ELEMENT_CONTENT_MULT
)) {
757 ctxt
->state
= xmlAutomataNewEpsilon(ctxt
->am
,
760 oldstate
= ctxt
->state
;
761 oldend
= xmlAutomataNewState(ctxt
->am
);
764 * iterate over the subtypes and remerge the end with an
768 ctxt
->state
= oldstate
;
769 xmlValidBuildAContentModel(content
->c1
, ctxt
, name
);
770 xmlAutomataNewEpsilon(ctxt
->am
, ctxt
->state
, oldend
);
771 content
= content
->c2
;
772 } while ((content
->type
== XML_ELEMENT_CONTENT_OR
) &&
773 (content
->ocur
== XML_ELEMENT_CONTENT_ONCE
));
774 ctxt
->state
= oldstate
;
775 xmlValidBuildAContentModel(content
, ctxt
, name
);
776 xmlAutomataNewEpsilon(ctxt
->am
, ctxt
->state
, oldend
);
777 ctxt
->state
= xmlAutomataNewEpsilon(ctxt
->am
, oldend
, NULL
);
779 case XML_ELEMENT_CONTENT_ONCE
:
781 case XML_ELEMENT_CONTENT_OPT
:
782 xmlAutomataNewEpsilon(ctxt
->am
, oldstate
, ctxt
->state
);
784 case XML_ELEMENT_CONTENT_MULT
:
785 xmlAutomataNewEpsilon(ctxt
->am
, oldstate
, ctxt
->state
);
786 xmlAutomataNewEpsilon(ctxt
->am
, oldend
, oldstate
);
788 case XML_ELEMENT_CONTENT_PLUS
:
789 xmlAutomataNewEpsilon(ctxt
->am
, oldend
, oldstate
);
795 xmlErrValid(ctxt
, XML_ERR_INTERNAL_ERROR
,
796 "ContentModel broken for element %s\n",
797 (const char *) name
);
803 * xmlValidBuildContentModel:
804 * @ctxt: a validation context
805 * @elem: an element declaration node
807 * (Re)Build the automata associated to the content model of this
810 * Returns 1 in case of success, 0 in case of error
813 xmlValidBuildContentModel(xmlValidCtxtPtr ctxt
, xmlElementPtr elem
) {
815 if ((ctxt
== NULL
) || (elem
== NULL
))
817 if (elem
->type
!= XML_ELEMENT_DECL
)
819 if (elem
->etype
!= XML_ELEMENT_TYPE_ELEMENT
)
821 /* TODO: should we rebuild in this case ? */
822 if (elem
->contModel
!= NULL
) {
823 if (!xmlRegexpIsDeterminist(elem
->contModel
)) {
830 ctxt
->am
= xmlNewAutomata();
831 if (ctxt
->am
== NULL
) {
832 xmlErrValidNode(ctxt
, (xmlNodePtr
) elem
,
833 XML_ERR_INTERNAL_ERROR
,
834 "Cannot create automata for element %s\n",
835 elem
->name
, NULL
, NULL
);
838 ctxt
->state
= xmlAutomataGetInitState(ctxt
->am
);
839 xmlValidBuildAContentModel(elem
->content
, ctxt
, elem
->name
);
840 xmlAutomataSetFinalState(ctxt
->am
, ctxt
->state
);
841 elem
->contModel
= xmlAutomataCompile(ctxt
->am
);
842 if (xmlRegexpIsDeterminist(elem
->contModel
) != 1) {
845 xmlSnprintfElementContent(expr
, 5000, elem
->content
, 1);
846 xmlErrValidNode(ctxt
, (xmlNodePtr
) elem
,
847 XML_DTD_CONTENT_NOT_DETERMINIST
,
848 "Content model of %s is not determinist: %s\n",
849 elem
->name
, BAD_CAST expr
, NULL
);
850 #ifdef DEBUG_REGEXP_ALGO
851 xmlRegexpPrint(stderr
, elem
->contModel
);
855 xmlFreeAutomata(ctxt
->am
);
860 xmlFreeAutomata(ctxt
->am
);
865 #endif /* LIBXML_REGEXP_ENABLED */
867 /****************************************************************
869 * Util functions for data allocation/deallocation *
871 ****************************************************************/
876 * Allocate a validation context structure.
878 * Returns NULL if not, otherwise the new validation context structure
880 xmlValidCtxtPtr
xmlNewValidCtxt(void) {
883 if ((ret
= xmlMalloc(sizeof (xmlValidCtxt
))) == NULL
) {
884 xmlVErrMemory(NULL
, "malloc failed");
888 (void) memset(ret
, 0, sizeof (xmlValidCtxt
));
895 * @cur: the validation context to free
897 * Free a validation context structure.
900 xmlFreeValidCtxt(xmlValidCtxtPtr cur
) {
901 if (cur
->vstateTab
!= NULL
)
902 xmlFree(cur
->vstateTab
);
903 if (cur
->nodeTab
!= NULL
)
904 xmlFree(cur
->nodeTab
);
908 #endif /* LIBXML_VALID_ENABLED */
911 * xmlNewDocElementContent:
913 * @name: the subelement name or NULL
914 * @type: the type of element content decl
916 * Allocate an element content structure for the document.
918 * Returns NULL if not, otherwise the new element content structure
921 xmlNewDocElementContent(xmlDocPtr doc
, const xmlChar
*name
,
922 xmlElementContentType type
) {
923 xmlElementContentPtr ret
;
924 xmlDictPtr dict
= NULL
;
930 case XML_ELEMENT_CONTENT_ELEMENT
:
932 xmlErrValid(NULL
, XML_ERR_INTERNAL_ERROR
,
933 "xmlNewElementContent : name == NULL !\n",
937 case XML_ELEMENT_CONTENT_PCDATA
:
938 case XML_ELEMENT_CONTENT_SEQ
:
939 case XML_ELEMENT_CONTENT_OR
:
941 xmlErrValid(NULL
, XML_ERR_INTERNAL_ERROR
,
942 "xmlNewElementContent : name != NULL !\n",
947 xmlErrValid(NULL
, XML_ERR_INTERNAL_ERROR
,
948 "Internal: ELEMENT content corrupted invalid type\n",
952 ret
= (xmlElementContentPtr
) xmlMalloc(sizeof(xmlElementContent
));
954 xmlVErrMemory(NULL
, "malloc failed");
957 memset(ret
, 0, sizeof(xmlElementContent
));
959 ret
->ocur
= XML_ELEMENT_CONTENT_ONCE
;
964 tmp
= xmlSplitQName3(name
, &l
);
967 ret
->name
= xmlStrdup(name
);
969 ret
->name
= xmlDictLookup(dict
, name
, -1);
972 ret
->prefix
= xmlStrndup(name
, l
);
973 ret
->name
= xmlStrdup(tmp
);
975 ret
->prefix
= xmlDictLookup(dict
, name
, l
);
976 ret
->name
= xmlDictLookup(dict
, tmp
, -1);
984 * xmlNewElementContent:
985 * @name: the subelement name or NULL
986 * @type: the type of element content decl
988 * Allocate an element content structure.
989 * Deprecated in favor of xmlNewDocElementContent
991 * Returns NULL if not, otherwise the new element content structure
994 xmlNewElementContent(const xmlChar
*name
, xmlElementContentType type
) {
995 return(xmlNewDocElementContent(NULL
, name
, type
));
999 * xmlCopyDocElementContent:
1000 * @doc: the document owning the element declaration
1001 * @cur: An element content pointer.
1003 * Build a copy of an element content description.
1005 * Returns the new xmlElementContentPtr or NULL in case of error.
1007 xmlElementContentPtr
1008 xmlCopyDocElementContent(xmlDocPtr doc
, xmlElementContentPtr cur
) {
1009 xmlElementContentPtr ret
= NULL
, prev
= NULL
, tmp
;
1010 xmlDictPtr dict
= NULL
;
1012 if (cur
== NULL
) return(NULL
);
1017 ret
= (xmlElementContentPtr
) xmlMalloc(sizeof(xmlElementContent
));
1019 xmlVErrMemory(NULL
, "malloc failed");
1022 memset(ret
, 0, sizeof(xmlElementContent
));
1023 ret
->type
= cur
->type
;
1024 ret
->ocur
= cur
->ocur
;
1025 if (cur
->name
!= NULL
) {
1027 ret
->name
= xmlDictLookup(dict
, cur
->name
, -1);
1029 ret
->name
= xmlStrdup(cur
->name
);
1032 if (cur
->prefix
!= NULL
) {
1034 ret
->prefix
= xmlDictLookup(dict
, cur
->prefix
, -1);
1036 ret
->prefix
= xmlStrdup(cur
->prefix
);
1038 if (cur
->c1
!= NULL
)
1039 ret
->c1
= xmlCopyDocElementContent(doc
, cur
->c1
);
1040 if (ret
->c1
!= NULL
)
1041 ret
->c1
->parent
= ret
;
1042 if (cur
->c2
!= NULL
) {
1045 while (cur
!= NULL
) {
1046 tmp
= (xmlElementContentPtr
) xmlMalloc(sizeof(xmlElementContent
));
1048 xmlVErrMemory(NULL
, "malloc failed");
1051 memset(tmp
, 0, sizeof(xmlElementContent
));
1052 tmp
->type
= cur
->type
;
1053 tmp
->ocur
= cur
->ocur
;
1055 if (cur
->name
!= NULL
) {
1057 tmp
->name
= xmlDictLookup(dict
, cur
->name
, -1);
1059 tmp
->name
= xmlStrdup(cur
->name
);
1062 if (cur
->prefix
!= NULL
) {
1064 tmp
->prefix
= xmlDictLookup(dict
, cur
->prefix
, -1);
1066 tmp
->prefix
= xmlStrdup(cur
->prefix
);
1068 if (cur
->c1
!= NULL
)
1069 tmp
->c1
= xmlCopyDocElementContent(doc
,cur
->c1
);
1070 if (tmp
->c1
!= NULL
)
1071 tmp
->c1
->parent
= ret
;
1080 * xmlCopyElementContent:
1081 * @cur: An element content pointer.
1083 * Build a copy of an element content description.
1084 * Deprecated, use xmlCopyDocElementContent instead
1086 * Returns the new xmlElementContentPtr or NULL in case of error.
1088 xmlElementContentPtr
1089 xmlCopyElementContent(xmlElementContentPtr cur
) {
1090 return(xmlCopyDocElementContent(NULL
, cur
));
1094 * xmlFreeDocElementContent:
1095 * @doc: the document owning the element declaration
1096 * @cur: the element content tree to free
1098 * Free an element content structure. The whole subtree is removed.
1101 xmlFreeDocElementContent(xmlDocPtr doc
, xmlElementContentPtr cur
) {
1102 xmlElementContentPtr next
;
1103 xmlDictPtr dict
= NULL
;
1108 while (cur
!= NULL
) {
1110 switch (cur
->type
) {
1111 case XML_ELEMENT_CONTENT_PCDATA
:
1112 case XML_ELEMENT_CONTENT_ELEMENT
:
1113 case XML_ELEMENT_CONTENT_SEQ
:
1114 case XML_ELEMENT_CONTENT_OR
:
1117 xmlErrValid(NULL
, XML_ERR_INTERNAL_ERROR
,
1118 "Internal: ELEMENT content corrupted invalid type\n",
1122 if (cur
->c1
!= NULL
) xmlFreeDocElementContent(doc
, cur
->c1
);
1124 if ((cur
->name
!= NULL
) && (!xmlDictOwns(dict
, cur
->name
)))
1125 xmlFree((xmlChar
*) cur
->name
);
1126 if ((cur
->prefix
!= NULL
) && (!xmlDictOwns(dict
, cur
->prefix
)))
1127 xmlFree((xmlChar
*) cur
->prefix
);
1129 if (cur
->name
!= NULL
) xmlFree((xmlChar
*) cur
->name
);
1130 if (cur
->prefix
!= NULL
) xmlFree((xmlChar
*) cur
->prefix
);
1138 * xmlFreeElementContent:
1139 * @cur: the element content tree to free
1141 * Free an element content structure. The whole subtree is removed.
1142 * Deprecated, use xmlFreeDocElementContent instead
1145 xmlFreeElementContent(xmlElementContentPtr cur
) {
1146 xmlFreeDocElementContent(NULL
, cur
);
1149 #ifdef LIBXML_OUTPUT_ENABLED
1151 * xmlDumpElementContent:
1152 * @buf: An XML buffer
1153 * @content: An element table
1154 * @glob: 1 if one must print the englobing parenthesis, 0 otherwise
1156 * This will dump the content of the element table as an XML DTD definition
1159 xmlDumpElementContent(xmlBufferPtr buf
, xmlElementContentPtr content
, int glob
) {
1160 if (content
== NULL
) return;
1162 if (glob
) xmlBufferWriteChar(buf
, "(");
1163 switch (content
->type
) {
1164 case XML_ELEMENT_CONTENT_PCDATA
:
1165 xmlBufferWriteChar(buf
, "#PCDATA");
1167 case XML_ELEMENT_CONTENT_ELEMENT
:
1168 if (content
->prefix
!= NULL
) {
1169 xmlBufferWriteCHAR(buf
, content
->prefix
);
1170 xmlBufferWriteChar(buf
, ":");
1172 xmlBufferWriteCHAR(buf
, content
->name
);
1174 case XML_ELEMENT_CONTENT_SEQ
:
1175 if ((content
->c1
->type
== XML_ELEMENT_CONTENT_OR
) ||
1176 (content
->c1
->type
== XML_ELEMENT_CONTENT_SEQ
))
1177 xmlDumpElementContent(buf
, content
->c1
, 1);
1179 xmlDumpElementContent(buf
, content
->c1
, 0);
1180 xmlBufferWriteChar(buf
, " , ");
1181 if ((content
->c2
->type
== XML_ELEMENT_CONTENT_OR
) ||
1182 ((content
->c2
->type
== XML_ELEMENT_CONTENT_SEQ
) &&
1183 (content
->c2
->ocur
!= XML_ELEMENT_CONTENT_ONCE
)))
1184 xmlDumpElementContent(buf
, content
->c2
, 1);
1186 xmlDumpElementContent(buf
, content
->c2
, 0);
1188 case XML_ELEMENT_CONTENT_OR
:
1189 if ((content
->c1
->type
== XML_ELEMENT_CONTENT_OR
) ||
1190 (content
->c1
->type
== XML_ELEMENT_CONTENT_SEQ
))
1191 xmlDumpElementContent(buf
, content
->c1
, 1);
1193 xmlDumpElementContent(buf
, content
->c1
, 0);
1194 xmlBufferWriteChar(buf
, " | ");
1195 if ((content
->c2
->type
== XML_ELEMENT_CONTENT_SEQ
) ||
1196 ((content
->c2
->type
== XML_ELEMENT_CONTENT_OR
) &&
1197 (content
->c2
->ocur
!= XML_ELEMENT_CONTENT_ONCE
)))
1198 xmlDumpElementContent(buf
, content
->c2
, 1);
1200 xmlDumpElementContent(buf
, content
->c2
, 0);
1203 xmlErrValid(NULL
, XML_ERR_INTERNAL_ERROR
,
1204 "Internal: ELEMENT content corrupted invalid type\n",
1208 xmlBufferWriteChar(buf
, ")");
1209 switch (content
->ocur
) {
1210 case XML_ELEMENT_CONTENT_ONCE
:
1212 case XML_ELEMENT_CONTENT_OPT
:
1213 xmlBufferWriteChar(buf
, "?");
1215 case XML_ELEMENT_CONTENT_MULT
:
1216 xmlBufferWriteChar(buf
, "*");
1218 case XML_ELEMENT_CONTENT_PLUS
:
1219 xmlBufferWriteChar(buf
, "+");
1225 * xmlSprintfElementContent:
1226 * @buf: an output buffer
1227 * @content: An element table
1228 * @englob: 1 if one must print the englobing parenthesis, 0 otherwise
1230 * Deprecated, unsafe, use xmlSnprintfElementContent
1233 xmlSprintfElementContent(char *buf ATTRIBUTE_UNUSED
,
1234 xmlElementContentPtr content ATTRIBUTE_UNUSED
,
1235 int englob ATTRIBUTE_UNUSED
) {
1237 #endif /* LIBXML_OUTPUT_ENABLED */
1240 * xmlSnprintfElementContent:
1241 * @buf: an output buffer
1242 * @size: the buffer size
1243 * @content: An element table
1244 * @englob: 1 if one must print the englobing parenthesis, 0 otherwise
1246 * This will dump the content of the element content definition
1247 * Intended just for the debug routine
1250 xmlSnprintfElementContent(char *buf
, int size
, xmlElementContentPtr content
, int englob
) {
1253 if (content
== NULL
) return;
1255 if (size
- len
< 50) {
1256 if ((size
- len
> 4) && (buf
[len
- 1] != '.'))
1257 strcat(buf
, " ...");
1260 if (englob
) strcat(buf
, "(");
1261 switch (content
->type
) {
1262 case XML_ELEMENT_CONTENT_PCDATA
:
1263 strcat(buf
, "#PCDATA");
1265 case XML_ELEMENT_CONTENT_ELEMENT
:
1266 if (content
->prefix
!= NULL
) {
1267 if (size
- len
< xmlStrlen(content
->prefix
) + 10) {
1268 strcat(buf
, " ...");
1271 strcat(buf
, (char *) content
->prefix
);
1274 if (size
- len
< xmlStrlen(content
->name
) + 10) {
1275 strcat(buf
, " ...");
1278 if (content
->name
!= NULL
)
1279 strcat(buf
, (char *) content
->name
);
1281 case XML_ELEMENT_CONTENT_SEQ
:
1282 if ((content
->c1
->type
== XML_ELEMENT_CONTENT_OR
) ||
1283 (content
->c1
->type
== XML_ELEMENT_CONTENT_SEQ
))
1284 xmlSnprintfElementContent(buf
, size
, content
->c1
, 1);
1286 xmlSnprintfElementContent(buf
, size
, content
->c1
, 0);
1288 if (size
- len
< 50) {
1289 if ((size
- len
> 4) && (buf
[len
- 1] != '.'))
1290 strcat(buf
, " ...");
1294 if (((content
->c2
->type
== XML_ELEMENT_CONTENT_OR
) ||
1295 (content
->c2
->ocur
!= XML_ELEMENT_CONTENT_ONCE
)) &&
1296 (content
->c2
->type
!= XML_ELEMENT_CONTENT_ELEMENT
))
1297 xmlSnprintfElementContent(buf
, size
, content
->c2
, 1);
1299 xmlSnprintfElementContent(buf
, size
, content
->c2
, 0);
1301 case XML_ELEMENT_CONTENT_OR
:
1302 if ((content
->c1
->type
== XML_ELEMENT_CONTENT_OR
) ||
1303 (content
->c1
->type
== XML_ELEMENT_CONTENT_SEQ
))
1304 xmlSnprintfElementContent(buf
, size
, content
->c1
, 1);
1306 xmlSnprintfElementContent(buf
, size
, content
->c1
, 0);
1308 if (size
- len
< 50) {
1309 if ((size
- len
> 4) && (buf
[len
- 1] != '.'))
1310 strcat(buf
, " ...");
1314 if (((content
->c2
->type
== XML_ELEMENT_CONTENT_SEQ
) ||
1315 (content
->c2
->ocur
!= XML_ELEMENT_CONTENT_ONCE
)) &&
1316 (content
->c2
->type
!= XML_ELEMENT_CONTENT_ELEMENT
))
1317 xmlSnprintfElementContent(buf
, size
, content
->c2
, 1);
1319 xmlSnprintfElementContent(buf
, size
, content
->c2
, 0);
1324 switch (content
->ocur
) {
1325 case XML_ELEMENT_CONTENT_ONCE
:
1327 case XML_ELEMENT_CONTENT_OPT
:
1330 case XML_ELEMENT_CONTENT_MULT
:
1333 case XML_ELEMENT_CONTENT_PLUS
:
1339 /****************************************************************
1341 * Registration of DTD declarations *
1343 ****************************************************************/
1349 * Deallocate the memory used by an element definition
1352 xmlFreeElement(xmlElementPtr elem
) {
1353 if (elem
== NULL
) return;
1354 xmlUnlinkNode((xmlNodePtr
) elem
);
1355 xmlFreeDocElementContent(elem
->doc
, elem
->content
);
1356 if (elem
->name
!= NULL
)
1357 xmlFree((xmlChar
*) elem
->name
);
1358 if (elem
->prefix
!= NULL
)
1359 xmlFree((xmlChar
*) elem
->prefix
);
1360 #ifdef LIBXML_REGEXP_ENABLED
1361 if (elem
->contModel
!= NULL
)
1362 xmlRegFreeRegexp(elem
->contModel
);
1369 * xmlAddElementDecl:
1370 * @ctxt: the validation context
1371 * @dtd: pointer to the DTD
1372 * @name: the entity name
1373 * @type: the element type
1374 * @content: the element content tree or NULL
1376 * Register a new element declaration
1378 * Returns NULL if not, otherwise the entity
1381 xmlAddElementDecl(xmlValidCtxtPtr ctxt
,
1382 xmlDtdPtr dtd
, const xmlChar
*name
,
1383 xmlElementTypeVal type
,
1384 xmlElementContentPtr content
) {
1386 xmlElementTablePtr table
;
1387 xmlAttributePtr oldAttributes
= NULL
;
1388 xmlChar
*ns
, *uqname
;
1398 case XML_ELEMENT_TYPE_EMPTY
:
1399 if (content
!= NULL
) {
1400 xmlErrValid(ctxt
, XML_ERR_INTERNAL_ERROR
,
1401 "xmlAddElementDecl: content != NULL for EMPTY\n",
1406 case XML_ELEMENT_TYPE_ANY
:
1407 if (content
!= NULL
) {
1408 xmlErrValid(ctxt
, XML_ERR_INTERNAL_ERROR
,
1409 "xmlAddElementDecl: content != NULL for ANY\n",
1414 case XML_ELEMENT_TYPE_MIXED
:
1415 if (content
== NULL
) {
1416 xmlErrValid(ctxt
, XML_ERR_INTERNAL_ERROR
,
1417 "xmlAddElementDecl: content == NULL for MIXED\n",
1422 case XML_ELEMENT_TYPE_ELEMENT
:
1423 if (content
== NULL
) {
1424 xmlErrValid(ctxt
, XML_ERR_INTERNAL_ERROR
,
1425 "xmlAddElementDecl: content == NULL for ELEMENT\n",
1431 xmlErrValid(ctxt
, XML_ERR_INTERNAL_ERROR
,
1432 "Internal: ELEMENT decl corrupted invalid type\n",
1438 * check if name is a QName
1440 uqname
= xmlSplitQName2(name
, &ns
);
1445 * Create the Element table if needed.
1447 table
= (xmlElementTablePtr
) dtd
->elements
;
1448 if (table
== NULL
) {
1449 xmlDictPtr dict
= NULL
;
1451 if (dtd
->doc
!= NULL
)
1452 dict
= dtd
->doc
->dict
;
1453 table
= xmlHashCreateDict(0, dict
);
1454 dtd
->elements
= (void *) table
;
1456 if (table
== NULL
) {
1458 "xmlAddElementDecl: Table creation failed!\n");
1467 * lookup old attributes inserted on an undefined element in the
1470 if ((dtd
->doc
!= NULL
) && (dtd
->doc
->intSubset
!= NULL
)) {
1471 ret
= xmlHashLookup2(dtd
->doc
->intSubset
->elements
, name
, ns
);
1472 if ((ret
!= NULL
) && (ret
->etype
== XML_ELEMENT_TYPE_UNDEFINED
)) {
1473 oldAttributes
= ret
->attributes
;
1474 ret
->attributes
= NULL
;
1475 xmlHashRemoveEntry2(dtd
->doc
->intSubset
->elements
, name
, ns
, NULL
);
1476 xmlFreeElement(ret
);
1481 * The element may already be present if one of its attribute
1482 * was registered first
1484 ret
= xmlHashLookup2(table
, name
, ns
);
1486 if (ret
->etype
!= XML_ELEMENT_TYPE_UNDEFINED
) {
1487 #ifdef LIBXML_VALID_ENABLED
1489 * The element is already defined in this DTD.
1491 xmlErrValidNode(ctxt
, (xmlNodePtr
) dtd
, XML_DTD_ELEM_REDEFINED
,
1492 "Redefinition of element %s\n",
1494 #endif /* LIBXML_VALID_ENABLED */
1506 ret
= (xmlElementPtr
) xmlMalloc(sizeof(xmlElement
));
1508 xmlVErrMemory(ctxt
, "malloc failed");
1515 memset(ret
, 0, sizeof(xmlElement
));
1516 ret
->type
= XML_ELEMENT_DECL
;
1519 * fill the structure.
1521 ret
->name
= xmlStrdup(name
);
1522 if (ret
->name
== NULL
) {
1523 xmlVErrMemory(ctxt
, "malloc failed");
1535 * Insertion must not fail
1537 if (xmlHashAddEntry2(table
, name
, ns
, ret
)) {
1538 #ifdef LIBXML_VALID_ENABLED
1540 * The element is already defined in this DTD.
1542 xmlErrValidNode(ctxt
, (xmlNodePtr
) dtd
, XML_DTD_ELEM_REDEFINED
,
1543 "Redefinition of element %s\n",
1545 #endif /* LIBXML_VALID_ENABLED */
1546 xmlFreeElement(ret
);
1552 * For new element, may have attributes from earlier
1553 * definition in internal subset
1555 ret
->attributes
= oldAttributes
;
1559 * Finish to fill the structure.
1563 * Avoid a stupid copy when called by the parser
1564 * and flag it by setting a special parent value
1565 * so the parser doesn't unallocate it.
1567 if ((ctxt
!= NULL
) &&
1568 ((ctxt
->finishDtd
== XML_CTXT_FINISH_DTD_0
) ||
1569 (ctxt
->finishDtd
== XML_CTXT_FINISH_DTD_1
))) {
1570 ret
->content
= content
;
1571 if (content
!= NULL
)
1572 content
->parent
= (xmlElementContentPtr
) 1;
1574 ret
->content
= xmlCopyDocElementContent(dtd
->doc
, content
);
1578 * Link it to the DTD
1581 ret
->doc
= dtd
->doc
;
1582 if (dtd
->last
== NULL
) {
1583 dtd
->children
= dtd
->last
= (xmlNodePtr
) ret
;
1585 dtd
->last
->next
= (xmlNodePtr
) ret
;
1586 ret
->prev
= dtd
->last
;
1587 dtd
->last
= (xmlNodePtr
) ret
;
1595 * xmlFreeElementTable:
1596 * @table: An element table
1598 * Deallocate the memory used by an element hash table.
1601 xmlFreeElementTable(xmlElementTablePtr table
) {
1602 xmlHashFree(table
, (xmlHashDeallocator
) xmlFreeElement
);
1605 #ifdef LIBXML_TREE_ENABLED
1610 * Build a copy of an element.
1612 * Returns the new xmlElementPtr or NULL in case of error.
1614 static xmlElementPtr
1615 xmlCopyElement(xmlElementPtr elem
) {
1618 cur
= (xmlElementPtr
) xmlMalloc(sizeof(xmlElement
));
1620 xmlVErrMemory(NULL
, "malloc failed");
1623 memset(cur
, 0, sizeof(xmlElement
));
1624 cur
->type
= XML_ELEMENT_DECL
;
1625 cur
->etype
= elem
->etype
;
1626 if (elem
->name
!= NULL
)
1627 cur
->name
= xmlStrdup(elem
->name
);
1630 if (elem
->prefix
!= NULL
)
1631 cur
->prefix
= xmlStrdup(elem
->prefix
);
1634 cur
->content
= xmlCopyElementContent(elem
->content
);
1635 /* TODO : rebuild the attribute list on the copy */
1636 cur
->attributes
= NULL
;
1641 * xmlCopyElementTable:
1642 * @table: An element table
1644 * Build a copy of an element table.
1646 * Returns the new xmlElementTablePtr or NULL in case of error.
1649 xmlCopyElementTable(xmlElementTablePtr table
) {
1650 return((xmlElementTablePtr
) xmlHashCopy(table
,
1651 (xmlHashCopier
) xmlCopyElement
));
1653 #endif /* LIBXML_TREE_ENABLED */
1655 #ifdef LIBXML_OUTPUT_ENABLED
1657 * xmlDumpElementDecl:
1658 * @buf: the XML buffer output
1659 * @elem: An element table
1661 * This will dump the content of the element declaration as an XML
1665 xmlDumpElementDecl(xmlBufferPtr buf
, xmlElementPtr elem
) {
1666 if ((buf
== NULL
) || (elem
== NULL
))
1668 switch (elem
->etype
) {
1669 case XML_ELEMENT_TYPE_EMPTY
:
1670 xmlBufferWriteChar(buf
, "<!ELEMENT ");
1671 if (elem
->prefix
!= NULL
) {
1672 xmlBufferWriteCHAR(buf
, elem
->prefix
);
1673 xmlBufferWriteChar(buf
, ":");
1675 xmlBufferWriteCHAR(buf
, elem
->name
);
1676 xmlBufferWriteChar(buf
, " EMPTY>\n");
1678 case XML_ELEMENT_TYPE_ANY
:
1679 xmlBufferWriteChar(buf
, "<!ELEMENT ");
1680 if (elem
->prefix
!= NULL
) {
1681 xmlBufferWriteCHAR(buf
, elem
->prefix
);
1682 xmlBufferWriteChar(buf
, ":");
1684 xmlBufferWriteCHAR(buf
, elem
->name
);
1685 xmlBufferWriteChar(buf
, " ANY>\n");
1687 case XML_ELEMENT_TYPE_MIXED
:
1688 xmlBufferWriteChar(buf
, "<!ELEMENT ");
1689 if (elem
->prefix
!= NULL
) {
1690 xmlBufferWriteCHAR(buf
, elem
->prefix
);
1691 xmlBufferWriteChar(buf
, ":");
1693 xmlBufferWriteCHAR(buf
, elem
->name
);
1694 xmlBufferWriteChar(buf
, " ");
1695 xmlDumpElementContent(buf
, elem
->content
, 1);
1696 xmlBufferWriteChar(buf
, ">\n");
1698 case XML_ELEMENT_TYPE_ELEMENT
:
1699 xmlBufferWriteChar(buf
, "<!ELEMENT ");
1700 if (elem
->prefix
!= NULL
) {
1701 xmlBufferWriteCHAR(buf
, elem
->prefix
);
1702 xmlBufferWriteChar(buf
, ":");
1704 xmlBufferWriteCHAR(buf
, elem
->name
);
1705 xmlBufferWriteChar(buf
, " ");
1706 xmlDumpElementContent(buf
, elem
->content
, 1);
1707 xmlBufferWriteChar(buf
, ">\n");
1710 xmlErrValid(NULL
, XML_ERR_INTERNAL_ERROR
,
1711 "Internal: ELEMENT struct corrupted invalid type\n",
1717 * xmlDumpElementDeclScan:
1718 * @elem: An element table
1719 * @buf: the XML buffer output
1721 * This routine is used by the hash scan function. It just reverses
1725 xmlDumpElementDeclScan(xmlElementPtr elem
, xmlBufferPtr buf
) {
1726 xmlDumpElementDecl(buf
, elem
);
1730 * xmlDumpElementTable:
1731 * @buf: the XML buffer output
1732 * @table: An element table
1734 * This will dump the content of the element table as an XML DTD definition
1737 xmlDumpElementTable(xmlBufferPtr buf
, xmlElementTablePtr table
) {
1738 if ((buf
== NULL
) || (table
== NULL
))
1740 xmlHashScan(table
, (xmlHashScanner
) xmlDumpElementDeclScan
, buf
);
1742 #endif /* LIBXML_OUTPUT_ENABLED */
1745 * xmlCreateEnumeration:
1746 * @name: the enumeration name or NULL
1748 * create and initialize an enumeration attribute node.
1750 * Returns the xmlEnumerationPtr just created or NULL in case
1754 xmlCreateEnumeration(const xmlChar
*name
) {
1755 xmlEnumerationPtr ret
;
1757 ret
= (xmlEnumerationPtr
) xmlMalloc(sizeof(xmlEnumeration
));
1759 xmlVErrMemory(NULL
, "malloc failed");
1762 memset(ret
, 0, sizeof(xmlEnumeration
));
1765 ret
->name
= xmlStrdup(name
);
1770 * xmlFreeEnumeration:
1771 * @cur: the tree to free.
1773 * free an enumeration attribute node (recursive).
1776 xmlFreeEnumeration(xmlEnumerationPtr cur
) {
1777 if (cur
== NULL
) return;
1779 if (cur
->next
!= NULL
) xmlFreeEnumeration(cur
->next
);
1781 if (cur
->name
!= NULL
) xmlFree((xmlChar
*) cur
->name
);
1785 #ifdef LIBXML_TREE_ENABLED
1787 * xmlCopyEnumeration:
1788 * @cur: the tree to copy.
1790 * Copy an enumeration attribute node (recursive).
1792 * Returns the xmlEnumerationPtr just created or NULL in case
1796 xmlCopyEnumeration(xmlEnumerationPtr cur
) {
1797 xmlEnumerationPtr ret
;
1799 if (cur
== NULL
) return(NULL
);
1800 ret
= xmlCreateEnumeration((xmlChar
*) cur
->name
);
1801 if (ret
== NULL
) return(NULL
);
1803 if (cur
->next
!= NULL
) ret
->next
= xmlCopyEnumeration(cur
->next
);
1804 else ret
->next
= NULL
;
1808 #endif /* LIBXML_TREE_ENABLED */
1810 #ifdef LIBXML_OUTPUT_ENABLED
1812 * xmlDumpEnumeration:
1813 * @buf: the XML buffer output
1814 * @enum: An enumeration
1816 * This will dump the content of the enumeration
1819 xmlDumpEnumeration(xmlBufferPtr buf
, xmlEnumerationPtr cur
) {
1820 if ((buf
== NULL
) || (cur
== NULL
))
1823 xmlBufferWriteCHAR(buf
, cur
->name
);
1824 if (cur
->next
== NULL
)
1825 xmlBufferWriteChar(buf
, ")");
1827 xmlBufferWriteChar(buf
, " | ");
1828 xmlDumpEnumeration(buf
, cur
->next
);
1831 #endif /* LIBXML_OUTPUT_ENABLED */
1833 #ifdef LIBXML_VALID_ENABLED
1835 * xmlScanIDAttributeDecl:
1836 * @ctxt: the validation context
1837 * @elem: the element name
1838 * @err: whether to raise errors here
1840 * Verify that the element don't have too many ID attributes
1843 * Returns the number of ID attributes found.
1846 xmlScanIDAttributeDecl(xmlValidCtxtPtr ctxt
, xmlElementPtr elem
, int err
) {
1847 xmlAttributePtr cur
;
1850 if (elem
== NULL
) return(0);
1851 cur
= elem
->attributes
;
1852 while (cur
!= NULL
) {
1853 if (cur
->atype
== XML_ATTRIBUTE_ID
) {
1855 if ((ret
> 1) && (err
))
1856 xmlErrValidNode(ctxt
, (xmlNodePtr
) elem
, XML_DTD_MULTIPLE_ID
,
1857 "Element %s has too many ID attributes defined : %s\n",
1858 elem
->name
, cur
->name
, NULL
);
1864 #endif /* LIBXML_VALID_ENABLED */
1868 * @elem: An attribute
1870 * Deallocate the memory used by an attribute definition
1873 xmlFreeAttribute(xmlAttributePtr attr
) {
1876 if (attr
== NULL
) return;
1877 if (attr
->doc
!= NULL
)
1878 dict
= attr
->doc
->dict
;
1881 xmlUnlinkNode((xmlNodePtr
) attr
);
1882 if (attr
->tree
!= NULL
)
1883 xmlFreeEnumeration(attr
->tree
);
1885 if ((attr
->elem
!= NULL
) && (!xmlDictOwns(dict
, attr
->elem
)))
1886 xmlFree((xmlChar
*) attr
->elem
);
1887 if ((attr
->name
!= NULL
) && (!xmlDictOwns(dict
, attr
->name
)))
1888 xmlFree((xmlChar
*) attr
->name
);
1889 if ((attr
->prefix
!= NULL
) && (!xmlDictOwns(dict
, attr
->prefix
)))
1890 xmlFree((xmlChar
*) attr
->prefix
);
1891 if ((attr
->defaultValue
!= NULL
) &&
1892 (!xmlDictOwns(dict
, attr
->defaultValue
)))
1893 xmlFree((xmlChar
*) attr
->defaultValue
);
1895 if (attr
->elem
!= NULL
)
1896 xmlFree((xmlChar
*) attr
->elem
);
1897 if (attr
->name
!= NULL
)
1898 xmlFree((xmlChar
*) attr
->name
);
1899 if (attr
->defaultValue
!= NULL
)
1900 xmlFree((xmlChar
*) attr
->defaultValue
);
1901 if (attr
->prefix
!= NULL
)
1902 xmlFree((xmlChar
*) attr
->prefix
);
1909 * xmlAddAttributeDecl:
1910 * @ctxt: the validation context
1911 * @dtd: pointer to the DTD
1912 * @elem: the element name
1913 * @name: the attribute name
1914 * @ns: the attribute namespace prefix
1915 * @type: the attribute type
1916 * @def: the attribute default type
1917 * @defaultValue: the attribute default value
1918 * @tree: if it's an enumeration, the associated list
1920 * Register a new attribute declaration
1921 * Note that @tree becomes the ownership of the DTD
1923 * Returns NULL if not new, otherwise the attribute decl
1926 xmlAddAttributeDecl(xmlValidCtxtPtr ctxt
,
1927 xmlDtdPtr dtd
, const xmlChar
*elem
,
1928 const xmlChar
*name
, const xmlChar
*ns
,
1929 xmlAttributeType type
, xmlAttributeDefault def
,
1930 const xmlChar
*defaultValue
, xmlEnumerationPtr tree
) {
1931 xmlAttributePtr ret
;
1932 xmlAttributeTablePtr table
;
1933 xmlElementPtr elemDef
;
1934 xmlDictPtr dict
= NULL
;
1937 xmlFreeEnumeration(tree
);
1941 xmlFreeEnumeration(tree
);
1945 xmlFreeEnumeration(tree
);
1948 if (dtd
->doc
!= NULL
)
1949 dict
= dtd
->doc
->dict
;
1951 #ifdef LIBXML_VALID_ENABLED
1953 * Check the type and possibly the default value.
1956 case XML_ATTRIBUTE_CDATA
:
1958 case XML_ATTRIBUTE_ID
:
1960 case XML_ATTRIBUTE_IDREF
:
1962 case XML_ATTRIBUTE_IDREFS
:
1964 case XML_ATTRIBUTE_ENTITY
:
1966 case XML_ATTRIBUTE_ENTITIES
:
1968 case XML_ATTRIBUTE_NMTOKEN
:
1970 case XML_ATTRIBUTE_NMTOKENS
:
1972 case XML_ATTRIBUTE_ENUMERATION
:
1974 case XML_ATTRIBUTE_NOTATION
:
1977 xmlErrValid(ctxt
, XML_ERR_INTERNAL_ERROR
,
1978 "Internal: ATTRIBUTE struct corrupted invalid type\n",
1980 xmlFreeEnumeration(tree
);
1983 if ((defaultValue
!= NULL
) &&
1984 (!xmlValidateAttributeValueInternal(dtd
->doc
, type
, defaultValue
))) {
1985 xmlErrValidNode(ctxt
, (xmlNodePtr
) dtd
, XML_DTD_ATTRIBUTE_DEFAULT
,
1986 "Attribute %s of %s: invalid default value\n",
1987 elem
, name
, defaultValue
);
1988 defaultValue
= NULL
;
1992 #endif /* LIBXML_VALID_ENABLED */
1995 * Check first that an attribute defined in the external subset wasn't
1996 * already defined in the internal subset
1998 if ((dtd
->doc
!= NULL
) && (dtd
->doc
->extSubset
== dtd
) &&
1999 (dtd
->doc
->intSubset
!= NULL
) &&
2000 (dtd
->doc
->intSubset
->attributes
!= NULL
)) {
2001 ret
= xmlHashLookup3(dtd
->doc
->intSubset
->attributes
, name
, ns
, elem
);
2003 xmlFreeEnumeration(tree
);
2009 * Create the Attribute table if needed.
2011 table
= (xmlAttributeTablePtr
) dtd
->attributes
;
2012 if (table
== NULL
) {
2013 table
= xmlHashCreateDict(0, dict
);
2014 dtd
->attributes
= (void *) table
;
2016 if (table
== NULL
) {
2018 "xmlAddAttributeDecl: Table creation failed!\n");
2019 xmlFreeEnumeration(tree
);
2024 ret
= (xmlAttributePtr
) xmlMalloc(sizeof(xmlAttribute
));
2026 xmlVErrMemory(ctxt
, "malloc failed");
2027 xmlFreeEnumeration(tree
);
2030 memset(ret
, 0, sizeof(xmlAttribute
));
2031 ret
->type
= XML_ATTRIBUTE_DECL
;
2034 * fill the structure.
2038 * doc must be set before possible error causes call
2039 * to xmlFreeAttribute (because it's used to check on
2042 ret
->doc
= dtd
->doc
;
2044 ret
->name
= xmlDictLookup(dict
, name
, -1);
2045 ret
->prefix
= xmlDictLookup(dict
, ns
, -1);
2046 ret
->elem
= xmlDictLookup(dict
, elem
, -1);
2048 ret
->name
= xmlStrdup(name
);
2049 ret
->prefix
= xmlStrdup(ns
);
2050 ret
->elem
= xmlStrdup(elem
);
2054 if (defaultValue
!= NULL
) {
2056 ret
->defaultValue
= xmlDictLookup(dict
, defaultValue
, -1);
2058 ret
->defaultValue
= xmlStrdup(defaultValue
);
2063 * Search the DTD for previous declarations of the ATTLIST
2065 if (xmlHashAddEntry3(table
, ret
->name
, ret
->prefix
, ret
->elem
, ret
) < 0) {
2066 #ifdef LIBXML_VALID_ENABLED
2068 * The attribute is already defined in this DTD.
2070 xmlErrValidWarning(ctxt
, (xmlNodePtr
) dtd
, XML_DTD_ATTRIBUTE_REDEFINED
,
2071 "Attribute %s of element %s: already defined\n",
2073 #endif /* LIBXML_VALID_ENABLED */
2074 xmlFreeAttribute(ret
);
2080 * Multiple ID per element
2082 elemDef
= xmlGetDtdElementDesc2(dtd
, elem
, 1);
2083 if (elemDef
!= NULL
) {
2085 #ifdef LIBXML_VALID_ENABLED
2086 if ((type
== XML_ATTRIBUTE_ID
) &&
2087 (xmlScanIDAttributeDecl(NULL
, elemDef
, 1) != 0)) {
2088 xmlErrValidNode(ctxt
, (xmlNodePtr
) dtd
, XML_DTD_MULTIPLE_ID
,
2089 "Element %s has too may ID attributes defined : %s\n",
2094 #endif /* LIBXML_VALID_ENABLED */
2097 * Insert namespace default def first they need to be
2100 if ((xmlStrEqual(ret
->name
, BAD_CAST
"xmlns")) ||
2101 ((ret
->prefix
!= NULL
&&
2102 (xmlStrEqual(ret
->prefix
, BAD_CAST
"xmlns"))))) {
2103 ret
->nexth
= elemDef
->attributes
;
2104 elemDef
->attributes
= ret
;
2106 xmlAttributePtr tmp
= elemDef
->attributes
;
2108 while ((tmp
!= NULL
) &&
2109 ((xmlStrEqual(tmp
->name
, BAD_CAST
"xmlns")) ||
2110 ((ret
->prefix
!= NULL
&&
2111 (xmlStrEqual(ret
->prefix
, BAD_CAST
"xmlns")))))) {
2112 if (tmp
->nexth
== NULL
)
2117 ret
->nexth
= tmp
->nexth
;
2120 ret
->nexth
= elemDef
->attributes
;
2121 elemDef
->attributes
= ret
;
2127 * Link it to the DTD
2130 if (dtd
->last
== NULL
) {
2131 dtd
->children
= dtd
->last
= (xmlNodePtr
) ret
;
2133 dtd
->last
->next
= (xmlNodePtr
) ret
;
2134 ret
->prev
= dtd
->last
;
2135 dtd
->last
= (xmlNodePtr
) ret
;
2141 * xmlFreeAttributeTable:
2142 * @table: An attribute table
2144 * Deallocate the memory used by an entities hash table.
2147 xmlFreeAttributeTable(xmlAttributeTablePtr table
) {
2148 xmlHashFree(table
, (xmlHashDeallocator
) xmlFreeAttribute
);
2151 #ifdef LIBXML_TREE_ENABLED
2154 * @attr: An attribute
2156 * Build a copy of an attribute.
2158 * Returns the new xmlAttributePtr or NULL in case of error.
2160 static xmlAttributePtr
2161 xmlCopyAttribute(xmlAttributePtr attr
) {
2162 xmlAttributePtr cur
;
2164 cur
= (xmlAttributePtr
) xmlMalloc(sizeof(xmlAttribute
));
2166 xmlVErrMemory(NULL
, "malloc failed");
2169 memset(cur
, 0, sizeof(xmlAttribute
));
2170 cur
->type
= XML_ATTRIBUTE_DECL
;
2171 cur
->atype
= attr
->atype
;
2172 cur
->def
= attr
->def
;
2173 cur
->tree
= xmlCopyEnumeration(attr
->tree
);
2174 if (attr
->elem
!= NULL
)
2175 cur
->elem
= xmlStrdup(attr
->elem
);
2176 if (attr
->name
!= NULL
)
2177 cur
->name
= xmlStrdup(attr
->name
);
2178 if (attr
->prefix
!= NULL
)
2179 cur
->prefix
= xmlStrdup(attr
->prefix
);
2180 if (attr
->defaultValue
!= NULL
)
2181 cur
->defaultValue
= xmlStrdup(attr
->defaultValue
);
2186 * xmlCopyAttributeTable:
2187 * @table: An attribute table
2189 * Build a copy of an attribute table.
2191 * Returns the new xmlAttributeTablePtr or NULL in case of error.
2193 xmlAttributeTablePtr
2194 xmlCopyAttributeTable(xmlAttributeTablePtr table
) {
2195 return((xmlAttributeTablePtr
) xmlHashCopy(table
,
2196 (xmlHashCopier
) xmlCopyAttribute
));
2198 #endif /* LIBXML_TREE_ENABLED */
2200 #ifdef LIBXML_OUTPUT_ENABLED
2202 * xmlDumpAttributeDecl:
2203 * @buf: the XML buffer output
2204 * @attr: An attribute declaration
2206 * This will dump the content of the attribute declaration as an XML
2210 xmlDumpAttributeDecl(xmlBufferPtr buf
, xmlAttributePtr attr
) {
2211 if ((buf
== NULL
) || (attr
== NULL
))
2213 xmlBufferWriteChar(buf
, "<!ATTLIST ");
2214 xmlBufferWriteCHAR(buf
, attr
->elem
);
2215 xmlBufferWriteChar(buf
, " ");
2216 if (attr
->prefix
!= NULL
) {
2217 xmlBufferWriteCHAR(buf
, attr
->prefix
);
2218 xmlBufferWriteChar(buf
, ":");
2220 xmlBufferWriteCHAR(buf
, attr
->name
);
2221 switch (attr
->atype
) {
2222 case XML_ATTRIBUTE_CDATA
:
2223 xmlBufferWriteChar(buf
, " CDATA");
2225 case XML_ATTRIBUTE_ID
:
2226 xmlBufferWriteChar(buf
, " ID");
2228 case XML_ATTRIBUTE_IDREF
:
2229 xmlBufferWriteChar(buf
, " IDREF");
2231 case XML_ATTRIBUTE_IDREFS
:
2232 xmlBufferWriteChar(buf
, " IDREFS");
2234 case XML_ATTRIBUTE_ENTITY
:
2235 xmlBufferWriteChar(buf
, " ENTITY");
2237 case XML_ATTRIBUTE_ENTITIES
:
2238 xmlBufferWriteChar(buf
, " ENTITIES");
2240 case XML_ATTRIBUTE_NMTOKEN
:
2241 xmlBufferWriteChar(buf
, " NMTOKEN");
2243 case XML_ATTRIBUTE_NMTOKENS
:
2244 xmlBufferWriteChar(buf
, " NMTOKENS");
2246 case XML_ATTRIBUTE_ENUMERATION
:
2247 xmlBufferWriteChar(buf
, " (");
2248 xmlDumpEnumeration(buf
, attr
->tree
);
2250 case XML_ATTRIBUTE_NOTATION
:
2251 xmlBufferWriteChar(buf
, " NOTATION (");
2252 xmlDumpEnumeration(buf
, attr
->tree
);
2255 xmlErrValid(NULL
, XML_ERR_INTERNAL_ERROR
,
2256 "Internal: ATTRIBUTE struct corrupted invalid type\n",
2259 switch (attr
->def
) {
2260 case XML_ATTRIBUTE_NONE
:
2262 case XML_ATTRIBUTE_REQUIRED
:
2263 xmlBufferWriteChar(buf
, " #REQUIRED");
2265 case XML_ATTRIBUTE_IMPLIED
:
2266 xmlBufferWriteChar(buf
, " #IMPLIED");
2268 case XML_ATTRIBUTE_FIXED
:
2269 xmlBufferWriteChar(buf
, " #FIXED");
2272 xmlErrValid(NULL
, XML_ERR_INTERNAL_ERROR
,
2273 "Internal: ATTRIBUTE struct corrupted invalid def\n",
2276 if (attr
->defaultValue
!= NULL
) {
2277 xmlBufferWriteChar(buf
, " ");
2278 xmlBufferWriteQuotedString(buf
, attr
->defaultValue
);
2280 xmlBufferWriteChar(buf
, ">\n");
2284 * xmlDumpAttributeDeclScan:
2285 * @attr: An attribute declaration
2286 * @buf: the XML buffer output
2288 * This is used with the hash scan function - just reverses arguments
2291 xmlDumpAttributeDeclScan(xmlAttributePtr attr
, xmlBufferPtr buf
) {
2292 xmlDumpAttributeDecl(buf
, attr
);
2296 * xmlDumpAttributeTable:
2297 * @buf: the XML buffer output
2298 * @table: An attribute table
2300 * This will dump the content of the attribute table as an XML DTD definition
2303 xmlDumpAttributeTable(xmlBufferPtr buf
, xmlAttributeTablePtr table
) {
2304 if ((buf
== NULL
) || (table
== NULL
))
2306 xmlHashScan(table
, (xmlHashScanner
) xmlDumpAttributeDeclScan
, buf
);
2308 #endif /* LIBXML_OUTPUT_ENABLED */
2310 /************************************************************************
2314 ************************************************************************/
2319 * Deallocate the memory used by an notation definition
2322 xmlFreeNotation(xmlNotationPtr nota
) {
2323 if (nota
== NULL
) return;
2324 if (nota
->name
!= NULL
)
2325 xmlFree((xmlChar
*) nota
->name
);
2326 if (nota
->PublicID
!= NULL
)
2327 xmlFree((xmlChar
*) nota
->PublicID
);
2328 if (nota
->SystemID
!= NULL
)
2329 xmlFree((xmlChar
*) nota
->SystemID
);
2335 * xmlAddNotationDecl:
2336 * @dtd: pointer to the DTD
2337 * @ctxt: the validation context
2338 * @name: the entity name
2339 * @PublicID: the public identifier or NULL
2340 * @SystemID: the system identifier or NULL
2342 * Register a new notation declaration
2344 * Returns NULL if not, otherwise the entity
2347 xmlAddNotationDecl(xmlValidCtxtPtr ctxt
, xmlDtdPtr dtd
,
2348 const xmlChar
*name
,
2349 const xmlChar
*PublicID
, const xmlChar
*SystemID
) {
2351 xmlNotationTablePtr table
;
2359 if ((PublicID
== NULL
) && (SystemID
== NULL
)) {
2364 * Create the Notation table if needed.
2366 table
= (xmlNotationTablePtr
) dtd
->notations
;
2367 if (table
== NULL
) {
2368 xmlDictPtr dict
= NULL
;
2369 if (dtd
->doc
!= NULL
)
2370 dict
= dtd
->doc
->dict
;
2372 dtd
->notations
= table
= xmlHashCreateDict(0, dict
);
2374 if (table
== NULL
) {
2376 "xmlAddNotationDecl: Table creation failed!\n");
2380 ret
= (xmlNotationPtr
) xmlMalloc(sizeof(xmlNotation
));
2382 xmlVErrMemory(ctxt
, "malloc failed");
2385 memset(ret
, 0, sizeof(xmlNotation
));
2388 * fill the structure.
2390 ret
->name
= xmlStrdup(name
);
2391 if (SystemID
!= NULL
)
2392 ret
->SystemID
= xmlStrdup(SystemID
);
2393 if (PublicID
!= NULL
)
2394 ret
->PublicID
= xmlStrdup(PublicID
);
2398 * Check the DTD for previous declarations of the ATTLIST
2400 if (xmlHashAddEntry(table
, name
, ret
)) {
2401 #ifdef LIBXML_VALID_ENABLED
2402 xmlErrValid(NULL
, XML_DTD_NOTATION_REDEFINED
,
2403 "xmlAddNotationDecl: %s already defined\n",
2404 (const char *) name
);
2405 #endif /* LIBXML_VALID_ENABLED */
2406 xmlFreeNotation(ret
);
2413 * xmlFreeNotationTable:
2414 * @table: An notation table
2416 * Deallocate the memory used by an entities hash table.
2419 xmlFreeNotationTable(xmlNotationTablePtr table
) {
2420 xmlHashFree(table
, (xmlHashDeallocator
) xmlFreeNotation
);
2423 #ifdef LIBXML_TREE_ENABLED
2428 * Build a copy of a notation.
2430 * Returns the new xmlNotationPtr or NULL in case of error.
2432 static xmlNotationPtr
2433 xmlCopyNotation(xmlNotationPtr nota
) {
2436 cur
= (xmlNotationPtr
) xmlMalloc(sizeof(xmlNotation
));
2438 xmlVErrMemory(NULL
, "malloc failed");
2441 if (nota
->name
!= NULL
)
2442 cur
->name
= xmlStrdup(nota
->name
);
2445 if (nota
->PublicID
!= NULL
)
2446 cur
->PublicID
= xmlStrdup(nota
->PublicID
);
2448 cur
->PublicID
= NULL
;
2449 if (nota
->SystemID
!= NULL
)
2450 cur
->SystemID
= xmlStrdup(nota
->SystemID
);
2452 cur
->SystemID
= NULL
;
2457 * xmlCopyNotationTable:
2458 * @table: A notation table
2460 * Build a copy of a notation table.
2462 * Returns the new xmlNotationTablePtr or NULL in case of error.
2465 xmlCopyNotationTable(xmlNotationTablePtr table
) {
2466 return((xmlNotationTablePtr
) xmlHashCopy(table
,
2467 (xmlHashCopier
) xmlCopyNotation
));
2469 #endif /* LIBXML_TREE_ENABLED */
2471 #ifdef LIBXML_OUTPUT_ENABLED
2473 * xmlDumpNotationDecl:
2474 * @buf: the XML buffer output
2475 * @nota: A notation declaration
2477 * This will dump the content the notation declaration as an XML DTD definition
2480 xmlDumpNotationDecl(xmlBufferPtr buf
, xmlNotationPtr nota
) {
2481 if ((buf
== NULL
) || (nota
== NULL
))
2483 xmlBufferWriteChar(buf
, "<!NOTATION ");
2484 xmlBufferWriteCHAR(buf
, nota
->name
);
2485 if (nota
->PublicID
!= NULL
) {
2486 xmlBufferWriteChar(buf
, " PUBLIC ");
2487 xmlBufferWriteQuotedString(buf
, nota
->PublicID
);
2488 if (nota
->SystemID
!= NULL
) {
2489 xmlBufferWriteChar(buf
, " ");
2490 xmlBufferWriteQuotedString(buf
, nota
->SystemID
);
2493 xmlBufferWriteChar(buf
, " SYSTEM ");
2494 xmlBufferWriteQuotedString(buf
, nota
->SystemID
);
2496 xmlBufferWriteChar(buf
, " >\n");
2500 * xmlDumpNotationDeclScan:
2501 * @nota: A notation declaration
2502 * @buf: the XML buffer output
2504 * This is called with the hash scan function, and just reverses args
2507 xmlDumpNotationDeclScan(xmlNotationPtr nota
, xmlBufferPtr buf
) {
2508 xmlDumpNotationDecl(buf
, nota
);
2512 * xmlDumpNotationTable:
2513 * @buf: the XML buffer output
2514 * @table: A notation table
2516 * This will dump the content of the notation table as an XML DTD definition
2519 xmlDumpNotationTable(xmlBufferPtr buf
, xmlNotationTablePtr table
) {
2520 if ((buf
== NULL
) || (table
== NULL
))
2522 xmlHashScan(table
, (xmlHashScanner
) xmlDumpNotationDeclScan
, buf
);
2524 #endif /* LIBXML_OUTPUT_ENABLED */
2526 /************************************************************************
2530 ************************************************************************/
2535 * Free a string if it is not owned by the "dict" dictionnary in the
2538 #define DICT_FREE(str) \
2539 if ((str) && ((!dict) || \
2540 (xmlDictOwns(dict, (const xmlChar *)(str)) == 0))) \
2541 xmlFree((char *)(str));
2547 * Deallocate the memory used by an id definition
2550 xmlFreeID(xmlIDPtr id
) {
2551 xmlDictPtr dict
= NULL
;
2553 if (id
== NULL
) return;
2555 if (id
->doc
!= NULL
)
2556 dict
= id
->doc
->dict
;
2558 if (id
->value
!= NULL
)
2559 DICT_FREE(id
->value
)
2560 if (id
->name
!= NULL
)
2568 * @ctxt: the validation context
2569 * @doc: pointer to the document
2570 * @value: the value name
2571 * @attr: the attribute holding the ID
2573 * Register a new id declaration
2575 * Returns NULL if not, otherwise the new xmlIDPtr
2578 xmlAddID(xmlValidCtxtPtr ctxt
, xmlDocPtr doc
, const xmlChar
*value
,
2581 xmlIDTablePtr table
;
2586 if (value
== NULL
) {
2594 * Create the ID table if needed.
2596 table
= (xmlIDTablePtr
) doc
->ids
;
2597 if (table
== NULL
) {
2598 doc
->ids
= table
= xmlHashCreateDict(0, doc
->dict
);
2600 if (table
== NULL
) {
2602 "xmlAddID: Table creation failed!\n");
2606 ret
= (xmlIDPtr
) xmlMalloc(sizeof(xmlID
));
2608 xmlVErrMemory(ctxt
, "malloc failed");
2613 * fill the structure.
2615 ret
->value
= xmlStrdup(value
);
2617 if ((ctxt
!= NULL
) && (ctxt
->vstateNr
!= 0)) {
2619 * Operating in streaming mode, attr is gonna disapear
2621 if (doc
->dict
!= NULL
)
2622 ret
->name
= xmlDictLookup(doc
->dict
, attr
->name
, -1);
2624 ret
->name
= xmlStrdup(attr
->name
);
2630 ret
->lineno
= xmlGetLineNo(attr
->parent
);
2632 if (xmlHashAddEntry(table
, value
, ret
) < 0) {
2633 #ifdef LIBXML_VALID_ENABLED
2635 * The id is already defined in this DTD.
2637 xmlErrValidNode(ctxt
, attr
->parent
, XML_DTD_ID_REDEFINED
,
2638 "ID %s already defined\n", value
, NULL
, NULL
);
2639 #endif /* LIBXML_VALID_ENABLED */
2644 attr
->atype
= XML_ATTRIBUTE_ID
;
2650 * @table: An id table
2652 * Deallocate the memory used by an ID hash table.
2655 xmlFreeIDTable(xmlIDTablePtr table
) {
2656 xmlHashFree(table
, (xmlHashDeallocator
) xmlFreeID
);
2661 * @doc: the document
2662 * @elem: the element carrying the attribute
2663 * @attr: the attribute
2665 * Determine whether an attribute is of type ID. In case we have DTD(s)
2666 * then this is done if DTD loading has been requested. In the case
2667 * of HTML documents parsed with the HTML parser, then ID detection is
2668 * done systematically.
2670 * Returns 0 or 1 depending on the lookup result
2673 xmlIsID(xmlDocPtr doc
, xmlNodePtr elem
, xmlAttrPtr attr
) {
2674 if ((attr
== NULL
) || (attr
->name
== NULL
)) return(0);
2675 if ((attr
->ns
!= NULL
) && (attr
->ns
->prefix
!= NULL
) &&
2676 (!strcmp((char *) attr
->name
, "id")) &&
2677 (!strcmp((char *) attr
->ns
->prefix
, "xml")))
2679 if (doc
== NULL
) return(0);
2680 if ((doc
->intSubset
== NULL
) && (doc
->extSubset
== NULL
) &&
2681 (doc
->type
!= XML_HTML_DOCUMENT_NODE
)) {
2683 } else if (doc
->type
== XML_HTML_DOCUMENT_NODE
) {
2684 if ((xmlStrEqual(BAD_CAST
"id", attr
->name
)) ||
2685 ((xmlStrEqual(BAD_CAST
"name", attr
->name
)) &&
2686 ((elem
== NULL
) || (xmlStrEqual(elem
->name
, BAD_CAST
"a")))))
2689 } else if (elem
== NULL
) {
2692 xmlAttributePtr attrDecl
= NULL
;
2694 xmlChar felem
[50], fattr
[50];
2695 xmlChar
*fullelemname
, *fullattrname
;
2697 fullelemname
= (elem
->ns
!= NULL
&& elem
->ns
->prefix
!= NULL
) ?
2698 xmlBuildQName(elem
->name
, elem
->ns
->prefix
, felem
, 50) :
2699 (xmlChar
*)elem
->name
;
2701 fullattrname
= (attr
->ns
!= NULL
&& attr
->ns
->prefix
!= NULL
) ?
2702 xmlBuildQName(attr
->name
, attr
->ns
->prefix
, fattr
, 50) :
2703 (xmlChar
*)attr
->name
;
2705 if (fullelemname
!= NULL
&& fullattrname
!= NULL
) {
2706 attrDecl
= xmlGetDtdAttrDesc(doc
->intSubset
, fullelemname
,
2708 if ((attrDecl
== NULL
) && (doc
->extSubset
!= NULL
))
2709 attrDecl
= xmlGetDtdAttrDesc(doc
->extSubset
, fullelemname
,
2713 if ((fullattrname
!= fattr
) && (fullattrname
!= attr
->name
))
2714 xmlFree(fullattrname
);
2715 if ((fullelemname
!= felem
) && (fullelemname
!= elem
->name
))
2716 xmlFree(fullelemname
);
2718 if ((attrDecl
!= NULL
) && (attrDecl
->atype
== XML_ATTRIBUTE_ID
))
2726 * @doc: the document
2727 * @attr: the attribute
2729 * Remove the given attribute from the ID table maintained internally.
2731 * Returns -1 if the lookup failed and 0 otherwise
2734 xmlRemoveID(xmlDocPtr doc
, xmlAttrPtr attr
) {
2735 xmlIDTablePtr table
;
2739 if (doc
== NULL
) return(-1);
2740 if (attr
== NULL
) return(-1);
2742 table
= (xmlIDTablePtr
) doc
->ids
;
2746 ID
= xmlNodeListGetString(doc
, attr
->children
, 1);
2750 id
= xmlHashLookup(table
, ID
);
2751 if (id
== NULL
|| id
->attr
!= attr
) {
2756 xmlHashRemoveEntry(table
, ID
, (xmlHashDeallocator
) xmlFreeID
);
2764 * @doc: pointer to the document
2767 * Search the attribute declaring the given ID
2769 * Returns NULL if not found, otherwise the xmlAttrPtr defining the ID
2772 xmlGetID(xmlDocPtr doc
, const xmlChar
*ID
) {
2773 xmlIDTablePtr table
;
2784 table
= (xmlIDTablePtr
) doc
->ids
;
2788 id
= xmlHashLookup(table
, ID
);
2791 if (id
->attr
== NULL
) {
2793 * We are operating on a stream, return a well known reference
2794 * since the attribute node doesn't exist anymore
2796 return((xmlAttrPtr
) doc
);
2801 /************************************************************************
2805 ************************************************************************/
2806 typedef struct xmlRemoveMemo_t
2812 typedef xmlRemoveMemo
*xmlRemoveMemoPtr
;
2814 typedef struct xmlValidateMemo_t
2816 xmlValidCtxtPtr ctxt
;
2817 const xmlChar
*name
;
2820 typedef xmlValidateMemo
*xmlValidateMemoPtr
;
2826 * Deallocate the memory used by a ref definition
2829 xmlFreeRef(xmlLinkPtr lk
) {
2830 xmlRefPtr ref
= (xmlRefPtr
)xmlLinkGetData(lk
);
2831 if (ref
== NULL
) return;
2832 if (ref
->value
!= NULL
)
2833 xmlFree((xmlChar
*)ref
->value
);
2834 if (ref
->name
!= NULL
)
2835 xmlFree((xmlChar
*)ref
->name
);
2841 * @list_ref: A list of references.
2843 * Deallocate the memory used by a list of references
2846 xmlFreeRefList(xmlListPtr list_ref
) {
2847 if (list_ref
== NULL
) return;
2848 xmlListDelete(list_ref
);
2853 * @data: Contents of current link
2854 * @user: Value supplied by the user
2856 * Returns 0 to abort the walk or 1 to continue
2859 xmlWalkRemoveRef(const void *data
, const void *user
)
2861 xmlAttrPtr attr0
= ((xmlRefPtr
)data
)->attr
;
2862 xmlAttrPtr attr1
= ((xmlRemoveMemoPtr
)user
)->ap
;
2863 xmlListPtr ref_list
= ((xmlRemoveMemoPtr
)user
)->l
;
2865 if (attr0
== attr1
) { /* Matched: remove and terminate walk */
2866 xmlListRemoveFirst(ref_list
, (void *)data
);
2874 * @data0: Value supplied by the user
2875 * @data1: Value supplied by the user
2877 * Do nothing, return 0. Used to create unordered lists.
2880 xmlDummyCompare(const void *data0 ATTRIBUTE_UNUSED
,
2881 const void *data1 ATTRIBUTE_UNUSED
)
2888 * @ctxt: the validation context
2889 * @doc: pointer to the document
2890 * @value: the value name
2891 * @attr: the attribute holding the Ref
2893 * Register a new ref declaration
2895 * Returns NULL if not, otherwise the new xmlRefPtr
2898 xmlAddRef(xmlValidCtxtPtr ctxt
, xmlDocPtr doc
, const xmlChar
*value
,
2901 xmlRefTablePtr table
;
2902 xmlListPtr ref_list
;
2907 if (value
== NULL
) {
2915 * Create the Ref table if needed.
2917 table
= (xmlRefTablePtr
) doc
->refs
;
2918 if (table
== NULL
) {
2919 doc
->refs
= table
= xmlHashCreateDict(0, doc
->dict
);
2921 if (table
== NULL
) {
2923 "xmlAddRef: Table creation failed!\n");
2927 ret
= (xmlRefPtr
) xmlMalloc(sizeof(xmlRef
));
2929 xmlVErrMemory(ctxt
, "malloc failed");
2934 * fill the structure.
2936 ret
->value
= xmlStrdup(value
);
2937 if ((ctxt
!= NULL
) && (ctxt
->vstateNr
!= 0)) {
2939 * Operating in streaming mode, attr is gonna disapear
2941 ret
->name
= xmlStrdup(attr
->name
);
2947 ret
->lineno
= xmlGetLineNo(attr
->parent
);
2949 /* To add a reference :-
2950 * References are maintained as a list of references,
2951 * Lookup the entry, if no entry create new nodelist
2952 * Add the owning node to the NodeList
2956 if (NULL
== (ref_list
= xmlHashLookup(table
, value
))) {
2957 if (NULL
== (ref_list
= xmlListCreate(xmlFreeRef
, xmlDummyCompare
))) {
2958 xmlErrValid(NULL
, XML_ERR_INTERNAL_ERROR
,
2959 "xmlAddRef: Reference list creation failed!\n",
2963 if (xmlHashAddEntry(table
, value
, ref_list
) < 0) {
2964 xmlListDelete(ref_list
);
2965 xmlErrValid(NULL
, XML_ERR_INTERNAL_ERROR
,
2966 "xmlAddRef: Reference list insertion failed!\n",
2971 if (xmlListAppend(ref_list
, ret
) != 0) {
2972 xmlErrValid(NULL
, XML_ERR_INTERNAL_ERROR
,
2973 "xmlAddRef: Reference list insertion failed!\n",
2980 if (ret
->value
!= NULL
)
2981 xmlFree((char *)ret
->value
);
2982 if (ret
->name
!= NULL
)
2983 xmlFree((char *)ret
->name
);
2991 * @table: An ref table
2993 * Deallocate the memory used by an Ref hash table.
2996 xmlFreeRefTable(xmlRefTablePtr table
) {
2997 xmlHashFree(table
, (xmlHashDeallocator
) xmlFreeRefList
);
3002 * @doc: the document
3003 * @elem: the element carrying the attribute
3004 * @attr: the attribute
3006 * Determine whether an attribute is of type Ref. In case we have DTD(s)
3007 * then this is simple, otherwise we use an heuristic: name Ref (upper
3010 * Returns 0 or 1 depending on the lookup result
3013 xmlIsRef(xmlDocPtr doc
, xmlNodePtr elem
, xmlAttrPtr attr
) {
3018 if (doc
== NULL
) return(0);
3021 if ((doc
->intSubset
== NULL
) && (doc
->extSubset
== NULL
)) {
3023 } else if (doc
->type
== XML_HTML_DOCUMENT_NODE
) {
3027 xmlAttributePtr attrDecl
;
3029 if (elem
== NULL
) return(0);
3030 attrDecl
= xmlGetDtdAttrDesc(doc
->intSubset
, elem
->name
, attr
->name
);
3031 if ((attrDecl
== NULL
) && (doc
->extSubset
!= NULL
))
3032 attrDecl
= xmlGetDtdAttrDesc(doc
->extSubset
,
3033 elem
->name
, attr
->name
);
3035 if ((attrDecl
!= NULL
) &&
3036 (attrDecl
->atype
== XML_ATTRIBUTE_IDREF
||
3037 attrDecl
->atype
== XML_ATTRIBUTE_IDREFS
))
3045 * @doc: the document
3046 * @attr: the attribute
3048 * Remove the given attribute from the Ref table maintained internally.
3050 * Returns -1 if the lookup failed and 0 otherwise
3053 xmlRemoveRef(xmlDocPtr doc
, xmlAttrPtr attr
) {
3054 xmlListPtr ref_list
;
3055 xmlRefTablePtr table
;
3057 xmlRemoveMemo target
;
3059 if (doc
== NULL
) return(-1);
3060 if (attr
== NULL
) return(-1);
3062 table
= (xmlRefTablePtr
) doc
->refs
;
3066 ID
= xmlNodeListGetString(doc
, attr
->children
, 1);
3070 ref_list
= xmlHashLookup(table
, ID
);
3071 if(ref_list
== NULL
) {
3076 /* At this point, ref_list refers to a list of references which
3077 * have the same key as the supplied attr. Our list of references
3078 * is ordered by reference address and we don't have that information
3079 * here to use when removing. We'll have to walk the list and
3080 * check for a matching attribute, when we find one stop the walk
3081 * and remove the entry.
3082 * The list is ordered by reference, so that means we don't have the
3083 * key. Passing the list and the reference to the walker means we
3084 * will have enough data to be able to remove the entry.
3086 target
.l
= ref_list
;
3089 /* Remove the supplied attr from our list */
3090 xmlListWalk(ref_list
, xmlWalkRemoveRef
, &target
);
3092 /*If the list is empty then remove the list entry in the hash */
3093 if (xmlListEmpty(ref_list
))
3094 xmlHashUpdateEntry(table
, ID
, NULL
, (xmlHashDeallocator
)
3102 * @doc: pointer to the document
3105 * Find the set of references for the supplied ID.
3107 * Returns NULL if not found, otherwise node set for the ID.
3110 xmlGetRefs(xmlDocPtr doc
, const xmlChar
*ID
) {
3111 xmlRefTablePtr table
;
3121 table
= (xmlRefTablePtr
) doc
->refs
;
3125 return (xmlHashLookup(table
, ID
));
3128 /************************************************************************
3130 * Routines for validity checking *
3132 ************************************************************************/
3135 * xmlGetDtdElementDesc:
3136 * @dtd: a pointer to the DtD to search
3137 * @name: the element name
3139 * Search the DTD for the description of this element
3141 * returns the xmlElementPtr if found or NULL
3145 xmlGetDtdElementDesc(xmlDtdPtr dtd
, const xmlChar
*name
) {
3146 xmlElementTablePtr table
;
3148 xmlChar
*uqname
= NULL
, *prefix
= NULL
;
3150 if ((dtd
== NULL
) || (name
== NULL
)) return(NULL
);
3151 if (dtd
->elements
== NULL
)
3153 table
= (xmlElementTablePtr
) dtd
->elements
;
3155 uqname
= xmlSplitQName2(name
, &prefix
);
3158 cur
= xmlHashLookup2(table
, name
, prefix
);
3159 if (prefix
!= NULL
) xmlFree(prefix
);
3160 if (uqname
!= NULL
) xmlFree(uqname
);
3164 * xmlGetDtdElementDesc2:
3165 * @dtd: a pointer to the DtD to search
3166 * @name: the element name
3167 * @create: create an empty description if not found
3169 * Search the DTD for the description of this element
3171 * returns the xmlElementPtr if found or NULL
3174 static xmlElementPtr
3175 xmlGetDtdElementDesc2(xmlDtdPtr dtd
, const xmlChar
*name
, int create
) {
3176 xmlElementTablePtr table
;
3178 xmlChar
*uqname
= NULL
, *prefix
= NULL
;
3180 if (dtd
== NULL
) return(NULL
);
3181 if (dtd
->elements
== NULL
) {
3182 xmlDictPtr dict
= NULL
;
3184 if (dtd
->doc
!= NULL
)
3185 dict
= dtd
->doc
->dict
;
3190 * Create the Element table if needed.
3192 table
= (xmlElementTablePtr
) dtd
->elements
;
3193 if (table
== NULL
) {
3194 table
= xmlHashCreateDict(0, dict
);
3195 dtd
->elements
= (void *) table
;
3197 if (table
== NULL
) {
3198 xmlVErrMemory(NULL
, "element table allocation failed");
3202 table
= (xmlElementTablePtr
) dtd
->elements
;
3204 uqname
= xmlSplitQName2(name
, &prefix
);
3207 cur
= xmlHashLookup2(table
, name
, prefix
);
3208 if ((cur
== NULL
) && (create
)) {
3209 cur
= (xmlElementPtr
) xmlMalloc(sizeof(xmlElement
));
3211 xmlVErrMemory(NULL
, "malloc failed");
3214 memset(cur
, 0, sizeof(xmlElement
));
3215 cur
->type
= XML_ELEMENT_DECL
;
3218 * fill the structure.
3220 cur
->name
= xmlStrdup(name
);
3221 cur
->prefix
= xmlStrdup(prefix
);
3222 cur
->etype
= XML_ELEMENT_TYPE_UNDEFINED
;
3224 xmlHashAddEntry2(table
, name
, prefix
, cur
);
3226 if (prefix
!= NULL
) xmlFree(prefix
);
3227 if (uqname
!= NULL
) xmlFree(uqname
);
3232 * xmlGetDtdQElementDesc:
3233 * @dtd: a pointer to the DtD to search
3234 * @name: the element name
3235 * @prefix: the element namespace prefix
3237 * Search the DTD for the description of this element
3239 * returns the xmlElementPtr if found or NULL
3243 xmlGetDtdQElementDesc(xmlDtdPtr dtd
, const xmlChar
*name
,
3244 const xmlChar
*prefix
) {
3245 xmlElementTablePtr table
;
3247 if (dtd
== NULL
) return(NULL
);
3248 if (dtd
->elements
== NULL
) return(NULL
);
3249 table
= (xmlElementTablePtr
) dtd
->elements
;
3251 return(xmlHashLookup2(table
, name
, prefix
));
3255 * xmlGetDtdAttrDesc:
3256 * @dtd: a pointer to the DtD to search
3257 * @elem: the element name
3258 * @name: the attribute name
3260 * Search the DTD for the description of this attribute on
3263 * returns the xmlAttributePtr if found or NULL
3267 xmlGetDtdAttrDesc(xmlDtdPtr dtd
, const xmlChar
*elem
, const xmlChar
*name
) {
3268 xmlAttributeTablePtr table
;
3269 xmlAttributePtr cur
;
3270 xmlChar
*uqname
= NULL
, *prefix
= NULL
;
3272 if (dtd
== NULL
) return(NULL
);
3273 if (dtd
->attributes
== NULL
) return(NULL
);
3275 table
= (xmlAttributeTablePtr
) dtd
->attributes
;
3279 uqname
= xmlSplitQName2(name
, &prefix
);
3281 if (uqname
!= NULL
) {
3282 cur
= xmlHashLookup3(table
, uqname
, prefix
, elem
);
3283 if (prefix
!= NULL
) xmlFree(prefix
);
3284 if (uqname
!= NULL
) xmlFree(uqname
);
3286 cur
= xmlHashLookup3(table
, name
, NULL
, elem
);
3291 * xmlGetDtdQAttrDesc:
3292 * @dtd: a pointer to the DtD to search
3293 * @elem: the element name
3294 * @name: the attribute name
3295 * @prefix: the attribute namespace prefix
3297 * Search the DTD for the description of this qualified attribute on
3300 * returns the xmlAttributePtr if found or NULL
3304 xmlGetDtdQAttrDesc(xmlDtdPtr dtd
, const xmlChar
*elem
, const xmlChar
*name
,
3305 const xmlChar
*prefix
) {
3306 xmlAttributeTablePtr table
;
3308 if (dtd
== NULL
) return(NULL
);
3309 if (dtd
->attributes
== NULL
) return(NULL
);
3310 table
= (xmlAttributeTablePtr
) dtd
->attributes
;
3312 return(xmlHashLookup3(table
, name
, prefix
, elem
));
3316 * xmlGetDtdNotationDesc:
3317 * @dtd: a pointer to the DtD to search
3318 * @name: the notation name
3320 * Search the DTD for the description of this notation
3322 * returns the xmlNotationPtr if found or NULL
3326 xmlGetDtdNotationDesc(xmlDtdPtr dtd
, const xmlChar
*name
) {
3327 xmlNotationTablePtr table
;
3329 if (dtd
== NULL
) return(NULL
);
3330 if (dtd
->notations
== NULL
) return(NULL
);
3331 table
= (xmlNotationTablePtr
) dtd
->notations
;
3333 return(xmlHashLookup(table
, name
));
3336 #if defined(LIBXML_VALID_ENABLED) || defined(LIBXML_SCHEMAS_ENABLED)
3338 * xmlValidateNotationUse:
3339 * @ctxt: the validation context
3340 * @doc: the document
3341 * @notationName: the notation name to check
3343 * Validate that the given name match a notation declaration.
3344 * - [ VC: Notation Declared ]
3346 * returns 1 if valid or 0 otherwise
3350 xmlValidateNotationUse(xmlValidCtxtPtr ctxt
, xmlDocPtr doc
,
3351 const xmlChar
*notationName
) {
3352 xmlNotationPtr notaDecl
;
3353 if ((doc
== NULL
) || (doc
->intSubset
== NULL
) ||
3354 (notationName
== NULL
)) return(-1);
3356 notaDecl
= xmlGetDtdNotationDesc(doc
->intSubset
, notationName
);
3357 if ((notaDecl
== NULL
) && (doc
->extSubset
!= NULL
))
3358 notaDecl
= xmlGetDtdNotationDesc(doc
->extSubset
, notationName
);
3360 if ((notaDecl
== NULL
) && (ctxt
!= NULL
)) {
3361 xmlErrValidNode(ctxt
, (xmlNodePtr
) doc
, XML_DTD_UNKNOWN_NOTATION
,
3362 "NOTATION %s is not declared\n",
3363 notationName
, NULL
, NULL
);
3368 #endif /* LIBXML_VALID_ENABLED or LIBXML_SCHEMAS_ENABLED */
3371 * xmlIsMixedElement:
3372 * @doc: the document
3373 * @name: the element name
3375 * Search in the DtDs whether an element accept Mixed content (or ANY)
3376 * basically if it is supposed to accept text childs
3378 * returns 0 if no, 1 if yes, and -1 if no element description is available
3382 xmlIsMixedElement(xmlDocPtr doc
, const xmlChar
*name
) {
3383 xmlElementPtr elemDecl
;
3385 if ((doc
== NULL
) || (doc
->intSubset
== NULL
)) return(-1);
3387 elemDecl
= xmlGetDtdElementDesc(doc
->intSubset
, name
);
3388 if ((elemDecl
== NULL
) && (doc
->extSubset
!= NULL
))
3389 elemDecl
= xmlGetDtdElementDesc(doc
->extSubset
, name
);
3390 if (elemDecl
== NULL
) return(-1);
3391 switch (elemDecl
->etype
) {
3392 case XML_ELEMENT_TYPE_UNDEFINED
:
3394 case XML_ELEMENT_TYPE_ELEMENT
:
3396 case XML_ELEMENT_TYPE_EMPTY
:
3398 * return 1 for EMPTY since we want VC error to pop up
3399 * on <empty> </empty> for example
3401 case XML_ELEMENT_TYPE_ANY
:
3402 case XML_ELEMENT_TYPE_MIXED
:
3408 #ifdef LIBXML_VALID_ENABLED
3411 xmlIsDocNameStartChar(xmlDocPtr doc
, int c
) {
3412 if ((doc
== NULL
) || (doc
->properties
& XML_DOC_OLD10
) == 0) {
3414 * Use the new checks of production [4] [4a] amd [5] of the
3415 * Update 5 of XML-1.0
3417 if (((c
>= 'a') && (c
<= 'z')) ||
3418 ((c
>= 'A') && (c
<= 'Z')) ||
3419 (c
== '_') || (c
== ':') ||
3420 ((c
>= 0xC0) && (c
<= 0xD6)) ||
3421 ((c
>= 0xD8) && (c
<= 0xF6)) ||
3422 ((c
>= 0xF8) && (c
<= 0x2FF)) ||
3423 ((c
>= 0x370) && (c
<= 0x37D)) ||
3424 ((c
>= 0x37F) && (c
<= 0x1FFF)) ||
3425 ((c
>= 0x200C) && (c
<= 0x200D)) ||
3426 ((c
>= 0x2070) && (c
<= 0x218F)) ||
3427 ((c
>= 0x2C00) && (c
<= 0x2FEF)) ||
3428 ((c
>= 0x3001) && (c
<= 0xD7FF)) ||
3429 ((c
>= 0xF900) && (c
<= 0xFDCF)) ||
3430 ((c
>= 0xFDF0) && (c
<= 0xFFFD)) ||
3431 ((c
>= 0x10000) && (c
<= 0xEFFFF)))
3434 if (IS_LETTER(c
) || (c
== '_') || (c
== ':'))
3441 xmlIsDocNameChar(xmlDocPtr doc
, int c
) {
3442 if ((doc
== NULL
) || (doc
->properties
& XML_DOC_OLD10
) == 0) {
3444 * Use the new checks of production [4] [4a] amd [5] of the
3445 * Update 5 of XML-1.0
3447 if (((c
>= 'a') && (c
<= 'z')) ||
3448 ((c
>= 'A') && (c
<= 'Z')) ||
3449 ((c
>= '0') && (c
<= '9')) || /* !start */
3450 (c
== '_') || (c
== ':') ||
3451 (c
== '-') || (c
== '.') || (c
== 0xB7) || /* !start */
3452 ((c
>= 0xC0) && (c
<= 0xD6)) ||
3453 ((c
>= 0xD8) && (c
<= 0xF6)) ||
3454 ((c
>= 0xF8) && (c
<= 0x2FF)) ||
3455 ((c
>= 0x300) && (c
<= 0x36F)) || /* !start */
3456 ((c
>= 0x370) && (c
<= 0x37D)) ||
3457 ((c
>= 0x37F) && (c
<= 0x1FFF)) ||
3458 ((c
>= 0x200C) && (c
<= 0x200D)) ||
3459 ((c
>= 0x203F) && (c
<= 0x2040)) || /* !start */
3460 ((c
>= 0x2070) && (c
<= 0x218F)) ||
3461 ((c
>= 0x2C00) && (c
<= 0x2FEF)) ||
3462 ((c
>= 0x3001) && (c
<= 0xD7FF)) ||
3463 ((c
>= 0xF900) && (c
<= 0xFDCF)) ||
3464 ((c
>= 0xFDF0) && (c
<= 0xFFFD)) ||
3465 ((c
>= 0x10000) && (c
<= 0xEFFFF)))
3468 if ((IS_LETTER(c
)) || (IS_DIGIT(c
)) ||
3469 (c
== '.') || (c
== '-') ||
3470 (c
== '_') || (c
== ':') ||
3471 (IS_COMBINING(c
)) ||
3479 * xmlValidateNameValue:
3480 * @doc: pointer to the document or NULL
3481 * @value: an Name value
3483 * Validate that the given value match Name production
3485 * returns 1 if valid or 0 otherwise
3489 xmlValidateNameValueInternal(xmlDocPtr doc
, const xmlChar
*value
) {
3493 if (value
== NULL
) return(0);
3495 val
= xmlStringCurrentChar(NULL
, cur
, &len
);
3497 if (!xmlIsDocNameStartChar(doc
, val
))
3500 val
= xmlStringCurrentChar(NULL
, cur
, &len
);
3502 while (xmlIsDocNameChar(doc
, val
)) {
3503 val
= xmlStringCurrentChar(NULL
, cur
, &len
);
3507 if (val
!= 0) return(0);
3513 * xmlValidateNameValue:
3514 * @value: an Name value
3516 * Validate that the given value match Name production
3518 * returns 1 if valid or 0 otherwise
3522 xmlValidateNameValue(const xmlChar
*value
) {
3523 return(xmlValidateNameValueInternal(NULL
, value
));
3527 * xmlValidateNamesValueInternal:
3528 * @doc: pointer to the document or NULL
3529 * @value: an Names value
3531 * Validate that the given value match Names production
3533 * returns 1 if valid or 0 otherwise
3537 xmlValidateNamesValueInternal(xmlDocPtr doc
, const xmlChar
*value
) {
3541 if (value
== NULL
) return(0);
3543 val
= xmlStringCurrentChar(NULL
, cur
, &len
);
3546 if (!xmlIsDocNameStartChar(doc
, val
))
3549 val
= xmlStringCurrentChar(NULL
, cur
, &len
);
3551 while (xmlIsDocNameChar(doc
, val
)) {
3552 val
= xmlStringCurrentChar(NULL
, cur
, &len
);
3556 /* Should not test IS_BLANK(val) here -- see erratum E20*/
3557 while (val
== 0x20) {
3558 while (val
== 0x20) {
3559 val
= xmlStringCurrentChar(NULL
, cur
, &len
);
3563 if (!xmlIsDocNameStartChar(doc
, val
))
3566 val
= xmlStringCurrentChar(NULL
, cur
, &len
);
3569 while (xmlIsDocNameChar(doc
, val
)) {
3570 val
= xmlStringCurrentChar(NULL
, cur
, &len
);
3575 if (val
!= 0) return(0);
3581 * xmlValidateNamesValue:
3582 * @value: an Names value
3584 * Validate that the given value match Names production
3586 * returns 1 if valid or 0 otherwise
3590 xmlValidateNamesValue(const xmlChar
*value
) {
3591 return(xmlValidateNamesValueInternal(NULL
, value
));
3595 * xmlValidateNmtokenValueInternal:
3596 * @doc: pointer to the document or NULL
3597 * @value: an Nmtoken value
3599 * Validate that the given value match Nmtoken production
3601 * [ VC: Name Token ]
3603 * returns 1 if valid or 0 otherwise
3607 xmlValidateNmtokenValueInternal(xmlDocPtr doc
, const xmlChar
*value
) {
3611 if (value
== NULL
) return(0);
3613 val
= xmlStringCurrentChar(NULL
, cur
, &len
);
3616 if (!xmlIsDocNameChar(doc
, val
))
3619 val
= xmlStringCurrentChar(NULL
, cur
, &len
);
3621 while (xmlIsDocNameChar(doc
, val
)) {
3622 val
= xmlStringCurrentChar(NULL
, cur
, &len
);
3626 if (val
!= 0) return(0);
3632 * xmlValidateNmtokenValue:
3633 * @value: an Nmtoken value
3635 * Validate that the given value match Nmtoken production
3637 * [ VC: Name Token ]
3639 * returns 1 if valid or 0 otherwise
3643 xmlValidateNmtokenValue(const xmlChar
*value
) {
3644 return(xmlValidateNmtokenValueInternal(NULL
, value
));
3648 * xmlValidateNmtokensValueInternal:
3649 * @doc: pointer to the document or NULL
3650 * @value: an Nmtokens value
3652 * Validate that the given value match Nmtokens production
3654 * [ VC: Name Token ]
3656 * returns 1 if valid or 0 otherwise
3660 xmlValidateNmtokensValueInternal(xmlDocPtr doc
, const xmlChar
*value
) {
3664 if (value
== NULL
) return(0);
3666 val
= xmlStringCurrentChar(NULL
, cur
, &len
);
3669 while (IS_BLANK(val
)) {
3670 val
= xmlStringCurrentChar(NULL
, cur
, &len
);
3674 if (!xmlIsDocNameChar(doc
, val
))
3677 while (xmlIsDocNameChar(doc
, val
)) {
3678 val
= xmlStringCurrentChar(NULL
, cur
, &len
);
3682 /* Should not test IS_BLANK(val) here -- see erratum E20*/
3683 while (val
== 0x20) {
3684 while (val
== 0x20) {
3685 val
= xmlStringCurrentChar(NULL
, cur
, &len
);
3688 if (val
== 0) return(1);
3690 if (!xmlIsDocNameChar(doc
, val
))
3693 val
= xmlStringCurrentChar(NULL
, cur
, &len
);
3696 while (xmlIsDocNameChar(doc
, val
)) {
3697 val
= xmlStringCurrentChar(NULL
, cur
, &len
);
3702 if (val
!= 0) return(0);
3708 * xmlValidateNmtokensValue:
3709 * @value: an Nmtokens value
3711 * Validate that the given value match Nmtokens production
3713 * [ VC: Name Token ]
3715 * returns 1 if valid or 0 otherwise
3719 xmlValidateNmtokensValue(const xmlChar
*value
) {
3720 return(xmlValidateNmtokensValueInternal(NULL
, value
));
3724 * xmlValidateNotationDecl:
3725 * @ctxt: the validation context
3726 * @doc: a document instance
3727 * @nota: a notation definition
3729 * Try to validate a single notation definition
3730 * basically it does the following checks as described by the
3731 * XML-1.0 recommendation:
3732 * - it seems that no validity constraint exists on notation declarations
3733 * But this function get called anyway ...
3735 * returns 1 if valid or 0 otherwise
3739 xmlValidateNotationDecl(xmlValidCtxtPtr ctxt ATTRIBUTE_UNUSED
, xmlDocPtr doc ATTRIBUTE_UNUSED
,
3740 xmlNotationPtr nota ATTRIBUTE_UNUSED
) {
3747 * xmlValidateAttributeValueInternal:
3748 * @doc: the document
3749 * @type: an attribute type
3750 * @value: an attribute value
3752 * Validate that the given attribute value match the proper production
3754 * returns 1 if valid or 0 otherwise
3758 xmlValidateAttributeValueInternal(xmlDocPtr doc
, xmlAttributeType type
,
3759 const xmlChar
*value
) {
3761 case XML_ATTRIBUTE_ENTITIES
:
3762 case XML_ATTRIBUTE_IDREFS
:
3763 return(xmlValidateNamesValueInternal(doc
, value
));
3764 case XML_ATTRIBUTE_ENTITY
:
3765 case XML_ATTRIBUTE_IDREF
:
3766 case XML_ATTRIBUTE_ID
:
3767 case XML_ATTRIBUTE_NOTATION
:
3768 return(xmlValidateNameValueInternal(doc
, value
));
3769 case XML_ATTRIBUTE_NMTOKENS
:
3770 case XML_ATTRIBUTE_ENUMERATION
:
3771 return(xmlValidateNmtokensValueInternal(doc
, value
));
3772 case XML_ATTRIBUTE_NMTOKEN
:
3773 return(xmlValidateNmtokenValueInternal(doc
, value
));
3774 case XML_ATTRIBUTE_CDATA
:
3781 * xmlValidateAttributeValue:
3782 * @type: an attribute type
3783 * @value: an attribute value
3785 * Validate that the given attribute value match the proper production
3788 * Values of type ID must match the Name production....
3791 * Values of type IDREF must match the Name production, and values
3792 * of type IDREFS must match Names ...
3794 * [ VC: Entity Name ]
3795 * Values of type ENTITY must match the Name production, values
3796 * of type ENTITIES must match Names ...
3798 * [ VC: Name Token ]
3799 * Values of type NMTOKEN must match the Nmtoken production; values
3800 * of type NMTOKENS must match Nmtokens.
3802 * returns 1 if valid or 0 otherwise
3805 xmlValidateAttributeValue(xmlAttributeType type
, const xmlChar
*value
) {
3806 return(xmlValidateAttributeValueInternal(NULL
, type
, value
));
3810 * xmlValidateAttributeValue2:
3811 * @ctxt: the validation context
3812 * @doc: the document
3813 * @name: the attribute name (used for error reporting only)
3814 * @type: the attribute type
3815 * @value: the attribute value
3817 * Validate that the given attribute value match a given type.
3818 * This typically cannot be done before having finished parsing
3822 * Values of type IDREF must match one of the declared IDs
3823 * Values of type IDREFS must match a sequence of the declared IDs
3824 * each Name must match the value of an ID attribute on some element
3825 * in the XML document; i.e. IDREF values must match the value of
3828 * [ VC: Entity Name ]
3829 * Values of type ENTITY must match one declared entity
3830 * Values of type ENTITIES must match a sequence of declared entities
3832 * [ VC: Notation Attributes ]
3833 * all notation names in the declaration must be declared.
3835 * returns 1 if valid or 0 otherwise
3839 xmlValidateAttributeValue2(xmlValidCtxtPtr ctxt
, xmlDocPtr doc
,
3840 const xmlChar
*name
, xmlAttributeType type
, const xmlChar
*value
) {
3843 case XML_ATTRIBUTE_IDREFS
:
3844 case XML_ATTRIBUTE_IDREF
:
3845 case XML_ATTRIBUTE_ID
:
3846 case XML_ATTRIBUTE_NMTOKENS
:
3847 case XML_ATTRIBUTE_ENUMERATION
:
3848 case XML_ATTRIBUTE_NMTOKEN
:
3849 case XML_ATTRIBUTE_CDATA
:
3851 case XML_ATTRIBUTE_ENTITY
: {
3854 ent
= xmlGetDocEntity(doc
, value
);
3855 /* yeah it's a bit messy... */
3856 if ((ent
== NULL
) && (doc
->standalone
== 1)) {
3857 doc
->standalone
= 0;
3858 ent
= xmlGetDocEntity(doc
, value
);
3861 xmlErrValidNode(ctxt
, (xmlNodePtr
) doc
,
3862 XML_DTD_UNKNOWN_ENTITY
,
3863 "ENTITY attribute %s reference an unknown entity \"%s\"\n",
3866 } else if (ent
->etype
!= XML_EXTERNAL_GENERAL_UNPARSED_ENTITY
) {
3867 xmlErrValidNode(ctxt
, (xmlNodePtr
) doc
,
3868 XML_DTD_ENTITY_TYPE
,
3869 "ENTITY attribute %s reference an entity \"%s\" of wrong type\n",
3875 case XML_ATTRIBUTE_ENTITIES
: {
3876 xmlChar
*dup
, *nam
= NULL
, *cur
, save
;
3879 dup
= xmlStrdup(value
);
3885 while ((*cur
!= 0) && (!IS_BLANK_CH(*cur
))) cur
++;
3888 ent
= xmlGetDocEntity(doc
, nam
);
3890 xmlErrValidNode(ctxt
, (xmlNodePtr
) doc
,
3891 XML_DTD_UNKNOWN_ENTITY
,
3892 "ENTITIES attribute %s reference an unknown entity \"%s\"\n",
3895 } else if (ent
->etype
!= XML_EXTERNAL_GENERAL_UNPARSED_ENTITY
) {
3896 xmlErrValidNode(ctxt
, (xmlNodePtr
) doc
,
3897 XML_DTD_ENTITY_TYPE
,
3898 "ENTITIES attribute %s reference an entity \"%s\" of wrong type\n",
3905 while (IS_BLANK_CH(*cur
)) cur
++;
3910 case XML_ATTRIBUTE_NOTATION
: {
3911 xmlNotationPtr nota
;
3913 nota
= xmlGetDtdNotationDesc(doc
->intSubset
, value
);
3914 if ((nota
== NULL
) && (doc
->extSubset
!= NULL
))
3915 nota
= xmlGetDtdNotationDesc(doc
->extSubset
, value
);
3918 xmlErrValidNode(ctxt
, (xmlNodePtr
) doc
,
3919 XML_DTD_UNKNOWN_NOTATION
,
3920 "NOTATION attribute %s reference an unknown notation \"%s\"\n",
3931 * xmlValidCtxtNormalizeAttributeValue:
3932 * @ctxt: the validation context
3933 * @doc: the document
3935 * @name: the attribute name
3936 * @value: the attribute value
3937 * @ctxt: the validation context or NULL
3939 * Does the validation related extra step of the normalization of attribute
3942 * If the declared value is not CDATA, then the XML processor must further
3943 * process the normalized attribute value by discarding any leading and
3944 * trailing space (#x20) characters, and by replacing sequences of space
3945 * (#x20) characters by single space (#x20) character.
3947 * Also check VC: Standalone Document Declaration in P32, and update
3948 * ctxt->valid accordingly
3950 * returns a new normalized string if normalization is needed, NULL otherwise
3951 * the caller must free the returned value.
3955 xmlValidCtxtNormalizeAttributeValue(xmlValidCtxtPtr ctxt
, xmlDocPtr doc
,
3956 xmlNodePtr elem
, const xmlChar
*name
, const xmlChar
*value
) {
3959 xmlAttributePtr attrDecl
= NULL
;
3962 if (doc
== NULL
) return(NULL
);
3963 if (elem
== NULL
) return(NULL
);
3964 if (name
== NULL
) return(NULL
);
3965 if (value
== NULL
) return(NULL
);
3967 if ((elem
->ns
!= NULL
) && (elem
->ns
->prefix
!= NULL
)) {
3971 fullname
= xmlBuildQName(elem
->name
, elem
->ns
->prefix
, fn
, 50);
3972 if (fullname
== NULL
)
3974 attrDecl
= xmlGetDtdAttrDesc(doc
->intSubset
, fullname
, name
);
3975 if ((attrDecl
== NULL
) && (doc
->extSubset
!= NULL
)) {
3976 attrDecl
= xmlGetDtdAttrDesc(doc
->extSubset
, fullname
, name
);
3977 if (attrDecl
!= NULL
)
3980 if ((fullname
!= fn
) && (fullname
!= elem
->name
))
3983 if ((attrDecl
== NULL
) && (doc
->intSubset
!= NULL
))
3984 attrDecl
= xmlGetDtdAttrDesc(doc
->intSubset
, elem
->name
, name
);
3985 if ((attrDecl
== NULL
) && (doc
->extSubset
!= NULL
)) {
3986 attrDecl
= xmlGetDtdAttrDesc(doc
->extSubset
, elem
->name
, name
);
3987 if (attrDecl
!= NULL
)
3991 if (attrDecl
== NULL
)
3993 if (attrDecl
->atype
== XML_ATTRIBUTE_CDATA
)
3996 ret
= xmlStrdup(value
);
4001 while (*src
== 0x20) src
++;
4004 while (*src
== 0x20) src
++;
4012 if ((doc
->standalone
) && (extsubset
== 1) && (!xmlStrEqual(value
, ret
))) {
4013 xmlErrValidNode(ctxt
, elem
, XML_DTD_NOT_STANDALONE
,
4014 "standalone: %s on %s value had to be normalized based on external subset declaration\n",
4015 name
, elem
->name
, NULL
);
4022 * xmlValidNormalizeAttributeValue:
4023 * @doc: the document
4025 * @name: the attribute name
4026 * @value: the attribute value
4028 * Does the validation related extra step of the normalization of attribute
4031 * If the declared value is not CDATA, then the XML processor must further
4032 * process the normalized attribute value by discarding any leading and
4033 * trailing space (#x20) characters, and by replacing sequences of space
4034 * (#x20) characters by single space (#x20) character.
4036 * Returns a new normalized string if normalization is needed, NULL otherwise
4037 * the caller must free the returned value.
4041 xmlValidNormalizeAttributeValue(xmlDocPtr doc
, xmlNodePtr elem
,
4042 const xmlChar
*name
, const xmlChar
*value
) {
4045 xmlAttributePtr attrDecl
= NULL
;
4047 if (doc
== NULL
) return(NULL
);
4048 if (elem
== NULL
) return(NULL
);
4049 if (name
== NULL
) return(NULL
);
4050 if (value
== NULL
) return(NULL
);
4052 if ((elem
->ns
!= NULL
) && (elem
->ns
->prefix
!= NULL
)) {
4056 fullname
= xmlBuildQName(elem
->name
, elem
->ns
->prefix
, fn
, 50);
4057 if (fullname
== NULL
)
4059 if ((fullname
!= fn
) && (fullname
!= elem
->name
))
4062 attrDecl
= xmlGetDtdAttrDesc(doc
->intSubset
, elem
->name
, name
);
4063 if ((attrDecl
== NULL
) && (doc
->extSubset
!= NULL
))
4064 attrDecl
= xmlGetDtdAttrDesc(doc
->extSubset
, elem
->name
, name
);
4066 if (attrDecl
== NULL
)
4068 if (attrDecl
->atype
== XML_ATTRIBUTE_CDATA
)
4071 ret
= xmlStrdup(value
);
4076 while (*src
== 0x20) src
++;
4079 while (*src
== 0x20) src
++;
4091 xmlValidateAttributeIdCallback(xmlAttributePtr attr
, int *count
,
4092 const xmlChar
* name ATTRIBUTE_UNUSED
) {
4093 if (attr
->atype
== XML_ATTRIBUTE_ID
) (*count
)++;
4097 * xmlValidateAttributeDecl:
4098 * @ctxt: the validation context
4099 * @doc: a document instance
4100 * @attr: an attribute definition
4102 * Try to validate a single attribute definition
4103 * basically it does the following checks as described by the
4104 * XML-1.0 recommendation:
4105 * - [ VC: Attribute Default Legal ]
4106 * - [ VC: Enumeration ]
4107 * - [ VC: ID Attribute Default ]
4109 * The ID/IDREF uniqueness and matching are done separately
4111 * returns 1 if valid or 0 otherwise
4115 xmlValidateAttributeDecl(xmlValidCtxtPtr ctxt
, xmlDocPtr doc
,
4116 xmlAttributePtr attr
) {
4120 if(attr
== NULL
) return(1);
4122 /* Attribute Default Legal */
4124 if (attr
->defaultValue
!= NULL
) {
4125 val
= xmlValidateAttributeValueInternal(doc
, attr
->atype
,
4126 attr
->defaultValue
);
4128 xmlErrValidNode(ctxt
, (xmlNodePtr
) attr
, XML_DTD_ATTRIBUTE_DEFAULT
,
4129 "Syntax of default value for attribute %s of %s is not valid\n",
4130 attr
->name
, attr
->elem
, NULL
);
4135 /* ID Attribute Default */
4136 if ((attr
->atype
== XML_ATTRIBUTE_ID
)&&
4137 (attr
->def
!= XML_ATTRIBUTE_IMPLIED
) &&
4138 (attr
->def
!= XML_ATTRIBUTE_REQUIRED
)) {
4139 xmlErrValidNode(ctxt
, (xmlNodePtr
) attr
, XML_DTD_ID_FIXED
,
4140 "ID attribute %s of %s is not valid must be #IMPLIED or #REQUIRED\n",
4141 attr
->name
, attr
->elem
, NULL
);
4145 /* One ID per Element Type */
4146 if (attr
->atype
== XML_ATTRIBUTE_ID
) {
4149 /* the trick is that we parse DtD as their own internal subset */
4150 xmlElementPtr elem
= xmlGetDtdElementDesc(doc
->intSubset
,
4153 nbId
= xmlScanIDAttributeDecl(NULL
, elem
, 0);
4155 xmlAttributeTablePtr table
;
4158 * The attribute may be declared in the internal subset and the
4159 * element in the external subset.
4162 if (doc
->intSubset
!= NULL
) {
4163 table
= (xmlAttributeTablePtr
) doc
->intSubset
->attributes
;
4164 xmlHashScan3(table
, NULL
, NULL
, attr
->elem
, (xmlHashScanner
)
4165 xmlValidateAttributeIdCallback
, &nbId
);
4170 xmlErrValidNodeNr(ctxt
, (xmlNodePtr
) attr
, XML_DTD_ID_SUBSET
,
4171 "Element %s has %d ID attribute defined in the internal subset : %s\n",
4172 attr
->elem
, nbId
, attr
->name
);
4173 } else if (doc
->extSubset
!= NULL
) {
4175 elem
= xmlGetDtdElementDesc(doc
->extSubset
, attr
->elem
);
4177 extId
= xmlScanIDAttributeDecl(NULL
, elem
, 0);
4180 xmlErrValidNodeNr(ctxt
, (xmlNodePtr
) attr
, XML_DTD_ID_SUBSET
,
4181 "Element %s has %d ID attribute defined in the external subset : %s\n",
4182 attr
->elem
, extId
, attr
->name
);
4183 } else if (extId
+ nbId
> 1) {
4184 xmlErrValidNode(ctxt
, (xmlNodePtr
) attr
, XML_DTD_ID_SUBSET
,
4185 "Element %s has ID attributes defined in the internal and external subset : %s\n",
4186 attr
->elem
, attr
->name
, NULL
);
4191 /* Validity Constraint: Enumeration */
4192 if ((attr
->defaultValue
!= NULL
) && (attr
->tree
!= NULL
)) {
4193 xmlEnumerationPtr tree
= attr
->tree
;
4194 while (tree
!= NULL
) {
4195 if (xmlStrEqual(tree
->name
, attr
->defaultValue
)) break;
4199 xmlErrValidNode(ctxt
, (xmlNodePtr
) attr
, XML_DTD_ATTRIBUTE_VALUE
,
4200 "Default value \"%s\" for attribute %s of %s is not among the enumerated set\n",
4201 attr
->defaultValue
, attr
->name
, attr
->elem
);
4210 * xmlValidateElementDecl:
4211 * @ctxt: the validation context
4212 * @doc: a document instance
4213 * @elem: an element definition
4215 * Try to validate a single element definition
4216 * basically it does the following checks as described by the
4217 * XML-1.0 recommendation:
4218 * - [ VC: One ID per Element Type ]
4219 * - [ VC: No Duplicate Types ]
4220 * - [ VC: Unique Element Type Declaration ]
4222 * returns 1 if valid or 0 otherwise
4226 xmlValidateElementDecl(xmlValidCtxtPtr ctxt
, xmlDocPtr doc
,
4227 xmlElementPtr elem
) {
4233 if (elem
== NULL
) return(1);
4236 #ifdef LIBXML_REGEXP_ENABLED
4237 /* Build the regexp associated to the content model */
4238 ret
= xmlValidBuildContentModel(ctxt
, elem
);
4242 /* No Duplicate Types */
4243 if (elem
->etype
== XML_ELEMENT_TYPE_MIXED
) {
4244 xmlElementContentPtr cur
, next
;
4245 const xmlChar
*name
;
4247 cur
= elem
->content
;
4248 while (cur
!= NULL
) {
4249 if (cur
->type
!= XML_ELEMENT_CONTENT_OR
) break;
4250 if (cur
->c1
== NULL
) break;
4251 if (cur
->c1
->type
== XML_ELEMENT_CONTENT_ELEMENT
) {
4252 name
= cur
->c1
->name
;
4254 while (next
!= NULL
) {
4255 if (next
->type
== XML_ELEMENT_CONTENT_ELEMENT
) {
4256 if ((xmlStrEqual(next
->name
, name
)) &&
4257 (xmlStrEqual(next
->prefix
, cur
->c1
->prefix
))) {
4258 if (cur
->c1
->prefix
== NULL
) {
4259 xmlErrValidNode(ctxt
, (xmlNodePtr
) elem
, XML_DTD_CONTENT_ERROR
,
4260 "Definition of %s has duplicate references of %s\n",
4261 elem
->name
, name
, NULL
);
4263 xmlErrValidNode(ctxt
, (xmlNodePtr
) elem
, XML_DTD_CONTENT_ERROR
,
4264 "Definition of %s has duplicate references of %s:%s\n",
4265 elem
->name
, cur
->c1
->prefix
, name
);
4271 if (next
->c1
== NULL
) break;
4272 if (next
->c1
->type
!= XML_ELEMENT_CONTENT_ELEMENT
) break;
4273 if ((xmlStrEqual(next
->c1
->name
, name
)) &&
4274 (xmlStrEqual(next
->c1
->prefix
, cur
->c1
->prefix
))) {
4275 if (cur
->c1
->prefix
== NULL
) {
4276 xmlErrValidNode(ctxt
, (xmlNodePtr
) elem
, XML_DTD_CONTENT_ERROR
,
4277 "Definition of %s has duplicate references to %s\n",
4278 elem
->name
, name
, NULL
);
4280 xmlErrValidNode(ctxt
, (xmlNodePtr
) elem
, XML_DTD_CONTENT_ERROR
,
4281 "Definition of %s has duplicate references to %s:%s\n",
4282 elem
->name
, cur
->c1
->prefix
, name
);
4293 /* VC: Unique Element Type Declaration */
4294 tst
= xmlGetDtdElementDesc(doc
->intSubset
, elem
->name
);
4295 if ((tst
!= NULL
) && (tst
!= elem
) &&
4296 ((tst
->prefix
== elem
->prefix
) ||
4297 (xmlStrEqual(tst
->prefix
, elem
->prefix
))) &&
4298 (tst
->etype
!= XML_ELEMENT_TYPE_UNDEFINED
)) {
4299 xmlErrValidNode(ctxt
, (xmlNodePtr
) elem
, XML_DTD_ELEM_REDEFINED
,
4300 "Redefinition of element %s\n",
4301 elem
->name
, NULL
, NULL
);
4304 tst
= xmlGetDtdElementDesc(doc
->extSubset
, elem
->name
);
4305 if ((tst
!= NULL
) && (tst
!= elem
) &&
4306 ((tst
->prefix
== elem
->prefix
) ||
4307 (xmlStrEqual(tst
->prefix
, elem
->prefix
))) &&
4308 (tst
->etype
!= XML_ELEMENT_TYPE_UNDEFINED
)) {
4309 xmlErrValidNode(ctxt
, (xmlNodePtr
) elem
, XML_DTD_ELEM_REDEFINED
,
4310 "Redefinition of element %s\n",
4311 elem
->name
, NULL
, NULL
);
4314 /* One ID per Element Type
4315 * already done when registering the attribute
4316 if (xmlScanIDAttributeDecl(ctxt, elem) > 1) {
4323 * xmlValidateOneAttribute:
4324 * @ctxt: the validation context
4325 * @doc: a document instance
4326 * @elem: an element instance
4327 * @attr: an attribute instance
4328 * @value: the attribute value (without entities processing)
4330 * Try to validate a single attribute for an element
4331 * basically it does the following checks as described by the
4332 * XML-1.0 recommendation:
4333 * - [ VC: Attribute Value Type ]
4334 * - [ VC: Fixed Attribute Default ]
4335 * - [ VC: Entity Name ]
4336 * - [ VC: Name Token ]
4339 * - [ VC: Entity Name ]
4340 * - [ VC: Notation Attributes ]
4342 * The ID/IDREF uniqueness and matching are done separately
4344 * returns 1 if valid or 0 otherwise
4348 xmlValidateOneAttribute(xmlValidCtxtPtr ctxt
, xmlDocPtr doc
,
4349 xmlNodePtr elem
, xmlAttrPtr attr
, const xmlChar
*value
)
4351 xmlAttributePtr attrDecl
= NULL
;
4356 if ((elem
== NULL
) || (elem
->name
== NULL
)) return(0);
4357 if ((attr
== NULL
) || (attr
->name
== NULL
)) return(0);
4359 if ((elem
->ns
!= NULL
) && (elem
->ns
->prefix
!= NULL
)) {
4363 fullname
= xmlBuildQName(elem
->name
, elem
->ns
->prefix
, fn
, 50);
4364 if (fullname
== NULL
)
4366 if (attr
->ns
!= NULL
) {
4367 attrDecl
= xmlGetDtdQAttrDesc(doc
->intSubset
, fullname
,
4368 attr
->name
, attr
->ns
->prefix
);
4369 if ((attrDecl
== NULL
) && (doc
->extSubset
!= NULL
))
4370 attrDecl
= xmlGetDtdQAttrDesc(doc
->extSubset
, fullname
,
4371 attr
->name
, attr
->ns
->prefix
);
4373 attrDecl
= xmlGetDtdAttrDesc(doc
->intSubset
, fullname
, attr
->name
);
4374 if ((attrDecl
== NULL
) && (doc
->extSubset
!= NULL
))
4375 attrDecl
= xmlGetDtdAttrDesc(doc
->extSubset
,
4376 fullname
, attr
->name
);
4378 if ((fullname
!= fn
) && (fullname
!= elem
->name
))
4381 if (attrDecl
== NULL
) {
4382 if (attr
->ns
!= NULL
) {
4383 attrDecl
= xmlGetDtdQAttrDesc(doc
->intSubset
, elem
->name
,
4384 attr
->name
, attr
->ns
->prefix
);
4385 if ((attrDecl
== NULL
) && (doc
->extSubset
!= NULL
))
4386 attrDecl
= xmlGetDtdQAttrDesc(doc
->extSubset
, elem
->name
,
4387 attr
->name
, attr
->ns
->prefix
);
4389 attrDecl
= xmlGetDtdAttrDesc(doc
->intSubset
,
4390 elem
->name
, attr
->name
);
4391 if ((attrDecl
== NULL
) && (doc
->extSubset
!= NULL
))
4392 attrDecl
= xmlGetDtdAttrDesc(doc
->extSubset
,
4393 elem
->name
, attr
->name
);
4398 /* Validity Constraint: Attribute Value Type */
4399 if (attrDecl
== NULL
) {
4400 xmlErrValidNode(ctxt
, elem
, XML_DTD_UNKNOWN_ATTRIBUTE
,
4401 "No declaration for attribute %s of element %s\n",
4402 attr
->name
, elem
->name
, NULL
);
4405 attr
->atype
= attrDecl
->atype
;
4407 val
= xmlValidateAttributeValueInternal(doc
, attrDecl
->atype
, value
);
4409 xmlErrValidNode(ctxt
, elem
, XML_DTD_ATTRIBUTE_VALUE
,
4410 "Syntax of value for attribute %s of %s is not valid\n",
4411 attr
->name
, elem
->name
, NULL
);
4415 /* Validity constraint: Fixed Attribute Default */
4416 if (attrDecl
->def
== XML_ATTRIBUTE_FIXED
) {
4417 if (!xmlStrEqual(value
, attrDecl
->defaultValue
)) {
4418 xmlErrValidNode(ctxt
, elem
, XML_DTD_ATTRIBUTE_DEFAULT
,
4419 "Value for attribute %s of %s is different from default \"%s\"\n",
4420 attr
->name
, elem
->name
, attrDecl
->defaultValue
);
4425 /* Validity Constraint: ID uniqueness */
4426 if (attrDecl
->atype
== XML_ATTRIBUTE_ID
) {
4427 if (xmlAddID(ctxt
, doc
, value
, attr
) == NULL
)
4431 if ((attrDecl
->atype
== XML_ATTRIBUTE_IDREF
) ||
4432 (attrDecl
->atype
== XML_ATTRIBUTE_IDREFS
)) {
4433 if (xmlAddRef(ctxt
, doc
, value
, attr
) == NULL
)
4437 /* Validity Constraint: Notation Attributes */
4438 if (attrDecl
->atype
== XML_ATTRIBUTE_NOTATION
) {
4439 xmlEnumerationPtr tree
= attrDecl
->tree
;
4440 xmlNotationPtr nota
;
4442 /* First check that the given NOTATION was declared */
4443 nota
= xmlGetDtdNotationDesc(doc
->intSubset
, value
);
4445 nota
= xmlGetDtdNotationDesc(doc
->extSubset
, value
);
4448 xmlErrValidNode(ctxt
, elem
, XML_DTD_UNKNOWN_NOTATION
,
4449 "Value \"%s\" for attribute %s of %s is not a declared Notation\n",
4450 value
, attr
->name
, elem
->name
);
4454 /* Second, verify that it's among the list */
4455 while (tree
!= NULL
) {
4456 if (xmlStrEqual(tree
->name
, value
)) break;
4460 xmlErrValidNode(ctxt
, elem
, XML_DTD_NOTATION_VALUE
,
4461 "Value \"%s\" for attribute %s of %s is not among the enumerated notations\n",
4462 value
, attr
->name
, elem
->name
);
4467 /* Validity Constraint: Enumeration */
4468 if (attrDecl
->atype
== XML_ATTRIBUTE_ENUMERATION
) {
4469 xmlEnumerationPtr tree
= attrDecl
->tree
;
4470 while (tree
!= NULL
) {
4471 if (xmlStrEqual(tree
->name
, value
)) break;
4475 xmlErrValidNode(ctxt
, elem
, XML_DTD_ATTRIBUTE_VALUE
,
4476 "Value \"%s\" for attribute %s of %s is not among the enumerated set\n",
4477 value
, attr
->name
, elem
->name
);
4482 /* Fixed Attribute Default */
4483 if ((attrDecl
->def
== XML_ATTRIBUTE_FIXED
) &&
4484 (!xmlStrEqual(attrDecl
->defaultValue
, value
))) {
4485 xmlErrValidNode(ctxt
, elem
, XML_DTD_ATTRIBUTE_VALUE
,
4486 "Value for attribute %s of %s must be \"%s\"\n",
4487 attr
->name
, elem
->name
, attrDecl
->defaultValue
);
4491 /* Extra check for the attribute value */
4492 ret
&= xmlValidateAttributeValue2(ctxt
, doc
, attr
->name
,
4493 attrDecl
->atype
, value
);
4499 * xmlValidateOneNamespace:
4500 * @ctxt: the validation context
4501 * @doc: a document instance
4502 * @elem: an element instance
4503 * @prefix: the namespace prefix
4504 * @ns: an namespace declaration instance
4505 * @value: the attribute value (without entities processing)
4507 * Try to validate a single namespace declaration for an element
4508 * basically it does the following checks as described by the
4509 * XML-1.0 recommendation:
4510 * - [ VC: Attribute Value Type ]
4511 * - [ VC: Fixed Attribute Default ]
4512 * - [ VC: Entity Name ]
4513 * - [ VC: Name Token ]
4516 * - [ VC: Entity Name ]
4517 * - [ VC: Notation Attributes ]
4519 * The ID/IDREF uniqueness and matching are done separately
4521 * returns 1 if valid or 0 otherwise
4525 xmlValidateOneNamespace(xmlValidCtxtPtr ctxt
, xmlDocPtr doc
,
4526 xmlNodePtr elem
, const xmlChar
*prefix
, xmlNsPtr ns
, const xmlChar
*value
) {
4527 /* xmlElementPtr elemDecl; */
4528 xmlAttributePtr attrDecl
= NULL
;
4533 if ((elem
== NULL
) || (elem
->name
== NULL
)) return(0);
4534 if ((ns
== NULL
) || (ns
->href
== NULL
)) return(0);
4536 if (prefix
!= NULL
) {
4540 fullname
= xmlBuildQName(elem
->name
, prefix
, fn
, 50);
4541 if (fullname
== NULL
) {
4542 xmlVErrMemory(ctxt
, "Validating namespace");
4545 if (ns
->prefix
!= NULL
) {
4546 attrDecl
= xmlGetDtdQAttrDesc(doc
->intSubset
, fullname
,
4547 ns
->prefix
, BAD_CAST
"xmlns");
4548 if ((attrDecl
== NULL
) && (doc
->extSubset
!= NULL
))
4549 attrDecl
= xmlGetDtdQAttrDesc(doc
->extSubset
, fullname
,
4550 ns
->prefix
, BAD_CAST
"xmlns");
4552 attrDecl
= xmlGetDtdAttrDesc(doc
->intSubset
, fullname
,
4554 if ((attrDecl
== NULL
) && (doc
->extSubset
!= NULL
))
4555 attrDecl
= xmlGetDtdAttrDesc(doc
->extSubset
, fullname
,
4558 if ((fullname
!= fn
) && (fullname
!= elem
->name
))
4561 if (attrDecl
== NULL
) {
4562 if (ns
->prefix
!= NULL
) {
4563 attrDecl
= xmlGetDtdQAttrDesc(doc
->intSubset
, elem
->name
,
4564 ns
->prefix
, BAD_CAST
"xmlns");
4565 if ((attrDecl
== NULL
) && (doc
->extSubset
!= NULL
))
4566 attrDecl
= xmlGetDtdQAttrDesc(doc
->extSubset
, elem
->name
,
4567 ns
->prefix
, BAD_CAST
"xmlns");
4569 attrDecl
= xmlGetDtdAttrDesc(doc
->intSubset
,
4570 elem
->name
, BAD_CAST
"xmlns");
4571 if ((attrDecl
== NULL
) && (doc
->extSubset
!= NULL
))
4572 attrDecl
= xmlGetDtdAttrDesc(doc
->extSubset
,
4573 elem
->name
, BAD_CAST
"xmlns");
4578 /* Validity Constraint: Attribute Value Type */
4579 if (attrDecl
== NULL
) {
4580 if (ns
->prefix
!= NULL
) {
4581 xmlErrValidNode(ctxt
, elem
, XML_DTD_UNKNOWN_ATTRIBUTE
,
4582 "No declaration for attribute xmlns:%s of element %s\n",
4583 ns
->prefix
, elem
->name
, NULL
);
4585 xmlErrValidNode(ctxt
, elem
, XML_DTD_UNKNOWN_ATTRIBUTE
,
4586 "No declaration for attribute xmlns of element %s\n",
4587 elem
->name
, NULL
, NULL
);
4592 val
= xmlValidateAttributeValueInternal(doc
, attrDecl
->atype
, value
);
4594 if (ns
->prefix
!= NULL
) {
4595 xmlErrValidNode(ctxt
, elem
, XML_DTD_INVALID_DEFAULT
,
4596 "Syntax of value for attribute xmlns:%s of %s is not valid\n",
4597 ns
->prefix
, elem
->name
, NULL
);
4599 xmlErrValidNode(ctxt
, elem
, XML_DTD_INVALID_DEFAULT
,
4600 "Syntax of value for attribute xmlns of %s is not valid\n",
4601 elem
->name
, NULL
, NULL
);
4606 /* Validity constraint: Fixed Attribute Default */
4607 if (attrDecl
->def
== XML_ATTRIBUTE_FIXED
) {
4608 if (!xmlStrEqual(value
, attrDecl
->defaultValue
)) {
4609 if (ns
->prefix
!= NULL
) {
4610 xmlErrValidNode(ctxt
, elem
, XML_DTD_ATTRIBUTE_DEFAULT
,
4611 "Value for attribute xmlns:%s of %s is different from default \"%s\"\n",
4612 ns
->prefix
, elem
->name
, attrDecl
->defaultValue
);
4614 xmlErrValidNode(ctxt
, elem
, XML_DTD_ATTRIBUTE_DEFAULT
,
4615 "Value for attribute xmlns of %s is different from default \"%s\"\n",
4616 elem
->name
, attrDecl
->defaultValue
, NULL
);
4622 /* Validity Constraint: ID uniqueness */
4623 if (attrDecl
->atype
== XML_ATTRIBUTE_ID
) {
4624 if (xmlAddID(ctxt
, doc
, value
, (xmlAttrPtr
) ns
) == NULL
)
4628 if ((attrDecl
->atype
== XML_ATTRIBUTE_IDREF
) ||
4629 (attrDecl
->atype
== XML_ATTRIBUTE_IDREFS
)) {
4630 if (xmlAddRef(ctxt
, doc
, value
, (xmlAttrPtr
) ns
) == NULL
)
4634 /* Validity Constraint: Notation Attributes */
4635 if (attrDecl
->atype
== XML_ATTRIBUTE_NOTATION
) {
4636 xmlEnumerationPtr tree
= attrDecl
->tree
;
4637 xmlNotationPtr nota
;
4639 /* First check that the given NOTATION was declared */
4640 nota
= xmlGetDtdNotationDesc(doc
->intSubset
, value
);
4642 nota
= xmlGetDtdNotationDesc(doc
->extSubset
, value
);
4645 if (ns
->prefix
!= NULL
) {
4646 xmlErrValidNode(ctxt
, elem
, XML_DTD_UNKNOWN_NOTATION
,
4647 "Value \"%s\" for attribute xmlns:%s of %s is not a declared Notation\n",
4648 value
, ns
->prefix
, elem
->name
);
4650 xmlErrValidNode(ctxt
, elem
, XML_DTD_UNKNOWN_NOTATION
,
4651 "Value \"%s\" for attribute xmlns of %s is not a declared Notation\n",
4652 value
, elem
->name
, NULL
);
4657 /* Second, verify that it's among the list */
4658 while (tree
!= NULL
) {
4659 if (xmlStrEqual(tree
->name
, value
)) break;
4663 if (ns
->prefix
!= NULL
) {
4664 xmlErrValidNode(ctxt
, elem
, XML_DTD_NOTATION_VALUE
,
4665 "Value \"%s\" for attribute xmlns:%s of %s is not among the enumerated notations\n",
4666 value
, ns
->prefix
, elem
->name
);
4668 xmlErrValidNode(ctxt
, elem
, XML_DTD_NOTATION_VALUE
,
4669 "Value \"%s\" for attribute xmlns of %s is not among the enumerated notations\n",
4670 value
, elem
->name
, NULL
);
4676 /* Validity Constraint: Enumeration */
4677 if (attrDecl
->atype
== XML_ATTRIBUTE_ENUMERATION
) {
4678 xmlEnumerationPtr tree
= attrDecl
->tree
;
4679 while (tree
!= NULL
) {
4680 if (xmlStrEqual(tree
->name
, value
)) break;
4684 if (ns
->prefix
!= NULL
) {
4685 xmlErrValidNode(ctxt
, elem
, XML_DTD_ATTRIBUTE_VALUE
,
4686 "Value \"%s\" for attribute xmlns:%s of %s is not among the enumerated set\n",
4687 value
, ns
->prefix
, elem
->name
);
4689 xmlErrValidNode(ctxt
, elem
, XML_DTD_ATTRIBUTE_VALUE
,
4690 "Value \"%s\" for attribute xmlns of %s is not among the enumerated set\n",
4691 value
, elem
->name
, NULL
);
4697 /* Fixed Attribute Default */
4698 if ((attrDecl
->def
== XML_ATTRIBUTE_FIXED
) &&
4699 (!xmlStrEqual(attrDecl
->defaultValue
, value
))) {
4700 if (ns
->prefix
!= NULL
) {
4701 xmlErrValidNode(ctxt
, elem
, XML_DTD_ELEM_NAMESPACE
,
4702 "Value for attribute xmlns:%s of %s must be \"%s\"\n",
4703 ns
->prefix
, elem
->name
, attrDecl
->defaultValue
);
4705 xmlErrValidNode(ctxt
, elem
, XML_DTD_ELEM_NAMESPACE
,
4706 "Value for attribute xmlns of %s must be \"%s\"\n",
4707 elem
->name
, attrDecl
->defaultValue
, NULL
);
4712 /* Extra check for the attribute value */
4713 if (ns
->prefix
!= NULL
) {
4714 ret
&= xmlValidateAttributeValue2(ctxt
, doc
, ns
->prefix
,
4715 attrDecl
->atype
, value
);
4717 ret
&= xmlValidateAttributeValue2(ctxt
, doc
, BAD_CAST
"xmlns",
4718 attrDecl
->atype
, value
);
4724 #ifndef LIBXML_REGEXP_ENABLED
4726 * xmlValidateSkipIgnorable:
4727 * @ctxt: the validation context
4728 * @child: the child list
4730 * Skip ignorable elements w.r.t. the validation process
4732 * returns the first element to consider for validation of the content model
4736 xmlValidateSkipIgnorable(xmlNodePtr child
) {
4737 while (child
!= NULL
) {
4738 switch (child
->type
) {
4739 /* These things are ignored (skipped) during validation. */
4741 case XML_COMMENT_NODE
:
4742 case XML_XINCLUDE_START
:
4743 case XML_XINCLUDE_END
:
4744 child
= child
->next
;
4747 if (xmlIsBlankNode(child
))
4748 child
= child
->next
;
4752 /* keep current node */
4761 * xmlValidateElementType:
4762 * @ctxt: the validation context
4764 * Try to validate the content model of an element internal function
4766 * returns 1 if valid or 0 ,-1 in case of error, -2 if an entity
4767 * reference is found and -3 if the validation succeeded but
4768 * the content model is not determinist.
4772 xmlValidateElementType(xmlValidCtxtPtr ctxt
) {
4774 int determinist
= 1;
4776 NODE
= xmlValidateSkipIgnorable(NODE
);
4777 if ((NODE
== NULL
) && (CONT
== NULL
))
4779 if ((NODE
== NULL
) &&
4780 ((CONT
->ocur
== XML_ELEMENT_CONTENT_MULT
) ||
4781 (CONT
->ocur
== XML_ELEMENT_CONTENT_OPT
))) {
4784 if (CONT
== NULL
) return(-1);
4785 if ((NODE
!= NULL
) && (NODE
->type
== XML_ENTITY_REF_NODE
))
4789 * We arrive here when more states need to be examined
4794 * We just recovered from a rollback generated by a possible
4795 * epsilon transition, go directly to the analysis phase
4797 if (STATE
== ROLLBACK_PARENT
) {
4798 DEBUG_VALID_MSG("restored parent branch");
4799 DEBUG_VALID_STATE(NODE
, CONT
)
4804 DEBUG_VALID_STATE(NODE
, CONT
)
4806 * we may have to save a backup state here. This is the equivalent
4807 * of handling epsilon transition in NFAs.
4809 if ((CONT
!= NULL
) &&
4810 ((CONT
->parent
== NULL
) ||
4811 (CONT
->parent
->type
!= XML_ELEMENT_CONTENT_OR
)) &&
4812 ((CONT
->ocur
== XML_ELEMENT_CONTENT_MULT
) ||
4813 (CONT
->ocur
== XML_ELEMENT_CONTENT_OPT
) ||
4814 ((CONT
->ocur
== XML_ELEMENT_CONTENT_PLUS
) && (OCCURRENCE
)))) {
4815 DEBUG_VALID_MSG("saving parent branch");
4816 if (vstateVPush(ctxt
, CONT
, NODE
, DEPTH
, OCCURS
, ROLLBACK_PARENT
) < 0)
4822 * Check first if the content matches
4824 switch (CONT
->type
) {
4825 case XML_ELEMENT_CONTENT_PCDATA
:
4827 DEBUG_VALID_MSG("pcdata failed no node");
4831 if (NODE
->type
== XML_TEXT_NODE
) {
4832 DEBUG_VALID_MSG("pcdata found, skip to next");
4834 * go to next element in the content model
4835 * skipping ignorable elems
4839 NODE
= xmlValidateSkipIgnorable(NODE
);
4840 if ((NODE
!= NULL
) &&
4841 (NODE
->type
== XML_ENTITY_REF_NODE
))
4843 } while ((NODE
!= NULL
) &&
4844 ((NODE
->type
!= XML_ELEMENT_NODE
) &&
4845 (NODE
->type
!= XML_TEXT_NODE
) &&
4846 (NODE
->type
!= XML_CDATA_SECTION_NODE
)));
4850 DEBUG_VALID_MSG("pcdata failed");
4855 case XML_ELEMENT_CONTENT_ELEMENT
:
4857 DEBUG_VALID_MSG("element failed no node");
4861 ret
= ((NODE
->type
== XML_ELEMENT_NODE
) &&
4862 (xmlStrEqual(NODE
->name
, CONT
->name
)));
4864 if ((NODE
->ns
== NULL
) || (NODE
->ns
->prefix
== NULL
)) {
4865 ret
= (CONT
->prefix
== NULL
);
4866 } else if (CONT
->prefix
== NULL
) {
4869 ret
= xmlStrEqual(NODE
->ns
->prefix
, CONT
->prefix
);
4873 DEBUG_VALID_MSG("element found, skip to next");
4875 * go to next element in the content model
4876 * skipping ignorable elems
4880 NODE
= xmlValidateSkipIgnorable(NODE
);
4881 if ((NODE
!= NULL
) &&
4882 (NODE
->type
== XML_ENTITY_REF_NODE
))
4884 } while ((NODE
!= NULL
) &&
4885 ((NODE
->type
!= XML_ELEMENT_NODE
) &&
4886 (NODE
->type
!= XML_TEXT_NODE
) &&
4887 (NODE
->type
!= XML_CDATA_SECTION_NODE
)));
4889 DEBUG_VALID_MSG("element failed");
4894 case XML_ELEMENT_CONTENT_OR
:
4896 * Small optimization.
4898 if (CONT
->c1
->type
== XML_ELEMENT_CONTENT_ELEMENT
) {
4899 if ((NODE
== NULL
) ||
4900 (!xmlStrEqual(NODE
->name
, CONT
->c1
->name
))) {
4905 if ((NODE
->ns
== NULL
) || (NODE
->ns
->prefix
== NULL
)) {
4906 ret
= (CONT
->c1
->prefix
== NULL
);
4907 } else if (CONT
->c1
->prefix
== NULL
) {
4910 ret
= xmlStrEqual(NODE
->ns
->prefix
, CONT
->c1
->prefix
);
4920 * save the second branch 'or' branch
4922 DEBUG_VALID_MSG("saving 'or' branch");
4923 if (vstateVPush(ctxt
, CONT
->c2
, NODE
, (unsigned char)(DEPTH
+ 1),
4924 OCCURS
, ROLLBACK_OR
) < 0)
4929 case XML_ELEMENT_CONTENT_SEQ
:
4931 * Small optimization.
4933 if ((CONT
->c1
->type
== XML_ELEMENT_CONTENT_ELEMENT
) &&
4934 ((CONT
->c1
->ocur
== XML_ELEMENT_CONTENT_OPT
) ||
4935 (CONT
->c1
->ocur
== XML_ELEMENT_CONTENT_MULT
))) {
4936 if ((NODE
== NULL
) ||
4937 (!xmlStrEqual(NODE
->name
, CONT
->c1
->name
))) {
4942 if ((NODE
->ns
== NULL
) || (NODE
->ns
->prefix
== NULL
)) {
4943 ret
= (CONT
->c1
->prefix
== NULL
);
4944 } else if (CONT
->c1
->prefix
== NULL
) {
4947 ret
= xmlStrEqual(NODE
->ns
->prefix
, CONT
->c1
->prefix
);
4961 * At this point handle going up in the tree
4964 DEBUG_VALID_MSG("error found returning");
4968 while (CONT
!= NULL
) {
4970 * First do the analysis depending on the occurrence model at
4974 switch (CONT
->ocur
) {
4977 case XML_ELEMENT_CONTENT_ONCE
:
4978 cur
= ctxt
->vstate
->node
;
4979 DEBUG_VALID_MSG("Once branch failed, rollback");
4980 if (vstateVPop(ctxt
) < 0 ) {
4981 DEBUG_VALID_MSG("exhaustion, failed");
4984 if (cur
!= ctxt
->vstate
->node
)
4987 case XML_ELEMENT_CONTENT_PLUS
:
4988 if (OCCURRENCE
== 0) {
4989 cur
= ctxt
->vstate
->node
;
4990 DEBUG_VALID_MSG("Plus branch failed, rollback");
4991 if (vstateVPop(ctxt
) < 0 ) {
4992 DEBUG_VALID_MSG("exhaustion, failed");
4995 if (cur
!= ctxt
->vstate
->node
)
4999 DEBUG_VALID_MSG("Plus branch found");
5002 case XML_ELEMENT_CONTENT_MULT
:
5003 #ifdef DEBUG_VALID_ALGO
5004 if (OCCURRENCE
== 0) {
5005 DEBUG_VALID_MSG("Mult branch failed");
5007 DEBUG_VALID_MSG("Mult branch found");
5012 case XML_ELEMENT_CONTENT_OPT
:
5013 DEBUG_VALID_MSG("Option branch failed");
5018 switch (CONT
->ocur
) {
5019 case XML_ELEMENT_CONTENT_OPT
:
5020 DEBUG_VALID_MSG("Option branch succeeded");
5023 case XML_ELEMENT_CONTENT_ONCE
:
5024 DEBUG_VALID_MSG("Once branch succeeded");
5027 case XML_ELEMENT_CONTENT_PLUS
:
5028 if (STATE
== ROLLBACK_PARENT
) {
5029 DEBUG_VALID_MSG("Plus branch rollback");
5034 DEBUG_VALID_MSG("Plus branch exhausted");
5038 DEBUG_VALID_MSG("Plus branch succeeded, continuing");
5041 case XML_ELEMENT_CONTENT_MULT
:
5042 if (STATE
== ROLLBACK_PARENT
) {
5043 DEBUG_VALID_MSG("Mult branch rollback");
5048 DEBUG_VALID_MSG("Mult branch exhausted");
5052 DEBUG_VALID_MSG("Mult branch succeeded, continuing");
5053 /* SET_OCCURRENCE; */
5060 * Then act accordingly at the parent level
5063 if (CONT
->parent
== NULL
)
5066 switch (CONT
->parent
->type
) {
5067 case XML_ELEMENT_CONTENT_PCDATA
:
5068 DEBUG_VALID_MSG("Error: parent pcdata");
5070 case XML_ELEMENT_CONTENT_ELEMENT
:
5071 DEBUG_VALID_MSG("Error: parent element");
5073 case XML_ELEMENT_CONTENT_OR
:
5075 DEBUG_VALID_MSG("Or succeeded");
5076 CONT
= CONT
->parent
;
5079 DEBUG_VALID_MSG("Or failed");
5080 CONT
= CONT
->parent
;
5084 case XML_ELEMENT_CONTENT_SEQ
:
5086 DEBUG_VALID_MSG("Sequence failed");
5087 CONT
= CONT
->parent
;
5089 } else if (CONT
== CONT
->parent
->c1
) {
5090 DEBUG_VALID_MSG("Sequence testing 2nd branch");
5091 CONT
= CONT
->parent
->c2
;
5094 DEBUG_VALID_MSG("Sequence succeeded");
5095 CONT
= CONT
->parent
;
5103 cur
= ctxt
->vstate
->node
;
5104 DEBUG_VALID_MSG("Failed, remaining input, rollback");
5105 if (vstateVPop(ctxt
) < 0 ) {
5106 DEBUG_VALID_MSG("exhaustion, failed");
5109 if (cur
!= ctxt
->vstate
->node
)
5116 cur
= ctxt
->vstate
->node
;
5117 DEBUG_VALID_MSG("Failure, rollback");
5118 if (vstateVPop(ctxt
) < 0 ) {
5119 DEBUG_VALID_MSG("exhaustion, failed");
5122 if (cur
!= ctxt
->vstate
->node
)
5126 return(determinist
);
5131 * xmlSnprintfElements:
5132 * @buf: an output buffer
5133 * @size: the size of the buffer
5134 * @content: An element
5135 * @glob: 1 if one must print the englobing parenthesis, 0 otherwise
5137 * This will dump the list of elements to the buffer
5138 * Intended just for the debug routine
5141 xmlSnprintfElements(char *buf
, int size
, xmlNodePtr node
, int glob
) {
5145 if (node
== NULL
) return;
5146 if (glob
) strcat(buf
, "(");
5148 while (cur
!= NULL
) {
5150 if (size
- len
< 50) {
5151 if ((size
- len
> 4) && (buf
[len
- 1] != '.'))
5152 strcat(buf
, " ...");
5155 switch (cur
->type
) {
5156 case XML_ELEMENT_NODE
:
5157 if ((cur
->ns
!= NULL
) && (cur
->ns
->prefix
!= NULL
)) {
5158 if (size
- len
< xmlStrlen(cur
->ns
->prefix
) + 10) {
5159 if ((size
- len
> 4) && (buf
[len
- 1] != '.'))
5160 strcat(buf
, " ...");
5163 strcat(buf
, (char *) cur
->ns
->prefix
);
5166 if (size
- len
< xmlStrlen(cur
->name
) + 10) {
5167 if ((size
- len
> 4) && (buf
[len
- 1] != '.'))
5168 strcat(buf
, " ...");
5171 strcat(buf
, (char *) cur
->name
);
5172 if (cur
->next
!= NULL
)
5176 if (xmlIsBlankNode(cur
))
5178 case XML_CDATA_SECTION_NODE
:
5179 case XML_ENTITY_REF_NODE
:
5180 strcat(buf
, "CDATA");
5181 if (cur
->next
!= NULL
)
5184 case XML_ATTRIBUTE_NODE
:
5185 case XML_DOCUMENT_NODE
:
5186 #ifdef LIBXML_DOCB_ENABLED
5187 case XML_DOCB_DOCUMENT_NODE
:
5189 case XML_HTML_DOCUMENT_NODE
:
5190 case XML_DOCUMENT_TYPE_NODE
:
5191 case XML_DOCUMENT_FRAG_NODE
:
5192 case XML_NOTATION_NODE
:
5193 case XML_NAMESPACE_DECL
:
5195 if (cur
->next
!= NULL
)
5198 case XML_ENTITY_NODE
:
5201 case XML_COMMENT_NODE
:
5202 case XML_ELEMENT_DECL
:
5203 case XML_ATTRIBUTE_DECL
:
5204 case XML_ENTITY_DECL
:
5205 case XML_XINCLUDE_START
:
5206 case XML_XINCLUDE_END
:
5211 if (glob
) strcat(buf
, ")");
5215 * xmlValidateElementContent:
5216 * @ctxt: the validation context
5217 * @child: the child list
5218 * @elemDecl: pointer to the element declaration
5219 * @warn: emit the error message
5220 * @parent: the parent element (for error reporting)
5222 * Try to validate the content model of an element
5224 * returns 1 if valid or 0 if not and -1 in case of error
5228 xmlValidateElementContent(xmlValidCtxtPtr ctxt
, xmlNodePtr child
,
5229 xmlElementPtr elemDecl
, int warn
, xmlNodePtr parent
) {
5231 #ifndef LIBXML_REGEXP_ENABLED
5232 xmlNodePtr repl
= NULL
, last
= NULL
, tmp
;
5235 xmlElementContentPtr cont
;
5236 const xmlChar
*name
;
5238 if ((elemDecl
== NULL
) || (parent
== NULL
) || (ctxt
== NULL
))
5240 cont
= elemDecl
->content
;
5241 name
= elemDecl
->name
;
5243 #ifdef LIBXML_REGEXP_ENABLED
5244 /* Build the regexp associated to the content model */
5245 if (elemDecl
->contModel
== NULL
)
5246 ret
= xmlValidBuildContentModel(ctxt
, elemDecl
);
5247 if (elemDecl
->contModel
== NULL
) {
5250 xmlRegExecCtxtPtr exec
;
5252 if (!xmlRegexpIsDeterminist(elemDecl
->contModel
)) {
5257 ctxt
->nodeTab
= NULL
;
5258 exec
= xmlRegNewExecCtxt(elemDecl
->contModel
, NULL
, NULL
);
5261 while (cur
!= NULL
) {
5262 switch (cur
->type
) {
5263 case XML_ENTITY_REF_NODE
:
5265 * Push the current node to be able to roll back
5266 * and process within the entity
5268 if ((cur
->children
!= NULL
) &&
5269 (cur
->children
->children
!= NULL
)) {
5270 nodeVPush(ctxt
, cur
);
5271 cur
= cur
->children
->children
;
5276 if (xmlIsBlankNode(cur
))
5280 case XML_CDATA_SECTION_NODE
:
5284 case XML_ELEMENT_NODE
:
5285 if ((cur
->ns
!= NULL
) && (cur
->ns
->prefix
!= NULL
)) {
5289 fullname
= xmlBuildQName(cur
->name
,
5290 cur
->ns
->prefix
, fn
, 50);
5291 if (fullname
== NULL
) {
5295 ret
= xmlRegExecPushString(exec
, fullname
, NULL
);
5296 if ((fullname
!= fn
) && (fullname
!= cur
->name
))
5299 ret
= xmlRegExecPushString(exec
, cur
->name
, NULL
);
5306 * Switch to next element
5309 while (cur
== NULL
) {
5310 cur
= nodeVPop(ctxt
);
5316 ret
= xmlRegExecPushString(exec
, NULL
, NULL
);
5318 xmlRegFreeExecCtxt(exec
);
5321 #else /* LIBXML_REGEXP_ENABLED */
5323 * Allocate the stack
5325 ctxt
->vstateMax
= 8;
5326 ctxt
->vstateTab
= (xmlValidState
*) xmlMalloc(
5327 ctxt
->vstateMax
* sizeof(ctxt
->vstateTab
[0]));
5328 if (ctxt
->vstateTab
== NULL
) {
5329 xmlVErrMemory(ctxt
, "malloc failed");
5333 * The first entry in the stack is reserved to the current state
5337 ctxt
->nodeTab
= NULL
;
5338 ctxt
->vstate
= &ctxt
->vstateTab
[0];
5345 ret
= xmlValidateElementType(ctxt
);
5346 if ((ret
== -3) && (warn
)) {
5347 xmlErrValidWarning(ctxt
, child
, XML_DTD_CONTENT_NOT_DETERMINIST
,
5348 "Content model for Element %s is ambiguous\n",
5350 } else if (ret
== -2) {
5352 * An entities reference appeared at this level.
5353 * Buid a minimal representation of this node content
5354 * sufficient to run the validation process on it
5356 DEBUG_VALID_MSG("Found an entity reference, linearizing");
5358 while (cur
!= NULL
) {
5359 switch (cur
->type
) {
5360 case XML_ENTITY_REF_NODE
:
5362 * Push the current node to be able to roll back
5363 * and process within the entity
5365 if ((cur
->children
!= NULL
) &&
5366 (cur
->children
->children
!= NULL
)) {
5367 nodeVPush(ctxt
, cur
);
5368 cur
= cur
->children
->children
;
5373 if (xmlIsBlankNode(cur
))
5375 /* no break on purpose */
5376 case XML_CDATA_SECTION_NODE
:
5377 /* no break on purpose */
5378 case XML_ELEMENT_NODE
:
5380 * Allocate a new node and minimally fills in
5383 tmp
= (xmlNodePtr
) xmlMalloc(sizeof(xmlNode
));
5385 xmlVErrMemory(ctxt
, "malloc failed");
5386 xmlFreeNodeList(repl
);
5390 tmp
->type
= cur
->type
;
5391 tmp
->name
= cur
->name
;
5394 tmp
->content
= NULL
;
5401 if (cur
->type
== XML_CDATA_SECTION_NODE
) {
5403 * E59 spaces in CDATA does not match the
5406 tmp
->content
= xmlStrdup(BAD_CAST
"CDATA");
5413 * Switch to next element
5416 while (cur
== NULL
) {
5417 cur
= nodeVPop(ctxt
);
5425 * Relaunch the validation
5427 ctxt
->vstate
= &ctxt
->vstateTab
[0];
5434 ret
= xmlValidateElementType(ctxt
);
5436 #endif /* LIBXML_REGEXP_ENABLED */
5437 if ((warn
) && ((ret
!= 1) && (ret
!= -3))) {
5443 xmlSnprintfElementContent(&expr
[0], 5000, cont
, 1);
5445 #ifndef LIBXML_REGEXP_ENABLED
5447 xmlSnprintfElements(&list
[0], 5000, repl
, 1);
5449 #endif /* LIBXML_REGEXP_ENABLED */
5450 xmlSnprintfElements(&list
[0], 5000, child
, 1);
5453 xmlErrValidNode(ctxt
, parent
, XML_DTD_CONTENT_MODEL
,
5454 "Element %s content does not follow the DTD, expecting %s, got %s\n",
5455 name
, BAD_CAST expr
, BAD_CAST list
);
5457 xmlErrValidNode(ctxt
, parent
, XML_DTD_CONTENT_MODEL
,
5458 "Element content does not follow the DTD, expecting %s, got %s\n",
5459 BAD_CAST expr
, BAD_CAST list
, NULL
);
5463 xmlErrValidNode(ctxt
, parent
, XML_DTD_CONTENT_MODEL
,
5464 "Element %s content does not follow the DTD\n",
5467 xmlErrValidNode(ctxt
, parent
, XML_DTD_CONTENT_MODEL
,
5468 "Element content does not follow the DTD\n",
5477 #ifndef LIBXML_REGEXP_ENABLED
5480 * Deallocate the copy if done, and free up the validation stack
5482 while (repl
!= NULL
) {
5487 ctxt
->vstateMax
= 0;
5488 if (ctxt
->vstateTab
!= NULL
) {
5489 xmlFree(ctxt
->vstateTab
);
5490 ctxt
->vstateTab
= NULL
;
5495 if (ctxt
->nodeTab
!= NULL
) {
5496 xmlFree(ctxt
->nodeTab
);
5497 ctxt
->nodeTab
= NULL
;
5504 * xmlValidateCdataElement:
5505 * @ctxt: the validation context
5506 * @doc: a document instance
5507 * @elem: an element instance
5509 * Check that an element follows #CDATA
5511 * returns 1 if valid or 0 otherwise
5514 xmlValidateOneCdataElement(xmlValidCtxtPtr ctxt
, xmlDocPtr doc
,
5517 xmlNodePtr cur
, child
;
5519 if ((ctxt
== NULL
) || (doc
== NULL
) || (elem
== NULL
) ||
5520 (elem
->type
!= XML_ELEMENT_NODE
))
5523 child
= elem
->children
;
5526 while (cur
!= NULL
) {
5527 switch (cur
->type
) {
5528 case XML_ENTITY_REF_NODE
:
5530 * Push the current node to be able to roll back
5531 * and process within the entity
5533 if ((cur
->children
!= NULL
) &&
5534 (cur
->children
->children
!= NULL
)) {
5535 nodeVPush(ctxt
, cur
);
5536 cur
= cur
->children
->children
;
5540 case XML_COMMENT_NODE
:
5543 case XML_CDATA_SECTION_NODE
:
5550 * Switch to next element
5553 while (cur
== NULL
) {
5554 cur
= nodeVPop(ctxt
);
5563 if (ctxt
->nodeTab
!= NULL
) {
5564 xmlFree(ctxt
->nodeTab
);
5565 ctxt
->nodeTab
= NULL
;
5571 * xmlValidateCheckMixed:
5572 * @ctxt: the validation context
5573 * @cont: the mixed content model
5574 * @qname: the qualified name as appearing in the serialization
5576 * Check if the given node is part of the content model.
5578 * Returns 1 if yes, 0 if no, -1 in case of error
5581 xmlValidateCheckMixed(xmlValidCtxtPtr ctxt
,
5582 xmlElementContentPtr cont
, const xmlChar
*qname
) {
5583 const xmlChar
*name
;
5585 name
= xmlSplitQName3(qname
, &plen
);
5588 while (cont
!= NULL
) {
5589 if (cont
->type
== XML_ELEMENT_CONTENT_ELEMENT
) {
5590 if ((cont
->prefix
== NULL
) && (xmlStrEqual(cont
->name
, qname
)))
5592 } else if ((cont
->type
== XML_ELEMENT_CONTENT_OR
) &&
5593 (cont
->c1
!= NULL
) &&
5594 (cont
->c1
->type
== XML_ELEMENT_CONTENT_ELEMENT
)){
5595 if ((cont
->c1
->prefix
== NULL
) &&
5596 (xmlStrEqual(cont
->c1
->name
, qname
)))
5598 } else if ((cont
->type
!= XML_ELEMENT_CONTENT_OR
) ||
5599 (cont
->c1
== NULL
) ||
5600 (cont
->c1
->type
!= XML_ELEMENT_CONTENT_PCDATA
)){
5601 xmlErrValid(NULL
, XML_DTD_MIXED_CORRUPT
,
5602 "Internal: MIXED struct corrupted\n",
5609 while (cont
!= NULL
) {
5610 if (cont
->type
== XML_ELEMENT_CONTENT_ELEMENT
) {
5611 if ((cont
->prefix
!= NULL
) &&
5612 (xmlStrncmp(cont
->prefix
, qname
, plen
) == 0) &&
5613 (xmlStrEqual(cont
->name
, name
)))
5615 } else if ((cont
->type
== XML_ELEMENT_CONTENT_OR
) &&
5616 (cont
->c1
!= NULL
) &&
5617 (cont
->c1
->type
== XML_ELEMENT_CONTENT_ELEMENT
)){
5618 if ((cont
->c1
->prefix
!= NULL
) &&
5619 (xmlStrncmp(cont
->c1
->prefix
, qname
, plen
) == 0) &&
5620 (xmlStrEqual(cont
->c1
->name
, name
)))
5622 } else if ((cont
->type
!= XML_ELEMENT_CONTENT_OR
) ||
5623 (cont
->c1
== NULL
) ||
5624 (cont
->c1
->type
!= XML_ELEMENT_CONTENT_PCDATA
)){
5625 xmlErrValid(ctxt
, XML_DTD_MIXED_CORRUPT
,
5626 "Internal: MIXED struct corrupted\n",
5637 * xmlValidGetElemDecl:
5638 * @ctxt: the validation context
5639 * @doc: a document instance
5640 * @elem: an element instance
5641 * @extsubset: pointer, (out) indicate if the declaration was found
5642 * in the external subset.
5644 * Finds a declaration associated to an element in the document.
5646 * returns the pointer to the declaration or NULL if not found.
5648 static xmlElementPtr
5649 xmlValidGetElemDecl(xmlValidCtxtPtr ctxt
, xmlDocPtr doc
,
5650 xmlNodePtr elem
, int *extsubset
) {
5651 xmlElementPtr elemDecl
= NULL
;
5652 const xmlChar
*prefix
= NULL
;
5654 if ((ctxt
== NULL
) || (doc
== NULL
) ||
5655 (elem
== NULL
) || (elem
->name
== NULL
))
5657 if (extsubset
!= NULL
)
5661 * Fetch the declaration for the qualified name
5663 if ((elem
->ns
!= NULL
) && (elem
->ns
->prefix
!= NULL
))
5664 prefix
= elem
->ns
->prefix
;
5666 if (prefix
!= NULL
) {
5667 elemDecl
= xmlGetDtdQElementDesc(doc
->intSubset
,
5668 elem
->name
, prefix
);
5669 if ((elemDecl
== NULL
) && (doc
->extSubset
!= NULL
)) {
5670 elemDecl
= xmlGetDtdQElementDesc(doc
->extSubset
,
5671 elem
->name
, prefix
);
5672 if ((elemDecl
!= NULL
) && (extsubset
!= NULL
))
5678 * Fetch the declaration for the non qualified name
5679 * This is "non-strict" validation should be done on the
5680 * full QName but in that case being flexible makes sense.
5682 if (elemDecl
== NULL
) {
5683 elemDecl
= xmlGetDtdElementDesc(doc
->intSubset
, elem
->name
);
5684 if ((elemDecl
== NULL
) && (doc
->extSubset
!= NULL
)) {
5685 elemDecl
= xmlGetDtdElementDesc(doc
->extSubset
, elem
->name
);
5686 if ((elemDecl
!= NULL
) && (extsubset
!= NULL
))
5690 if (elemDecl
== NULL
) {
5691 xmlErrValidNode(ctxt
, elem
,
5692 XML_DTD_UNKNOWN_ELEM
,
5693 "No declaration for element %s\n",
5694 elem
->name
, NULL
, NULL
);
5699 #ifdef LIBXML_REGEXP_ENABLED
5701 * xmlValidatePushElement:
5702 * @ctxt: the validation context
5703 * @doc: a document instance
5704 * @elem: an element instance
5705 * @qname: the qualified name as appearing in the serialization
5707 * Push a new element start on the validation stack.
5709 * returns 1 if no validation problem was found or 0 otherwise
5712 xmlValidatePushElement(xmlValidCtxtPtr ctxt
, xmlDocPtr doc
,
5713 xmlNodePtr elem
, const xmlChar
*qname
) {
5715 xmlElementPtr eDecl
;
5720 /* printf("PushElem %s\n", qname); */
5721 if ((ctxt
->vstateNr
> 0) && (ctxt
->vstate
!= NULL
)) {
5722 xmlValidStatePtr state
= ctxt
->vstate
;
5723 xmlElementPtr elemDecl
;
5726 * Check the new element agaisnt the content model of the new elem.
5728 if (state
->elemDecl
!= NULL
) {
5729 elemDecl
= state
->elemDecl
;
5731 switch(elemDecl
->etype
) {
5732 case XML_ELEMENT_TYPE_UNDEFINED
:
5735 case XML_ELEMENT_TYPE_EMPTY
:
5736 xmlErrValidNode(ctxt
, state
->node
,
5738 "Element %s was declared EMPTY this one has content\n",
5739 state
->node
->name
, NULL
, NULL
);
5742 case XML_ELEMENT_TYPE_ANY
:
5743 /* I don't think anything is required then */
5745 case XML_ELEMENT_TYPE_MIXED
:
5746 /* simple case of declared as #PCDATA */
5747 if ((elemDecl
->content
!= NULL
) &&
5748 (elemDecl
->content
->type
==
5749 XML_ELEMENT_CONTENT_PCDATA
)) {
5750 xmlErrValidNode(ctxt
, state
->node
,
5752 "Element %s was declared #PCDATA but contains non text nodes\n",
5753 state
->node
->name
, NULL
, NULL
);
5756 ret
= xmlValidateCheckMixed(ctxt
, elemDecl
->content
,
5759 xmlErrValidNode(ctxt
, state
->node
,
5760 XML_DTD_INVALID_CHILD
,
5761 "Element %s is not declared in %s list of possible children\n",
5762 qname
, state
->node
->name
, NULL
);
5766 case XML_ELEMENT_TYPE_ELEMENT
:
5769 * VC: Standalone Document Declaration
5770 * - element types with element content, if white space
5771 * occurs directly within any instance of those types.
5773 if (state
->exec
!= NULL
) {
5774 ret
= xmlRegExecPushString(state
->exec
, qname
, NULL
);
5776 xmlErrValidNode(ctxt
, state
->node
,
5777 XML_DTD_CONTENT_MODEL
,
5778 "Element %s content does not follow the DTD, Misplaced %s\n",
5779 state
->node
->name
, qname
, NULL
);
5789 eDecl
= xmlValidGetElemDecl(ctxt
, doc
, elem
, &extsubset
);
5790 vstateVPush(ctxt
, eDecl
, elem
);
5795 * xmlValidatePushCData:
5796 * @ctxt: the validation context
5797 * @data: some character data read
5798 * @len: the length of the data
5800 * check the CData parsed for validation in the current stack
5802 * returns 1 if no validation problem was found or 0 otherwise
5805 xmlValidatePushCData(xmlValidCtxtPtr ctxt
, const xmlChar
*data
, int len
) {
5808 /* printf("CDATA %s %d\n", data, len); */
5813 if ((ctxt
->vstateNr
> 0) && (ctxt
->vstate
!= NULL
)) {
5814 xmlValidStatePtr state
= ctxt
->vstate
;
5815 xmlElementPtr elemDecl
;
5818 * Check the new element agaisnt the content model of the new elem.
5820 if (state
->elemDecl
!= NULL
) {
5821 elemDecl
= state
->elemDecl
;
5823 switch(elemDecl
->etype
) {
5824 case XML_ELEMENT_TYPE_UNDEFINED
:
5827 case XML_ELEMENT_TYPE_EMPTY
:
5828 xmlErrValidNode(ctxt
, state
->node
,
5830 "Element %s was declared EMPTY this one has content\n",
5831 state
->node
->name
, NULL
, NULL
);
5834 case XML_ELEMENT_TYPE_ANY
:
5836 case XML_ELEMENT_TYPE_MIXED
:
5838 case XML_ELEMENT_TYPE_ELEMENT
:
5842 for (i
= 0;i
< len
;i
++) {
5843 if (!IS_BLANK_CH(data
[i
])) {
5844 xmlErrValidNode(ctxt
, state
->node
,
5845 XML_DTD_CONTENT_MODEL
,
5846 "Element %s content does not follow the DTD, Text not allowed\n",
5847 state
->node
->name
, NULL
, NULL
);
5854 * VC: Standalone Document Declaration
5855 * element types with element content, if white space
5856 * occurs directly within any instance of those types.
5868 * xmlValidatePopElement:
5869 * @ctxt: the validation context
5870 * @doc: a document instance
5871 * @elem: an element instance
5872 * @qname: the qualified name as appearing in the serialization
5874 * Pop the element end from the validation stack.
5876 * returns 1 if no validation problem was found or 0 otherwise
5879 xmlValidatePopElement(xmlValidCtxtPtr ctxt
, xmlDocPtr doc ATTRIBUTE_UNUSED
,
5880 xmlNodePtr elem ATTRIBUTE_UNUSED
,
5881 const xmlChar
*qname ATTRIBUTE_UNUSED
) {
5886 /* printf("PopElem %s\n", qname); */
5887 if ((ctxt
->vstateNr
> 0) && (ctxt
->vstate
!= NULL
)) {
5888 xmlValidStatePtr state
= ctxt
->vstate
;
5889 xmlElementPtr elemDecl
;
5892 * Check the new element agaisnt the content model of the new elem.
5894 if (state
->elemDecl
!= NULL
) {
5895 elemDecl
= state
->elemDecl
;
5897 if (elemDecl
->etype
== XML_ELEMENT_TYPE_ELEMENT
) {
5898 if (state
->exec
!= NULL
) {
5899 ret
= xmlRegExecPushString(state
->exec
, NULL
, NULL
);
5901 xmlErrValidNode(ctxt
, state
->node
,
5902 XML_DTD_CONTENT_MODEL
,
5903 "Element %s content does not follow the DTD, Expecting more child\n",
5904 state
->node
->name
, NULL
,NULL
);
5907 * previous validation errors should not generate
5919 #endif /* LIBXML_REGEXP_ENABLED */
5922 * xmlValidateOneElement:
5923 * @ctxt: the validation context
5924 * @doc: a document instance
5925 * @elem: an element instance
5927 * Try to validate a single element and it's attributes,
5928 * basically it does the following checks as described by the
5929 * XML-1.0 recommendation:
5930 * - [ VC: Element Valid ]
5931 * - [ VC: Required Attribute ]
5932 * Then call xmlValidateOneAttribute() for each attribute present.
5934 * The ID/IDREF checkings are done separately
5936 * returns 1 if valid or 0 otherwise
5940 xmlValidateOneElement(xmlValidCtxtPtr ctxt
, xmlDocPtr doc
,
5942 xmlElementPtr elemDecl
= NULL
;
5943 xmlElementContentPtr cont
;
5944 xmlAttributePtr attr
;
5947 const xmlChar
*name
;
5952 if (elem
== NULL
) return(0);
5953 switch (elem
->type
) {
5954 case XML_ATTRIBUTE_NODE
:
5955 xmlErrValidNode(ctxt
, elem
, XML_ERR_INTERNAL_ERROR
,
5956 "Attribute element not expected\n", NULL
, NULL
,NULL
);
5959 if (elem
->children
!= NULL
) {
5960 xmlErrValidNode(ctxt
, elem
, XML_ERR_INTERNAL_ERROR
,
5961 "Text element has children !\n",
5965 if (elem
->ns
!= NULL
) {
5966 xmlErrValidNode(ctxt
, elem
, XML_ERR_INTERNAL_ERROR
,
5967 "Text element has namespace !\n",
5971 if (elem
->content
== NULL
) {
5972 xmlErrValidNode(ctxt
, elem
, XML_ERR_INTERNAL_ERROR
,
5973 "Text element has no content !\n",
5978 case XML_XINCLUDE_START
:
5979 case XML_XINCLUDE_END
:
5981 case XML_CDATA_SECTION_NODE
:
5982 case XML_ENTITY_REF_NODE
:
5984 case XML_COMMENT_NODE
:
5986 case XML_ENTITY_NODE
:
5987 xmlErrValidNode(ctxt
, elem
, XML_ERR_INTERNAL_ERROR
,
5988 "Entity element not expected\n", NULL
, NULL
,NULL
);
5990 case XML_NOTATION_NODE
:
5991 xmlErrValidNode(ctxt
, elem
, XML_ERR_INTERNAL_ERROR
,
5992 "Notation element not expected\n", NULL
, NULL
,NULL
);
5994 case XML_DOCUMENT_NODE
:
5995 case XML_DOCUMENT_TYPE_NODE
:
5996 case XML_DOCUMENT_FRAG_NODE
:
5997 xmlErrValidNode(ctxt
, elem
, XML_ERR_INTERNAL_ERROR
,
5998 "Document element not expected\n", NULL
, NULL
,NULL
);
6000 case XML_HTML_DOCUMENT_NODE
:
6001 xmlErrValidNode(ctxt
, elem
, XML_ERR_INTERNAL_ERROR
,
6002 "HTML Document not expected\n", NULL
, NULL
,NULL
);
6004 case XML_ELEMENT_NODE
:
6007 xmlErrValidNode(ctxt
, elem
, XML_ERR_INTERNAL_ERROR
,
6008 "unknown element type\n", NULL
, NULL
,NULL
);
6013 * Fetch the declaration
6015 elemDecl
= xmlValidGetElemDecl(ctxt
, doc
, elem
, &extsubset
);
6016 if (elemDecl
== NULL
)
6020 * If vstateNr is not zero that means continuous validation is
6021 * activated, do not try to check the content model at that level.
6023 if (ctxt
->vstateNr
== 0) {
6024 /* Check that the element content matches the definition */
6025 switch (elemDecl
->etype
) {
6026 case XML_ELEMENT_TYPE_UNDEFINED
:
6027 xmlErrValidNode(ctxt
, elem
, XML_DTD_UNKNOWN_ELEM
,
6028 "No declaration for element %s\n",
6029 elem
->name
, NULL
, NULL
);
6031 case XML_ELEMENT_TYPE_EMPTY
:
6032 if (elem
->children
!= NULL
) {
6033 xmlErrValidNode(ctxt
, elem
, XML_DTD_NOT_EMPTY
,
6034 "Element %s was declared EMPTY this one has content\n",
6035 elem
->name
, NULL
, NULL
);
6039 case XML_ELEMENT_TYPE_ANY
:
6040 /* I don't think anything is required then */
6042 case XML_ELEMENT_TYPE_MIXED
:
6044 /* simple case of declared as #PCDATA */
6045 if ((elemDecl
->content
!= NULL
) &&
6046 (elemDecl
->content
->type
== XML_ELEMENT_CONTENT_PCDATA
)) {
6047 ret
= xmlValidateOneCdataElement(ctxt
, doc
, elem
);
6049 xmlErrValidNode(ctxt
, elem
, XML_DTD_NOT_PCDATA
,
6050 "Element %s was declared #PCDATA but contains non text nodes\n",
6051 elem
->name
, NULL
, NULL
);
6055 child
= elem
->children
;
6056 /* Hum, this start to get messy */
6057 while (child
!= NULL
) {
6058 if (child
->type
== XML_ELEMENT_NODE
) {
6060 if ((child
->ns
!= NULL
) && (child
->ns
->prefix
!= NULL
)) {
6064 fullname
= xmlBuildQName(child
->name
, child
->ns
->prefix
,
6066 if (fullname
== NULL
)
6068 cont
= elemDecl
->content
;
6069 while (cont
!= NULL
) {
6070 if (cont
->type
== XML_ELEMENT_CONTENT_ELEMENT
) {
6071 if (xmlStrEqual(cont
->name
, fullname
))
6073 } else if ((cont
->type
== XML_ELEMENT_CONTENT_OR
) &&
6074 (cont
->c1
!= NULL
) &&
6075 (cont
->c1
->type
== XML_ELEMENT_CONTENT_ELEMENT
)){
6076 if (xmlStrEqual(cont
->c1
->name
, fullname
))
6078 } else if ((cont
->type
!= XML_ELEMENT_CONTENT_OR
) ||
6079 (cont
->c1
== NULL
) ||
6080 (cont
->c1
->type
!= XML_ELEMENT_CONTENT_PCDATA
)){
6081 xmlErrValid(NULL
, XML_DTD_MIXED_CORRUPT
,
6082 "Internal: MIXED struct corrupted\n",
6088 if ((fullname
!= fn
) && (fullname
!= child
->name
))
6093 cont
= elemDecl
->content
;
6094 while (cont
!= NULL
) {
6095 if (cont
->type
== XML_ELEMENT_CONTENT_ELEMENT
) {
6096 if (xmlStrEqual(cont
->name
, name
)) break;
6097 } else if ((cont
->type
== XML_ELEMENT_CONTENT_OR
) &&
6098 (cont
->c1
!= NULL
) &&
6099 (cont
->c1
->type
== XML_ELEMENT_CONTENT_ELEMENT
)) {
6100 if (xmlStrEqual(cont
->c1
->name
, name
)) break;
6101 } else if ((cont
->type
!= XML_ELEMENT_CONTENT_OR
) ||
6102 (cont
->c1
== NULL
) ||
6103 (cont
->c1
->type
!= XML_ELEMENT_CONTENT_PCDATA
)) {
6104 xmlErrValid(ctxt
, XML_DTD_MIXED_CORRUPT
,
6105 "Internal: MIXED struct corrupted\n",
6112 xmlErrValidNode(ctxt
, elem
, XML_DTD_INVALID_CHILD
,
6113 "Element %s is not declared in %s list of possible children\n",
6114 name
, elem
->name
, NULL
);
6119 child
= child
->next
;
6122 case XML_ELEMENT_TYPE_ELEMENT
:
6123 if ((doc
->standalone
== 1) && (extsubset
== 1)) {
6125 * VC: Standalone Document Declaration
6126 * - element types with element content, if white space
6127 * occurs directly within any instance of those types.
6129 child
= elem
->children
;
6130 while (child
!= NULL
) {
6131 if (child
->type
== XML_TEXT_NODE
) {
6132 const xmlChar
*content
= child
->content
;
6134 while (IS_BLANK_CH(*content
))
6136 if (*content
== 0) {
6137 xmlErrValidNode(ctxt
, elem
,
6138 XML_DTD_STANDALONE_WHITE_SPACE
,
6139 "standalone: %s declared in the external subset contains white spaces nodes\n",
6140 elem
->name
, NULL
, NULL
);
6148 child
= elem
->children
;
6149 cont
= elemDecl
->content
;
6150 tmp
= xmlValidateElementContent(ctxt
, child
, elemDecl
, 1, elem
);
6155 } /* not continuous */
6157 /* [ VC: Required Attribute ] */
6158 attr
= elemDecl
->attributes
;
6159 while (attr
!= NULL
) {
6160 if (attr
->def
== XML_ATTRIBUTE_REQUIRED
) {
6163 if ((attr
->prefix
== NULL
) &&
6164 (xmlStrEqual(attr
->name
, BAD_CAST
"xmlns"))) {
6168 while (ns
!= NULL
) {
6169 if (ns
->prefix
== NULL
)
6173 } else if (xmlStrEqual(attr
->prefix
, BAD_CAST
"xmlns")) {
6177 while (ns
!= NULL
) {
6178 if (xmlStrEqual(attr
->name
, ns
->prefix
))
6185 attrib
= elem
->properties
;
6186 while (attrib
!= NULL
) {
6187 if (xmlStrEqual(attrib
->name
, attr
->name
)) {
6188 if (attr
->prefix
!= NULL
) {
6189 xmlNsPtr nameSpace
= attrib
->ns
;
6191 if (nameSpace
== NULL
)
6192 nameSpace
= elem
->ns
;
6194 * qualified names handling is problematic, having a
6195 * different prefix should be possible but DTDs don't
6196 * allow to define the URI instead of the prefix :-(
6198 if (nameSpace
== NULL
) {
6201 } else if (!xmlStrEqual(nameSpace
->prefix
,
6209 * We should allow applications to define namespaces
6210 * for their application even if the DTD doesn't
6211 * carry one, otherwise, basically we would always
6217 attrib
= attrib
->next
;
6220 if (qualified
== -1) {
6221 if (attr
->prefix
== NULL
) {
6222 xmlErrValidNode(ctxt
, elem
, XML_DTD_MISSING_ATTRIBUTE
,
6223 "Element %s does not carry attribute %s\n",
6224 elem
->name
, attr
->name
, NULL
);
6227 xmlErrValidNode(ctxt
, elem
, XML_DTD_MISSING_ATTRIBUTE
,
6228 "Element %s does not carry attribute %s:%s\n",
6229 elem
->name
, attr
->prefix
,attr
->name
);
6232 } else if (qualified
== 0) {
6233 xmlErrValidWarning(ctxt
, elem
, XML_DTD_NO_PREFIX
,
6234 "Element %s required attribute %s:%s has no prefix\n",
6235 elem
->name
, attr
->prefix
, attr
->name
);
6236 } else if (qualified
== 1) {
6237 xmlErrValidWarning(ctxt
, elem
, XML_DTD_DIFFERENT_PREFIX
,
6238 "Element %s required attribute %s:%s has different prefix\n",
6239 elem
->name
, attr
->prefix
, attr
->name
);
6241 } else if (attr
->def
== XML_ATTRIBUTE_FIXED
) {
6243 * Special tests checking #FIXED namespace declarations
6244 * have the right value since this is not done as an
6245 * attribute checking
6247 if ((attr
->prefix
== NULL
) &&
6248 (xmlStrEqual(attr
->name
, BAD_CAST
"xmlns"))) {
6252 while (ns
!= NULL
) {
6253 if (ns
->prefix
== NULL
) {
6254 if (!xmlStrEqual(attr
->defaultValue
, ns
->href
)) {
6255 xmlErrValidNode(ctxt
, elem
,
6256 XML_DTD_ELEM_DEFAULT_NAMESPACE
,
6257 "Element %s namespace name for default namespace does not match the DTD\n",
6258 elem
->name
, NULL
, NULL
);
6265 } else if (xmlStrEqual(attr
->prefix
, BAD_CAST
"xmlns")) {
6269 while (ns
!= NULL
) {
6270 if (xmlStrEqual(attr
->name
, ns
->prefix
)) {
6271 if (!xmlStrEqual(attr
->defaultValue
, ns
->href
)) {
6272 xmlErrValidNode(ctxt
, elem
, XML_DTD_ELEM_NAMESPACE
,
6273 "Element %s namespace name for %s does not match the DTD\n",
6274 elem
->name
, ns
->prefix
, NULL
);
6291 * @ctxt: the validation context
6292 * @doc: a document instance
6294 * Try to validate a the root element
6295 * basically it does the following check as described by the
6296 * XML-1.0 recommendation:
6297 * - [ VC: Root Element Type ]
6298 * it doesn't try to recurse or apply other check to the element
6300 * returns 1 if valid or 0 otherwise
6304 xmlValidateRoot(xmlValidCtxtPtr ctxt
, xmlDocPtr doc
) {
6308 if (doc
== NULL
) return(0);
6310 root
= xmlDocGetRootElement(doc
);
6311 if ((root
== NULL
) || (root
->name
== NULL
)) {
6312 xmlErrValid(ctxt
, XML_DTD_NO_ROOT
,
6313 "no root element\n", NULL
);
6318 * When doing post validation against a separate DTD, those may
6319 * no internal subset has been generated
6321 if ((doc
->intSubset
!= NULL
) &&
6322 (doc
->intSubset
->name
!= NULL
)) {
6324 * Check first the document root against the NQName
6326 if (!xmlStrEqual(doc
->intSubset
->name
, root
->name
)) {
6327 if ((root
->ns
!= NULL
) && (root
->ns
->prefix
!= NULL
)) {
6331 fullname
= xmlBuildQName(root
->name
, root
->ns
->prefix
, fn
, 50);
6332 if (fullname
== NULL
) {
6333 xmlVErrMemory(ctxt
, NULL
);
6336 ret
= xmlStrEqual(doc
->intSubset
->name
, fullname
);
6337 if ((fullname
!= fn
) && (fullname
!= root
->name
))
6342 if ((xmlStrEqual(doc
->intSubset
->name
, BAD_CAST
"HTML")) &&
6343 (xmlStrEqual(root
->name
, BAD_CAST
"html")))
6345 xmlErrValidNode(ctxt
, root
, XML_DTD_ROOT_NAME
,
6346 "root and DTD name do not match '%s' and '%s'\n",
6347 root
->name
, doc
->intSubset
->name
, NULL
);
6357 * xmlValidateElement:
6358 * @ctxt: the validation context
6359 * @doc: a document instance
6360 * @elem: an element instance
6362 * Try to validate the subtree under an element
6364 * returns 1 if valid or 0 otherwise
6368 xmlValidateElement(xmlValidCtxtPtr ctxt
, xmlDocPtr doc
, xmlNodePtr elem
) {
6372 const xmlChar
*value
;
6375 if (elem
== NULL
) return(0);
6378 * XInclude elements were added after parsing in the infoset,
6379 * they don't really mean anything validation wise.
6381 if ((elem
->type
== XML_XINCLUDE_START
) ||
6382 (elem
->type
== XML_XINCLUDE_END
) ||
6383 (elem
->type
== XML_NAMESPACE_DECL
))
6389 * Entities references have to be handled separately
6391 if (elem
->type
== XML_ENTITY_REF_NODE
) {
6395 ret
&= xmlValidateOneElement(ctxt
, doc
, elem
);
6396 if (elem
->type
== XML_ELEMENT_NODE
) {
6397 attr
= elem
->properties
;
6398 while (attr
!= NULL
) {
6399 value
= xmlNodeListGetString(doc
, attr
->children
, 0);
6400 ret
&= xmlValidateOneAttribute(ctxt
, doc
, elem
, attr
, value
);
6402 xmlFree((char *)value
);
6406 while (ns
!= NULL
) {
6407 if (elem
->ns
== NULL
)
6408 ret
&= xmlValidateOneNamespace(ctxt
, doc
, elem
, NULL
,
6411 ret
&= xmlValidateOneNamespace(ctxt
, doc
, elem
,
6412 elem
->ns
->prefix
, ns
, ns
->href
);
6416 child
= elem
->children
;
6417 while (child
!= NULL
) {
6418 ret
&= xmlValidateElement(ctxt
, doc
, child
);
6419 child
= child
->next
;
6427 * @ref: A reference to be validated
6428 * @ctxt: Validation context
6429 * @name: Name of ID we are searching for
6433 xmlValidateRef(xmlRefPtr ref
, xmlValidCtxtPtr ctxt
,
6434 const xmlChar
*name
) {
6440 if ((ref
->attr
== NULL
) && (ref
->name
== NULL
))
6444 xmlChar
*dup
, *str
= NULL
, *cur
, save
;
6446 dup
= xmlStrdup(name
);
6454 while ((*cur
!= 0) && (!IS_BLANK_CH(*cur
))) cur
++;
6457 id
= xmlGetID(ctxt
->doc
, str
);
6459 xmlErrValidNodeNr(ctxt
, NULL
, XML_DTD_UNKNOWN_ID
,
6460 "attribute %s line %d references an unknown ID \"%s\"\n",
6461 ref
->name
, ref
->lineno
, str
);
6467 while (IS_BLANK_CH(*cur
)) cur
++;
6470 } else if (attr
->atype
== XML_ATTRIBUTE_IDREF
) {
6471 id
= xmlGetID(ctxt
->doc
, name
);
6473 xmlErrValidNode(ctxt
, attr
->parent
, XML_DTD_UNKNOWN_ID
,
6474 "IDREF attribute %s references an unknown ID \"%s\"\n",
6475 attr
->name
, name
, NULL
);
6478 } else if (attr
->atype
== XML_ATTRIBUTE_IDREFS
) {
6479 xmlChar
*dup
, *str
= NULL
, *cur
, save
;
6481 dup
= xmlStrdup(name
);
6483 xmlVErrMemory(ctxt
, "IDREFS split");
6490 while ((*cur
!= 0) && (!IS_BLANK_CH(*cur
))) cur
++;
6493 id
= xmlGetID(ctxt
->doc
, str
);
6495 xmlErrValidNode(ctxt
, attr
->parent
, XML_DTD_UNKNOWN_ID
,
6496 "IDREFS attribute %s references an unknown ID \"%s\"\n",
6497 attr
->name
, str
, NULL
);
6503 while (IS_BLANK_CH(*cur
)) cur
++;
6510 * xmlWalkValidateList:
6511 * @data: Contents of current link
6512 * @user: Value supplied by the user
6514 * Returns 0 to abort the walk or 1 to continue
6517 xmlWalkValidateList(const void *data
, const void *user
)
6519 xmlValidateMemoPtr memo
= (xmlValidateMemoPtr
)user
;
6520 xmlValidateRef((xmlRefPtr
)data
, memo
->ctxt
, memo
->name
);
6525 * xmlValidateCheckRefCallback:
6526 * @ref_list: List of references
6527 * @ctxt: Validation context
6528 * @name: Name of ID we are searching for
6532 xmlValidateCheckRefCallback(xmlListPtr ref_list
, xmlValidCtxtPtr ctxt
,
6533 const xmlChar
*name
) {
6534 xmlValidateMemo memo
;
6536 if (ref_list
== NULL
)
6541 xmlListWalk(ref_list
, xmlWalkValidateList
, &memo
);
6546 * xmlValidateDocumentFinal:
6547 * @ctxt: the validation context
6548 * @doc: a document instance
6550 * Does the final step for the document validation once all the
6551 * incremental validation steps have been completed
6553 * basically it does the following checks described by the XML Rec
6555 * Check all the IDREF/IDREFS attributes definition for validity
6557 * returns 1 if valid or 0 otherwise
6561 xmlValidateDocumentFinal(xmlValidCtxtPtr ctxt
, xmlDocPtr doc
) {
6562 xmlRefTablePtr table
;
6568 xmlErrValid(ctxt
, XML_DTD_NO_DOC
,
6569 "xmlValidateDocumentFinal: doc == NULL\n", NULL
);
6573 /* trick to get correct line id report */
6574 save
= ctxt
->finishDtd
;
6575 ctxt
->finishDtd
= 0;
6578 * Check all the NOTATION/NOTATIONS attributes
6581 * Check all the ENTITY/ENTITIES attributes definition for validity
6584 * Check all the IDREF/IDREFS attributes definition for validity
6586 table
= (xmlRefTablePtr
) doc
->refs
;
6589 xmlHashScan(table
, (xmlHashScanner
) xmlValidateCheckRefCallback
, ctxt
);
6591 ctxt
->finishDtd
= save
;
6592 return(ctxt
->valid
);
6597 * @ctxt: the validation context
6598 * @doc: a document instance
6599 * @dtd: a dtd instance
6601 * Try to validate the document against the dtd instance
6603 * Basically it does check all the definitions in the DtD.
6604 * Note the the internal subset (if present) is de-coupled
6605 * (i.e. not used), which could give problems if ID or IDREF
6608 * returns 1 if valid or 0 otherwise
6612 xmlValidateDtd(xmlValidCtxtPtr ctxt
, xmlDocPtr doc
, xmlDtdPtr dtd
) {
6614 xmlDtdPtr oldExt
, oldInt
;
6617 if (dtd
== NULL
) return(0);
6618 if (doc
== NULL
) return(0);
6619 oldExt
= doc
->extSubset
;
6620 oldInt
= doc
->intSubset
;
6621 doc
->extSubset
= dtd
;
6622 doc
->intSubset
= NULL
;
6623 ret
= xmlValidateRoot(ctxt
, doc
);
6625 doc
->extSubset
= oldExt
;
6626 doc
->intSubset
= oldInt
;
6629 if (doc
->ids
!= NULL
) {
6630 xmlFreeIDTable(doc
->ids
);
6633 if (doc
->refs
!= NULL
) {
6634 xmlFreeRefTable(doc
->refs
);
6637 root
= xmlDocGetRootElement(doc
);
6638 ret
= xmlValidateElement(ctxt
, doc
, root
);
6639 ret
&= xmlValidateDocumentFinal(ctxt
, doc
);
6640 doc
->extSubset
= oldExt
;
6641 doc
->intSubset
= oldInt
;
6646 xmlValidateNotationCallback(xmlEntityPtr cur
, xmlValidCtxtPtr ctxt
,
6647 const xmlChar
*name ATTRIBUTE_UNUSED
) {
6650 if (cur
->etype
== XML_EXTERNAL_GENERAL_UNPARSED_ENTITY
) {
6651 xmlChar
*notation
= cur
->content
;
6653 if (notation
!= NULL
) {
6656 ret
= xmlValidateNotationUse(ctxt
, cur
->doc
, notation
);
6665 xmlValidateAttributeCallback(xmlAttributePtr cur
, xmlValidCtxtPtr ctxt
,
6666 const xmlChar
*name ATTRIBUTE_UNUSED
) {
6669 xmlElementPtr elem
= NULL
;
6673 switch (cur
->atype
) {
6674 case XML_ATTRIBUTE_CDATA
:
6675 case XML_ATTRIBUTE_ID
:
6676 case XML_ATTRIBUTE_IDREF
:
6677 case XML_ATTRIBUTE_IDREFS
:
6678 case XML_ATTRIBUTE_NMTOKEN
:
6679 case XML_ATTRIBUTE_NMTOKENS
:
6680 case XML_ATTRIBUTE_ENUMERATION
:
6682 case XML_ATTRIBUTE_ENTITY
:
6683 case XML_ATTRIBUTE_ENTITIES
:
6684 case XML_ATTRIBUTE_NOTATION
:
6685 if (cur
->defaultValue
!= NULL
) {
6687 ret
= xmlValidateAttributeValue2(ctxt
, ctxt
->doc
, cur
->name
,
6688 cur
->atype
, cur
->defaultValue
);
6689 if ((ret
== 0) && (ctxt
->valid
== 1))
6692 if (cur
->tree
!= NULL
) {
6693 xmlEnumerationPtr tree
= cur
->tree
;
6694 while (tree
!= NULL
) {
6695 ret
= xmlValidateAttributeValue2(ctxt
, ctxt
->doc
,
6696 cur
->name
, cur
->atype
, tree
->name
);
6697 if ((ret
== 0) && (ctxt
->valid
== 1))
6703 if (cur
->atype
== XML_ATTRIBUTE_NOTATION
) {
6705 if (cur
->elem
== NULL
) {
6706 xmlErrValid(ctxt
, XML_ERR_INTERNAL_ERROR
,
6707 "xmlValidateAttributeCallback(%s): internal error\n",
6708 (const char *) cur
->name
);
6713 elem
= xmlGetDtdElementDesc(doc
->intSubset
, cur
->elem
);
6714 if ((elem
== NULL
) && (doc
!= NULL
))
6715 elem
= xmlGetDtdElementDesc(doc
->extSubset
, cur
->elem
);
6716 if ((elem
== NULL
) && (cur
->parent
!= NULL
) &&
6717 (cur
->parent
->type
== XML_DTD_NODE
))
6718 elem
= xmlGetDtdElementDesc((xmlDtdPtr
) cur
->parent
, cur
->elem
);
6720 xmlErrValidNode(ctxt
, NULL
, XML_DTD_UNKNOWN_ELEM
,
6721 "attribute %s: could not find decl for element %s\n",
6722 cur
->name
, cur
->elem
, NULL
);
6725 if (elem
->etype
== XML_ELEMENT_TYPE_EMPTY
) {
6726 xmlErrValidNode(ctxt
, NULL
, XML_DTD_EMPTY_NOTATION
,
6727 "NOTATION attribute %s declared for EMPTY element %s\n",
6728 cur
->name
, cur
->elem
, NULL
);
6735 * xmlValidateDtdFinal:
6736 * @ctxt: the validation context
6737 * @doc: a document instance
6739 * Does the final step for the dtds validation once all the
6740 * subsets have been parsed
6742 * basically it does the following checks described by the XML Rec
6743 * - check that ENTITY and ENTITIES type attributes default or
6744 * possible values matches one of the defined entities.
6745 * - check that NOTATION type attributes default or
6746 * possible values matches one of the defined notations.
6748 * returns 1 if valid or 0 if invalid and -1 if not well-formed
6752 xmlValidateDtdFinal(xmlValidCtxtPtr ctxt
, xmlDocPtr doc
) {
6754 xmlAttributeTablePtr table
;
6755 xmlEntitiesTablePtr entities
;
6757 if ((doc
== NULL
) || (ctxt
== NULL
)) return(0);
6758 if ((doc
->intSubset
== NULL
) && (doc
->extSubset
== NULL
))
6762 dtd
= doc
->intSubset
;
6763 if ((dtd
!= NULL
) && (dtd
->attributes
!= NULL
)) {
6764 table
= (xmlAttributeTablePtr
) dtd
->attributes
;
6765 xmlHashScan(table
, (xmlHashScanner
) xmlValidateAttributeCallback
, ctxt
);
6767 if ((dtd
!= NULL
) && (dtd
->entities
!= NULL
)) {
6768 entities
= (xmlEntitiesTablePtr
) dtd
->entities
;
6769 xmlHashScan(entities
, (xmlHashScanner
) xmlValidateNotationCallback
,
6772 dtd
= doc
->extSubset
;
6773 if ((dtd
!= NULL
) && (dtd
->attributes
!= NULL
)) {
6774 table
= (xmlAttributeTablePtr
) dtd
->attributes
;
6775 xmlHashScan(table
, (xmlHashScanner
) xmlValidateAttributeCallback
, ctxt
);
6777 if ((dtd
!= NULL
) && (dtd
->entities
!= NULL
)) {
6778 entities
= (xmlEntitiesTablePtr
) dtd
->entities
;
6779 xmlHashScan(entities
, (xmlHashScanner
) xmlValidateNotationCallback
,
6782 return(ctxt
->valid
);
6786 * xmlValidateDocument:
6787 * @ctxt: the validation context
6788 * @doc: a document instance
6790 * Try to validate the document instance
6792 * basically it does the all the checks described by the XML Rec
6793 * i.e. validates the internal and external subset (if present)
6794 * and validate the document tree.
6796 * returns 1 if valid or 0 otherwise
6800 xmlValidateDocument(xmlValidCtxtPtr ctxt
, xmlDocPtr doc
) {
6806 if ((doc
->intSubset
== NULL
) && (doc
->extSubset
== NULL
)) {
6807 xmlErrValid(ctxt
, XML_DTD_NO_DTD
,
6808 "no DTD found!\n", NULL
);
6811 if ((doc
->intSubset
!= NULL
) && ((doc
->intSubset
->SystemID
!= NULL
) ||
6812 (doc
->intSubset
->ExternalID
!= NULL
)) && (doc
->extSubset
== NULL
)) {
6814 if (doc
->intSubset
->SystemID
!= NULL
) {
6815 sysID
= xmlBuildURI(doc
->intSubset
->SystemID
,
6817 if (sysID
== NULL
) {
6818 xmlErrValid(ctxt
, XML_DTD_LOAD_ERROR
,
6819 "Could not build URI for external subset \"%s\"\n",
6820 (const char *) doc
->intSubset
->SystemID
);
6825 doc
->extSubset
= xmlParseDTD(doc
->intSubset
->ExternalID
,
6826 (const xmlChar
*)sysID
);
6829 if (doc
->extSubset
== NULL
) {
6830 if (doc
->intSubset
->SystemID
!= NULL
) {
6831 xmlErrValid(ctxt
, XML_DTD_LOAD_ERROR
,
6832 "Could not load the external subset \"%s\"\n",
6833 (const char *) doc
->intSubset
->SystemID
);
6835 xmlErrValid(ctxt
, XML_DTD_LOAD_ERROR
,
6836 "Could not load the external subset \"%s\"\n",
6837 (const char *) doc
->intSubset
->ExternalID
);
6843 if (doc
->ids
!= NULL
) {
6844 xmlFreeIDTable(doc
->ids
);
6847 if (doc
->refs
!= NULL
) {
6848 xmlFreeRefTable(doc
->refs
);
6851 ret
= xmlValidateDtdFinal(ctxt
, doc
);
6852 if (!xmlValidateRoot(ctxt
, doc
)) return(0);
6854 root
= xmlDocGetRootElement(doc
);
6855 ret
&= xmlValidateElement(ctxt
, doc
, root
);
6856 ret
&= xmlValidateDocumentFinal(ctxt
, doc
);
6860 /************************************************************************
6862 * Routines for dynamic validation editing *
6864 ************************************************************************/
6867 * xmlValidGetPotentialChildren:
6868 * @ctree: an element content tree
6869 * @names: an array to store the list of child names
6870 * @len: a pointer to the number of element in the list
6871 * @max: the size of the array
6873 * Build/extend a list of potential children allowed by the content tree
6875 * returns the number of element in the list, or -1 in case of error.
6879 xmlValidGetPotentialChildren(xmlElementContent
*ctree
,
6880 const xmlChar
**names
,
6881 int *len
, int max
) {
6884 if ((ctree
== NULL
) || (names
== NULL
) || (len
== NULL
))
6886 if (*len
>= max
) return(*len
);
6888 switch (ctree
->type
) {
6889 case XML_ELEMENT_CONTENT_PCDATA
:
6890 for (i
= 0; i
< *len
;i
++)
6891 if (xmlStrEqual(BAD_CAST
"#PCDATA", names
[i
])) return(*len
);
6892 names
[(*len
)++] = BAD_CAST
"#PCDATA";
6894 case XML_ELEMENT_CONTENT_ELEMENT
:
6895 for (i
= 0; i
< *len
;i
++)
6896 if (xmlStrEqual(ctree
->name
, names
[i
])) return(*len
);
6897 names
[(*len
)++] = ctree
->name
;
6899 case XML_ELEMENT_CONTENT_SEQ
:
6900 xmlValidGetPotentialChildren(ctree
->c1
, names
, len
, max
);
6901 xmlValidGetPotentialChildren(ctree
->c2
, names
, len
, max
);
6903 case XML_ELEMENT_CONTENT_OR
:
6904 xmlValidGetPotentialChildren(ctree
->c1
, names
, len
, max
);
6905 xmlValidGetPotentialChildren(ctree
->c2
, names
, len
, max
);
6913 * Dummy function to suppress messages while we try out valid elements
6915 static void XMLCDECL
xmlNoValidityErr(void *ctx ATTRIBUTE_UNUSED
,
6916 const char *msg ATTRIBUTE_UNUSED
, ...) {
6921 * xmlValidGetValidElements:
6922 * @prev: an element to insert after
6923 * @next: an element to insert next
6924 * @names: an array to store the list of child names
6925 * @max: the size of the array
6927 * This function returns the list of authorized children to insert
6928 * within an existing tree while respecting the validity constraints
6929 * forced by the Dtd. The insertion point is defined using @prev and
6930 * @next in the following ways:
6931 * to insert before 'node': xmlValidGetValidElements(node->prev, node, ...
6932 * to insert next 'node': xmlValidGetValidElements(node, node->next, ...
6933 * to replace 'node': xmlValidGetValidElements(node->prev, node->next, ...
6934 * to prepend a child to 'node': xmlValidGetValidElements(NULL, node->childs,
6935 * to append a child to 'node': xmlValidGetValidElements(node->last, NULL, ...
6937 * pointers to the element names are inserted at the beginning of the array
6938 * and do not need to be freed.
6940 * returns the number of element in the list, or -1 in case of error. If
6941 * the function returns the value @max the caller is invited to grow the
6942 * receiving array and retry.
6946 xmlValidGetValidElements(xmlNode
*prev
, xmlNode
*next
, const xmlChar
**names
,
6949 int nb_valid_elements
= 0;
6950 const xmlChar
*elements
[256]={0};
6951 int nb_elements
= 0, i
;
6952 const xmlChar
*name
;
6960 xmlNode
*parent_childs
;
6961 xmlNode
*parent_last
;
6963 xmlElement
*element_desc
;
6965 if (prev
== NULL
&& next
== NULL
)
6968 if (names
== NULL
) return(-1);
6969 if (max
<= 0) return(-1);
6971 memset(&vctxt
, 0, sizeof (xmlValidCtxt
));
6972 vctxt
.error
= xmlNoValidityErr
; /* this suppresses err/warn output */
6974 nb_valid_elements
= 0;
6975 ref_node
= prev
? prev
: next
;
6976 parent
= ref_node
->parent
;
6979 * Retrieves the parent element declaration
6981 element_desc
= xmlGetDtdElementDesc(parent
->doc
->intSubset
,
6983 if ((element_desc
== NULL
) && (parent
->doc
->extSubset
!= NULL
))
6984 element_desc
= xmlGetDtdElementDesc(parent
->doc
->extSubset
,
6986 if (element_desc
== NULL
) return(-1);
6989 * Do a backup of the current tree structure
6991 prev_next
= prev
? prev
->next
: NULL
;
6992 next_prev
= next
? next
->prev
: NULL
;
6993 parent_childs
= parent
->children
;
6994 parent_last
= parent
->last
;
6997 * Creates a dummy node and insert it into the tree
6999 test_node
= xmlNewDocNode (ref_node
->doc
, NULL
, BAD_CAST
"<!dummy?>", NULL
);
7000 if (test_node
== NULL
)
7003 test_node
->parent
= parent
;
7004 test_node
->prev
= prev
;
7005 test_node
->next
= next
;
7006 name
= test_node
->name
;
7008 if (prev
) prev
->next
= test_node
;
7009 else parent
->children
= test_node
;
7011 if (next
) next
->prev
= test_node
;
7012 else parent
->last
= test_node
;
7015 * Insert each potential child node and check if the parent is
7018 nb_elements
= xmlValidGetPotentialChildren(element_desc
->content
,
7019 elements
, &nb_elements
, 256);
7021 for (i
= 0;i
< nb_elements
;i
++) {
7022 test_node
->name
= elements
[i
];
7023 if (xmlValidateOneElement(&vctxt
, parent
->doc
, parent
)) {
7026 for (j
= 0; j
< nb_valid_elements
;j
++)
7027 if (xmlStrEqual(elements
[i
], names
[j
])) break;
7028 names
[nb_valid_elements
++] = elements
[i
];
7029 if (nb_valid_elements
>= max
) break;
7034 * Restore the tree structure
7036 if (prev
) prev
->next
= prev_next
;
7037 if (next
) next
->prev
= next_prev
;
7038 parent
->children
= parent_childs
;
7039 parent
->last
= parent_last
;
7042 * Free up the dummy node
7044 test_node
->name
= name
;
7045 xmlFreeNode(test_node
);
7047 return(nb_valid_elements
);
7049 #endif /* LIBXML_VALID_ENABLED */
7051 #define bottom_valid
7052 #include "elfgcchack.h"