VirtualBox

source: vbox/trunk/src/libs/libxml2-2.9.4/valid.c@ 84439

Last change on this file since 84439 was 65950, checked in by vboxsync, 8 years ago

libxml 2.9.4: fix export

  • Property svn:eol-style set to native
File size: 188.4 KB
Line 
1/*
2 * valid.c : part of the code use to do the DTD handling and the validity
3 * checking
4 *
5 * See Copyright for the status of this software.
6 *
7 * [email protected]
8 */
9
10#define IN_LIBXML
11#include "libxml.h"
12
13#include <string.h>
14
15#ifdef HAVE_STDLIB_H
16#include <stdlib.h>
17#endif
18
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>
28
29static xmlElementPtr xmlGetDtdElementDesc2(xmlDtdPtr dtd, const xmlChar *name,
30 int create);
31/* #define DEBUG_VALID_ALGO */
32/* #define DEBUG_REGEXP_ALGO */
33
34#define TODO \
35 xmlGenericError(xmlGenericErrorContext, \
36 "Unimplemented block at %s:%d\n", \
37 __FILE__, __LINE__);
38
39#ifdef LIBXML_VALID_ENABLED
40static int
41xmlValidateAttributeValueInternal(xmlDocPtr doc, xmlAttributeType type,
42 const xmlChar *value);
43#endif
44/************************************************************************
45 * *
46 * Error handling routines *
47 * *
48 ************************************************************************/
49
50/**
51 * xmlVErrMemory:
52 * @ctxt: an XML validation parser context
53 * @extra: extra informations
54 *
55 * Handle an out of memory error
56 */
57static void
58xmlVErrMemory(xmlValidCtxtPtr ctxt, const char *extra)
59{
60 xmlGenericErrorFunc channel = NULL;
61 xmlParserCtxtPtr pctxt = NULL;
62 void *data = NULL;
63
64 if (ctxt != NULL) {
65 channel = ctxt->error;
66 data = ctxt->userData;
67 /* Use the special values to detect if it is part of a parsing
68 context */
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;
74 }
75 }
76 if (extra)
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);
81 else
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");
86}
87
88/**
89 * xmlErrValid:
90 * @ctxt: an XML validation parser context
91 * @error: the error number
92 * @extra: extra informations
93 *
94 * Handle a validation error
95 */
96static void LIBXML_ATTR_FORMAT(3,0)
97xmlErrValid(xmlValidCtxtPtr ctxt, xmlParserErrors error,
98 const char *msg, const char *extra)
99{
100 xmlGenericErrorFunc channel = NULL;
101 xmlParserCtxtPtr pctxt = NULL;
102 void *data = NULL;
103
104 if (ctxt != NULL) {
105 channel = ctxt->error;
106 data = ctxt->userData;
107 /* Use the special values to detect if it is part of a parsing
108 context */
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;
114 }
115 }
116 if (extra)
117 __xmlRaiseError(NULL, channel, data,
118 pctxt, NULL, XML_FROM_VALID, error,
119 XML_ERR_ERROR, NULL, 0, extra, NULL, NULL, 0, 0,
120 msg, extra);
121 else
122 __xmlRaiseError(NULL, channel, data,
123 pctxt, NULL, XML_FROM_VALID, error,
124 XML_ERR_ERROR, NULL, 0, NULL, NULL, NULL, 0, 0,
125 "%s", msg);
126}
127
128#if defined(LIBXML_VALID_ENABLED) || defined(LIBXML_SCHEMAS_ENABLED)
129/**
130 * xmlErrValidNode:
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
137 *
138 * Handle a validation error, provide contextual informations
139 */
140static void LIBXML_ATTR_FORMAT(4,0)
141xmlErrValidNode(xmlValidCtxtPtr ctxt,
142 xmlNodePtr node, xmlParserErrors error,
143 const char *msg, const xmlChar * str1,
144 const xmlChar * str2, const xmlChar * str3)
145{
146 xmlStructuredErrorFunc schannel = NULL;
147 xmlGenericErrorFunc channel = NULL;
148 xmlParserCtxtPtr pctxt = NULL;
149 void *data = NULL;
150
151 if (ctxt != NULL) {
152 channel = ctxt->error;
153 data = ctxt->userData;
154 /* Use the special values to detect if it is part of a parsing
155 context */
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;
161 }
162 }
163 __xmlRaiseError(schannel, channel, data, pctxt, node, XML_FROM_VALID, error,
164 XML_ERR_ERROR, NULL, 0,
165 (const char *) str1,
166 (const char *) str1,
167 (const char *) str3, 0, 0, msg, str1, str2, str3);
168}
169#endif /* LIBXML_VALID_ENABLED or LIBXML_SCHEMAS_ENABLED */
170
171#ifdef LIBXML_VALID_ENABLED
172/**
173 * xmlErrValidNodeNr:
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
180 *
181 * Handle a validation error, provide contextual informations
182 */
183static void LIBXML_ATTR_FORMAT(4,0)
184xmlErrValidNodeNr(xmlValidCtxtPtr ctxt,
185 xmlNodePtr node, xmlParserErrors error,
186 const char *msg, const xmlChar * str1,
187 int int2, const xmlChar * str3)
188{
189 xmlStructuredErrorFunc schannel = NULL;
190 xmlGenericErrorFunc channel = NULL;
191 xmlParserCtxtPtr pctxt = NULL;
192 void *data = NULL;
193
194 if (ctxt != NULL) {
195 channel = ctxt->error;
196 data = ctxt->userData;
197 /* Use the special values to detect if it is part of a parsing
198 context */
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;
204 }
205 }
206 __xmlRaiseError(schannel, channel, data, pctxt, node, XML_FROM_VALID, error,
207 XML_ERR_ERROR, NULL, 0,
208 (const char *) str1,
209 (const char *) str3,
210 NULL, int2, 0, msg, str1, int2, str3);
211}
212
213/**
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
221 *
222 * Handle a validation error, provide contextual information
223 */
224static void LIBXML_ATTR_FORMAT(4,0)
225xmlErrValidWarning(xmlValidCtxtPtr ctxt,
226 xmlNodePtr node, xmlParserErrors error,
227 const char *msg, const xmlChar * str1,
228 const xmlChar * str2, const xmlChar * str3)
229{
230 xmlStructuredErrorFunc schannel = NULL;
231 xmlGenericErrorFunc channel = NULL;
232 xmlParserCtxtPtr pctxt = NULL;
233 void *data = NULL;
234
235 if (ctxt != NULL) {
236 channel = ctxt->warning;
237 data = ctxt->userData;
238 /* Use the special values to detect if it is part of a parsing
239 context */
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;
245 }
246 }
247 __xmlRaiseError(schannel, channel, data, pctxt, node, XML_FROM_VALID, error,
248 XML_ERR_WARNING, NULL, 0,
249 (const char *) str1,
250 (const char *) str1,
251 (const char *) str3, 0, 0, msg, str1, str2, str3);
252}
253
254
255
256#ifdef LIBXML_REGEXP_ENABLED
257/*
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
260 * callbacks.
261 * Each xmlValidState represent the validation state associated to the
262 * set of nodes currently open from the document root to the current element.
263 */
264
265
266typedef struct _xmlValidState {
267 xmlElementPtr elemDecl; /* pointer to the content model */
268 xmlNodePtr node; /* pointer to the current node */
269 xmlRegExecCtxtPtr exec; /* regexp runtime */
270} _xmlValidState;
271
272
273static int
274vstateVPush(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");
281 return(-1);
282 }
283 }
284
285 if (ctxt->vstateNr >= ctxt->vstateMax) {
286 xmlValidState *tmp;
287
288 tmp = (xmlValidState *) xmlRealloc(ctxt->vstateTab,
289 2 * ctxt->vstateMax * sizeof(ctxt->vstateTab[0]));
290 if (tmp == NULL) {
291 xmlVErrMemory(ctxt, "realloc failed");
292 return(-1);
293 }
294 ctxt->vstateMax *= 2;
295 ctxt->vstateTab = tmp;
296 }
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);
306 } else {
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);
312 }
313 }
314 return(ctxt->vstateNr++);
315}
316
317static int
318vstateVPop(xmlValidCtxtPtr ctxt) {
319 xmlElementPtr elemDecl;
320
321 if (ctxt->vstateNr < 1) return(-1);
322 ctxt->vstateNr--;
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);
328 }
329 ctxt->vstateTab[ctxt->vstateNr].exec = NULL;
330 if (ctxt->vstateNr >= 1)
331 ctxt->vstate = &ctxt->vstateTab[ctxt->vstateNr - 1];
332 else
333 ctxt->vstate = NULL;
334 return(ctxt->vstateNr);
335}
336
337#else /* not LIBXML_REGEXP_ENABLED */
338/*
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
344 *
345 * this is the content of a saved state for rollbacks
346 */
347
348#define ROLLBACK_OR 0
349#define ROLLBACK_PARENT 1
350
351typedef 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 */
357} _xmlValidState;
358
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
366
367#define OCCURRENCE (ctxt->vstate->occurs & (1 << DEPTH))
368#define PARENT_OCCURRENCE (ctxt->vstate->occurs & ((1 << DEPTH) - 1))
369
370#define SET_OCCURRENCE ctxt->vstate->occurs |= (1 << DEPTH)
371#define RESET_OCCURRENCE ctxt->vstate->occurs &= ((1 << DEPTH) - 1)
372
373static int
374vstateVPush(xmlValidCtxtPtr ctxt, xmlElementContentPtr cont,
375 xmlNodePtr node, unsigned char depth, long occurs,
376 unsigned char state) {
377 int i = ctxt->vstateNr - 1;
378
379 if (ctxt->vstateNr > MAX_RECURSE) {
380 return(-1);
381 }
382 if (ctxt->vstateTab == NULL) {
383 ctxt->vstateMax = 8;
384 ctxt->vstateTab = (xmlValidState *) xmlMalloc(
385 ctxt->vstateMax * sizeof(ctxt->vstateTab[0]));
386 if (ctxt->vstateTab == NULL) {
387 xmlVErrMemory(ctxt, "malloc failed");
388 return(-1);
389 }
390 }
391 if (ctxt->vstateNr >= ctxt->vstateMax) {
392 xmlValidState *tmp;
393
394 tmp = (xmlValidState *) xmlRealloc(ctxt->vstateTab,
395 2 * ctxt->vstateMax * sizeof(ctxt->vstateTab[0]));
396 if (tmp == NULL) {
397 xmlVErrMemory(ctxt, "malloc failed");
398 return(-1);
399 }
400 ctxt->vstateMax *= 2;
401 ctxt->vstateTab = tmp;
402 ctxt->vstate = &ctxt->vstateTab[0];
403 }
404 /*
405 * Don't push on the stack a state already here
406 */
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++);
419}
420
421static int
422vstateVPop(xmlValidCtxtPtr ctxt) {
423 if (ctxt->vstateNr <= 1) return(-1);
424 ctxt->vstateNr--;
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);
432}
433
434#endif /* LIBXML_REGEXP_ENABLED */
435
436static int
437nodeVPush(xmlValidCtxtPtr ctxt, xmlNodePtr value)
438{
439 if (ctxt->nodeMax <= 0) {
440 ctxt->nodeMax = 4;
441 ctxt->nodeTab =
442 (xmlNodePtr *) xmlMalloc(ctxt->nodeMax *
443 sizeof(ctxt->nodeTab[0]));
444 if (ctxt->nodeTab == NULL) {
445 xmlVErrMemory(ctxt, "malloc failed");
446 ctxt->nodeMax = 0;
447 return (0);
448 }
449 }
450 if (ctxt->nodeNr >= ctxt->nodeMax) {
451 xmlNodePtr *tmp;
452 tmp = (xmlNodePtr *) xmlRealloc(ctxt->nodeTab,
453 ctxt->nodeMax * 2 * sizeof(ctxt->nodeTab[0]));
454 if (tmp == NULL) {
455 xmlVErrMemory(ctxt, "realloc failed");
456 return (0);
457 }
458 ctxt->nodeMax *= 2;
459 ctxt->nodeTab = tmp;
460 }
461 ctxt->nodeTab[ctxt->nodeNr] = value;
462 ctxt->node = value;
463 return (ctxt->nodeNr++);
464}
465static xmlNodePtr
466nodeVPop(xmlValidCtxtPtr ctxt)
467{
468 xmlNodePtr ret;
469
470 if (ctxt->nodeNr <= 0)
471 return (NULL);
472 ctxt->nodeNr--;
473 if (ctxt->nodeNr > 0)
474 ctxt->node = ctxt->nodeTab[ctxt->nodeNr - 1];
475 else
476 ctxt->node = NULL;
477 ret = ctxt->nodeTab[ctxt->nodeNr];
478 ctxt->nodeTab[ctxt->nodeNr] = NULL;
479 return (ret);
480}
481
482#ifdef DEBUG_VALID_ALGO
483static void
484xmlValidPrintNode(xmlNodePtr cur) {
485 if (cur == NULL) {
486 xmlGenericError(xmlGenericErrorContext, "null");
487 return;
488 }
489 switch (cur->type) {
490 case XML_ELEMENT_NODE:
491 xmlGenericError(xmlGenericErrorContext, "%s ", cur->name);
492 break;
493 case XML_TEXT_NODE:
494 xmlGenericError(xmlGenericErrorContext, "text ");
495 break;
496 case XML_CDATA_SECTION_NODE:
497 xmlGenericError(xmlGenericErrorContext, "cdata ");
498 break;
499 case XML_ENTITY_REF_NODE:
500 xmlGenericError(xmlGenericErrorContext, "&%s; ", cur->name);
501 break;
502 case XML_PI_NODE:
503 xmlGenericError(xmlGenericErrorContext, "pi(%s) ", cur->name);
504 break;
505 case XML_COMMENT_NODE:
506 xmlGenericError(xmlGenericErrorContext, "comment ");
507 break;
508 case XML_ATTRIBUTE_NODE:
509 xmlGenericError(xmlGenericErrorContext, "?attr? ");
510 break;
511 case XML_ENTITY_NODE:
512 xmlGenericError(xmlGenericErrorContext, "?ent? ");
513 break;
514 case XML_DOCUMENT_NODE:
515 xmlGenericError(xmlGenericErrorContext, "?doc? ");
516 break;
517 case XML_DOCUMENT_TYPE_NODE:
518 xmlGenericError(xmlGenericErrorContext, "?doctype? ");
519 break;
520 case XML_DOCUMENT_FRAG_NODE:
521 xmlGenericError(xmlGenericErrorContext, "?frag? ");
522 break;
523 case XML_NOTATION_NODE:
524 xmlGenericError(xmlGenericErrorContext, "?nota? ");
525 break;
526 case XML_HTML_DOCUMENT_NODE:
527 xmlGenericError(xmlGenericErrorContext, "?html? ");
528 break;
529#ifdef LIBXML_DOCB_ENABLED
530 case XML_DOCB_DOCUMENT_NODE:
531 xmlGenericError(xmlGenericErrorContext, "?docb? ");
532 break;
533#endif
534 case XML_DTD_NODE:
535 xmlGenericError(xmlGenericErrorContext, "?dtd? ");
536 break;
537 case XML_ELEMENT_DECL:
538 xmlGenericError(xmlGenericErrorContext, "?edecl? ");
539 break;
540 case XML_ATTRIBUTE_DECL:
541 xmlGenericError(xmlGenericErrorContext, "?adecl? ");
542 break;
543 case XML_ENTITY_DECL:
544 xmlGenericError(xmlGenericErrorContext, "?entdecl? ");
545 break;
546 case XML_NAMESPACE_DECL:
547 xmlGenericError(xmlGenericErrorContext, "?nsdecl? ");
548 break;
549 case XML_XINCLUDE_START:
550 xmlGenericError(xmlGenericErrorContext, "incstart ");
551 break;
552 case XML_XINCLUDE_END:
553 xmlGenericError(xmlGenericErrorContext, "incend ");
554 break;
555 }
556}
557
558static void
559xmlValidPrintNodeList(xmlNodePtr cur) {
560 if (cur == NULL)
561 xmlGenericError(xmlGenericErrorContext, "null ");
562 while (cur != NULL) {
563 xmlValidPrintNode(cur);
564 cur = cur->next;
565 }
566}
567
568static void
569xmlValidDebug(xmlNodePtr cur, xmlElementContentPtr cont) {
570 char expr[5000];
571
572 expr[0] = 0;
573 xmlGenericError(xmlGenericErrorContext, "valid: ");
574 xmlValidPrintNodeList(cur);
575 xmlGenericError(xmlGenericErrorContext, "against ");
576 xmlSnprintfElementContent(expr, 5000, cont, 1);
577 xmlGenericError(xmlGenericErrorContext, "%s\n", expr);
578}
579
580static void
581xmlValidDebugState(xmlValidStatePtr state) {
582 xmlGenericError(xmlGenericErrorContext, "(");
583 if (state->cont == NULL)
584 xmlGenericError(xmlGenericErrorContext, "null,");
585 else
586 switch (state->cont->type) {
587 case XML_ELEMENT_CONTENT_PCDATA:
588 xmlGenericError(xmlGenericErrorContext, "pcdata,");
589 break;
590 case XML_ELEMENT_CONTENT_ELEMENT:
591 xmlGenericError(xmlGenericErrorContext, "%s,",
592 state->cont->name);
593 break;
594 case XML_ELEMENT_CONTENT_SEQ:
595 xmlGenericError(xmlGenericErrorContext, "seq,");
596 break;
597 case XML_ELEMENT_CONTENT_OR:
598 xmlGenericError(xmlGenericErrorContext, "or,");
599 break;
600 }
601 xmlValidPrintNode(state->node);
602 xmlGenericError(xmlGenericErrorContext, ",%d,%X,%d)",
603 state->depth, state->occurs, state->state);
604}
605
606static void
607xmlValidStateDebug(xmlValidCtxtPtr ctxt) {
608 int i, j;
609
610 xmlGenericError(xmlGenericErrorContext, "state: ");
611 xmlValidDebugState(ctxt->vstate);
612 xmlGenericError(xmlGenericErrorContext, " stack: %d ",
613 ctxt->vstateNr - 1);
614 for (i = 0, j = ctxt->vstateNr - 1;(i < 3) && (j > 0);i++,j--)
615 xmlValidDebugState(&ctxt->vstateTab[j]);
616 xmlGenericError(xmlGenericErrorContext, "\n");
617}
618
619/*****
620#define DEBUG_VALID_STATE(n,c) xmlValidDebug(n,c);
621 *****/
622
623#define DEBUG_VALID_STATE(n,c) xmlValidStateDebug(ctxt);
624#define DEBUG_VALID_MSG(m) \
625 xmlGenericError(xmlGenericErrorContext, "%s\n", m);
626
627#else
628#define DEBUG_VALID_STATE(n,c)
629#define DEBUG_VALID_MSG(m)
630#endif
631
632/* TODO: use hash table for accesses to elem and attribute definitions */
633
634
635#define CHECK_DTD \
636 if (doc == NULL) return(0); \
637 else if ((doc->intSubset == NULL) && \
638 (doc->extSubset == NULL)) return(0)
639
640#ifdef LIBXML_REGEXP_ENABLED
641
642/************************************************************************
643 * *
644 * Content model validation based on the regexps *
645 * *
646 ************************************************************************/
647
648/**
649 * xmlValidBuildAContentModel:
650 * @content: the content model
651 * @ctxt: the schema parser context
652 * @name: the element name whose content is being built
653 *
654 * Generate the automata sequence needed for that type
655 *
656 * Returns 1 if successful or 0 in case of error.
657 */
658static int
659xmlValidBuildAContentModel(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",
665 name, NULL, NULL);
666 return(0);
667 }
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",
672 name, NULL, NULL);
673 return(0);
674 break;
675 case XML_ELEMENT_CONTENT_ELEMENT: {
676 xmlAutomataStatePtr oldstate = ctxt->state;
677 xmlChar fn[50];
678 xmlChar *fullname;
679
680 fullname = xmlBuildQName(content->name, content->prefix, fn, 50);
681 if (fullname == NULL) {
682 xmlVErrMemory(ctxt, "Building content model");
683 return(0);
684 }
685
686 switch (content->ocur) {
687 case XML_ELEMENT_CONTENT_ONCE:
688 ctxt->state = xmlAutomataNewTransition(ctxt->am,
689 ctxt->state, NULL, fullname, NULL);
690 break;
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);
695 break;
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);
701 break;
702 case XML_ELEMENT_CONTENT_MULT:
703 ctxt->state = xmlAutomataNewEpsilon(ctxt->am,
704 ctxt->state, NULL);
705 xmlAutomataNewTransition(ctxt->am,
706 ctxt->state, ctxt->state, fullname, NULL);
707 break;
708 }
709 if ((fullname != fn) && (fullname != content->name))
710 xmlFree(fullname);
711 break;
712 }
713 case XML_ELEMENT_CONTENT_SEQ: {
714 xmlAutomataStatePtr oldstate, oldend;
715 xmlElementContentOccur ocur;
716
717 /*
718 * Simply iterate over the content
719 */
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;
725 }
726 do {
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);
734 switch (ocur) {
735 case XML_ELEMENT_CONTENT_ONCE:
736 break;
737 case XML_ELEMENT_CONTENT_OPT:
738 xmlAutomataNewEpsilon(ctxt->am, oldstate, ctxt->state);
739 break;
740 case XML_ELEMENT_CONTENT_MULT:
741 xmlAutomataNewEpsilon(ctxt->am, oldstate, ctxt->state);
742 xmlAutomataNewEpsilon(ctxt->am, oldend, oldstate);
743 break;
744 case XML_ELEMENT_CONTENT_PLUS:
745 xmlAutomataNewEpsilon(ctxt->am, oldend, oldstate);
746 break;
747 }
748 break;
749 }
750 case XML_ELEMENT_CONTENT_OR: {
751 xmlAutomataStatePtr oldstate, oldend;
752 xmlElementContentOccur ocur;
753
754 ocur = content->ocur;
755 if ((ocur == XML_ELEMENT_CONTENT_PLUS) ||
756 (ocur == XML_ELEMENT_CONTENT_MULT)) {
757 ctxt->state = xmlAutomataNewEpsilon(ctxt->am,
758 ctxt->state, NULL);
759 }
760 oldstate = ctxt->state;
761 oldend = xmlAutomataNewState(ctxt->am);
762
763 /*
764 * iterate over the subtypes and remerge the end with an
765 * epsilon transition
766 */
767 do {
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);
778 switch (ocur) {
779 case XML_ELEMENT_CONTENT_ONCE:
780 break;
781 case XML_ELEMENT_CONTENT_OPT:
782 xmlAutomataNewEpsilon(ctxt->am, oldstate, ctxt->state);
783 break;
784 case XML_ELEMENT_CONTENT_MULT:
785 xmlAutomataNewEpsilon(ctxt->am, oldstate, ctxt->state);
786 xmlAutomataNewEpsilon(ctxt->am, oldend, oldstate);
787 break;
788 case XML_ELEMENT_CONTENT_PLUS:
789 xmlAutomataNewEpsilon(ctxt->am, oldend, oldstate);
790 break;
791 }
792 break;
793 }
794 default:
795 xmlErrValid(ctxt, XML_ERR_INTERNAL_ERROR,
796 "ContentModel broken for element %s\n",
797 (const char *) name);
798 return(0);
799 }
800 return(1);
801}
802/**
803 * xmlValidBuildContentModel:
804 * @ctxt: a validation context
805 * @elem: an element declaration node
806 *
807 * (Re)Build the automata associated to the content model of this
808 * element
809 *
810 * Returns 1 in case of success, 0 in case of error
811 */
812int
813xmlValidBuildContentModel(xmlValidCtxtPtr ctxt, xmlElementPtr elem) {
814
815 if ((ctxt == NULL) || (elem == NULL))
816 return(0);
817 if (elem->type != XML_ELEMENT_DECL)
818 return(0);
819 if (elem->etype != XML_ELEMENT_TYPE_ELEMENT)
820 return(1);
821 /* TODO: should we rebuild in this case ? */
822 if (elem->contModel != NULL) {
823 if (!xmlRegexpIsDeterminist(elem->contModel)) {
824 ctxt->valid = 0;
825 return(0);
826 }
827 return(1);
828 }
829
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);
836 return(0);
837 }
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) {
843 char expr[5000];
844 expr[0] = 0;
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);
852#endif
853 ctxt->valid = 0;
854 ctxt->state = NULL;
855 xmlFreeAutomata(ctxt->am);
856 ctxt->am = NULL;
857 return(0);
858 }
859 ctxt->state = NULL;
860 xmlFreeAutomata(ctxt->am);
861 ctxt->am = NULL;
862 return(1);
863}
864
865#endif /* LIBXML_REGEXP_ENABLED */
866
867/****************************************************************
868 * *
869 * Util functions for data allocation/deallocation *
870 * *
871 ****************************************************************/
872
873/**
874 * xmlNewValidCtxt:
875 *
876 * Allocate a validation context structure.
877 *
878 * Returns NULL if not, otherwise the new validation context structure
879 */
880xmlValidCtxtPtr xmlNewValidCtxt(void) {
881 xmlValidCtxtPtr ret;
882
883 if ((ret = xmlMalloc(sizeof (xmlValidCtxt))) == NULL) {
884 xmlVErrMemory(NULL, "malloc failed");
885 return (NULL);
886 }
887
888 (void) memset(ret, 0, sizeof (xmlValidCtxt));
889
890 return (ret);
891}
892
893/**
894 * xmlFreeValidCtxt:
895 * @cur: the validation context to free
896 *
897 * Free a validation context structure.
898 */
899void
900xmlFreeValidCtxt(xmlValidCtxtPtr cur) {
901 if (cur->vstateTab != NULL)
902 xmlFree(cur->vstateTab);
903 if (cur->nodeTab != NULL)
904 xmlFree(cur->nodeTab);
905 xmlFree(cur);
906}
907
908#endif /* LIBXML_VALID_ENABLED */
909
910/**
911 * xmlNewDocElementContent:
912 * @doc: the document
913 * @name: the subelement name or NULL
914 * @type: the type of element content decl
915 *
916 * Allocate an element content structure for the document.
917 *
918 * Returns NULL if not, otherwise the new element content structure
919 */
920xmlElementContentPtr
921xmlNewDocElementContent(xmlDocPtr doc, const xmlChar *name,
922 xmlElementContentType type) {
923 xmlElementContentPtr ret;
924 xmlDictPtr dict = NULL;
925
926 if (doc != NULL)
927 dict = doc->dict;
928
929 switch(type) {
930 case XML_ELEMENT_CONTENT_ELEMENT:
931 if (name == NULL) {
932 xmlErrValid(NULL, XML_ERR_INTERNAL_ERROR,
933 "xmlNewElementContent : name == NULL !\n",
934 NULL);
935 }
936 break;
937 case XML_ELEMENT_CONTENT_PCDATA:
938 case XML_ELEMENT_CONTENT_SEQ:
939 case XML_ELEMENT_CONTENT_OR:
940 if (name != NULL) {
941 xmlErrValid(NULL, XML_ERR_INTERNAL_ERROR,
942 "xmlNewElementContent : name != NULL !\n",
943 NULL);
944 }
945 break;
946 default:
947 xmlErrValid(NULL, XML_ERR_INTERNAL_ERROR,
948 "Internal: ELEMENT content corrupted invalid type\n",
949 NULL);
950 return(NULL);
951 }
952 ret = (xmlElementContentPtr) xmlMalloc(sizeof(xmlElementContent));
953 if (ret == NULL) {
954 xmlVErrMemory(NULL, "malloc failed");
955 return(NULL);
956 }
957 memset(ret, 0, sizeof(xmlElementContent));
958 ret->type = type;
959 ret->ocur = XML_ELEMENT_CONTENT_ONCE;
960 if (name != NULL) {
961 int l;
962 const xmlChar *tmp;
963
964 tmp = xmlSplitQName3(name, &l);
965 if (tmp == NULL) {
966 if (dict == NULL)
967 ret->name = xmlStrdup(name);
968 else
969 ret->name = xmlDictLookup(dict, name, -1);
970 } else {
971 if (dict == NULL) {
972 ret->prefix = xmlStrndup(name, l);
973 ret->name = xmlStrdup(tmp);
974 } else {
975 ret->prefix = xmlDictLookup(dict, name, l);
976 ret->name = xmlDictLookup(dict, tmp, -1);
977 }
978 }
979 }
980 return(ret);
981}
982
983/**
984 * xmlNewElementContent:
985 * @name: the subelement name or NULL
986 * @type: the type of element content decl
987 *
988 * Allocate an element content structure.
989 * Deprecated in favor of xmlNewDocElementContent
990 *
991 * Returns NULL if not, otherwise the new element content structure
992 */
993xmlElementContentPtr
994xmlNewElementContent(const xmlChar *name, xmlElementContentType type) {
995 return(xmlNewDocElementContent(NULL, name, type));
996}
997
998/**
999 * xmlCopyDocElementContent:
1000 * @doc: the document owning the element declaration
1001 * @cur: An element content pointer.
1002 *
1003 * Build a copy of an element content description.
1004 *
1005 * Returns the new xmlElementContentPtr or NULL in case of error.
1006 */
1007xmlElementContentPtr
1008xmlCopyDocElementContent(xmlDocPtr doc, xmlElementContentPtr cur) {
1009 xmlElementContentPtr ret = NULL, prev = NULL, tmp;
1010 xmlDictPtr dict = NULL;
1011
1012 if (cur == NULL) return(NULL);
1013
1014 if (doc != NULL)
1015 dict = doc->dict;
1016
1017 ret = (xmlElementContentPtr) xmlMalloc(sizeof(xmlElementContent));
1018 if (ret == NULL) {
1019 xmlVErrMemory(NULL, "malloc failed");
1020 return(NULL);
1021 }
1022 memset(ret, 0, sizeof(xmlElementContent));
1023 ret->type = cur->type;
1024 ret->ocur = cur->ocur;
1025 if (cur->name != NULL) {
1026 if (dict)
1027 ret->name = xmlDictLookup(dict, cur->name, -1);
1028 else
1029 ret->name = xmlStrdup(cur->name);
1030 }
1031
1032 if (cur->prefix != NULL) {
1033 if (dict)
1034 ret->prefix = xmlDictLookup(dict, cur->prefix, -1);
1035 else
1036 ret->prefix = xmlStrdup(cur->prefix);
1037 }
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) {
1043 prev = ret;
1044 cur = cur->c2;
1045 while (cur != NULL) {
1046 tmp = (xmlElementContentPtr) xmlMalloc(sizeof(xmlElementContent));
1047 if (tmp == NULL) {
1048 xmlVErrMemory(NULL, "malloc failed");
1049 return(ret);
1050 }
1051 memset(tmp, 0, sizeof(xmlElementContent));
1052 tmp->type = cur->type;
1053 tmp->ocur = cur->ocur;
1054 prev->c2 = tmp;
1055 if (cur->name != NULL) {
1056 if (dict)
1057 tmp->name = xmlDictLookup(dict, cur->name, -1);
1058 else
1059 tmp->name = xmlStrdup(cur->name);
1060 }
1061
1062 if (cur->prefix != NULL) {
1063 if (dict)
1064 tmp->prefix = xmlDictLookup(dict, cur->prefix, -1);
1065 else
1066 tmp->prefix = xmlStrdup(cur->prefix);
1067 }
1068 if (cur->c1 != NULL)
1069 tmp->c1 = xmlCopyDocElementContent(doc,cur->c1);
1070 if (tmp->c1 != NULL)
1071 tmp->c1->parent = ret;
1072 prev = tmp;
1073 cur = cur->c2;
1074 }
1075 }
1076 return(ret);
1077}
1078
1079/**
1080 * xmlCopyElementContent:
1081 * @cur: An element content pointer.
1082 *
1083 * Build a copy of an element content description.
1084 * Deprecated, use xmlCopyDocElementContent instead
1085 *
1086 * Returns the new xmlElementContentPtr or NULL in case of error.
1087 */
1088xmlElementContentPtr
1089xmlCopyElementContent(xmlElementContentPtr cur) {
1090 return(xmlCopyDocElementContent(NULL, cur));
1091}
1092
1093/**
1094 * xmlFreeDocElementContent:
1095 * @doc: the document owning the element declaration
1096 * @cur: the element content tree to free
1097 *
1098 * Free an element content structure. The whole subtree is removed.
1099 */
1100void
1101xmlFreeDocElementContent(xmlDocPtr doc, xmlElementContentPtr cur) {
1102 xmlElementContentPtr next;
1103 xmlDictPtr dict = NULL;
1104
1105 if (doc != NULL)
1106 dict = doc->dict;
1107
1108 while (cur != NULL) {
1109 next = cur->c2;
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:
1115 break;
1116 default:
1117 xmlErrValid(NULL, XML_ERR_INTERNAL_ERROR,
1118 "Internal: ELEMENT content corrupted invalid type\n",
1119 NULL);
1120 return;
1121 }
1122 if (cur->c1 != NULL) xmlFreeDocElementContent(doc, cur->c1);
1123 if (dict) {
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);
1128 } else {
1129 if (cur->name != NULL) xmlFree((xmlChar *) cur->name);
1130 if (cur->prefix != NULL) xmlFree((xmlChar *) cur->prefix);
1131 }
1132 xmlFree(cur);
1133 cur = next;
1134 }
1135}
1136
1137/**
1138 * xmlFreeElementContent:
1139 * @cur: the element content tree to free
1140 *
1141 * Free an element content structure. The whole subtree is removed.
1142 * Deprecated, use xmlFreeDocElementContent instead
1143 */
1144void
1145xmlFreeElementContent(xmlElementContentPtr cur) {
1146 xmlFreeDocElementContent(NULL, cur);
1147}
1148
1149#ifdef LIBXML_OUTPUT_ENABLED
1150/**
1151 * xmlDumpElementContent:
1152 * @buf: An XML buffer
1153 * @content: An element table
1154 * @glob: 1 if one must print the englobing parenthesis, 0 otherwise
1155 *
1156 * This will dump the content of the element table as an XML DTD definition
1157 */
1158static void
1159xmlDumpElementContent(xmlBufferPtr buf, xmlElementContentPtr content, int glob) {
1160 if (content == NULL) return;
1161
1162 if (glob) xmlBufferWriteChar(buf, "(");
1163 switch (content->type) {
1164 case XML_ELEMENT_CONTENT_PCDATA:
1165 xmlBufferWriteChar(buf, "#PCDATA");
1166 break;
1167 case XML_ELEMENT_CONTENT_ELEMENT:
1168 if (content->prefix != NULL) {
1169 xmlBufferWriteCHAR(buf, content->prefix);
1170 xmlBufferWriteChar(buf, ":");
1171 }
1172 xmlBufferWriteCHAR(buf, content->name);
1173 break;
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);
1178 else
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);
1185 else
1186 xmlDumpElementContent(buf, content->c2, 0);
1187 break;
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);
1192 else
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);
1199 else
1200 xmlDumpElementContent(buf, content->c2, 0);
1201 break;
1202 default:
1203 xmlErrValid(NULL, XML_ERR_INTERNAL_ERROR,
1204 "Internal: ELEMENT content corrupted invalid type\n",
1205 NULL);
1206 }
1207 if (glob)
1208 xmlBufferWriteChar(buf, ")");
1209 switch (content->ocur) {
1210 case XML_ELEMENT_CONTENT_ONCE:
1211 break;
1212 case XML_ELEMENT_CONTENT_OPT:
1213 xmlBufferWriteChar(buf, "?");
1214 break;
1215 case XML_ELEMENT_CONTENT_MULT:
1216 xmlBufferWriteChar(buf, "*");
1217 break;
1218 case XML_ELEMENT_CONTENT_PLUS:
1219 xmlBufferWriteChar(buf, "+");
1220 break;
1221 }
1222}
1223
1224/**
1225 * xmlSprintfElementContent:
1226 * @buf: an output buffer
1227 * @content: An element table
1228 * @englob: 1 if one must print the englobing parenthesis, 0 otherwise
1229 *
1230 * Deprecated, unsafe, use xmlSnprintfElementContent
1231 */
1232void
1233xmlSprintfElementContent(char *buf ATTRIBUTE_UNUSED,
1234 xmlElementContentPtr content ATTRIBUTE_UNUSED,
1235 int englob ATTRIBUTE_UNUSED) {
1236}
1237#endif /* LIBXML_OUTPUT_ENABLED */
1238
1239/**
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
1245 *
1246 * This will dump the content of the element content definition
1247 * Intended just for the debug routine
1248 */
1249void
1250xmlSnprintfElementContent(char *buf, int size, xmlElementContentPtr content, int englob) {
1251 int len;
1252
1253 if (content == NULL) return;
1254 len = strlen(buf);
1255 if (size - len < 50) {
1256 if ((size - len > 4) && (buf[len - 1] != '.'))
1257 strcat(buf, " ...");
1258 return;
1259 }
1260 if (englob) strcat(buf, "(");
1261 switch (content->type) {
1262 case XML_ELEMENT_CONTENT_PCDATA:
1263 strcat(buf, "#PCDATA");
1264 break;
1265 case XML_ELEMENT_CONTENT_ELEMENT:
1266 if (content->prefix != NULL) {
1267 if (size - len < xmlStrlen(content->prefix) + 10) {
1268 strcat(buf, " ...");
1269 return;
1270 }
1271 strcat(buf, (char *) content->prefix);
1272 strcat(buf, ":");
1273 }
1274 if (size - len < xmlStrlen(content->name) + 10) {
1275 strcat(buf, " ...");
1276 return;
1277 }
1278 if (content->name != NULL)
1279 strcat(buf, (char *) content->name);
1280 break;
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);
1285 else
1286 xmlSnprintfElementContent(buf, size, content->c1, 0);
1287 len = strlen(buf);
1288 if (size - len < 50) {
1289 if ((size - len > 4) && (buf[len - 1] != '.'))
1290 strcat(buf, " ...");
1291 return;
1292 }
1293 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);
1298 else
1299 xmlSnprintfElementContent(buf, size, content->c2, 0);
1300 break;
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);
1305 else
1306 xmlSnprintfElementContent(buf, size, content->c1, 0);
1307 len = strlen(buf);
1308 if (size - len < 50) {
1309 if ((size - len > 4) && (buf[len - 1] != '.'))
1310 strcat(buf, " ...");
1311 return;
1312 }
1313 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);
1318 else
1319 xmlSnprintfElementContent(buf, size, content->c2, 0);
1320 break;
1321 }
1322 if (englob)
1323 strcat(buf, ")");
1324 switch (content->ocur) {
1325 case XML_ELEMENT_CONTENT_ONCE:
1326 break;
1327 case XML_ELEMENT_CONTENT_OPT:
1328 strcat(buf, "?");
1329 break;
1330 case XML_ELEMENT_CONTENT_MULT:
1331 strcat(buf, "*");
1332 break;
1333 case XML_ELEMENT_CONTENT_PLUS:
1334 strcat(buf, "+");
1335 break;
1336 }
1337}
1338
1339/****************************************************************
1340 * *
1341 * Registration of DTD declarations *
1342 * *
1343 ****************************************************************/
1344
1345/**
1346 * xmlFreeElement:
1347 * @elem: An element
1348 *
1349 * Deallocate the memory used by an element definition
1350 */
1351static void
1352xmlFreeElement(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);
1363#endif
1364 xmlFree(elem);
1365}
1366
1367
1368/**
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
1375 *
1376 * Register a new element declaration
1377 *
1378 * Returns NULL if not, otherwise the entity
1379 */
1380xmlElementPtr
1381xmlAddElementDecl(xmlValidCtxtPtr ctxt,
1382 xmlDtdPtr dtd, const xmlChar *name,
1383 xmlElementTypeVal type,
1384 xmlElementContentPtr content) {
1385 xmlElementPtr ret;
1386 xmlElementTablePtr table;
1387 xmlAttributePtr oldAttributes = NULL;
1388 xmlChar *ns, *uqname;
1389
1390 if (dtd == NULL) {
1391 return(NULL);
1392 }
1393 if (name == NULL) {
1394 return(NULL);
1395 }
1396
1397 switch (type) {
1398 case XML_ELEMENT_TYPE_EMPTY:
1399 if (content != NULL) {
1400 xmlErrValid(ctxt, XML_ERR_INTERNAL_ERROR,
1401 "xmlAddElementDecl: content != NULL for EMPTY\n",
1402 NULL);
1403 return(NULL);
1404 }
1405 break;
1406 case XML_ELEMENT_TYPE_ANY:
1407 if (content != NULL) {
1408 xmlErrValid(ctxt, XML_ERR_INTERNAL_ERROR,
1409 "xmlAddElementDecl: content != NULL for ANY\n",
1410 NULL);
1411 return(NULL);
1412 }
1413 break;
1414 case XML_ELEMENT_TYPE_MIXED:
1415 if (content == NULL) {
1416 xmlErrValid(ctxt, XML_ERR_INTERNAL_ERROR,
1417 "xmlAddElementDecl: content == NULL for MIXED\n",
1418 NULL);
1419 return(NULL);
1420 }
1421 break;
1422 case XML_ELEMENT_TYPE_ELEMENT:
1423 if (content == NULL) {
1424 xmlErrValid(ctxt, XML_ERR_INTERNAL_ERROR,
1425 "xmlAddElementDecl: content == NULL for ELEMENT\n",
1426 NULL);
1427 return(NULL);
1428 }
1429 break;
1430 default:
1431 xmlErrValid(ctxt, XML_ERR_INTERNAL_ERROR,
1432 "Internal: ELEMENT decl corrupted invalid type\n",
1433 NULL);
1434 return(NULL);
1435 }
1436
1437 /*
1438 * check if name is a QName
1439 */
1440 uqname = xmlSplitQName2(name, &ns);
1441 if (uqname != NULL)
1442 name = uqname;
1443
1444 /*
1445 * Create the Element table if needed.
1446 */
1447 table = (xmlElementTablePtr) dtd->elements;
1448 if (table == NULL) {
1449 xmlDictPtr dict = NULL;
1450
1451 if (dtd->doc != NULL)
1452 dict = dtd->doc->dict;
1453 table = xmlHashCreateDict(0, dict);
1454 dtd->elements = (void *) table;
1455 }
1456 if (table == NULL) {
1457 xmlVErrMemory(ctxt,
1458 "xmlAddElementDecl: Table creation failed!\n");
1459 if (uqname != NULL)
1460 xmlFree(uqname);
1461 if (ns != NULL)
1462 xmlFree(ns);
1463 return(NULL);
1464 }
1465
1466 /*
1467 * lookup old attributes inserted on an undefined element in the
1468 * internal subset.
1469 */
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);
1477 }
1478 }
1479
1480 /*
1481 * The element may already be present if one of its attribute
1482 * was registered first
1483 */
1484 ret = xmlHashLookup2(table, name, ns);
1485 if (ret != NULL) {
1486 if (ret->etype != XML_ELEMENT_TYPE_UNDEFINED) {
1487#ifdef LIBXML_VALID_ENABLED
1488 /*
1489 * The element is already defined in this DTD.
1490 */
1491 xmlErrValidNode(ctxt, (xmlNodePtr) dtd, XML_DTD_ELEM_REDEFINED,
1492 "Redefinition of element %s\n",
1493 name, NULL, NULL);
1494#endif /* LIBXML_VALID_ENABLED */
1495 if (uqname != NULL)
1496 xmlFree(uqname);
1497 if (ns != NULL)
1498 xmlFree(ns);
1499 return(NULL);
1500 }
1501 if (ns != NULL) {
1502 xmlFree(ns);
1503 ns = NULL;
1504 }
1505 } else {
1506 ret = (xmlElementPtr) xmlMalloc(sizeof(xmlElement));
1507 if (ret == NULL) {
1508 xmlVErrMemory(ctxt, "malloc failed");
1509 if (uqname != NULL)
1510 xmlFree(uqname);
1511 if (ns != NULL)
1512 xmlFree(ns);
1513 return(NULL);
1514 }
1515 memset(ret, 0, sizeof(xmlElement));
1516 ret->type = XML_ELEMENT_DECL;
1517
1518 /*
1519 * fill the structure.
1520 */
1521 ret->name = xmlStrdup(name);
1522 if (ret->name == NULL) {
1523 xmlVErrMemory(ctxt, "malloc failed");
1524 if (uqname != NULL)
1525 xmlFree(uqname);
1526 if (ns != NULL)
1527 xmlFree(ns);
1528 xmlFree(ret);
1529 return(NULL);
1530 }
1531 ret->prefix = ns;
1532
1533 /*
1534 * Validity Check:
1535 * Insertion must not fail
1536 */
1537 if (xmlHashAddEntry2(table, name, ns, ret)) {
1538#ifdef LIBXML_VALID_ENABLED
1539 /*
1540 * The element is already defined in this DTD.
1541 */
1542 xmlErrValidNode(ctxt, (xmlNodePtr) dtd, XML_DTD_ELEM_REDEFINED,
1543 "Redefinition of element %s\n",
1544 name, NULL, NULL);
1545#endif /* LIBXML_VALID_ENABLED */
1546 xmlFreeElement(ret);
1547 if (uqname != NULL)
1548 xmlFree(uqname);
1549 return(NULL);
1550 }
1551 /*
1552 * For new element, may have attributes from earlier
1553 * definition in internal subset
1554 */
1555 ret->attributes = oldAttributes;
1556 }
1557
1558 /*
1559 * Finish to fill the structure.
1560 */
1561 ret->etype = type;
1562 /*
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.
1566 */
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;
1573 } else {
1574 ret->content = xmlCopyDocElementContent(dtd->doc, content);
1575 }
1576
1577 /*
1578 * Link it to the DTD
1579 */
1580 ret->parent = dtd;
1581 ret->doc = dtd->doc;
1582 if (dtd->last == NULL) {
1583 dtd->children = dtd->last = (xmlNodePtr) ret;
1584 } else {
1585 dtd->last->next = (xmlNodePtr) ret;
1586 ret->prev = dtd->last;
1587 dtd->last = (xmlNodePtr) ret;
1588 }
1589 if (uqname != NULL)
1590 xmlFree(uqname);
1591 return(ret);
1592}
1593
1594/**
1595 * xmlFreeElementTable:
1596 * @table: An element table
1597 *
1598 * Deallocate the memory used by an element hash table.
1599 */
1600void
1601xmlFreeElementTable(xmlElementTablePtr table) {
1602 xmlHashFree(table, (xmlHashDeallocator) xmlFreeElement);
1603}
1604
1605#ifdef LIBXML_TREE_ENABLED
1606/**
1607 * xmlCopyElement:
1608 * @elem: An element
1609 *
1610 * Build a copy of an element.
1611 *
1612 * Returns the new xmlElementPtr or NULL in case of error.
1613 */
1614static xmlElementPtr
1615xmlCopyElement(xmlElementPtr elem) {
1616 xmlElementPtr cur;
1617
1618 cur = (xmlElementPtr) xmlMalloc(sizeof(xmlElement));
1619 if (cur == NULL) {
1620 xmlVErrMemory(NULL, "malloc failed");
1621 return(NULL);
1622 }
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);
1628 else
1629 cur->name = NULL;
1630 if (elem->prefix != NULL)
1631 cur->prefix = xmlStrdup(elem->prefix);
1632 else
1633 cur->prefix = NULL;
1634 cur->content = xmlCopyElementContent(elem->content);
1635 /* TODO : rebuild the attribute list on the copy */
1636 cur->attributes = NULL;
1637 return(cur);
1638}
1639
1640/**
1641 * xmlCopyElementTable:
1642 * @table: An element table
1643 *
1644 * Build a copy of an element table.
1645 *
1646 * Returns the new xmlElementTablePtr or NULL in case of error.
1647 */
1648xmlElementTablePtr
1649xmlCopyElementTable(xmlElementTablePtr table) {
1650 return((xmlElementTablePtr) xmlHashCopy(table,
1651 (xmlHashCopier) xmlCopyElement));
1652}
1653#endif /* LIBXML_TREE_ENABLED */
1654
1655#ifdef LIBXML_OUTPUT_ENABLED
1656/**
1657 * xmlDumpElementDecl:
1658 * @buf: the XML buffer output
1659 * @elem: An element table
1660 *
1661 * This will dump the content of the element declaration as an XML
1662 * DTD definition
1663 */
1664void
1665xmlDumpElementDecl(xmlBufferPtr buf, xmlElementPtr elem) {
1666 if ((buf == NULL) || (elem == NULL))
1667 return;
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, ":");
1674 }
1675 xmlBufferWriteCHAR(buf, elem->name);
1676 xmlBufferWriteChar(buf, " EMPTY>\n");
1677 break;
1678 case XML_ELEMENT_TYPE_ANY:
1679 xmlBufferWriteChar(buf, "<!ELEMENT ");
1680 if (elem->prefix != NULL) {
1681 xmlBufferWriteCHAR(buf, elem->prefix);
1682 xmlBufferWriteChar(buf, ":");
1683 }
1684 xmlBufferWriteCHAR(buf, elem->name);
1685 xmlBufferWriteChar(buf, " ANY>\n");
1686 break;
1687 case XML_ELEMENT_TYPE_MIXED:
1688 xmlBufferWriteChar(buf, "<!ELEMENT ");
1689 if (elem->prefix != NULL) {
1690 xmlBufferWriteCHAR(buf, elem->prefix);
1691 xmlBufferWriteChar(buf, ":");
1692 }
1693 xmlBufferWriteCHAR(buf, elem->name);
1694 xmlBufferWriteChar(buf, " ");
1695 xmlDumpElementContent(buf, elem->content, 1);
1696 xmlBufferWriteChar(buf, ">\n");
1697 break;
1698 case XML_ELEMENT_TYPE_ELEMENT:
1699 xmlBufferWriteChar(buf, "<!ELEMENT ");
1700 if (elem->prefix != NULL) {
1701 xmlBufferWriteCHAR(buf, elem->prefix);
1702 xmlBufferWriteChar(buf, ":");
1703 }
1704 xmlBufferWriteCHAR(buf, elem->name);
1705 xmlBufferWriteChar(buf, " ");
1706 xmlDumpElementContent(buf, elem->content, 1);
1707 xmlBufferWriteChar(buf, ">\n");
1708 break;
1709 default:
1710 xmlErrValid(NULL, XML_ERR_INTERNAL_ERROR,
1711 "Internal: ELEMENT struct corrupted invalid type\n",
1712 NULL);
1713 }
1714}
1715
1716/**
1717 * xmlDumpElementDeclScan:
1718 * @elem: An element table
1719 * @buf: the XML buffer output
1720 *
1721 * This routine is used by the hash scan function. It just reverses
1722 * the arguments.
1723 */
1724static void
1725xmlDumpElementDeclScan(xmlElementPtr elem, xmlBufferPtr buf) {
1726 xmlDumpElementDecl(buf, elem);
1727}
1728
1729/**
1730 * xmlDumpElementTable:
1731 * @buf: the XML buffer output
1732 * @table: An element table
1733 *
1734 * This will dump the content of the element table as an XML DTD definition
1735 */
1736void
1737xmlDumpElementTable(xmlBufferPtr buf, xmlElementTablePtr table) {
1738 if ((buf == NULL) || (table == NULL))
1739 return;
1740 xmlHashScan(table, (xmlHashScanner) xmlDumpElementDeclScan, buf);
1741}
1742#endif /* LIBXML_OUTPUT_ENABLED */
1743
1744/**
1745 * xmlCreateEnumeration:
1746 * @name: the enumeration name or NULL
1747 *
1748 * create and initialize an enumeration attribute node.
1749 *
1750 * Returns the xmlEnumerationPtr just created or NULL in case
1751 * of error.
1752 */
1753xmlEnumerationPtr
1754xmlCreateEnumeration(const xmlChar *name) {
1755 xmlEnumerationPtr ret;
1756
1757 ret = (xmlEnumerationPtr) xmlMalloc(sizeof(xmlEnumeration));
1758 if (ret == NULL) {
1759 xmlVErrMemory(NULL, "malloc failed");
1760 return(NULL);
1761 }
1762 memset(ret, 0, sizeof(xmlEnumeration));
1763
1764 if (name != NULL)
1765 ret->name = xmlStrdup(name);
1766 return(ret);
1767}
1768
1769/**
1770 * xmlFreeEnumeration:
1771 * @cur: the tree to free.
1772 *
1773 * free an enumeration attribute node (recursive).
1774 */
1775void
1776xmlFreeEnumeration(xmlEnumerationPtr cur) {
1777 if (cur == NULL) return;
1778
1779 if (cur->next != NULL) xmlFreeEnumeration(cur->next);
1780
1781 if (cur->name != NULL) xmlFree((xmlChar *) cur->name);
1782 xmlFree(cur);
1783}
1784
1785#ifdef LIBXML_TREE_ENABLED
1786/**
1787 * xmlCopyEnumeration:
1788 * @cur: the tree to copy.
1789 *
1790 * Copy an enumeration attribute node (recursive).
1791 *
1792 * Returns the xmlEnumerationPtr just created or NULL in case
1793 * of error.
1794 */
1795xmlEnumerationPtr
1796xmlCopyEnumeration(xmlEnumerationPtr cur) {
1797 xmlEnumerationPtr ret;
1798
1799 if (cur == NULL) return(NULL);
1800 ret = xmlCreateEnumeration((xmlChar *) cur->name);
1801 if (ret == NULL) return(NULL);
1802
1803 if (cur->next != NULL) ret->next = xmlCopyEnumeration(cur->next);
1804 else ret->next = NULL;
1805
1806 return(ret);
1807}
1808#endif /* LIBXML_TREE_ENABLED */
1809
1810#ifdef LIBXML_OUTPUT_ENABLED
1811/**
1812 * xmlDumpEnumeration:
1813 * @buf: the XML buffer output
1814 * @enum: An enumeration
1815 *
1816 * This will dump the content of the enumeration
1817 */
1818static void
1819xmlDumpEnumeration(xmlBufferPtr buf, xmlEnumerationPtr cur) {
1820 if ((buf == NULL) || (cur == NULL))
1821 return;
1822
1823 xmlBufferWriteCHAR(buf, cur->name);
1824 if (cur->next == NULL)
1825 xmlBufferWriteChar(buf, ")");
1826 else {
1827 xmlBufferWriteChar(buf, " | ");
1828 xmlDumpEnumeration(buf, cur->next);
1829 }
1830}
1831#endif /* LIBXML_OUTPUT_ENABLED */
1832
1833#ifdef LIBXML_VALID_ENABLED
1834/**
1835 * xmlScanIDAttributeDecl:
1836 * @ctxt: the validation context
1837 * @elem: the element name
1838 * @err: whether to raise errors here
1839 *
1840 * Verify that the element don't have too many ID attributes
1841 * declared.
1842 *
1843 * Returns the number of ID attributes found.
1844 */
1845static int
1846xmlScanIDAttributeDecl(xmlValidCtxtPtr ctxt, xmlElementPtr elem, int err) {
1847 xmlAttributePtr cur;
1848 int ret = 0;
1849
1850 if (elem == NULL) return(0);
1851 cur = elem->attributes;
1852 while (cur != NULL) {
1853 if (cur->atype == XML_ATTRIBUTE_ID) {
1854 ret ++;
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);
1859 }
1860 cur = cur->nexth;
1861 }
1862 return(ret);
1863}
1864#endif /* LIBXML_VALID_ENABLED */
1865
1866/**
1867 * xmlFreeAttribute:
1868 * @elem: An attribute
1869 *
1870 * Deallocate the memory used by an attribute definition
1871 */
1872static void
1873xmlFreeAttribute(xmlAttributePtr attr) {
1874 xmlDictPtr dict;
1875
1876 if (attr == NULL) return;
1877 if (attr->doc != NULL)
1878 dict = attr->doc->dict;
1879 else
1880 dict = NULL;
1881 xmlUnlinkNode((xmlNodePtr) attr);
1882 if (attr->tree != NULL)
1883 xmlFreeEnumeration(attr->tree);
1884 if (dict) {
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);
1894 } else {
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);
1903 }
1904 xmlFree(attr);
1905}
1906
1907
1908/**
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
1919 *
1920 * Register a new attribute declaration
1921 * Note that @tree becomes the ownership of the DTD
1922 *
1923 * Returns NULL if not new, otherwise the attribute decl
1924 */
1925xmlAttributePtr
1926xmlAddAttributeDecl(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;
1935
1936 if (dtd == NULL) {
1937 xmlFreeEnumeration(tree);
1938 return(NULL);
1939 }
1940 if (name == NULL) {
1941 xmlFreeEnumeration(tree);
1942 return(NULL);
1943 }
1944 if (elem == NULL) {
1945 xmlFreeEnumeration(tree);
1946 return(NULL);
1947 }
1948 if (dtd->doc != NULL)
1949 dict = dtd->doc->dict;
1950
1951#ifdef LIBXML_VALID_ENABLED
1952 /*
1953 * Check the type and possibly the default value.
1954 */
1955 switch (type) {
1956 case XML_ATTRIBUTE_CDATA:
1957 break;
1958 case XML_ATTRIBUTE_ID:
1959 break;
1960 case XML_ATTRIBUTE_IDREF:
1961 break;
1962 case XML_ATTRIBUTE_IDREFS:
1963 break;
1964 case XML_ATTRIBUTE_ENTITY:
1965 break;
1966 case XML_ATTRIBUTE_ENTITIES:
1967 break;
1968 case XML_ATTRIBUTE_NMTOKEN:
1969 break;
1970 case XML_ATTRIBUTE_NMTOKENS:
1971 break;
1972 case XML_ATTRIBUTE_ENUMERATION:
1973 break;
1974 case XML_ATTRIBUTE_NOTATION:
1975 break;
1976 default:
1977 xmlErrValid(ctxt, XML_ERR_INTERNAL_ERROR,
1978 "Internal: ATTRIBUTE struct corrupted invalid type\n",
1979 NULL);
1980 xmlFreeEnumeration(tree);
1981 return(NULL);
1982 }
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;
1989 if (ctxt != NULL)
1990 ctxt->valid = 0;
1991 }
1992#endif /* LIBXML_VALID_ENABLED */
1993
1994 /*
1995 * Check first that an attribute defined in the external subset wasn't
1996 * already defined in the internal subset
1997 */
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);
2002 if (ret != NULL) {
2003 xmlFreeEnumeration(tree);
2004 return(NULL);
2005 }
2006 }
2007
2008 /*
2009 * Create the Attribute table if needed.
2010 */
2011 table = (xmlAttributeTablePtr) dtd->attributes;
2012 if (table == NULL) {
2013 table = xmlHashCreateDict(0, dict);
2014 dtd->attributes = (void *) table;
2015 }
2016 if (table == NULL) {
2017 xmlVErrMemory(ctxt,
2018 "xmlAddAttributeDecl: Table creation failed!\n");
2019 xmlFreeEnumeration(tree);
2020 return(NULL);
2021 }
2022
2023
2024 ret = (xmlAttributePtr) xmlMalloc(sizeof(xmlAttribute));
2025 if (ret == NULL) {
2026 xmlVErrMemory(ctxt, "malloc failed");
2027 xmlFreeEnumeration(tree);
2028 return(NULL);
2029 }
2030 memset(ret, 0, sizeof(xmlAttribute));
2031 ret->type = XML_ATTRIBUTE_DECL;
2032
2033 /*
2034 * fill the structure.
2035 */
2036 ret->atype = type;
2037 /*
2038 * doc must be set before possible error causes call
2039 * to xmlFreeAttribute (because it's used to check on
2040 * dict use)
2041 */
2042 ret->doc = dtd->doc;
2043 if (dict) {
2044 ret->name = xmlDictLookup(dict, name, -1);
2045 ret->prefix = xmlDictLookup(dict, ns, -1);
2046 ret->elem = xmlDictLookup(dict, elem, -1);
2047 } else {
2048 ret->name = xmlStrdup(name);
2049 ret->prefix = xmlStrdup(ns);
2050 ret->elem = xmlStrdup(elem);
2051 }
2052 ret->def = def;
2053 ret->tree = tree;
2054 if (defaultValue != NULL) {
2055 if (dict)
2056 ret->defaultValue = xmlDictLookup(dict, defaultValue, -1);
2057 else
2058 ret->defaultValue = xmlStrdup(defaultValue);
2059 }
2060
2061 /*
2062 * Validity Check:
2063 * Search the DTD for previous declarations of the ATTLIST
2064 */
2065 if (xmlHashAddEntry3(table, ret->name, ret->prefix, ret->elem, ret) < 0) {
2066#ifdef LIBXML_VALID_ENABLED
2067 /*
2068 * The attribute is already defined in this DTD.
2069 */
2070 xmlErrValidWarning(ctxt, (xmlNodePtr) dtd, XML_DTD_ATTRIBUTE_REDEFINED,
2071 "Attribute %s of element %s: already defined\n",
2072 name, elem, NULL);
2073#endif /* LIBXML_VALID_ENABLED */
2074 xmlFreeAttribute(ret);
2075 return(NULL);
2076 }
2077
2078 /*
2079 * Validity Check:
2080 * Multiple ID per element
2081 */
2082 elemDef = xmlGetDtdElementDesc2(dtd, elem, 1);
2083 if (elemDef != NULL) {
2084
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",
2090 elem, name, NULL);
2091 if (ctxt != NULL)
2092 ctxt->valid = 0;
2093 }
2094#endif /* LIBXML_VALID_ENABLED */
2095
2096 /*
2097 * Insert namespace default def first they need to be
2098 * processed first.
2099 */
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;
2105 } else {
2106 xmlAttributePtr tmp = elemDef->attributes;
2107
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)
2113 break;
2114 tmp = tmp->nexth;
2115 }
2116 if (tmp != NULL) {
2117 ret->nexth = tmp->nexth;
2118 tmp->nexth = ret;
2119 } else {
2120 ret->nexth = elemDef->attributes;
2121 elemDef->attributes = ret;
2122 }
2123 }
2124 }
2125
2126 /*
2127 * Link it to the DTD
2128 */
2129 ret->parent = dtd;
2130 if (dtd->last == NULL) {
2131 dtd->children = dtd->last = (xmlNodePtr) ret;
2132 } else {
2133 dtd->last->next = (xmlNodePtr) ret;
2134 ret->prev = dtd->last;
2135 dtd->last = (xmlNodePtr) ret;
2136 }
2137 return(ret);
2138}
2139
2140/**
2141 * xmlFreeAttributeTable:
2142 * @table: An attribute table
2143 *
2144 * Deallocate the memory used by an entities hash table.
2145 */
2146void
2147xmlFreeAttributeTable(xmlAttributeTablePtr table) {
2148 xmlHashFree(table, (xmlHashDeallocator) xmlFreeAttribute);
2149}
2150
2151#ifdef LIBXML_TREE_ENABLED
2152/**
2153 * xmlCopyAttribute:
2154 * @attr: An attribute
2155 *
2156 * Build a copy of an attribute.
2157 *
2158 * Returns the new xmlAttributePtr or NULL in case of error.
2159 */
2160static xmlAttributePtr
2161xmlCopyAttribute(xmlAttributePtr attr) {
2162 xmlAttributePtr cur;
2163
2164 cur = (xmlAttributePtr) xmlMalloc(sizeof(xmlAttribute));
2165 if (cur == NULL) {
2166 xmlVErrMemory(NULL, "malloc failed");
2167 return(NULL);
2168 }
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);
2182 return(cur);
2183}
2184
2185/**
2186 * xmlCopyAttributeTable:
2187 * @table: An attribute table
2188 *
2189 * Build a copy of an attribute table.
2190 *
2191 * Returns the new xmlAttributeTablePtr or NULL in case of error.
2192 */
2193xmlAttributeTablePtr
2194xmlCopyAttributeTable(xmlAttributeTablePtr table) {
2195 return((xmlAttributeTablePtr) xmlHashCopy(table,
2196 (xmlHashCopier) xmlCopyAttribute));
2197}
2198#endif /* LIBXML_TREE_ENABLED */
2199
2200#ifdef LIBXML_OUTPUT_ENABLED
2201/**
2202 * xmlDumpAttributeDecl:
2203 * @buf: the XML buffer output
2204 * @attr: An attribute declaration
2205 *
2206 * This will dump the content of the attribute declaration as an XML
2207 * DTD definition
2208 */
2209void
2210xmlDumpAttributeDecl(xmlBufferPtr buf, xmlAttributePtr attr) {
2211 if ((buf == NULL) || (attr == NULL))
2212 return;
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, ":");
2219 }
2220 xmlBufferWriteCHAR(buf, attr->name);
2221 switch (attr->atype) {
2222 case XML_ATTRIBUTE_CDATA:
2223 xmlBufferWriteChar(buf, " CDATA");
2224 break;
2225 case XML_ATTRIBUTE_ID:
2226 xmlBufferWriteChar(buf, " ID");
2227 break;
2228 case XML_ATTRIBUTE_IDREF:
2229 xmlBufferWriteChar(buf, " IDREF");
2230 break;
2231 case XML_ATTRIBUTE_IDREFS:
2232 xmlBufferWriteChar(buf, " IDREFS");
2233 break;
2234 case XML_ATTRIBUTE_ENTITY:
2235 xmlBufferWriteChar(buf, " ENTITY");
2236 break;
2237 case XML_ATTRIBUTE_ENTITIES:
2238 xmlBufferWriteChar(buf, " ENTITIES");
2239 break;
2240 case XML_ATTRIBUTE_NMTOKEN:
2241 xmlBufferWriteChar(buf, " NMTOKEN");
2242 break;
2243 case XML_ATTRIBUTE_NMTOKENS:
2244 xmlBufferWriteChar(buf, " NMTOKENS");
2245 break;
2246 case XML_ATTRIBUTE_ENUMERATION:
2247 xmlBufferWriteChar(buf, " (");
2248 xmlDumpEnumeration(buf, attr->tree);
2249 break;
2250 case XML_ATTRIBUTE_NOTATION:
2251 xmlBufferWriteChar(buf, " NOTATION (");
2252 xmlDumpEnumeration(buf, attr->tree);
2253 break;
2254 default:
2255 xmlErrValid(NULL, XML_ERR_INTERNAL_ERROR,
2256 "Internal: ATTRIBUTE struct corrupted invalid type\n",
2257 NULL);
2258 }
2259 switch (attr->def) {
2260 case XML_ATTRIBUTE_NONE:
2261 break;
2262 case XML_ATTRIBUTE_REQUIRED:
2263 xmlBufferWriteChar(buf, " #REQUIRED");
2264 break;
2265 case XML_ATTRIBUTE_IMPLIED:
2266 xmlBufferWriteChar(buf, " #IMPLIED");
2267 break;
2268 case XML_ATTRIBUTE_FIXED:
2269 xmlBufferWriteChar(buf, " #FIXED");
2270 break;
2271 default:
2272 xmlErrValid(NULL, XML_ERR_INTERNAL_ERROR,
2273 "Internal: ATTRIBUTE struct corrupted invalid def\n",
2274 NULL);
2275 }
2276 if (attr->defaultValue != NULL) {
2277 xmlBufferWriteChar(buf, " ");
2278 xmlBufferWriteQuotedString(buf, attr->defaultValue);
2279 }
2280 xmlBufferWriteChar(buf, ">\n");
2281}
2282
2283/**
2284 * xmlDumpAttributeDeclScan:
2285 * @attr: An attribute declaration
2286 * @buf: the XML buffer output
2287 *
2288 * This is used with the hash scan function - just reverses arguments
2289 */
2290static void
2291xmlDumpAttributeDeclScan(xmlAttributePtr attr, xmlBufferPtr buf) {
2292 xmlDumpAttributeDecl(buf, attr);
2293}
2294
2295/**
2296 * xmlDumpAttributeTable:
2297 * @buf: the XML buffer output
2298 * @table: An attribute table
2299 *
2300 * This will dump the content of the attribute table as an XML DTD definition
2301 */
2302void
2303xmlDumpAttributeTable(xmlBufferPtr buf, xmlAttributeTablePtr table) {
2304 if ((buf == NULL) || (table == NULL))
2305 return;
2306 xmlHashScan(table, (xmlHashScanner) xmlDumpAttributeDeclScan, buf);
2307}
2308#endif /* LIBXML_OUTPUT_ENABLED */
2309
2310/************************************************************************
2311 * *
2312 * NOTATIONs *
2313 * *
2314 ************************************************************************/
2315/**
2316 * xmlFreeNotation:
2317 * @not: A notation
2318 *
2319 * Deallocate the memory used by an notation definition
2320 */
2321static void
2322xmlFreeNotation(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);
2330 xmlFree(nota);
2331}
2332
2333
2334/**
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
2341 *
2342 * Register a new notation declaration
2343 *
2344 * Returns NULL if not, otherwise the entity
2345 */
2346xmlNotationPtr
2347xmlAddNotationDecl(xmlValidCtxtPtr ctxt, xmlDtdPtr dtd,
2348 const xmlChar *name,
2349 const xmlChar *PublicID, const xmlChar *SystemID) {
2350 xmlNotationPtr ret;
2351 xmlNotationTablePtr table;
2352
2353 if (dtd == NULL) {
2354 return(NULL);
2355 }
2356 if (name == NULL) {
2357 return(NULL);
2358 }
2359 if ((PublicID == NULL) && (SystemID == NULL)) {
2360 return(NULL);
2361 }
2362
2363 /*
2364 * Create the Notation table if needed.
2365 */
2366 table = (xmlNotationTablePtr) dtd->notations;
2367 if (table == NULL) {
2368 xmlDictPtr dict = NULL;
2369 if (dtd->doc != NULL)
2370 dict = dtd->doc->dict;
2371
2372 dtd->notations = table = xmlHashCreateDict(0, dict);
2373 }
2374 if (table == NULL) {
2375 xmlVErrMemory(ctxt,
2376 "xmlAddNotationDecl: Table creation failed!\n");
2377 return(NULL);
2378 }
2379
2380 ret = (xmlNotationPtr) xmlMalloc(sizeof(xmlNotation));
2381 if (ret == NULL) {
2382 xmlVErrMemory(ctxt, "malloc failed");
2383 return(NULL);
2384 }
2385 memset(ret, 0, sizeof(xmlNotation));
2386
2387 /*
2388 * fill the structure.
2389 */
2390 ret->name = xmlStrdup(name);
2391 if (SystemID != NULL)
2392 ret->SystemID = xmlStrdup(SystemID);
2393 if (PublicID != NULL)
2394 ret->PublicID = xmlStrdup(PublicID);
2395
2396 /*
2397 * Validity Check:
2398 * Check the DTD for previous declarations of the ATTLIST
2399 */
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);
2407 return(NULL);
2408 }
2409 return(ret);
2410}
2411
2412/**
2413 * xmlFreeNotationTable:
2414 * @table: An notation table
2415 *
2416 * Deallocate the memory used by an entities hash table.
2417 */
2418void
2419xmlFreeNotationTable(xmlNotationTablePtr table) {
2420 xmlHashFree(table, (xmlHashDeallocator) xmlFreeNotation);
2421}
2422
2423#ifdef LIBXML_TREE_ENABLED
2424/**
2425 * xmlCopyNotation:
2426 * @nota: A notation
2427 *
2428 * Build a copy of a notation.
2429 *
2430 * Returns the new xmlNotationPtr or NULL in case of error.
2431 */
2432static xmlNotationPtr
2433xmlCopyNotation(xmlNotationPtr nota) {
2434 xmlNotationPtr cur;
2435
2436 cur = (xmlNotationPtr) xmlMalloc(sizeof(xmlNotation));
2437 if (cur == NULL) {
2438 xmlVErrMemory(NULL, "malloc failed");
2439 return(NULL);
2440 }
2441 if (nota->name != NULL)
2442 cur->name = xmlStrdup(nota->name);
2443 else
2444 cur->name = NULL;
2445 if (nota->PublicID != NULL)
2446 cur->PublicID = xmlStrdup(nota->PublicID);
2447 else
2448 cur->PublicID = NULL;
2449 if (nota->SystemID != NULL)
2450 cur->SystemID = xmlStrdup(nota->SystemID);
2451 else
2452 cur->SystemID = NULL;
2453 return(cur);
2454}
2455
2456/**
2457 * xmlCopyNotationTable:
2458 * @table: A notation table
2459 *
2460 * Build a copy of a notation table.
2461 *
2462 * Returns the new xmlNotationTablePtr or NULL in case of error.
2463 */
2464xmlNotationTablePtr
2465xmlCopyNotationTable(xmlNotationTablePtr table) {
2466 return((xmlNotationTablePtr) xmlHashCopy(table,
2467 (xmlHashCopier) xmlCopyNotation));
2468}
2469#endif /* LIBXML_TREE_ENABLED */
2470
2471#ifdef LIBXML_OUTPUT_ENABLED
2472/**
2473 * xmlDumpNotationDecl:
2474 * @buf: the XML buffer output
2475 * @nota: A notation declaration
2476 *
2477 * This will dump the content the notation declaration as an XML DTD definition
2478 */
2479void
2480xmlDumpNotationDecl(xmlBufferPtr buf, xmlNotationPtr nota) {
2481 if ((buf == NULL) || (nota == NULL))
2482 return;
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);
2491 }
2492 } else {
2493 xmlBufferWriteChar(buf, " SYSTEM ");
2494 xmlBufferWriteQuotedString(buf, nota->SystemID);
2495 }
2496 xmlBufferWriteChar(buf, " >\n");
2497}
2498
2499/**
2500 * xmlDumpNotationDeclScan:
2501 * @nota: A notation declaration
2502 * @buf: the XML buffer output
2503 *
2504 * This is called with the hash scan function, and just reverses args
2505 */
2506static void
2507xmlDumpNotationDeclScan(xmlNotationPtr nota, xmlBufferPtr buf) {
2508 xmlDumpNotationDecl(buf, nota);
2509}
2510
2511/**
2512 * xmlDumpNotationTable:
2513 * @buf: the XML buffer output
2514 * @table: A notation table
2515 *
2516 * This will dump the content of the notation table as an XML DTD definition
2517 */
2518void
2519xmlDumpNotationTable(xmlBufferPtr buf, xmlNotationTablePtr table) {
2520 if ((buf == NULL) || (table == NULL))
2521 return;
2522 xmlHashScan(table, (xmlHashScanner) xmlDumpNotationDeclScan, buf);
2523}
2524#endif /* LIBXML_OUTPUT_ENABLED */
2525
2526/************************************************************************
2527 * *
2528 * IDs *
2529 * *
2530 ************************************************************************/
2531/**
2532 * DICT_FREE:
2533 * @str: a string
2534 *
2535 * Free a string if it is not owned by the "dict" dictionary in the
2536 * current scope
2537 */
2538#define DICT_FREE(str) \
2539 if ((str) && ((!dict) || \
2540 (xmlDictOwns(dict, (const xmlChar *)(str)) == 0))) \
2541 xmlFree((char *)(str));
2542
2543/**
2544 * xmlFreeID:
2545 * @not: A id
2546 *
2547 * Deallocate the memory used by an id definition
2548 */
2549static void
2550xmlFreeID(xmlIDPtr id) {
2551 xmlDictPtr dict = NULL;
2552
2553 if (id == NULL) return;
2554
2555 if (id->doc != NULL)
2556 dict = id->doc->dict;
2557
2558 if (id->value != NULL)
2559 DICT_FREE(id->value)
2560 if (id->name != NULL)
2561 DICT_FREE(id->name)
2562 xmlFree(id);
2563}
2564
2565
2566/**
2567 * xmlAddID:
2568 * @ctxt: the validation context
2569 * @doc: pointer to the document
2570 * @value: the value name
2571 * @attr: the attribute holding the ID
2572 *
2573 * Register a new id declaration
2574 *
2575 * Returns NULL if not, otherwise the new xmlIDPtr
2576 */
2577xmlIDPtr
2578xmlAddID(xmlValidCtxtPtr ctxt, xmlDocPtr doc, const xmlChar *value,
2579 xmlAttrPtr attr) {
2580 xmlIDPtr ret;
2581 xmlIDTablePtr table;
2582
2583 if (doc == NULL) {
2584 return(NULL);
2585 }
2586 if (value == NULL) {
2587 return(NULL);
2588 }
2589 if (attr == NULL) {
2590 return(NULL);
2591 }
2592
2593 /*
2594 * Create the ID table if needed.
2595 */
2596 table = (xmlIDTablePtr) doc->ids;
2597 if (table == NULL) {
2598 doc->ids = table = xmlHashCreateDict(0, doc->dict);
2599 }
2600 if (table == NULL) {
2601 xmlVErrMemory(ctxt,
2602 "xmlAddID: Table creation failed!\n");
2603 return(NULL);
2604 }
2605
2606 ret = (xmlIDPtr) xmlMalloc(sizeof(xmlID));
2607 if (ret == NULL) {
2608 xmlVErrMemory(ctxt, "malloc failed");
2609 return(NULL);
2610 }
2611
2612 /*
2613 * fill the structure.
2614 */
2615 ret->value = xmlStrdup(value);
2616 ret->doc = doc;
2617 if ((ctxt != NULL) && (ctxt->vstateNr != 0)) {
2618 /*
2619 * Operating in streaming mode, attr is gonna disapear
2620 */
2621 if (doc->dict != NULL)
2622 ret->name = xmlDictLookup(doc->dict, attr->name, -1);
2623 else
2624 ret->name = xmlStrdup(attr->name);
2625 ret->attr = NULL;
2626 } else {
2627 ret->attr = attr;
2628 ret->name = NULL;
2629 }
2630 ret->lineno = xmlGetLineNo(attr->parent);
2631
2632 if (xmlHashAddEntry(table, value, ret) < 0) {
2633#ifdef LIBXML_VALID_ENABLED
2634 /*
2635 * The id is already defined in this DTD.
2636 */
2637 if (ctxt != NULL) {
2638 xmlErrValidNode(ctxt, attr->parent, XML_DTD_ID_REDEFINED,
2639 "ID %s already defined\n", value, NULL, NULL);
2640 }
2641#endif /* LIBXML_VALID_ENABLED */
2642 xmlFreeID(ret);
2643 return(NULL);
2644 }
2645 if (attr != NULL)
2646 attr->atype = XML_ATTRIBUTE_ID;
2647 return(ret);
2648}
2649
2650/**
2651 * xmlFreeIDTable:
2652 * @table: An id table
2653 *
2654 * Deallocate the memory used by an ID hash table.
2655 */
2656void
2657xmlFreeIDTable(xmlIDTablePtr table) {
2658 xmlHashFree(table, (xmlHashDeallocator) xmlFreeID);
2659}
2660
2661/**
2662 * xmlIsID:
2663 * @doc: the document
2664 * @elem: the element carrying the attribute
2665 * @attr: the attribute
2666 *
2667 * Determine whether an attribute is of type ID. In case we have DTD(s)
2668 * then this is done if DTD loading has been requested. In the case
2669 * of HTML documents parsed with the HTML parser, then ID detection is
2670 * done systematically.
2671 *
2672 * Returns 0 or 1 depending on the lookup result
2673 */
2674int
2675xmlIsID(xmlDocPtr doc, xmlNodePtr elem, xmlAttrPtr attr) {
2676 if ((attr == NULL) || (attr->name == NULL)) return(0);
2677 if ((attr->ns != NULL) && (attr->ns->prefix != NULL) &&
2678 (!strcmp((char *) attr->name, "id")) &&
2679 (!strcmp((char *) attr->ns->prefix, "xml")))
2680 return(1);
2681 if (doc == NULL) return(0);
2682 if ((doc->intSubset == NULL) && (doc->extSubset == NULL) &&
2683 (doc->type != XML_HTML_DOCUMENT_NODE)) {
2684 return(0);
2685 } else if (doc->type == XML_HTML_DOCUMENT_NODE) {
2686 if ((xmlStrEqual(BAD_CAST "id", attr->name)) ||
2687 ((xmlStrEqual(BAD_CAST "name", attr->name)) &&
2688 ((elem == NULL) || (xmlStrEqual(elem->name, BAD_CAST "a")))))
2689 return(1);
2690 return(0);
2691 } else if (elem == NULL) {
2692 return(0);
2693 } else {
2694 xmlAttributePtr attrDecl = NULL;
2695
2696 xmlChar felem[50], fattr[50];
2697 xmlChar *fullelemname, *fullattrname;
2698
2699 fullelemname = (elem->ns != NULL && elem->ns->prefix != NULL) ?
2700 xmlBuildQName(elem->name, elem->ns->prefix, felem, 50) :
2701 (xmlChar *)elem->name;
2702
2703 fullattrname = (attr->ns != NULL && attr->ns->prefix != NULL) ?
2704 xmlBuildQName(attr->name, attr->ns->prefix, fattr, 50) :
2705 (xmlChar *)attr->name;
2706
2707 if (fullelemname != NULL && fullattrname != NULL) {
2708 attrDecl = xmlGetDtdAttrDesc(doc->intSubset, fullelemname,
2709 fullattrname);
2710 if ((attrDecl == NULL) && (doc->extSubset != NULL))
2711 attrDecl = xmlGetDtdAttrDesc(doc->extSubset, fullelemname,
2712 fullattrname);
2713 }
2714
2715 if ((fullattrname != fattr) && (fullattrname != attr->name))
2716 xmlFree(fullattrname);
2717 if ((fullelemname != felem) && (fullelemname != elem->name))
2718 xmlFree(fullelemname);
2719
2720 if ((attrDecl != NULL) && (attrDecl->atype == XML_ATTRIBUTE_ID))
2721 return(1);
2722 }
2723 return(0);
2724}
2725
2726/**
2727 * xmlRemoveID:
2728 * @doc: the document
2729 * @attr: the attribute
2730 *
2731 * Remove the given attribute from the ID table maintained internally.
2732 *
2733 * Returns -1 if the lookup failed and 0 otherwise
2734 */
2735int
2736xmlRemoveID(xmlDocPtr doc, xmlAttrPtr attr) {
2737 xmlIDTablePtr table;
2738 xmlIDPtr id;
2739 xmlChar *ID;
2740
2741 if (doc == NULL) return(-1);
2742 if (attr == NULL) return(-1);
2743
2744 table = (xmlIDTablePtr) doc->ids;
2745 if (table == NULL)
2746 return(-1);
2747
2748 ID = xmlNodeListGetString(doc, attr->children, 1);
2749 if (ID == NULL)
2750 return(-1);
2751
2752 id = xmlHashLookup(table, ID);
2753 if (id == NULL || id->attr != attr) {
2754 xmlFree(ID);
2755 return(-1);
2756 }
2757
2758 xmlHashRemoveEntry(table, ID, (xmlHashDeallocator) xmlFreeID);
2759 xmlFree(ID);
2760 attr->atype = 0;
2761 return(0);
2762}
2763
2764/**
2765 * xmlGetID:
2766 * @doc: pointer to the document
2767 * @ID: the ID value
2768 *
2769 * Search the attribute declaring the given ID
2770 *
2771 * Returns NULL if not found, otherwise the xmlAttrPtr defining the ID
2772 */
2773xmlAttrPtr
2774xmlGetID(xmlDocPtr doc, const xmlChar *ID) {
2775 xmlIDTablePtr table;
2776 xmlIDPtr id;
2777
2778 if (doc == NULL) {
2779 return(NULL);
2780 }
2781
2782 if (ID == NULL) {
2783 return(NULL);
2784 }
2785
2786 table = (xmlIDTablePtr) doc->ids;
2787 if (table == NULL)
2788 return(NULL);
2789
2790 id = xmlHashLookup(table, ID);
2791 if (id == NULL)
2792 return(NULL);
2793 if (id->attr == NULL) {
2794 /*
2795 * We are operating on a stream, return a well known reference
2796 * since the attribute node doesn't exist anymore
2797 */
2798 return((xmlAttrPtr) doc);
2799 }
2800 return(id->attr);
2801}
2802
2803/************************************************************************
2804 * *
2805 * Refs *
2806 * *
2807 ************************************************************************/
2808typedef struct xmlRemoveMemo_t
2809{
2810 xmlListPtr l;
2811 xmlAttrPtr ap;
2812} xmlRemoveMemo;
2813
2814typedef xmlRemoveMemo *xmlRemoveMemoPtr;
2815
2816typedef struct xmlValidateMemo_t
2817{
2818 xmlValidCtxtPtr ctxt;
2819 const xmlChar *name;
2820} xmlValidateMemo;
2821
2822typedef xmlValidateMemo *xmlValidateMemoPtr;
2823
2824/**
2825 * xmlFreeRef:
2826 * @lk: A list link
2827 *
2828 * Deallocate the memory used by a ref definition
2829 */
2830static void
2831xmlFreeRef(xmlLinkPtr lk) {
2832 xmlRefPtr ref = (xmlRefPtr)xmlLinkGetData(lk);
2833 if (ref == NULL) return;
2834 if (ref->value != NULL)
2835 xmlFree((xmlChar *)ref->value);
2836 if (ref->name != NULL)
2837 xmlFree((xmlChar *)ref->name);
2838 xmlFree(ref);
2839}
2840
2841/**
2842 * xmlFreeRefList:
2843 * @list_ref: A list of references.
2844 *
2845 * Deallocate the memory used by a list of references
2846 */
2847static void
2848xmlFreeRefList(xmlListPtr list_ref) {
2849 if (list_ref == NULL) return;
2850 xmlListDelete(list_ref);
2851}
2852
2853/**
2854 * xmlWalkRemoveRef:
2855 * @data: Contents of current link
2856 * @user: Value supplied by the user
2857 *
2858 * Returns 0 to abort the walk or 1 to continue
2859 */
2860static int
2861xmlWalkRemoveRef(const void *data, const void *user)
2862{
2863 xmlAttrPtr attr0 = ((xmlRefPtr)data)->attr;
2864 xmlAttrPtr attr1 = ((xmlRemoveMemoPtr)user)->ap;
2865 xmlListPtr ref_list = ((xmlRemoveMemoPtr)user)->l;
2866
2867 if (attr0 == attr1) { /* Matched: remove and terminate walk */
2868 xmlListRemoveFirst(ref_list, (void *)data);
2869 return 0;
2870 }
2871 return 1;
2872}
2873
2874/**
2875 * xmlDummyCompare
2876 * @data0: Value supplied by the user
2877 * @data1: Value supplied by the user
2878 *
2879 * Do nothing, return 0. Used to create unordered lists.
2880 */
2881static int
2882xmlDummyCompare(const void *data0 ATTRIBUTE_UNUSED,
2883 const void *data1 ATTRIBUTE_UNUSED)
2884{
2885 return (0);
2886}
2887
2888/**
2889 * xmlAddRef:
2890 * @ctxt: the validation context
2891 * @doc: pointer to the document
2892 * @value: the value name
2893 * @attr: the attribute holding the Ref
2894 *
2895 * Register a new ref declaration
2896 *
2897 * Returns NULL if not, otherwise the new xmlRefPtr
2898 */
2899xmlRefPtr
2900xmlAddRef(xmlValidCtxtPtr ctxt, xmlDocPtr doc, const xmlChar *value,
2901 xmlAttrPtr attr) {
2902 xmlRefPtr ret;
2903 xmlRefTablePtr table;
2904 xmlListPtr ref_list;
2905
2906 if (doc == NULL) {
2907 return(NULL);
2908 }
2909 if (value == NULL) {
2910 return(NULL);
2911 }
2912 if (attr == NULL) {
2913 return(NULL);
2914 }
2915
2916 /*
2917 * Create the Ref table if needed.
2918 */
2919 table = (xmlRefTablePtr) doc->refs;
2920 if (table == NULL) {
2921 doc->refs = table = xmlHashCreateDict(0, doc->dict);
2922 }
2923 if (table == NULL) {
2924 xmlVErrMemory(ctxt,
2925 "xmlAddRef: Table creation failed!\n");
2926 return(NULL);
2927 }
2928
2929 ret = (xmlRefPtr) xmlMalloc(sizeof(xmlRef));
2930 if (ret == NULL) {
2931 xmlVErrMemory(ctxt, "malloc failed");
2932 return(NULL);
2933 }
2934
2935 /*
2936 * fill the structure.
2937 */
2938 ret->value = xmlStrdup(value);
2939 if ((ctxt != NULL) && (ctxt->vstateNr != 0)) {
2940 /*
2941 * Operating in streaming mode, attr is gonna disapear
2942 */
2943 ret->name = xmlStrdup(attr->name);
2944 ret->attr = NULL;
2945 } else {
2946 ret->name = NULL;
2947 ret->attr = attr;
2948 }
2949 ret->lineno = xmlGetLineNo(attr->parent);
2950
2951 /* To add a reference :-
2952 * References are maintained as a list of references,
2953 * Lookup the entry, if no entry create new nodelist
2954 * Add the owning node to the NodeList
2955 * Return the ref
2956 */
2957
2958 if (NULL == (ref_list = xmlHashLookup(table, value))) {
2959 if (NULL == (ref_list = xmlListCreate(xmlFreeRef, xmlDummyCompare))) {
2960 xmlErrValid(NULL, XML_ERR_INTERNAL_ERROR,
2961 "xmlAddRef: Reference list creation failed!\n",
2962 NULL);
2963 goto failed;
2964 }
2965 if (xmlHashAddEntry(table, value, ref_list) < 0) {
2966 xmlListDelete(ref_list);
2967 xmlErrValid(NULL, XML_ERR_INTERNAL_ERROR,
2968 "xmlAddRef: Reference list insertion failed!\n",
2969 NULL);
2970 goto failed;
2971 }
2972 }
2973 if (xmlListAppend(ref_list, ret) != 0) {
2974 xmlErrValid(NULL, XML_ERR_INTERNAL_ERROR,
2975 "xmlAddRef: Reference list insertion failed!\n",
2976 NULL);
2977 goto failed;
2978 }
2979 return(ret);
2980failed:
2981 if (ret != NULL) {
2982 if (ret->value != NULL)
2983 xmlFree((char *)ret->value);
2984 if (ret->name != NULL)
2985 xmlFree((char *)ret->name);
2986 xmlFree(ret);
2987 }
2988 return(NULL);
2989}
2990
2991/**
2992 * xmlFreeRefTable:
2993 * @table: An ref table
2994 *
2995 * Deallocate the memory used by an Ref hash table.
2996 */
2997void
2998xmlFreeRefTable(xmlRefTablePtr table) {
2999 xmlHashFree(table, (xmlHashDeallocator) xmlFreeRefList);
3000}
3001
3002/**
3003 * xmlIsRef:
3004 * @doc: the document
3005 * @elem: the element carrying the attribute
3006 * @attr: the attribute
3007 *
3008 * Determine whether an attribute is of type Ref. In case we have DTD(s)
3009 * then this is simple, otherwise we use an heuristic: name Ref (upper
3010 * or lowercase).
3011 *
3012 * Returns 0 or 1 depending on the lookup result
3013 */
3014int
3015xmlIsRef(xmlDocPtr doc, xmlNodePtr elem, xmlAttrPtr attr) {
3016 if (attr == NULL)
3017 return(0);
3018 if (doc == NULL) {
3019 doc = attr->doc;
3020 if (doc == NULL) return(0);
3021 }
3022
3023 if ((doc->intSubset == NULL) && (doc->extSubset == NULL)) {
3024 return(0);
3025 } else if (doc->type == XML_HTML_DOCUMENT_NODE) {
3026 /* TODO @@@ */
3027 return(0);
3028 } else {
3029 xmlAttributePtr attrDecl;
3030
3031 if (elem == NULL) return(0);
3032 attrDecl = xmlGetDtdAttrDesc(doc->intSubset, elem->name, attr->name);
3033 if ((attrDecl == NULL) && (doc->extSubset != NULL))
3034 attrDecl = xmlGetDtdAttrDesc(doc->extSubset,
3035 elem->name, attr->name);
3036
3037 if ((attrDecl != NULL) &&
3038 (attrDecl->atype == XML_ATTRIBUTE_IDREF ||
3039 attrDecl->atype == XML_ATTRIBUTE_IDREFS))
3040 return(1);
3041 }
3042 return(0);
3043}
3044
3045/**
3046 * xmlRemoveRef:
3047 * @doc: the document
3048 * @attr: the attribute
3049 *
3050 * Remove the given attribute from the Ref table maintained internally.
3051 *
3052 * Returns -1 if the lookup failed and 0 otherwise
3053 */
3054int
3055xmlRemoveRef(xmlDocPtr doc, xmlAttrPtr attr) {
3056 xmlListPtr ref_list;
3057 xmlRefTablePtr table;
3058 xmlChar *ID;
3059 xmlRemoveMemo target;
3060
3061 if (doc == NULL) return(-1);
3062 if (attr == NULL) return(-1);
3063
3064 table = (xmlRefTablePtr) doc->refs;
3065 if (table == NULL)
3066 return(-1);
3067
3068 ID = xmlNodeListGetString(doc, attr->children, 1);
3069 if (ID == NULL)
3070 return(-1);
3071
3072 ref_list = xmlHashLookup(table, ID);
3073 if(ref_list == NULL) {
3074 xmlFree(ID);
3075 return (-1);
3076 }
3077
3078 /* At this point, ref_list refers to a list of references which
3079 * have the same key as the supplied attr. Our list of references
3080 * is ordered by reference address and we don't have that information
3081 * here to use when removing. We'll have to walk the list and
3082 * check for a matching attribute, when we find one stop the walk
3083 * and remove the entry.
3084 * The list is ordered by reference, so that means we don't have the
3085 * key. Passing the list and the reference to the walker means we
3086 * will have enough data to be able to remove the entry.
3087 */
3088 target.l = ref_list;
3089 target.ap = attr;
3090
3091 /* Remove the supplied attr from our list */
3092 xmlListWalk(ref_list, xmlWalkRemoveRef, &target);
3093
3094 /*If the list is empty then remove the list entry in the hash */
3095 if (xmlListEmpty(ref_list))
3096 xmlHashUpdateEntry(table, ID, NULL, (xmlHashDeallocator)
3097 xmlFreeRefList);
3098 xmlFree(ID);
3099 return(0);
3100}
3101
3102/**
3103 * xmlGetRefs:
3104 * @doc: pointer to the document
3105 * @ID: the ID value
3106 *
3107 * Find the set of references for the supplied ID.
3108 *
3109 * Returns NULL if not found, otherwise node set for the ID.
3110 */
3111xmlListPtr
3112xmlGetRefs(xmlDocPtr doc, const xmlChar *ID) {
3113 xmlRefTablePtr table;
3114
3115 if (doc == NULL) {
3116 return(NULL);
3117 }
3118
3119 if (ID == NULL) {
3120 return(NULL);
3121 }
3122
3123 table = (xmlRefTablePtr) doc->refs;
3124 if (table == NULL)
3125 return(NULL);
3126
3127 return (xmlHashLookup(table, ID));
3128}
3129
3130/************************************************************************
3131 * *
3132 * Routines for validity checking *
3133 * *
3134 ************************************************************************/
3135
3136/**
3137 * xmlGetDtdElementDesc:
3138 * @dtd: a pointer to the DtD to search
3139 * @name: the element name
3140 *
3141 * Search the DTD for the description of this element
3142 *
3143 * returns the xmlElementPtr if found or NULL
3144 */
3145
3146xmlElementPtr
3147xmlGetDtdElementDesc(xmlDtdPtr dtd, const xmlChar *name) {
3148 xmlElementTablePtr table;
3149 xmlElementPtr cur;
3150 xmlChar *uqname = NULL, *prefix = NULL;
3151
3152 if ((dtd == NULL) || (name == NULL)) return(NULL);
3153 if (dtd->elements == NULL)
3154 return(NULL);
3155 table = (xmlElementTablePtr) dtd->elements;
3156
3157 uqname = xmlSplitQName2(name, &prefix);
3158 if (uqname != NULL)
3159 name = uqname;
3160 cur = xmlHashLookup2(table, name, prefix);
3161 if (prefix != NULL) xmlFree(prefix);
3162 if (uqname != NULL) xmlFree(uqname);
3163 return(cur);
3164}
3165/**
3166 * xmlGetDtdElementDesc2:
3167 * @dtd: a pointer to the DtD to search
3168 * @name: the element name
3169 * @create: create an empty description if not found
3170 *
3171 * Search the DTD for the description of this element
3172 *
3173 * returns the xmlElementPtr if found or NULL
3174 */
3175
3176static xmlElementPtr
3177xmlGetDtdElementDesc2(xmlDtdPtr dtd, const xmlChar *name, int create) {
3178 xmlElementTablePtr table;
3179 xmlElementPtr cur;
3180 xmlChar *uqname = NULL, *prefix = NULL;
3181
3182 if (dtd == NULL) return(NULL);
3183 if (dtd->elements == NULL) {
3184 xmlDictPtr dict = NULL;
3185
3186 if (dtd->doc != NULL)
3187 dict = dtd->doc->dict;
3188
3189 if (!create)
3190 return(NULL);
3191 /*
3192 * Create the Element table if needed.
3193 */
3194 table = (xmlElementTablePtr) dtd->elements;
3195 if (table == NULL) {
3196 table = xmlHashCreateDict(0, dict);
3197 dtd->elements = (void *) table;
3198 }
3199 if (table == NULL) {
3200 xmlVErrMemory(NULL, "element table allocation failed");
3201 return(NULL);
3202 }
3203 }
3204 table = (xmlElementTablePtr) dtd->elements;
3205
3206 uqname = xmlSplitQName2(name, &prefix);
3207 if (uqname != NULL)
3208 name = uqname;
3209 cur = xmlHashLookup2(table, name, prefix);
3210 if ((cur == NULL) && (create)) {
3211 cur = (xmlElementPtr) xmlMalloc(sizeof(xmlElement));
3212 if (cur == NULL) {
3213 xmlVErrMemory(NULL, "malloc failed");
3214 return(NULL);
3215 }
3216 memset(cur, 0, sizeof(xmlElement));
3217 cur->type = XML_ELEMENT_DECL;
3218
3219 /*
3220 * fill the structure.
3221 */
3222 cur->name = xmlStrdup(name);
3223 cur->prefix = xmlStrdup(prefix);
3224 cur->etype = XML_ELEMENT_TYPE_UNDEFINED;
3225
3226 xmlHashAddEntry2(table, name, prefix, cur);
3227 }
3228 if (prefix != NULL) xmlFree(prefix);
3229 if (uqname != NULL) xmlFree(uqname);
3230 return(cur);
3231}
3232
3233/**
3234 * xmlGetDtdQElementDesc:
3235 * @dtd: a pointer to the DtD to search
3236 * @name: the element name
3237 * @prefix: the element namespace prefix
3238 *
3239 * Search the DTD for the description of this element
3240 *
3241 * returns the xmlElementPtr if found or NULL
3242 */
3243
3244xmlElementPtr
3245xmlGetDtdQElementDesc(xmlDtdPtr dtd, const xmlChar *name,
3246 const xmlChar *prefix) {
3247 xmlElementTablePtr table;
3248
3249 if (dtd == NULL) return(NULL);
3250 if (dtd->elements == NULL) return(NULL);
3251 table = (xmlElementTablePtr) dtd->elements;
3252
3253 return(xmlHashLookup2(table, name, prefix));
3254}
3255
3256/**
3257 * xmlGetDtdAttrDesc:
3258 * @dtd: a pointer to the DtD to search
3259 * @elem: the element name
3260 * @name: the attribute name
3261 *
3262 * Search the DTD for the description of this attribute on
3263 * this element.
3264 *
3265 * returns the xmlAttributePtr if found or NULL
3266 */
3267
3268xmlAttributePtr
3269xmlGetDtdAttrDesc(xmlDtdPtr dtd, const xmlChar *elem, const xmlChar *name) {
3270 xmlAttributeTablePtr table;
3271 xmlAttributePtr cur;
3272 xmlChar *uqname = NULL, *prefix = NULL;
3273
3274 if (dtd == NULL) return(NULL);
3275 if (dtd->attributes == NULL) return(NULL);
3276
3277 table = (xmlAttributeTablePtr) dtd->attributes;
3278 if (table == NULL)
3279 return(NULL);
3280
3281 uqname = xmlSplitQName2(name, &prefix);
3282
3283 if (uqname != NULL) {
3284 cur = xmlHashLookup3(table, uqname, prefix, elem);
3285 if (prefix != NULL) xmlFree(prefix);
3286 if (uqname != NULL) xmlFree(uqname);
3287 } else
3288 cur = xmlHashLookup3(table, name, NULL, elem);
3289 return(cur);
3290}
3291
3292/**
3293 * xmlGetDtdQAttrDesc:
3294 * @dtd: a pointer to the DtD to search
3295 * @elem: the element name
3296 * @name: the attribute name
3297 * @prefix: the attribute namespace prefix
3298 *
3299 * Search the DTD for the description of this qualified attribute on
3300 * this element.
3301 *
3302 * returns the xmlAttributePtr if found or NULL
3303 */
3304
3305xmlAttributePtr
3306xmlGetDtdQAttrDesc(xmlDtdPtr dtd, const xmlChar *elem, const xmlChar *name,
3307 const xmlChar *prefix) {
3308 xmlAttributeTablePtr table;
3309
3310 if (dtd == NULL) return(NULL);
3311 if (dtd->attributes == NULL) return(NULL);
3312 table = (xmlAttributeTablePtr) dtd->attributes;
3313
3314 return(xmlHashLookup3(table, name, prefix, elem));
3315}
3316
3317/**
3318 * xmlGetDtdNotationDesc:
3319 * @dtd: a pointer to the DtD to search
3320 * @name: the notation name
3321 *
3322 * Search the DTD for the description of this notation
3323 *
3324 * returns the xmlNotationPtr if found or NULL
3325 */
3326
3327xmlNotationPtr
3328xmlGetDtdNotationDesc(xmlDtdPtr dtd, const xmlChar *name) {
3329 xmlNotationTablePtr table;
3330
3331 if (dtd == NULL) return(NULL);
3332 if (dtd->notations == NULL) return(NULL);
3333 table = (xmlNotationTablePtr) dtd->notations;
3334
3335 return(xmlHashLookup(table, name));
3336}
3337
3338#if defined(LIBXML_VALID_ENABLED) || defined(LIBXML_SCHEMAS_ENABLED)
3339/**
3340 * xmlValidateNotationUse:
3341 * @ctxt: the validation context
3342 * @doc: the document
3343 * @notationName: the notation name to check
3344 *
3345 * Validate that the given name match a notation declaration.
3346 * - [ VC: Notation Declared ]
3347 *
3348 * returns 1 if valid or 0 otherwise
3349 */
3350
3351int
3352xmlValidateNotationUse(xmlValidCtxtPtr ctxt, xmlDocPtr doc,
3353 const xmlChar *notationName) {
3354 xmlNotationPtr notaDecl;
3355 if ((doc == NULL) || (doc->intSubset == NULL) ||
3356 (notationName == NULL)) return(-1);
3357
3358 notaDecl = xmlGetDtdNotationDesc(doc->intSubset, notationName);
3359 if ((notaDecl == NULL) && (doc->extSubset != NULL))
3360 notaDecl = xmlGetDtdNotationDesc(doc->extSubset, notationName);
3361
3362 if ((notaDecl == NULL) && (ctxt != NULL)) {
3363 xmlErrValidNode(ctxt, (xmlNodePtr) doc, XML_DTD_UNKNOWN_NOTATION,
3364 "NOTATION %s is not declared\n",
3365 notationName, NULL, NULL);
3366 return(0);
3367 }
3368 return(1);
3369}
3370#endif /* LIBXML_VALID_ENABLED or LIBXML_SCHEMAS_ENABLED */
3371
3372/**
3373 * xmlIsMixedElement:
3374 * @doc: the document
3375 * @name: the element name
3376 *
3377 * Search in the DtDs whether an element accept Mixed content (or ANY)
3378 * basically if it is supposed to accept text childs
3379 *
3380 * returns 0 if no, 1 if yes, and -1 if no element description is available
3381 */
3382
3383int
3384xmlIsMixedElement(xmlDocPtr doc, const xmlChar *name) {
3385 xmlElementPtr elemDecl;
3386
3387 if ((doc == NULL) || (doc->intSubset == NULL)) return(-1);
3388
3389 elemDecl = xmlGetDtdElementDesc(doc->intSubset, name);
3390 if ((elemDecl == NULL) && (doc->extSubset != NULL))
3391 elemDecl = xmlGetDtdElementDesc(doc->extSubset, name);
3392 if (elemDecl == NULL) return(-1);
3393 switch (elemDecl->etype) {
3394 case XML_ELEMENT_TYPE_UNDEFINED:
3395 return(-1);
3396 case XML_ELEMENT_TYPE_ELEMENT:
3397 return(0);
3398 case XML_ELEMENT_TYPE_EMPTY:
3399 /*
3400 * return 1 for EMPTY since we want VC error to pop up
3401 * on <empty> </empty> for example
3402 */
3403 case XML_ELEMENT_TYPE_ANY:
3404 case XML_ELEMENT_TYPE_MIXED:
3405 return(1);
3406 }
3407 return(1);
3408}
3409
3410#ifdef LIBXML_VALID_ENABLED
3411
3412static int
3413xmlIsDocNameStartChar(xmlDocPtr doc, int c) {
3414 if ((doc == NULL) || (doc->properties & XML_DOC_OLD10) == 0) {
3415 /*
3416 * Use the new checks of production [4] [4a] amd [5] of the
3417 * Update 5 of XML-1.0
3418 */
3419 if (((c >= 'a') && (c <= 'z')) ||
3420 ((c >= 'A') && (c <= 'Z')) ||
3421 (c == '_') || (c == ':') ||
3422 ((c >= 0xC0) && (c <= 0xD6)) ||
3423 ((c >= 0xD8) && (c <= 0xF6)) ||
3424 ((c >= 0xF8) && (c <= 0x2FF)) ||
3425 ((c >= 0x370) && (c <= 0x37D)) ||
3426 ((c >= 0x37F) && (c <= 0x1FFF)) ||
3427 ((c >= 0x200C) && (c <= 0x200D)) ||
3428 ((c >= 0x2070) && (c <= 0x218F)) ||
3429 ((c >= 0x2C00) && (c <= 0x2FEF)) ||
3430 ((c >= 0x3001) && (c <= 0xD7FF)) ||
3431 ((c >= 0xF900) && (c <= 0xFDCF)) ||
3432 ((c >= 0xFDF0) && (c <= 0xFFFD)) ||
3433 ((c >= 0x10000) && (c <= 0xEFFFF)))
3434 return(1);
3435 } else {
3436 if (IS_LETTER(c) || (c == '_') || (c == ':'))
3437 return(1);
3438 }
3439 return(0);
3440}
3441
3442static int
3443xmlIsDocNameChar(xmlDocPtr doc, int c) {
3444 if ((doc == NULL) || (doc->properties & XML_DOC_OLD10) == 0) {
3445 /*
3446 * Use the new checks of production [4] [4a] amd [5] of the
3447 * Update 5 of XML-1.0
3448 */
3449 if (((c >= 'a') && (c <= 'z')) ||
3450 ((c >= 'A') && (c <= 'Z')) ||
3451 ((c >= '0') && (c <= '9')) || /* !start */
3452 (c == '_') || (c == ':') ||
3453 (c == '-') || (c == '.') || (c == 0xB7) || /* !start */
3454 ((c >= 0xC0) && (c <= 0xD6)) ||
3455 ((c >= 0xD8) && (c <= 0xF6)) ||
3456 ((c >= 0xF8) && (c <= 0x2FF)) ||
3457 ((c >= 0x300) && (c <= 0x36F)) || /* !start */
3458 ((c >= 0x370) && (c <= 0x37D)) ||
3459 ((c >= 0x37F) && (c <= 0x1FFF)) ||
3460 ((c >= 0x200C) && (c <= 0x200D)) ||
3461 ((c >= 0x203F) && (c <= 0x2040)) || /* !start */
3462 ((c >= 0x2070) && (c <= 0x218F)) ||
3463 ((c >= 0x2C00) && (c <= 0x2FEF)) ||
3464 ((c >= 0x3001) && (c <= 0xD7FF)) ||
3465 ((c >= 0xF900) && (c <= 0xFDCF)) ||
3466 ((c >= 0xFDF0) && (c <= 0xFFFD)) ||
3467 ((c >= 0x10000) && (c <= 0xEFFFF)))
3468 return(1);
3469 } else {
3470 if ((IS_LETTER(c)) || (IS_DIGIT(c)) ||
3471 (c == '.') || (c == '-') ||
3472 (c == '_') || (c == ':') ||
3473 (IS_COMBINING(c)) ||
3474 (IS_EXTENDER(c)))
3475 return(1);
3476 }
3477 return(0);
3478}
3479
3480/**
3481 * xmlValidateNameValue:
3482 * @doc: pointer to the document or NULL
3483 * @value: an Name value
3484 *
3485 * Validate that the given value match Name production
3486 *
3487 * returns 1 if valid or 0 otherwise
3488 */
3489
3490static int
3491xmlValidateNameValueInternal(xmlDocPtr doc, const xmlChar *value) {
3492 const xmlChar *cur;
3493 int val, len;
3494
3495 if (value == NULL) return(0);
3496 cur = value;
3497 val = xmlStringCurrentChar(NULL, cur, &len);
3498 cur += len;
3499 if (!xmlIsDocNameStartChar(doc, val))
3500 return(0);
3501
3502 val = xmlStringCurrentChar(NULL, cur, &len);
3503 cur += len;
3504 while (xmlIsDocNameChar(doc, val)) {
3505 val = xmlStringCurrentChar(NULL, cur, &len);
3506 cur += len;
3507 }
3508
3509 if (val != 0) return(0);
3510
3511 return(1);
3512}
3513
3514/**
3515 * xmlValidateNameValue:
3516 * @value: an Name value
3517 *
3518 * Validate that the given value match Name production
3519 *
3520 * returns 1 if valid or 0 otherwise
3521 */
3522
3523int
3524xmlValidateNameValue(const xmlChar *value) {
3525 return(xmlValidateNameValueInternal(NULL, value));
3526}
3527
3528/**
3529 * xmlValidateNamesValueInternal:
3530 * @doc: pointer to the document or NULL
3531 * @value: an Names value
3532 *
3533 * Validate that the given value match Names production
3534 *
3535 * returns 1 if valid or 0 otherwise
3536 */
3537
3538static int
3539xmlValidateNamesValueInternal(xmlDocPtr doc, const xmlChar *value) {
3540 const xmlChar *cur;
3541 int val, len;
3542
3543 if (value == NULL) return(0);
3544 cur = value;
3545 val = xmlStringCurrentChar(NULL, cur, &len);
3546 cur += len;
3547
3548 if (!xmlIsDocNameStartChar(doc, val))
3549 return(0);
3550
3551 val = xmlStringCurrentChar(NULL, cur, &len);
3552 cur += len;
3553 while (xmlIsDocNameChar(doc, val)) {
3554 val = xmlStringCurrentChar(NULL, cur, &len);
3555 cur += len;
3556 }
3557
3558 /* Should not test IS_BLANK(val) here -- see erratum E20*/
3559 while (val == 0x20) {
3560 while (val == 0x20) {
3561 val = xmlStringCurrentChar(NULL, cur, &len);
3562 cur += len;
3563 }
3564
3565 if (!xmlIsDocNameStartChar(doc, val))
3566 return(0);
3567
3568 val = xmlStringCurrentChar(NULL, cur, &len);
3569 cur += len;
3570
3571 while (xmlIsDocNameChar(doc, val)) {
3572 val = xmlStringCurrentChar(NULL, cur, &len);
3573 cur += len;
3574 }
3575 }
3576
3577 if (val != 0) return(0);
3578
3579 return(1);
3580}
3581
3582/**
3583 * xmlValidateNamesValue:
3584 * @value: an Names value
3585 *
3586 * Validate that the given value match Names production
3587 *
3588 * returns 1 if valid or 0 otherwise
3589 */
3590
3591int
3592xmlValidateNamesValue(const xmlChar *value) {
3593 return(xmlValidateNamesValueInternal(NULL, value));
3594}
3595
3596/**
3597 * xmlValidateNmtokenValueInternal:
3598 * @doc: pointer to the document or NULL
3599 * @value: an Nmtoken value
3600 *
3601 * Validate that the given value match Nmtoken production
3602 *
3603 * [ VC: Name Token ]
3604 *
3605 * returns 1 if valid or 0 otherwise
3606 */
3607
3608static int
3609xmlValidateNmtokenValueInternal(xmlDocPtr doc, const xmlChar *value) {
3610 const xmlChar *cur;
3611 int val, len;
3612
3613 if (value == NULL) return(0);
3614 cur = value;
3615 val = xmlStringCurrentChar(NULL, cur, &len);
3616 cur += len;
3617
3618 if (!xmlIsDocNameChar(doc, val))
3619 return(0);
3620
3621 val = xmlStringCurrentChar(NULL, cur, &len);
3622 cur += len;
3623 while (xmlIsDocNameChar(doc, val)) {
3624 val = xmlStringCurrentChar(NULL, cur, &len);
3625 cur += len;
3626 }
3627
3628 if (val != 0) return(0);
3629
3630 return(1);
3631}
3632
3633/**
3634 * xmlValidateNmtokenValue:
3635 * @value: an Nmtoken value
3636 *
3637 * Validate that the given value match Nmtoken production
3638 *
3639 * [ VC: Name Token ]
3640 *
3641 * returns 1 if valid or 0 otherwise
3642 */
3643
3644int
3645xmlValidateNmtokenValue(const xmlChar *value) {
3646 return(xmlValidateNmtokenValueInternal(NULL, value));
3647}
3648
3649/**
3650 * xmlValidateNmtokensValueInternal:
3651 * @doc: pointer to the document or NULL
3652 * @value: an Nmtokens value
3653 *
3654 * Validate that the given value match Nmtokens production
3655 *
3656 * [ VC: Name Token ]
3657 *
3658 * returns 1 if valid or 0 otherwise
3659 */
3660
3661static int
3662xmlValidateNmtokensValueInternal(xmlDocPtr doc, const xmlChar *value) {
3663 const xmlChar *cur;
3664 int val, len;
3665
3666 if (value == NULL) return(0);
3667 cur = value;
3668 val = xmlStringCurrentChar(NULL, cur, &len);
3669 cur += len;
3670
3671 while (IS_BLANK(val)) {
3672 val = xmlStringCurrentChar(NULL, cur, &len);
3673 cur += len;
3674 }
3675
3676 if (!xmlIsDocNameChar(doc, val))
3677 return(0);
3678
3679 while (xmlIsDocNameChar(doc, val)) {
3680 val = xmlStringCurrentChar(NULL, cur, &len);
3681 cur += len;
3682 }
3683
3684 /* Should not test IS_BLANK(val) here -- see erratum E20*/
3685 while (val == 0x20) {
3686 while (val == 0x20) {
3687 val = xmlStringCurrentChar(NULL, cur, &len);
3688 cur += len;
3689 }
3690 if (val == 0) return(1);
3691
3692 if (!xmlIsDocNameChar(doc, val))
3693 return(0);
3694
3695 val = xmlStringCurrentChar(NULL, cur, &len);
3696 cur += len;
3697
3698 while (xmlIsDocNameChar(doc, val)) {
3699 val = xmlStringCurrentChar(NULL, cur, &len);
3700 cur += len;
3701 }
3702 }
3703
3704 if (val != 0) return(0);
3705
3706 return(1);
3707}
3708
3709/**
3710 * xmlValidateNmtokensValue:
3711 * @value: an Nmtokens value
3712 *
3713 * Validate that the given value match Nmtokens production
3714 *
3715 * [ VC: Name Token ]
3716 *
3717 * returns 1 if valid or 0 otherwise
3718 */
3719
3720int
3721xmlValidateNmtokensValue(const xmlChar *value) {
3722 return(xmlValidateNmtokensValueInternal(NULL, value));
3723}
3724
3725/**
3726 * xmlValidateNotationDecl:
3727 * @ctxt: the validation context
3728 * @doc: a document instance
3729 * @nota: a notation definition
3730 *
3731 * Try to validate a single notation definition
3732 * basically it does the following checks as described by the
3733 * XML-1.0 recommendation:
3734 * - it seems that no validity constraint exists on notation declarations
3735 * But this function get called anyway ...
3736 *
3737 * returns 1 if valid or 0 otherwise
3738 */
3739
3740int
3741xmlValidateNotationDecl(xmlValidCtxtPtr ctxt ATTRIBUTE_UNUSED, xmlDocPtr doc ATTRIBUTE_UNUSED,
3742 xmlNotationPtr nota ATTRIBUTE_UNUSED) {
3743 int ret = 1;
3744
3745 return(ret);
3746}
3747
3748/**
3749 * xmlValidateAttributeValueInternal:
3750 * @doc: the document
3751 * @type: an attribute type
3752 * @value: an attribute value
3753 *
3754 * Validate that the given attribute value match the proper production
3755 *
3756 * returns 1 if valid or 0 otherwise
3757 */
3758
3759static int
3760xmlValidateAttributeValueInternal(xmlDocPtr doc, xmlAttributeType type,
3761 const xmlChar *value) {
3762 switch (type) {
3763 case XML_ATTRIBUTE_ENTITIES:
3764 case XML_ATTRIBUTE_IDREFS:
3765 return(xmlValidateNamesValueInternal(doc, value));
3766 case XML_ATTRIBUTE_ENTITY:
3767 case XML_ATTRIBUTE_IDREF:
3768 case XML_ATTRIBUTE_ID:
3769 case XML_ATTRIBUTE_NOTATION:
3770 return(xmlValidateNameValueInternal(doc, value));
3771 case XML_ATTRIBUTE_NMTOKENS:
3772 case XML_ATTRIBUTE_ENUMERATION:
3773 return(xmlValidateNmtokensValueInternal(doc, value));
3774 case XML_ATTRIBUTE_NMTOKEN:
3775 return(xmlValidateNmtokenValueInternal(doc, value));
3776 case XML_ATTRIBUTE_CDATA:
3777 break;
3778 }
3779 return(1);
3780}
3781
3782/**
3783 * xmlValidateAttributeValue:
3784 * @type: an attribute type
3785 * @value: an attribute value
3786 *
3787 * Validate that the given attribute value match the proper production
3788 *
3789 * [ VC: ID ]
3790 * Values of type ID must match the Name production....
3791 *
3792 * [ VC: IDREF ]
3793 * Values of type IDREF must match the Name production, and values
3794 * of type IDREFS must match Names ...
3795 *
3796 * [ VC: Entity Name ]
3797 * Values of type ENTITY must match the Name production, values
3798 * of type ENTITIES must match Names ...
3799 *
3800 * [ VC: Name Token ]
3801 * Values of type NMTOKEN must match the Nmtoken production; values
3802 * of type NMTOKENS must match Nmtokens.
3803 *
3804 * returns 1 if valid or 0 otherwise
3805 */
3806int
3807xmlValidateAttributeValue(xmlAttributeType type, const xmlChar *value) {
3808 return(xmlValidateAttributeValueInternal(NULL, type, value));
3809}
3810
3811/**
3812 * xmlValidateAttributeValue2:
3813 * @ctxt: the validation context
3814 * @doc: the document
3815 * @name: the attribute name (used for error reporting only)
3816 * @type: the attribute type
3817 * @value: the attribute value
3818 *
3819 * Validate that the given attribute value match a given type.
3820 * This typically cannot be done before having finished parsing
3821 * the subsets.
3822 *
3823 * [ VC: IDREF ]
3824 * Values of type IDREF must match one of the declared IDs
3825 * Values of type IDREFS must match a sequence of the declared IDs
3826 * each Name must match the value of an ID attribute on some element
3827 * in the XML document; i.e. IDREF values must match the value of
3828 * some ID attribute
3829 *
3830 * [ VC: Entity Name ]
3831 * Values of type ENTITY must match one declared entity
3832 * Values of type ENTITIES must match a sequence of declared entities
3833 *
3834 * [ VC: Notation Attributes ]
3835 * all notation names in the declaration must be declared.
3836 *
3837 * returns 1 if valid or 0 otherwise
3838 */
3839
3840static int
3841xmlValidateAttributeValue2(xmlValidCtxtPtr ctxt, xmlDocPtr doc,
3842 const xmlChar *name, xmlAttributeType type, const xmlChar *value) {
3843 int ret = 1;
3844 switch (type) {
3845 case XML_ATTRIBUTE_IDREFS:
3846 case XML_ATTRIBUTE_IDREF:
3847 case XML_ATTRIBUTE_ID:
3848 case XML_ATTRIBUTE_NMTOKENS:
3849 case XML_ATTRIBUTE_ENUMERATION:
3850 case XML_ATTRIBUTE_NMTOKEN:
3851 case XML_ATTRIBUTE_CDATA:
3852 break;
3853 case XML_ATTRIBUTE_ENTITY: {
3854 xmlEntityPtr ent;
3855
3856 ent = xmlGetDocEntity(doc, value);
3857 /* yeah it's a bit messy... */
3858 if ((ent == NULL) && (doc->standalone == 1)) {
3859 doc->standalone = 0;
3860 ent = xmlGetDocEntity(doc, value);
3861 }
3862 if (ent == NULL) {
3863 xmlErrValidNode(ctxt, (xmlNodePtr) doc,
3864 XML_DTD_UNKNOWN_ENTITY,
3865 "ENTITY attribute %s reference an unknown entity \"%s\"\n",
3866 name, value, NULL);
3867 ret = 0;
3868 } else if (ent->etype != XML_EXTERNAL_GENERAL_UNPARSED_ENTITY) {
3869 xmlErrValidNode(ctxt, (xmlNodePtr) doc,
3870 XML_DTD_ENTITY_TYPE,
3871 "ENTITY attribute %s reference an entity \"%s\" of wrong type\n",
3872 name, value, NULL);
3873 ret = 0;
3874 }
3875 break;
3876 }
3877 case XML_ATTRIBUTE_ENTITIES: {
3878 xmlChar *dup, *nam = NULL, *cur, save;
3879 xmlEntityPtr ent;
3880
3881 dup = xmlStrdup(value);
3882 if (dup == NULL)
3883 return(0);
3884 cur = dup;
3885 while (*cur != 0) {
3886 nam = cur;
3887 while ((*cur != 0) && (!IS_BLANK_CH(*cur))) cur++;
3888 save = *cur;
3889 *cur = 0;
3890 ent = xmlGetDocEntity(doc, nam);
3891 if (ent == NULL) {
3892 xmlErrValidNode(ctxt, (xmlNodePtr) doc,
3893 XML_DTD_UNKNOWN_ENTITY,
3894 "ENTITIES attribute %s reference an unknown entity \"%s\"\n",
3895 name, nam, NULL);
3896 ret = 0;
3897 } else if (ent->etype != XML_EXTERNAL_GENERAL_UNPARSED_ENTITY) {
3898 xmlErrValidNode(ctxt, (xmlNodePtr) doc,
3899 XML_DTD_ENTITY_TYPE,
3900 "ENTITIES attribute %s reference an entity \"%s\" of wrong type\n",
3901 name, nam, NULL);
3902 ret = 0;
3903 }
3904 if (save == 0)
3905 break;
3906 *cur = save;
3907 while (IS_BLANK_CH(*cur)) cur++;
3908 }
3909 xmlFree(dup);
3910 break;
3911 }
3912 case XML_ATTRIBUTE_NOTATION: {
3913 xmlNotationPtr nota;
3914
3915 nota = xmlGetDtdNotationDesc(doc->intSubset, value);
3916 if ((nota == NULL) && (doc->extSubset != NULL))
3917 nota = xmlGetDtdNotationDesc(doc->extSubset, value);
3918
3919 if (nota == NULL) {
3920 xmlErrValidNode(ctxt, (xmlNodePtr) doc,
3921 XML_DTD_UNKNOWN_NOTATION,
3922 "NOTATION attribute %s reference an unknown notation \"%s\"\n",
3923 name, value, NULL);
3924 ret = 0;
3925 }
3926 break;
3927 }
3928 }
3929 return(ret);
3930}
3931
3932/**
3933 * xmlValidCtxtNormalizeAttributeValue:
3934 * @ctxt: the validation context
3935 * @doc: the document
3936 * @elem: the parent
3937 * @name: the attribute name
3938 * @value: the attribute value
3939 * @ctxt: the validation context or NULL
3940 *
3941 * Does the validation related extra step of the normalization of attribute
3942 * values:
3943 *
3944 * If the declared value is not CDATA, then the XML processor must further
3945 * process the normalized attribute value by discarding any leading and
3946 * trailing space (#x20) characters, and by replacing sequences of space
3947 * (#x20) characters by single space (#x20) character.
3948 *
3949 * Also check VC: Standalone Document Declaration in P32, and update
3950 * ctxt->valid accordingly
3951 *
3952 * returns a new normalized string if normalization is needed, NULL otherwise
3953 * the caller must free the returned value.
3954 */
3955
3956xmlChar *
3957xmlValidCtxtNormalizeAttributeValue(xmlValidCtxtPtr ctxt, xmlDocPtr doc,
3958 xmlNodePtr elem, const xmlChar *name, const xmlChar *value) {
3959 xmlChar *ret, *dst;
3960 const xmlChar *src;
3961 xmlAttributePtr attrDecl = NULL;
3962 int extsubset = 0;
3963
3964 if (doc == NULL) return(NULL);
3965 if (elem == NULL) return(NULL);
3966 if (name == NULL) return(NULL);
3967 if (value == NULL) return(NULL);
3968
3969 if ((elem->ns != NULL) && (elem->ns->prefix != NULL)) {
3970 xmlChar fn[50];
3971 xmlChar *fullname;
3972
3973 fullname = xmlBuildQName(elem->name, elem->ns->prefix, fn, 50);
3974 if (fullname == NULL)
3975 return(NULL);
3976 attrDecl = xmlGetDtdAttrDesc(doc->intSubset, fullname, name);
3977 if ((attrDecl == NULL) && (doc->extSubset != NULL)) {
3978 attrDecl = xmlGetDtdAttrDesc(doc->extSubset, fullname, name);
3979 if (attrDecl != NULL)
3980 extsubset = 1;
3981 }
3982 if ((fullname != fn) && (fullname != elem->name))
3983 xmlFree(fullname);
3984 }
3985 if ((attrDecl == NULL) && (doc->intSubset != NULL))
3986 attrDecl = xmlGetDtdAttrDesc(doc->intSubset, elem->name, name);
3987 if ((attrDecl == NULL) && (doc->extSubset != NULL)) {
3988 attrDecl = xmlGetDtdAttrDesc(doc->extSubset, elem->name, name);
3989 if (attrDecl != NULL)
3990 extsubset = 1;
3991 }
3992
3993 if (attrDecl == NULL)
3994 return(NULL);
3995 if (attrDecl->atype == XML_ATTRIBUTE_CDATA)
3996 return(NULL);
3997
3998 ret = xmlStrdup(value);
3999 if (ret == NULL)
4000 return(NULL);
4001 src = value;
4002 dst = ret;
4003 while (*src == 0x20) src++;
4004 while (*src != 0) {
4005 if (*src == 0x20) {
4006 while (*src == 0x20) src++;
4007 if (*src != 0)
4008 *dst++ = 0x20;
4009 } else {
4010 *dst++ = *src++;
4011 }
4012 }
4013 *dst = 0;
4014 if ((doc->standalone) && (extsubset == 1) && (!xmlStrEqual(value, ret))) {
4015 xmlErrValidNode(ctxt, elem, XML_DTD_NOT_STANDALONE,
4016"standalone: %s on %s value had to be normalized based on external subset declaration\n",
4017 name, elem->name, NULL);
4018 ctxt->valid = 0;
4019 }
4020 return(ret);
4021}
4022
4023/**
4024 * xmlValidNormalizeAttributeValue:
4025 * @doc: the document
4026 * @elem: the parent
4027 * @name: the attribute name
4028 * @value: the attribute value
4029 *
4030 * Does the validation related extra step of the normalization of attribute
4031 * values:
4032 *
4033 * If the declared value is not CDATA, then the XML processor must further
4034 * process the normalized attribute value by discarding any leading and
4035 * trailing space (#x20) characters, and by replacing sequences of space
4036 * (#x20) characters by single space (#x20) character.
4037 *
4038 * Returns a new normalized string if normalization is needed, NULL otherwise
4039 * the caller must free the returned value.
4040 */
4041
4042xmlChar *
4043xmlValidNormalizeAttributeValue(xmlDocPtr doc, xmlNodePtr elem,
4044 const xmlChar *name, const xmlChar *value) {
4045 xmlChar *ret, *dst;
4046 const xmlChar *src;
4047 xmlAttributePtr attrDecl = NULL;
4048
4049 if (doc == NULL) return(NULL);
4050 if (elem == NULL) return(NULL);
4051 if (name == NULL) return(NULL);
4052 if (value == NULL) return(NULL);
4053
4054 if ((elem->ns != NULL) && (elem->ns->prefix != NULL)) {
4055 xmlChar fn[50];
4056 xmlChar *fullname;
4057
4058 fullname = xmlBuildQName(elem->name, elem->ns->prefix, fn, 50);
4059 if (fullname == NULL)
4060 return(NULL);
4061 if ((fullname != fn) && (fullname != elem->name))
4062 xmlFree(fullname);
4063 }
4064 attrDecl = xmlGetDtdAttrDesc(doc->intSubset, elem->name, name);
4065 if ((attrDecl == NULL) && (doc->extSubset != NULL))
4066 attrDecl = xmlGetDtdAttrDesc(doc->extSubset, elem->name, name);
4067
4068 if (attrDecl == NULL)
4069 return(NULL);
4070 if (attrDecl->atype == XML_ATTRIBUTE_CDATA)
4071 return(NULL);
4072
4073 ret = xmlStrdup(value);
4074 if (ret == NULL)
4075 return(NULL);
4076 src = value;
4077 dst = ret;
4078 while (*src == 0x20) src++;
4079 while (*src != 0) {
4080 if (*src == 0x20) {
4081 while (*src == 0x20) src++;
4082 if (*src != 0)
4083 *dst++ = 0x20;
4084 } else {
4085 *dst++ = *src++;
4086 }
4087 }
4088 *dst = 0;
4089 return(ret);
4090}
4091
4092static void
4093xmlValidateAttributeIdCallback(xmlAttributePtr attr, int *count,
4094 const xmlChar* name ATTRIBUTE_UNUSED) {
4095 if (attr->atype == XML_ATTRIBUTE_ID) (*count)++;
4096}
4097
4098/**
4099 * xmlValidateAttributeDecl:
4100 * @ctxt: the validation context
4101 * @doc: a document instance
4102 * @attr: an attribute definition
4103 *
4104 * Try to validate a single attribute definition
4105 * basically it does the following checks as described by the
4106 * XML-1.0 recommendation:
4107 * - [ VC: Attribute Default Legal ]
4108 * - [ VC: Enumeration ]
4109 * - [ VC: ID Attribute Default ]
4110 *
4111 * The ID/IDREF uniqueness and matching are done separately
4112 *
4113 * returns 1 if valid or 0 otherwise
4114 */
4115
4116int
4117xmlValidateAttributeDecl(xmlValidCtxtPtr ctxt, xmlDocPtr doc,
4118 xmlAttributePtr attr) {
4119 int ret = 1;
4120 int val;
4121 CHECK_DTD;
4122 if(attr == NULL) return(1);
4123
4124 /* Attribute Default Legal */
4125 /* Enumeration */
4126 if (attr->defaultValue != NULL) {
4127 val = xmlValidateAttributeValueInternal(doc, attr->atype,
4128 attr->defaultValue);
4129 if (val == 0) {
4130 xmlErrValidNode(ctxt, (xmlNodePtr) attr, XML_DTD_ATTRIBUTE_DEFAULT,
4131 "Syntax of default value for attribute %s of %s is not valid\n",
4132 attr->name, attr->elem, NULL);
4133 }
4134 ret &= val;
4135 }
4136
4137 /* ID Attribute Default */
4138 if ((attr->atype == XML_ATTRIBUTE_ID)&&
4139 (attr->def != XML_ATTRIBUTE_IMPLIED) &&
4140 (attr->def != XML_ATTRIBUTE_REQUIRED)) {
4141 xmlErrValidNode(ctxt, (xmlNodePtr) attr, XML_DTD_ID_FIXED,
4142 "ID attribute %s of %s is not valid must be #IMPLIED or #REQUIRED\n",
4143 attr->name, attr->elem, NULL);
4144 ret = 0;
4145 }
4146
4147 /* One ID per Element Type */
4148 if (attr->atype == XML_ATTRIBUTE_ID) {
4149 int nbId;
4150
4151 /* the trick is that we parse DtD as their own internal subset */
4152 xmlElementPtr elem = xmlGetDtdElementDesc(doc->intSubset,
4153 attr->elem);
4154 if (elem != NULL) {
4155 nbId = xmlScanIDAttributeDecl(NULL, elem, 0);
4156 } else {
4157 xmlAttributeTablePtr table;
4158
4159 /*
4160 * The attribute may be declared in the internal subset and the
4161 * element in the external subset.
4162 */
4163 nbId = 0;
4164 if (doc->intSubset != NULL) {
4165 table = (xmlAttributeTablePtr) doc->intSubset->attributes;
4166 xmlHashScan3(table, NULL, NULL, attr->elem, (xmlHashScanner)
4167 xmlValidateAttributeIdCallback, &nbId);
4168 }
4169 }
4170 if (nbId > 1) {
4171
4172 xmlErrValidNodeNr(ctxt, (xmlNodePtr) attr, XML_DTD_ID_SUBSET,
4173 "Element %s has %d ID attribute defined in the internal subset : %s\n",
4174 attr->elem, nbId, attr->name);
4175 } else if (doc->extSubset != NULL) {
4176 int extId = 0;
4177 elem = xmlGetDtdElementDesc(doc->extSubset, attr->elem);
4178 if (elem != NULL) {
4179 extId = xmlScanIDAttributeDecl(NULL, elem, 0);
4180 }
4181 if (extId > 1) {
4182 xmlErrValidNodeNr(ctxt, (xmlNodePtr) attr, XML_DTD_ID_SUBSET,
4183 "Element %s has %d ID attribute defined in the external subset : %s\n",
4184 attr->elem, extId, attr->name);
4185 } else if (extId + nbId > 1) {
4186 xmlErrValidNode(ctxt, (xmlNodePtr) attr, XML_DTD_ID_SUBSET,
4187"Element %s has ID attributes defined in the internal and external subset : %s\n",
4188 attr->elem, attr->name, NULL);
4189 }
4190 }
4191 }
4192
4193 /* Validity Constraint: Enumeration */
4194 if ((attr->defaultValue != NULL) && (attr->tree != NULL)) {
4195 xmlEnumerationPtr tree = attr->tree;
4196 while (tree != NULL) {
4197 if (xmlStrEqual(tree->name, attr->defaultValue)) break;
4198 tree = tree->next;
4199 }
4200 if (tree == NULL) {
4201 xmlErrValidNode(ctxt, (xmlNodePtr) attr, XML_DTD_ATTRIBUTE_VALUE,
4202"Default value \"%s\" for attribute %s of %s is not among the enumerated set\n",
4203 attr->defaultValue, attr->name, attr->elem);
4204 ret = 0;
4205 }
4206 }
4207
4208 return(ret);
4209}
4210
4211/**
4212 * xmlValidateElementDecl:
4213 * @ctxt: the validation context
4214 * @doc: a document instance
4215 * @elem: an element definition
4216 *
4217 * Try to validate a single element definition
4218 * basically it does the following checks as described by the
4219 * XML-1.0 recommendation:
4220 * - [ VC: One ID per Element Type ]
4221 * - [ VC: No Duplicate Types ]
4222 * - [ VC: Unique Element Type Declaration ]
4223 *
4224 * returns 1 if valid or 0 otherwise
4225 */
4226
4227int
4228xmlValidateElementDecl(xmlValidCtxtPtr ctxt, xmlDocPtr doc,
4229 xmlElementPtr elem) {
4230 int ret = 1;
4231 xmlElementPtr tst;
4232
4233 CHECK_DTD;
4234
4235 if (elem == NULL) return(1);
4236
4237#if 0
4238#ifdef LIBXML_REGEXP_ENABLED
4239 /* Build the regexp associated to the content model */
4240 ret = xmlValidBuildContentModel(ctxt, elem);
4241#endif
4242#endif
4243
4244 /* No Duplicate Types */
4245 if (elem->etype == XML_ELEMENT_TYPE_MIXED) {
4246 xmlElementContentPtr cur, next;
4247 const xmlChar *name;
4248
4249 cur = elem->content;
4250 while (cur != NULL) {
4251 if (cur->type != XML_ELEMENT_CONTENT_OR) break;
4252 if (cur->c1 == NULL) break;
4253 if (cur->c1->type == XML_ELEMENT_CONTENT_ELEMENT) {
4254 name = cur->c1->name;
4255 next = cur->c2;
4256 while (next != NULL) {
4257 if (next->type == XML_ELEMENT_CONTENT_ELEMENT) {
4258 if ((xmlStrEqual(next->name, name)) &&
4259 (xmlStrEqual(next->prefix, cur->c1->prefix))) {
4260 if (cur->c1->prefix == NULL) {
4261 xmlErrValidNode(ctxt, (xmlNodePtr) elem, XML_DTD_CONTENT_ERROR,
4262 "Definition of %s has duplicate references of %s\n",
4263 elem->name, name, NULL);
4264 } else {
4265 xmlErrValidNode(ctxt, (xmlNodePtr) elem, XML_DTD_CONTENT_ERROR,
4266 "Definition of %s has duplicate references of %s:%s\n",
4267 elem->name, cur->c1->prefix, name);
4268 }
4269 ret = 0;
4270 }
4271 break;
4272 }
4273 if (next->c1 == NULL) break;
4274 if (next->c1->type != XML_ELEMENT_CONTENT_ELEMENT) break;
4275 if ((xmlStrEqual(next->c1->name, name)) &&
4276 (xmlStrEqual(next->c1->prefix, cur->c1->prefix))) {
4277 if (cur->c1->prefix == NULL) {
4278 xmlErrValidNode(ctxt, (xmlNodePtr) elem, XML_DTD_CONTENT_ERROR,
4279 "Definition of %s has duplicate references to %s\n",
4280 elem->name, name, NULL);
4281 } else {
4282 xmlErrValidNode(ctxt, (xmlNodePtr) elem, XML_DTD_CONTENT_ERROR,
4283 "Definition of %s has duplicate references to %s:%s\n",
4284 elem->name, cur->c1->prefix, name);
4285 }
4286 ret = 0;
4287 }
4288 next = next->c2;
4289 }
4290 }
4291 cur = cur->c2;
4292 }
4293 }
4294
4295 /* VC: Unique Element Type Declaration */
4296 tst = xmlGetDtdElementDesc(doc->intSubset, elem->name);
4297 if ((tst != NULL ) && (tst != elem) &&
4298 ((tst->prefix == elem->prefix) ||
4299 (xmlStrEqual(tst->prefix, elem->prefix))) &&
4300 (tst->etype != XML_ELEMENT_TYPE_UNDEFINED)) {
4301 xmlErrValidNode(ctxt, (xmlNodePtr) elem, XML_DTD_ELEM_REDEFINED,
4302 "Redefinition of element %s\n",
4303 elem->name, NULL, NULL);
4304 ret = 0;
4305 }
4306 tst = xmlGetDtdElementDesc(doc->extSubset, elem->name);
4307 if ((tst != NULL ) && (tst != elem) &&
4308 ((tst->prefix == elem->prefix) ||
4309 (xmlStrEqual(tst->prefix, elem->prefix))) &&
4310 (tst->etype != XML_ELEMENT_TYPE_UNDEFINED)) {
4311 xmlErrValidNode(ctxt, (xmlNodePtr) elem, XML_DTD_ELEM_REDEFINED,
4312 "Redefinition of element %s\n",
4313 elem->name, NULL, NULL);
4314 ret = 0;
4315 }
4316 /* One ID per Element Type
4317 * already done when registering the attribute
4318 if (xmlScanIDAttributeDecl(ctxt, elem) > 1) {
4319 ret = 0;
4320 } */
4321 return(ret);
4322}
4323
4324/**
4325 * xmlValidateOneAttribute:
4326 * @ctxt: the validation context
4327 * @doc: a document instance
4328 * @elem: an element instance
4329 * @attr: an attribute instance
4330 * @value: the attribute value (without entities processing)
4331 *
4332 * Try to validate a single attribute for an element
4333 * basically it does the following checks as described by the
4334 * XML-1.0 recommendation:
4335 * - [ VC: Attribute Value Type ]
4336 * - [ VC: Fixed Attribute Default ]
4337 * - [ VC: Entity Name ]
4338 * - [ VC: Name Token ]
4339 * - [ VC: ID ]
4340 * - [ VC: IDREF ]
4341 * - [ VC: Entity Name ]
4342 * - [ VC: Notation Attributes ]
4343 *
4344 * The ID/IDREF uniqueness and matching are done separately
4345 *
4346 * returns 1 if valid or 0 otherwise
4347 */
4348
4349int
4350xmlValidateOneAttribute(xmlValidCtxtPtr ctxt, xmlDocPtr doc,
4351 xmlNodePtr elem, xmlAttrPtr attr, const xmlChar *value)
4352{
4353 xmlAttributePtr attrDecl = NULL;
4354 int val;
4355 int ret = 1;
4356
4357 CHECK_DTD;
4358 if ((elem == NULL) || (elem->name == NULL)) return(0);
4359 if ((attr == NULL) || (attr->name == NULL)) return(0);
4360
4361 if ((elem->ns != NULL) && (elem->ns->prefix != NULL)) {
4362 xmlChar fn[50];
4363 xmlChar *fullname;
4364
4365 fullname = xmlBuildQName(elem->name, elem->ns->prefix, fn, 50);
4366 if (fullname == NULL)
4367 return(0);
4368 if (attr->ns != NULL) {
4369 attrDecl = xmlGetDtdQAttrDesc(doc->intSubset, fullname,
4370 attr->name, attr->ns->prefix);
4371 if ((attrDecl == NULL) && (doc->extSubset != NULL))
4372 attrDecl = xmlGetDtdQAttrDesc(doc->extSubset, fullname,
4373 attr->name, attr->ns->prefix);
4374 } else {
4375 attrDecl = xmlGetDtdAttrDesc(doc->intSubset, fullname, attr->name);
4376 if ((attrDecl == NULL) && (doc->extSubset != NULL))
4377 attrDecl = xmlGetDtdAttrDesc(doc->extSubset,
4378 fullname, attr->name);
4379 }
4380 if ((fullname != fn) && (fullname != elem->name))
4381 xmlFree(fullname);
4382 }
4383 if (attrDecl == NULL) {
4384 if (attr->ns != NULL) {
4385 attrDecl = xmlGetDtdQAttrDesc(doc->intSubset, elem->name,
4386 attr->name, attr->ns->prefix);
4387 if ((attrDecl == NULL) && (doc->extSubset != NULL))
4388 attrDecl = xmlGetDtdQAttrDesc(doc->extSubset, elem->name,
4389 attr->name, attr->ns->prefix);
4390 } else {
4391 attrDecl = xmlGetDtdAttrDesc(doc->intSubset,
4392 elem->name, attr->name);
4393 if ((attrDecl == NULL) && (doc->extSubset != NULL))
4394 attrDecl = xmlGetDtdAttrDesc(doc->extSubset,
4395 elem->name, attr->name);
4396 }
4397 }
4398
4399
4400 /* Validity Constraint: Attribute Value Type */
4401 if (attrDecl == NULL) {
4402 xmlErrValidNode(ctxt, elem, XML_DTD_UNKNOWN_ATTRIBUTE,
4403 "No declaration for attribute %s of element %s\n",
4404 attr->name, elem->name, NULL);
4405 return(0);
4406 }
4407 attr->atype = attrDecl->atype;
4408
4409 val = xmlValidateAttributeValueInternal(doc, attrDecl->atype, value);
4410 if (val == 0) {
4411 xmlErrValidNode(ctxt, elem, XML_DTD_ATTRIBUTE_VALUE,
4412 "Syntax of value for attribute %s of %s is not valid\n",
4413 attr->name, elem->name, NULL);
4414 ret = 0;
4415 }
4416
4417 /* Validity constraint: Fixed Attribute Default */
4418 if (attrDecl->def == XML_ATTRIBUTE_FIXED) {
4419 if (!xmlStrEqual(value, attrDecl->defaultValue)) {
4420 xmlErrValidNode(ctxt, elem, XML_DTD_ATTRIBUTE_DEFAULT,
4421 "Value for attribute %s of %s is different from default \"%s\"\n",
4422 attr->name, elem->name, attrDecl->defaultValue);
4423 ret = 0;
4424 }
4425 }
4426
4427 /* Validity Constraint: ID uniqueness */
4428 if (attrDecl->atype == XML_ATTRIBUTE_ID) {
4429 if (xmlAddID(ctxt, doc, value, attr) == NULL)
4430 ret = 0;
4431 }
4432
4433 if ((attrDecl->atype == XML_ATTRIBUTE_IDREF) ||
4434 (attrDecl->atype == XML_ATTRIBUTE_IDREFS)) {
4435 if (xmlAddRef(ctxt, doc, value, attr) == NULL)
4436 ret = 0;
4437 }
4438
4439 /* Validity Constraint: Notation Attributes */
4440 if (attrDecl->atype == XML_ATTRIBUTE_NOTATION) {
4441 xmlEnumerationPtr tree = attrDecl->tree;
4442 xmlNotationPtr nota;
4443
4444 /* First check that the given NOTATION was declared */
4445 nota = xmlGetDtdNotationDesc(doc->intSubset, value);
4446 if (nota == NULL)
4447 nota = xmlGetDtdNotationDesc(doc->extSubset, value);
4448
4449 if (nota == NULL) {
4450 xmlErrValidNode(ctxt, elem, XML_DTD_UNKNOWN_NOTATION,
4451 "Value \"%s\" for attribute %s of %s is not a declared Notation\n",
4452 value, attr->name, elem->name);
4453 ret = 0;
4454 }
4455
4456 /* Second, verify that it's among the list */
4457 while (tree != NULL) {
4458 if (xmlStrEqual(tree->name, value)) break;
4459 tree = tree->next;
4460 }
4461 if (tree == NULL) {
4462 xmlErrValidNode(ctxt, elem, XML_DTD_NOTATION_VALUE,
4463"Value \"%s\" for attribute %s of %s is not among the enumerated notations\n",
4464 value, attr->name, elem->name);
4465 ret = 0;
4466 }
4467 }
4468
4469 /* Validity Constraint: Enumeration */
4470 if (attrDecl->atype == XML_ATTRIBUTE_ENUMERATION) {
4471 xmlEnumerationPtr tree = attrDecl->tree;
4472 while (tree != NULL) {
4473 if (xmlStrEqual(tree->name, value)) break;
4474 tree = tree->next;
4475 }
4476 if (tree == NULL) {
4477 xmlErrValidNode(ctxt, elem, XML_DTD_ATTRIBUTE_VALUE,
4478 "Value \"%s\" for attribute %s of %s is not among the enumerated set\n",
4479 value, attr->name, elem->name);
4480 ret = 0;
4481 }
4482 }
4483
4484 /* Fixed Attribute Default */
4485 if ((attrDecl->def == XML_ATTRIBUTE_FIXED) &&
4486 (!xmlStrEqual(attrDecl->defaultValue, value))) {
4487 xmlErrValidNode(ctxt, elem, XML_DTD_ATTRIBUTE_VALUE,
4488 "Value for attribute %s of %s must be \"%s\"\n",
4489 attr->name, elem->name, attrDecl->defaultValue);
4490 ret = 0;
4491 }
4492
4493 /* Extra check for the attribute value */
4494 ret &= xmlValidateAttributeValue2(ctxt, doc, attr->name,
4495 attrDecl->atype, value);
4496
4497 return(ret);
4498}
4499
4500/**
4501 * xmlValidateOneNamespace:
4502 * @ctxt: the validation context
4503 * @doc: a document instance
4504 * @elem: an element instance
4505 * @prefix: the namespace prefix
4506 * @ns: an namespace declaration instance
4507 * @value: the attribute value (without entities processing)
4508 *
4509 * Try to validate a single namespace declaration for an element
4510 * basically it does the following checks as described by the
4511 * XML-1.0 recommendation:
4512 * - [ VC: Attribute Value Type ]
4513 * - [ VC: Fixed Attribute Default ]
4514 * - [ VC: Entity Name ]
4515 * - [ VC: Name Token ]
4516 * - [ VC: ID ]
4517 * - [ VC: IDREF ]
4518 * - [ VC: Entity Name ]
4519 * - [ VC: Notation Attributes ]
4520 *
4521 * The ID/IDREF uniqueness and matching are done separately
4522 *
4523 * returns 1 if valid or 0 otherwise
4524 */
4525
4526int
4527xmlValidateOneNamespace(xmlValidCtxtPtr ctxt, xmlDocPtr doc,
4528xmlNodePtr elem, const xmlChar *prefix, xmlNsPtr ns, const xmlChar *value) {
4529 /* xmlElementPtr elemDecl; */
4530 xmlAttributePtr attrDecl = NULL;
4531 int val;
4532 int ret = 1;
4533
4534 CHECK_DTD;
4535 if ((elem == NULL) || (elem->name == NULL)) return(0);
4536 if ((ns == NULL) || (ns->href == NULL)) return(0);
4537
4538 if (prefix != NULL) {
4539 xmlChar fn[50];
4540 xmlChar *fullname;
4541
4542 fullname = xmlBuildQName(elem->name, prefix, fn, 50);
4543 if (fullname == NULL) {
4544 xmlVErrMemory(ctxt, "Validating namespace");
4545 return(0);
4546 }
4547 if (ns->prefix != NULL) {
4548 attrDecl = xmlGetDtdQAttrDesc(doc->intSubset, fullname,
4549 ns->prefix, BAD_CAST "xmlns");
4550 if ((attrDecl == NULL) && (doc->extSubset != NULL))
4551 attrDecl = xmlGetDtdQAttrDesc(doc->extSubset, fullname,
4552 ns->prefix, BAD_CAST "xmlns");
4553 } else {
4554 attrDecl = xmlGetDtdAttrDesc(doc->intSubset, fullname,
4555 BAD_CAST "xmlns");
4556 if ((attrDecl == NULL) && (doc->extSubset != NULL))
4557 attrDecl = xmlGetDtdAttrDesc(doc->extSubset, fullname,
4558 BAD_CAST "xmlns");
4559 }
4560 if ((fullname != fn) && (fullname != elem->name))
4561 xmlFree(fullname);
4562 }
4563 if (attrDecl == NULL) {
4564 if (ns->prefix != NULL) {
4565 attrDecl = xmlGetDtdQAttrDesc(doc->intSubset, elem->name,
4566 ns->prefix, BAD_CAST "xmlns");
4567 if ((attrDecl == NULL) && (doc->extSubset != NULL))
4568 attrDecl = xmlGetDtdQAttrDesc(doc->extSubset, elem->name,
4569 ns->prefix, BAD_CAST "xmlns");
4570 } else {
4571 attrDecl = xmlGetDtdAttrDesc(doc->intSubset,
4572 elem->name, BAD_CAST "xmlns");
4573 if ((attrDecl == NULL) && (doc->extSubset != NULL))
4574 attrDecl = xmlGetDtdAttrDesc(doc->extSubset,
4575 elem->name, BAD_CAST "xmlns");
4576 }
4577 }
4578
4579
4580 /* Validity Constraint: Attribute Value Type */
4581 if (attrDecl == NULL) {
4582 if (ns->prefix != NULL) {
4583 xmlErrValidNode(ctxt, elem, XML_DTD_UNKNOWN_ATTRIBUTE,
4584 "No declaration for attribute xmlns:%s of element %s\n",
4585 ns->prefix, elem->name, NULL);
4586 } else {
4587 xmlErrValidNode(ctxt, elem, XML_DTD_UNKNOWN_ATTRIBUTE,
4588 "No declaration for attribute xmlns of element %s\n",
4589 elem->name, NULL, NULL);
4590 }
4591 return(0);
4592 }
4593
4594 val = xmlValidateAttributeValueInternal(doc, attrDecl->atype, value);
4595 if (val == 0) {
4596 if (ns->prefix != NULL) {
4597 xmlErrValidNode(ctxt, elem, XML_DTD_INVALID_DEFAULT,
4598 "Syntax of value for attribute xmlns:%s of %s is not valid\n",
4599 ns->prefix, elem->name, NULL);
4600 } else {
4601 xmlErrValidNode(ctxt, elem, XML_DTD_INVALID_DEFAULT,
4602 "Syntax of value for attribute xmlns of %s is not valid\n",
4603 elem->name, NULL, NULL);
4604 }
4605 ret = 0;
4606 }
4607
4608 /* Validity constraint: Fixed Attribute Default */
4609 if (attrDecl->def == XML_ATTRIBUTE_FIXED) {
4610 if (!xmlStrEqual(value, attrDecl->defaultValue)) {
4611 if (ns->prefix != NULL) {
4612 xmlErrValidNode(ctxt, elem, XML_DTD_ATTRIBUTE_DEFAULT,
4613 "Value for attribute xmlns:%s of %s is different from default \"%s\"\n",
4614 ns->prefix, elem->name, attrDecl->defaultValue);
4615 } else {
4616 xmlErrValidNode(ctxt, elem, XML_DTD_ATTRIBUTE_DEFAULT,
4617 "Value for attribute xmlns of %s is different from default \"%s\"\n",
4618 elem->name, attrDecl->defaultValue, NULL);
4619 }
4620 ret = 0;
4621 }
4622 }
4623
4624 /* Validity Constraint: ID uniqueness */
4625 if (attrDecl->atype == XML_ATTRIBUTE_ID) {
4626 if (xmlAddID(ctxt, doc, value, (xmlAttrPtr) ns) == NULL)
4627 ret = 0;
4628 }
4629
4630 if ((attrDecl->atype == XML_ATTRIBUTE_IDREF) ||
4631 (attrDecl->atype == XML_ATTRIBUTE_IDREFS)) {
4632 if (xmlAddRef(ctxt, doc, value, (xmlAttrPtr) ns) == NULL)
4633 ret = 0;
4634 }
4635
4636 /* Validity Constraint: Notation Attributes */
4637 if (attrDecl->atype == XML_ATTRIBUTE_NOTATION) {
4638 xmlEnumerationPtr tree = attrDecl->tree;
4639 xmlNotationPtr nota;
4640
4641 /* First check that the given NOTATION was declared */
4642 nota = xmlGetDtdNotationDesc(doc->intSubset, value);
4643 if (nota == NULL)
4644 nota = xmlGetDtdNotationDesc(doc->extSubset, value);
4645
4646 if (nota == NULL) {
4647 if (ns->prefix != NULL) {
4648 xmlErrValidNode(ctxt, elem, XML_DTD_UNKNOWN_NOTATION,
4649 "Value \"%s\" for attribute xmlns:%s of %s is not a declared Notation\n",
4650 value, ns->prefix, elem->name);
4651 } else {
4652 xmlErrValidNode(ctxt, elem, XML_DTD_UNKNOWN_NOTATION,
4653 "Value \"%s\" for attribute xmlns of %s is not a declared Notation\n",
4654 value, elem->name, NULL);
4655 }
4656 ret = 0;
4657 }
4658
4659 /* Second, verify that it's among the list */
4660 while (tree != NULL) {
4661 if (xmlStrEqual(tree->name, value)) break;
4662 tree = tree->next;
4663 }
4664 if (tree == NULL) {
4665 if (ns->prefix != NULL) {
4666 xmlErrValidNode(ctxt, elem, XML_DTD_NOTATION_VALUE,
4667"Value \"%s\" for attribute xmlns:%s of %s is not among the enumerated notations\n",
4668 value, ns->prefix, elem->name);
4669 } else {
4670 xmlErrValidNode(ctxt, elem, XML_DTD_NOTATION_VALUE,
4671"Value \"%s\" for attribute xmlns of %s is not among the enumerated notations\n",
4672 value, elem->name, NULL);
4673 }
4674 ret = 0;
4675 }
4676 }
4677
4678 /* Validity Constraint: Enumeration */
4679 if (attrDecl->atype == XML_ATTRIBUTE_ENUMERATION) {
4680 xmlEnumerationPtr tree = attrDecl->tree;
4681 while (tree != NULL) {
4682 if (xmlStrEqual(tree->name, value)) break;
4683 tree = tree->next;
4684 }
4685 if (tree == NULL) {
4686 if (ns->prefix != NULL) {
4687 xmlErrValidNode(ctxt, elem, XML_DTD_ATTRIBUTE_VALUE,
4688"Value \"%s\" for attribute xmlns:%s of %s is not among the enumerated set\n",
4689 value, ns->prefix, elem->name);
4690 } else {
4691 xmlErrValidNode(ctxt, elem, XML_DTD_ATTRIBUTE_VALUE,
4692"Value \"%s\" for attribute xmlns of %s is not among the enumerated set\n",
4693 value, elem->name, NULL);
4694 }
4695 ret = 0;
4696 }
4697 }
4698
4699 /* Fixed Attribute Default */
4700 if ((attrDecl->def == XML_ATTRIBUTE_FIXED) &&
4701 (!xmlStrEqual(attrDecl->defaultValue, value))) {
4702 if (ns->prefix != NULL) {
4703 xmlErrValidNode(ctxt, elem, XML_DTD_ELEM_NAMESPACE,
4704 "Value for attribute xmlns:%s of %s must be \"%s\"\n",
4705 ns->prefix, elem->name, attrDecl->defaultValue);
4706 } else {
4707 xmlErrValidNode(ctxt, elem, XML_DTD_ELEM_NAMESPACE,
4708 "Value for attribute xmlns of %s must be \"%s\"\n",
4709 elem->name, attrDecl->defaultValue, NULL);
4710 }
4711 ret = 0;
4712 }
4713
4714 /* Extra check for the attribute value */
4715 if (ns->prefix != NULL) {
4716 ret &= xmlValidateAttributeValue2(ctxt, doc, ns->prefix,
4717 attrDecl->atype, value);
4718 } else {
4719 ret &= xmlValidateAttributeValue2(ctxt, doc, BAD_CAST "xmlns",
4720 attrDecl->atype, value);
4721 }
4722
4723 return(ret);
4724}
4725
4726#ifndef LIBXML_REGEXP_ENABLED
4727/**
4728 * xmlValidateSkipIgnorable:
4729 * @ctxt: the validation context
4730 * @child: the child list
4731 *
4732 * Skip ignorable elements w.r.t. the validation process
4733 *
4734 * returns the first element to consider for validation of the content model
4735 */
4736
4737static xmlNodePtr
4738xmlValidateSkipIgnorable(xmlNodePtr child) {
4739 while (child != NULL) {
4740 switch (child->type) {
4741 /* These things are ignored (skipped) during validation. */
4742 case XML_PI_NODE:
4743 case XML_COMMENT_NODE:
4744 case XML_XINCLUDE_START:
4745 case XML_XINCLUDE_END:
4746 child = child->next;
4747 break;
4748 case XML_TEXT_NODE:
4749 if (xmlIsBlankNode(child))
4750 child = child->next;
4751 else
4752 return(child);
4753 break;
4754 /* keep current node */
4755 default:
4756 return(child);
4757 }
4758 }
4759 return(child);
4760}
4761
4762/**
4763 * xmlValidateElementType:
4764 * @ctxt: the validation context
4765 *
4766 * Try to validate the content model of an element internal function
4767 *
4768 * returns 1 if valid or 0 ,-1 in case of error, -2 if an entity
4769 * reference is found and -3 if the validation succeeded but
4770 * the content model is not determinist.
4771 */
4772
4773static int
4774xmlValidateElementType(xmlValidCtxtPtr ctxt) {
4775 int ret = -1;
4776 int determinist = 1;
4777
4778 NODE = xmlValidateSkipIgnorable(NODE);
4779 if ((NODE == NULL) && (CONT == NULL))
4780 return(1);
4781 if ((NODE == NULL) &&
4782 ((CONT->ocur == XML_ELEMENT_CONTENT_MULT) ||
4783 (CONT->ocur == XML_ELEMENT_CONTENT_OPT))) {
4784 return(1);
4785 }
4786 if (CONT == NULL) return(-1);
4787 if ((NODE != NULL) && (NODE->type == XML_ENTITY_REF_NODE))
4788 return(-2);
4789
4790 /*
4791 * We arrive here when more states need to be examined
4792 */
4793cont:
4794
4795 /*
4796 * We just recovered from a rollback generated by a possible
4797 * epsilon transition, go directly to the analysis phase
4798 */
4799 if (STATE == ROLLBACK_PARENT) {
4800 DEBUG_VALID_MSG("restored parent branch");
4801 DEBUG_VALID_STATE(NODE, CONT)
4802 ret = 1;
4803 goto analyze;
4804 }
4805
4806 DEBUG_VALID_STATE(NODE, CONT)
4807 /*
4808 * we may have to save a backup state here. This is the equivalent
4809 * of handling epsilon transition in NFAs.
4810 */
4811 if ((CONT != NULL) &&
4812 ((CONT->parent == NULL) ||
4813 (CONT->parent->type != XML_ELEMENT_CONTENT_OR)) &&
4814 ((CONT->ocur == XML_ELEMENT_CONTENT_MULT) ||
4815 (CONT->ocur == XML_ELEMENT_CONTENT_OPT) ||
4816 ((CONT->ocur == XML_ELEMENT_CONTENT_PLUS) && (OCCURRENCE)))) {
4817 DEBUG_VALID_MSG("saving parent branch");
4818 if (vstateVPush(ctxt, CONT, NODE, DEPTH, OCCURS, ROLLBACK_PARENT) < 0)
4819 return(0);
4820 }
4821
4822
4823 /*
4824 * Check first if the content matches
4825 */
4826 switch (CONT->type) {
4827 case XML_ELEMENT_CONTENT_PCDATA:
4828 if (NODE == NULL) {
4829 DEBUG_VALID_MSG("pcdata failed no node");
4830 ret = 0;
4831 break;
4832 }
4833 if (NODE->type == XML_TEXT_NODE) {
4834 DEBUG_VALID_MSG("pcdata found, skip to next");
4835 /*
4836 * go to next element in the content model
4837 * skipping ignorable elems
4838 */
4839 do {
4840 NODE = NODE->next;
4841 NODE = xmlValidateSkipIgnorable(NODE);
4842 if ((NODE != NULL) &&
4843 (NODE->type == XML_ENTITY_REF_NODE))
4844 return(-2);
4845 } while ((NODE != NULL) &&
4846 ((NODE->type != XML_ELEMENT_NODE) &&
4847 (NODE->type != XML_TEXT_NODE) &&
4848 (NODE->type != XML_CDATA_SECTION_NODE)));
4849 ret = 1;
4850 break;
4851 } else {
4852 DEBUG_VALID_MSG("pcdata failed");
4853 ret = 0;
4854 break;
4855 }
4856 break;
4857 case XML_ELEMENT_CONTENT_ELEMENT:
4858 if (NODE == NULL) {
4859 DEBUG_VALID_MSG("element failed no node");
4860 ret = 0;
4861 break;
4862 }
4863 ret = ((NODE->type == XML_ELEMENT_NODE) &&
4864 (xmlStrEqual(NODE->name, CONT->name)));
4865 if (ret == 1) {
4866 if ((NODE->ns == NULL) || (NODE->ns->prefix == NULL)) {
4867 ret = (CONT->prefix == NULL);
4868 } else if (CONT->prefix == NULL) {
4869 ret = 0;
4870 } else {
4871 ret = xmlStrEqual(NODE->ns->prefix, CONT->prefix);
4872 }
4873 }
4874 if (ret == 1) {
4875 DEBUG_VALID_MSG("element found, skip to next");
4876 /*
4877 * go to next element in the content model
4878 * skipping ignorable elems
4879 */
4880 do {
4881 NODE = NODE->next;
4882 NODE = xmlValidateSkipIgnorable(NODE);
4883 if ((NODE != NULL) &&
4884 (NODE->type == XML_ENTITY_REF_NODE))
4885 return(-2);
4886 } while ((NODE != NULL) &&
4887 ((NODE->type != XML_ELEMENT_NODE) &&
4888 (NODE->type != XML_TEXT_NODE) &&
4889 (NODE->type != XML_CDATA_SECTION_NODE)));
4890 } else {
4891 DEBUG_VALID_MSG("element failed");
4892 ret = 0;
4893 break;
4894 }
4895 break;
4896 case XML_ELEMENT_CONTENT_OR:
4897 /*
4898 * Small optimization.
4899 */
4900 if (CONT->c1->type == XML_ELEMENT_CONTENT_ELEMENT) {
4901 if ((NODE == NULL) ||
4902 (!xmlStrEqual(NODE->name, CONT->c1->name))) {
4903 DEPTH++;
4904 CONT = CONT->c2;
4905 goto cont;
4906 }
4907 if ((NODE->ns == NULL) || (NODE->ns->prefix == NULL)) {
4908 ret = (CONT->c1->prefix == NULL);
4909 } else if (CONT->c1->prefix == NULL) {
4910 ret = 0;
4911 } else {
4912 ret = xmlStrEqual(NODE->ns->prefix, CONT->c1->prefix);
4913 }
4914 if (ret == 0) {
4915 DEPTH++;
4916 CONT = CONT->c2;
4917 goto cont;
4918 }
4919 }
4920
4921 /*
4922 * save the second branch 'or' branch
4923 */
4924 DEBUG_VALID_MSG("saving 'or' branch");
4925 if (vstateVPush(ctxt, CONT->c2, NODE, (unsigned char)(DEPTH + 1),
4926 OCCURS, ROLLBACK_OR) < 0)
4927 return(-1);
4928 DEPTH++;
4929 CONT = CONT->c1;
4930 goto cont;
4931 case XML_ELEMENT_CONTENT_SEQ:
4932 /*
4933 * Small optimization.
4934 */
4935 if ((CONT->c1->type == XML_ELEMENT_CONTENT_ELEMENT) &&
4936 ((CONT->c1->ocur == XML_ELEMENT_CONTENT_OPT) ||
4937 (CONT->c1->ocur == XML_ELEMENT_CONTENT_MULT))) {
4938 if ((NODE == NULL) ||
4939 (!xmlStrEqual(NODE->name, CONT->c1->name))) {
4940 DEPTH++;
4941 CONT = CONT->c2;
4942 goto cont;
4943 }
4944 if ((NODE->ns == NULL) || (NODE->ns->prefix == NULL)) {
4945 ret = (CONT->c1->prefix == NULL);
4946 } else if (CONT->c1->prefix == NULL) {
4947 ret = 0;
4948 } else {
4949 ret = xmlStrEqual(NODE->ns->prefix, CONT->c1->prefix);
4950 }
4951 if (ret == 0) {
4952 DEPTH++;
4953 CONT = CONT->c2;
4954 goto cont;
4955 }
4956 }
4957 DEPTH++;
4958 CONT = CONT->c1;
4959 goto cont;
4960 }
4961
4962 /*
4963 * At this point handle going up in the tree
4964 */
4965 if (ret == -1) {
4966 DEBUG_VALID_MSG("error found returning");
4967 return(ret);
4968 }
4969analyze:
4970 while (CONT != NULL) {
4971 /*
4972 * First do the analysis depending on the occurrence model at
4973 * this level.
4974 */
4975 if (ret == 0) {
4976 switch (CONT->ocur) {
4977 xmlNodePtr cur;
4978
4979 case XML_ELEMENT_CONTENT_ONCE:
4980 cur = ctxt->vstate->node;
4981 DEBUG_VALID_MSG("Once branch failed, rollback");
4982 if (vstateVPop(ctxt) < 0 ) {
4983 DEBUG_VALID_MSG("exhaustion, failed");
4984 return(0);
4985 }
4986 if (cur != ctxt->vstate->node)
4987 determinist = -3;
4988 goto cont;
4989 case XML_ELEMENT_CONTENT_PLUS:
4990 if (OCCURRENCE == 0) {
4991 cur = ctxt->vstate->node;
4992 DEBUG_VALID_MSG("Plus branch failed, rollback");
4993 if (vstateVPop(ctxt) < 0 ) {
4994 DEBUG_VALID_MSG("exhaustion, failed");
4995 return(0);
4996 }
4997 if (cur != ctxt->vstate->node)
4998 determinist = -3;
4999 goto cont;
5000 }
5001 DEBUG_VALID_MSG("Plus branch found");
5002 ret = 1;
5003 break;
5004 case XML_ELEMENT_CONTENT_MULT:
5005#ifdef DEBUG_VALID_ALGO
5006 if (OCCURRENCE == 0) {
5007 DEBUG_VALID_MSG("Mult branch failed");
5008 } else {
5009 DEBUG_VALID_MSG("Mult branch found");
5010 }
5011#endif
5012 ret = 1;
5013 break;
5014 case XML_ELEMENT_CONTENT_OPT:
5015 DEBUG_VALID_MSG("Option branch failed");
5016 ret = 1;
5017 break;
5018 }
5019 } else {
5020 switch (CONT->ocur) {
5021 case XML_ELEMENT_CONTENT_OPT:
5022 DEBUG_VALID_MSG("Option branch succeeded");
5023 ret = 1;
5024 break;
5025 case XML_ELEMENT_CONTENT_ONCE:
5026 DEBUG_VALID_MSG("Once branch succeeded");
5027 ret = 1;
5028 break;
5029 case XML_ELEMENT_CONTENT_PLUS:
5030 if (STATE == ROLLBACK_PARENT) {
5031 DEBUG_VALID_MSG("Plus branch rollback");
5032 ret = 1;
5033 break;
5034 }
5035 if (NODE == NULL) {
5036 DEBUG_VALID_MSG("Plus branch exhausted");
5037 ret = 1;
5038 break;
5039 }
5040 DEBUG_VALID_MSG("Plus branch succeeded, continuing");
5041 SET_OCCURRENCE;
5042 goto cont;
5043 case XML_ELEMENT_CONTENT_MULT:
5044 if (STATE == ROLLBACK_PARENT) {
5045 DEBUG_VALID_MSG("Mult branch rollback");
5046 ret = 1;
5047 break;
5048 }
5049 if (NODE == NULL) {
5050 DEBUG_VALID_MSG("Mult branch exhausted");
5051 ret = 1;
5052 break;
5053 }
5054 DEBUG_VALID_MSG("Mult branch succeeded, continuing");
5055 /* SET_OCCURRENCE; */
5056 goto cont;
5057 }
5058 }
5059 STATE = 0;
5060
5061 /*
5062 * Then act accordingly at the parent level
5063 */
5064 RESET_OCCURRENCE;
5065 if (CONT->parent == NULL)
5066 break;
5067
5068 switch (CONT->parent->type) {
5069 case XML_ELEMENT_CONTENT_PCDATA:
5070 DEBUG_VALID_MSG("Error: parent pcdata");
5071 return(-1);
5072 case XML_ELEMENT_CONTENT_ELEMENT:
5073 DEBUG_VALID_MSG("Error: parent element");
5074 return(-1);
5075 case XML_ELEMENT_CONTENT_OR:
5076 if (ret == 1) {
5077 DEBUG_VALID_MSG("Or succeeded");
5078 CONT = CONT->parent;
5079 DEPTH--;
5080 } else {
5081 DEBUG_VALID_MSG("Or failed");
5082 CONT = CONT->parent;
5083 DEPTH--;
5084 }
5085 break;
5086 case XML_ELEMENT_CONTENT_SEQ:
5087 if (ret == 0) {
5088 DEBUG_VALID_MSG("Sequence failed");
5089 CONT = CONT->parent;
5090 DEPTH--;
5091 } else if (CONT == CONT->parent->c1) {
5092 DEBUG_VALID_MSG("Sequence testing 2nd branch");
5093 CONT = CONT->parent->c2;
5094 goto cont;
5095 } else {
5096 DEBUG_VALID_MSG("Sequence succeeded");
5097 CONT = CONT->parent;
5098 DEPTH--;
5099 }
5100 }
5101 }
5102 if (NODE != NULL) {
5103 xmlNodePtr cur;
5104
5105 cur = ctxt->vstate->node;
5106 DEBUG_VALID_MSG("Failed, remaining input, rollback");
5107 if (vstateVPop(ctxt) < 0 ) {
5108 DEBUG_VALID_MSG("exhaustion, failed");
5109 return(0);
5110 }
5111 if (cur != ctxt->vstate->node)
5112 determinist = -3;
5113 goto cont;
5114 }
5115 if (ret == 0) {
5116 xmlNodePtr cur;
5117
5118 cur = ctxt->vstate->node;
5119 DEBUG_VALID_MSG("Failure, rollback");
5120 if (vstateVPop(ctxt) < 0 ) {
5121 DEBUG_VALID_MSG("exhaustion, failed");
5122 return(0);
5123 }
5124 if (cur != ctxt->vstate->node)
5125 determinist = -3;
5126 goto cont;
5127 }
5128 return(determinist);
5129}
5130#endif
5131
5132/**
5133 * xmlSnprintfElements:
5134 * @buf: an output buffer
5135 * @size: the size of the buffer
5136 * @content: An element
5137 * @glob: 1 if one must print the englobing parenthesis, 0 otherwise
5138 *
5139 * This will dump the list of elements to the buffer
5140 * Intended just for the debug routine
5141 */
5142static void
5143xmlSnprintfElements(char *buf, int size, xmlNodePtr node, int glob) {
5144 xmlNodePtr cur;
5145 int len;
5146
5147 if (node == NULL) return;
5148 if (glob) strcat(buf, "(");
5149 cur = node;
5150 while (cur != NULL) {
5151 len = strlen(buf);
5152 if (size - len < 50) {
5153 if ((size - len > 4) && (buf[len - 1] != '.'))
5154 strcat(buf, " ...");
5155 return;
5156 }
5157 switch (cur->type) {
5158 case XML_ELEMENT_NODE:
5159 if ((cur->ns != NULL) && (cur->ns->prefix != NULL)) {
5160 if (size - len < xmlStrlen(cur->ns->prefix) + 10) {
5161 if ((size - len > 4) && (buf[len - 1] != '.'))
5162 strcat(buf, " ...");
5163 return;
5164 }
5165 strcat(buf, (char *) cur->ns->prefix);
5166 strcat(buf, ":");
5167 }
5168 if (size - len < xmlStrlen(cur->name) + 10) {
5169 if ((size - len > 4) && (buf[len - 1] != '.'))
5170 strcat(buf, " ...");
5171 return;
5172 }
5173 strcat(buf, (char *) cur->name);
5174 if (cur->next != NULL)
5175 strcat(buf, " ");
5176 break;
5177 case XML_TEXT_NODE:
5178 if (xmlIsBlankNode(cur))
5179 break;
5180 case XML_CDATA_SECTION_NODE:
5181 case XML_ENTITY_REF_NODE:
5182 strcat(buf, "CDATA");
5183 if (cur->next != NULL)
5184 strcat(buf, " ");
5185 break;
5186 case XML_ATTRIBUTE_NODE:
5187 case XML_DOCUMENT_NODE:
5188#ifdef LIBXML_DOCB_ENABLED
5189 case XML_DOCB_DOCUMENT_NODE:
5190#endif
5191 case XML_HTML_DOCUMENT_NODE:
5192 case XML_DOCUMENT_TYPE_NODE:
5193 case XML_DOCUMENT_FRAG_NODE:
5194 case XML_NOTATION_NODE:
5195 case XML_NAMESPACE_DECL:
5196 strcat(buf, "???");
5197 if (cur->next != NULL)
5198 strcat(buf, " ");
5199 break;
5200 case XML_ENTITY_NODE:
5201 case XML_PI_NODE:
5202 case XML_DTD_NODE:
5203 case XML_COMMENT_NODE:
5204 case XML_ELEMENT_DECL:
5205 case XML_ATTRIBUTE_DECL:
5206 case XML_ENTITY_DECL:
5207 case XML_XINCLUDE_START:
5208 case XML_XINCLUDE_END:
5209 break;
5210 }
5211 cur = cur->next;
5212 }
5213 if (glob) strcat(buf, ")");
5214}
5215
5216/**
5217 * xmlValidateElementContent:
5218 * @ctxt: the validation context
5219 * @child: the child list
5220 * @elemDecl: pointer to the element declaration
5221 * @warn: emit the error message
5222 * @parent: the parent element (for error reporting)
5223 *
5224 * Try to validate the content model of an element
5225 *
5226 * returns 1 if valid or 0 if not and -1 in case of error
5227 */
5228
5229static int
5230xmlValidateElementContent(xmlValidCtxtPtr ctxt, xmlNodePtr child,
5231 xmlElementPtr elemDecl, int warn, xmlNodePtr parent) {
5232 int ret = 1;
5233#ifndef LIBXML_REGEXP_ENABLED
5234 xmlNodePtr repl = NULL, last = NULL, tmp;
5235#endif
5236 xmlNodePtr cur;
5237 xmlElementContentPtr cont;
5238 const xmlChar *name;
5239
5240 if ((elemDecl == NULL) || (parent == NULL) || (ctxt == NULL))
5241 return(-1);
5242 cont = elemDecl->content;
5243 name = elemDecl->name;
5244
5245#ifdef LIBXML_REGEXP_ENABLED
5246 /* Build the regexp associated to the content model */
5247 if (elemDecl->contModel == NULL)
5248 ret = xmlValidBuildContentModel(ctxt, elemDecl);
5249 if (elemDecl->contModel == NULL) {
5250 return(-1);
5251 } else {
5252 xmlRegExecCtxtPtr exec;
5253
5254 if (!xmlRegexpIsDeterminist(elemDecl->contModel)) {
5255 return(-1);
5256 }
5257 ctxt->nodeMax = 0;
5258 ctxt->nodeNr = 0;
5259 ctxt->nodeTab = NULL;
5260 exec = xmlRegNewExecCtxt(elemDecl->contModel, NULL, NULL);
5261 if (exec != NULL) {
5262 cur = child;
5263 while (cur != NULL) {
5264 switch (cur->type) {
5265 case XML_ENTITY_REF_NODE:
5266 /*
5267 * Push the current node to be able to roll back
5268 * and process within the entity
5269 */
5270 if ((cur->children != NULL) &&
5271 (cur->children->children != NULL)) {
5272 nodeVPush(ctxt, cur);
5273 cur = cur->children->children;
5274 continue;
5275 }
5276 break;
5277 case XML_TEXT_NODE:
5278 if (xmlIsBlankNode(cur))
5279 break;
5280 ret = 0;
5281 goto fail;
5282 case XML_CDATA_SECTION_NODE:
5283 /* TODO */
5284 ret = 0;
5285 goto fail;
5286 case XML_ELEMENT_NODE:
5287 if ((cur->ns != NULL) && (cur->ns->prefix != NULL)) {
5288 xmlChar fn[50];
5289 xmlChar *fullname;
5290
5291 fullname = xmlBuildQName(cur->name,
5292 cur->ns->prefix, fn, 50);
5293 if (fullname == NULL) {
5294 ret = -1;
5295 goto fail;
5296 }
5297 ret = xmlRegExecPushString(exec, fullname, NULL);
5298 if ((fullname != fn) && (fullname != cur->name))
5299 xmlFree(fullname);
5300 } else {
5301 ret = xmlRegExecPushString(exec, cur->name, NULL);
5302 }
5303 break;
5304 default:
5305 break;
5306 }
5307 /*
5308 * Switch to next element
5309 */
5310 cur = cur->next;
5311 while (cur == NULL) {
5312 cur = nodeVPop(ctxt);
5313 if (cur == NULL)
5314 break;
5315 cur = cur->next;
5316 }
5317 }
5318 ret = xmlRegExecPushString(exec, NULL, NULL);
5319fail:
5320 xmlRegFreeExecCtxt(exec);
5321 }
5322 }
5323#else /* LIBXML_REGEXP_ENABLED */
5324 /*
5325 * Allocate the stack
5326 */
5327 ctxt->vstateMax = 8;
5328 ctxt->vstateTab = (xmlValidState *) xmlMalloc(
5329 ctxt->vstateMax * sizeof(ctxt->vstateTab[0]));
5330 if (ctxt->vstateTab == NULL) {
5331 xmlVErrMemory(ctxt, "malloc failed");
5332 return(-1);
5333 }
5334 /*
5335 * The first entry in the stack is reserved to the current state
5336 */
5337 ctxt->nodeMax = 0;
5338 ctxt->nodeNr = 0;
5339 ctxt->nodeTab = NULL;
5340 ctxt->vstate = &ctxt->vstateTab[0];
5341 ctxt->vstateNr = 1;
5342 CONT = cont;
5343 NODE = child;
5344 DEPTH = 0;
5345 OCCURS = 0;
5346 STATE = 0;
5347 ret = xmlValidateElementType(ctxt);
5348 if ((ret == -3) && (warn)) {
5349 xmlErrValidWarning(ctxt, child, XML_DTD_CONTENT_NOT_DETERMINIST,
5350 "Content model for Element %s is ambiguous\n",
5351 name, NULL, NULL);
5352 } else if (ret == -2) {
5353 /*
5354 * An entities reference appeared at this level.
5355 * Buid a minimal representation of this node content
5356 * sufficient to run the validation process on it
5357 */
5358 DEBUG_VALID_MSG("Found an entity reference, linearizing");
5359 cur = child;
5360 while (cur != NULL) {
5361 switch (cur->type) {
5362 case XML_ENTITY_REF_NODE:
5363 /*
5364 * Push the current node to be able to roll back
5365 * and process within the entity
5366 */
5367 if ((cur->children != NULL) &&
5368 (cur->children->children != NULL)) {
5369 nodeVPush(ctxt, cur);
5370 cur = cur->children->children;
5371 continue;
5372 }
5373 break;
5374 case XML_TEXT_NODE:
5375 if (xmlIsBlankNode(cur))
5376 break;
5377 /* no break on purpose */
5378 case XML_CDATA_SECTION_NODE:
5379 /* no break on purpose */
5380 case XML_ELEMENT_NODE:
5381 /*
5382 * Allocate a new node and minimally fills in
5383 * what's required
5384 */
5385 tmp = (xmlNodePtr) xmlMalloc(sizeof(xmlNode));
5386 if (tmp == NULL) {
5387 xmlVErrMemory(ctxt, "malloc failed");
5388 xmlFreeNodeList(repl);
5389 ret = -1;
5390 goto done;
5391 }
5392 tmp->type = cur->type;
5393 tmp->name = cur->name;
5394 tmp->ns = cur->ns;
5395 tmp->next = NULL;
5396 tmp->content = NULL;
5397 if (repl == NULL)
5398 repl = last = tmp;
5399 else {
5400 last->next = tmp;
5401 last = tmp;
5402 }
5403 if (cur->type == XML_CDATA_SECTION_NODE) {
5404 /*
5405 * E59 spaces in CDATA does not match the
5406 * nonterminal S
5407 */
5408 tmp->content = xmlStrdup(BAD_CAST "CDATA");
5409 }
5410 break;
5411 default:
5412 break;
5413 }
5414 /*
5415 * Switch to next element
5416 */
5417 cur = cur->next;
5418 while (cur == NULL) {
5419 cur = nodeVPop(ctxt);
5420 if (cur == NULL)
5421 break;
5422 cur = cur->next;
5423 }
5424 }
5425
5426 /*
5427 * Relaunch the validation
5428 */
5429 ctxt->vstate = &ctxt->vstateTab[0];
5430 ctxt->vstateNr = 1;
5431 CONT = cont;
5432 NODE = repl;
5433 DEPTH = 0;
5434 OCCURS = 0;
5435 STATE = 0;
5436 ret = xmlValidateElementType(ctxt);
5437 }
5438#endif /* LIBXML_REGEXP_ENABLED */
5439 if ((warn) && ((ret != 1) && (ret != -3))) {
5440 if (ctxt != NULL) {
5441 char expr[5000];
5442 char list[5000];
5443
5444 expr[0] = 0;
5445 xmlSnprintfElementContent(&expr[0], 5000, cont, 1);
5446 list[0] = 0;
5447#ifndef LIBXML_REGEXP_ENABLED
5448 if (repl != NULL)
5449 xmlSnprintfElements(&list[0], 5000, repl, 1);
5450 else
5451#endif /* LIBXML_REGEXP_ENABLED */
5452 xmlSnprintfElements(&list[0], 5000, child, 1);
5453
5454 if (name != NULL) {
5455 xmlErrValidNode(ctxt, parent, XML_DTD_CONTENT_MODEL,
5456 "Element %s content does not follow the DTD, expecting %s, got %s\n",
5457 name, BAD_CAST expr, BAD_CAST list);
5458 } else {
5459 xmlErrValidNode(ctxt, parent, XML_DTD_CONTENT_MODEL,
5460 "Element content does not follow the DTD, expecting %s, got %s\n",
5461 BAD_CAST expr, BAD_CAST list, NULL);
5462 }
5463 } else {
5464 if (name != NULL) {
5465 xmlErrValidNode(ctxt, parent, XML_DTD_CONTENT_MODEL,
5466 "Element %s content does not follow the DTD\n",
5467 name, NULL, NULL);
5468 } else {
5469 xmlErrValidNode(ctxt, parent, XML_DTD_CONTENT_MODEL,
5470 "Element content does not follow the DTD\n",
5471 NULL, NULL, NULL);
5472 }
5473 }
5474 ret = 0;
5475 }
5476 if (ret == -3)
5477 ret = 1;
5478
5479#ifndef LIBXML_REGEXP_ENABLED
5480done:
5481 /*
5482 * Deallocate the copy if done, and free up the validation stack
5483 */
5484 while (repl != NULL) {
5485 tmp = repl->next;
5486 xmlFree(repl);
5487 repl = tmp;
5488 }
5489 ctxt->vstateMax = 0;
5490 if (ctxt->vstateTab != NULL) {
5491 xmlFree(ctxt->vstateTab);
5492 ctxt->vstateTab = NULL;
5493 }
5494#endif
5495 ctxt->nodeMax = 0;
5496 ctxt->nodeNr = 0;
5497 if (ctxt->nodeTab != NULL) {
5498 xmlFree(ctxt->nodeTab);
5499 ctxt->nodeTab = NULL;
5500 }
5501 return(ret);
5502
5503}
5504
5505/**
5506 * xmlValidateCdataElement:
5507 * @ctxt: the validation context
5508 * @doc: a document instance
5509 * @elem: an element instance
5510 *
5511 * Check that an element follows #CDATA
5512 *
5513 * returns 1 if valid or 0 otherwise
5514 */
5515static int
5516xmlValidateOneCdataElement(xmlValidCtxtPtr ctxt, xmlDocPtr doc,
5517 xmlNodePtr elem) {
5518 int ret = 1;
5519 xmlNodePtr cur, child;
5520
5521 if ((ctxt == NULL) || (doc == NULL) || (elem == NULL) ||
5522 (elem->type != XML_ELEMENT_NODE))
5523 return(0);
5524
5525 child = elem->children;
5526
5527 cur = child;
5528 while (cur != NULL) {
5529 switch (cur->type) {
5530 case XML_ENTITY_REF_NODE:
5531 /*
5532 * Push the current node to be able to roll back
5533 * and process within the entity
5534 */
5535 if ((cur->children != NULL) &&
5536 (cur->children->children != NULL)) {
5537 nodeVPush(ctxt, cur);
5538 cur = cur->children->children;
5539 continue;
5540 }
5541 break;
5542 case XML_COMMENT_NODE:
5543 case XML_PI_NODE:
5544 case XML_TEXT_NODE:
5545 case XML_CDATA_SECTION_NODE:
5546 break;
5547 default:
5548 ret = 0;
5549 goto done;
5550 }
5551 /*
5552 * Switch to next element
5553 */
5554 cur = cur->next;
5555 while (cur == NULL) {
5556 cur = nodeVPop(ctxt);
5557 if (cur == NULL)
5558 break;
5559 cur = cur->next;
5560 }
5561 }
5562done:
5563 ctxt->nodeMax = 0;
5564 ctxt->nodeNr = 0;
5565 if (ctxt->nodeTab != NULL) {
5566 xmlFree(ctxt->nodeTab);
5567 ctxt->nodeTab = NULL;
5568 }
5569 return(ret);
5570}
5571
5572/**
5573 * xmlValidateCheckMixed:
5574 * @ctxt: the validation context
5575 * @cont: the mixed content model
5576 * @qname: the qualified name as appearing in the serialization
5577 *
5578 * Check if the given node is part of the content model.
5579 *
5580 * Returns 1 if yes, 0 if no, -1 in case of error
5581 */
5582static int
5583xmlValidateCheckMixed(xmlValidCtxtPtr ctxt,
5584 xmlElementContentPtr cont, const xmlChar *qname) {
5585 const xmlChar *name;
5586 int plen;
5587 name = xmlSplitQName3(qname, &plen);
5588
5589 if (name == NULL) {
5590 while (cont != NULL) {
5591 if (cont->type == XML_ELEMENT_CONTENT_ELEMENT) {
5592 if ((cont->prefix == NULL) && (xmlStrEqual(cont->name, qname)))
5593 return(1);
5594 } else if ((cont->type == XML_ELEMENT_CONTENT_OR) &&
5595 (cont->c1 != NULL) &&
5596 (cont->c1->type == XML_ELEMENT_CONTENT_ELEMENT)){
5597 if ((cont->c1->prefix == NULL) &&
5598 (xmlStrEqual(cont->c1->name, qname)))
5599 return(1);
5600 } else if ((cont->type != XML_ELEMENT_CONTENT_OR) ||
5601 (cont->c1 == NULL) ||
5602 (cont->c1->type != XML_ELEMENT_CONTENT_PCDATA)){
5603 xmlErrValid(NULL, XML_DTD_MIXED_CORRUPT,
5604 "Internal: MIXED struct corrupted\n",
5605 NULL);
5606 break;
5607 }
5608 cont = cont->c2;
5609 }
5610 } else {
5611 while (cont != NULL) {
5612 if (cont->type == XML_ELEMENT_CONTENT_ELEMENT) {
5613 if ((cont->prefix != NULL) &&
5614 (xmlStrncmp(cont->prefix, qname, plen) == 0) &&
5615 (xmlStrEqual(cont->name, name)))
5616 return(1);
5617 } else if ((cont->type == XML_ELEMENT_CONTENT_OR) &&
5618 (cont->c1 != NULL) &&
5619 (cont->c1->type == XML_ELEMENT_CONTENT_ELEMENT)){
5620 if ((cont->c1->prefix != NULL) &&
5621 (xmlStrncmp(cont->c1->prefix, qname, plen) == 0) &&
5622 (xmlStrEqual(cont->c1->name, name)))
5623 return(1);
5624 } else if ((cont->type != XML_ELEMENT_CONTENT_OR) ||
5625 (cont->c1 == NULL) ||
5626 (cont->c1->type != XML_ELEMENT_CONTENT_PCDATA)){
5627 xmlErrValid(ctxt, XML_DTD_MIXED_CORRUPT,
5628 "Internal: MIXED struct corrupted\n",
5629 NULL);
5630 break;
5631 }
5632 cont = cont->c2;
5633 }
5634 }
5635 return(0);
5636}
5637
5638/**
5639 * xmlValidGetElemDecl:
5640 * @ctxt: the validation context
5641 * @doc: a document instance
5642 * @elem: an element instance
5643 * @extsubset: pointer, (out) indicate if the declaration was found
5644 * in the external subset.
5645 *
5646 * Finds a declaration associated to an element in the document.
5647 *
5648 * returns the pointer to the declaration or NULL if not found.
5649 */
5650static xmlElementPtr
5651xmlValidGetElemDecl(xmlValidCtxtPtr ctxt, xmlDocPtr doc,
5652 xmlNodePtr elem, int *extsubset) {
5653 xmlElementPtr elemDecl = NULL;
5654 const xmlChar *prefix = NULL;
5655
5656 if ((ctxt == NULL) || (doc == NULL) ||
5657 (elem == NULL) || (elem->name == NULL))
5658 return(NULL);
5659 if (extsubset != NULL)
5660 *extsubset = 0;
5661
5662 /*
5663 * Fetch the declaration for the qualified name
5664 */
5665 if ((elem->ns != NULL) && (elem->ns->prefix != NULL))
5666 prefix = elem->ns->prefix;
5667
5668 if (prefix != NULL) {
5669 elemDecl = xmlGetDtdQElementDesc(doc->intSubset,
5670 elem->name, prefix);
5671 if ((elemDecl == NULL) && (doc->extSubset != NULL)) {
5672 elemDecl = xmlGetDtdQElementDesc(doc->extSubset,
5673 elem->name, prefix);
5674 if ((elemDecl != NULL) && (extsubset != NULL))
5675 *extsubset = 1;
5676 }
5677 }
5678
5679 /*
5680 * Fetch the declaration for the non qualified name
5681 * This is "non-strict" validation should be done on the
5682 * full QName but in that case being flexible makes sense.
5683 */
5684 if (elemDecl == NULL) {
5685 elemDecl = xmlGetDtdElementDesc(doc->intSubset, elem->name);
5686 if ((elemDecl == NULL) && (doc->extSubset != NULL)) {
5687 elemDecl = xmlGetDtdElementDesc(doc->extSubset, elem->name);
5688 if ((elemDecl != NULL) && (extsubset != NULL))
5689 *extsubset = 1;
5690 }
5691 }
5692 if (elemDecl == NULL) {
5693 xmlErrValidNode(ctxt, elem,
5694 XML_DTD_UNKNOWN_ELEM,
5695 "No declaration for element %s\n",
5696 elem->name, NULL, NULL);
5697 }
5698 return(elemDecl);
5699}
5700
5701#ifdef LIBXML_REGEXP_ENABLED
5702/**
5703 * xmlValidatePushElement:
5704 * @ctxt: the validation context
5705 * @doc: a document instance
5706 * @elem: an element instance
5707 * @qname: the qualified name as appearing in the serialization
5708 *
5709 * Push a new element start on the validation stack.
5710 *
5711 * returns 1 if no validation problem was found or 0 otherwise
5712 */
5713int
5714xmlValidatePushElement(xmlValidCtxtPtr ctxt, xmlDocPtr doc,
5715 xmlNodePtr elem, const xmlChar *qname) {
5716 int ret = 1;
5717 xmlElementPtr eDecl;
5718 int extsubset = 0;
5719
5720 if (ctxt == NULL)
5721 return(0);
5722/* printf("PushElem %s\n", qname); */
5723 if ((ctxt->vstateNr > 0) && (ctxt->vstate != NULL)) {
5724 xmlValidStatePtr state = ctxt->vstate;
5725 xmlElementPtr elemDecl;
5726
5727 /*
5728 * Check the new element agaisnt the content model of the new elem.
5729 */
5730 if (state->elemDecl != NULL) {
5731 elemDecl = state->elemDecl;
5732
5733 switch(elemDecl->etype) {
5734 case XML_ELEMENT_TYPE_UNDEFINED:
5735 ret = 0;
5736 break;
5737 case XML_ELEMENT_TYPE_EMPTY:
5738 xmlErrValidNode(ctxt, state->node,
5739 XML_DTD_NOT_EMPTY,
5740 "Element %s was declared EMPTY this one has content\n",
5741 state->node->name, NULL, NULL);
5742 ret = 0;
5743 break;
5744 case XML_ELEMENT_TYPE_ANY:
5745 /* I don't think anything is required then */
5746 break;
5747 case XML_ELEMENT_TYPE_MIXED:
5748 /* simple case of declared as #PCDATA */
5749 if ((elemDecl->content != NULL) &&
5750 (elemDecl->content->type ==
5751 XML_ELEMENT_CONTENT_PCDATA)) {
5752 xmlErrValidNode(ctxt, state->node,
5753 XML_DTD_NOT_PCDATA,
5754 "Element %s was declared #PCDATA but contains non text nodes\n",
5755 state->node->name, NULL, NULL);
5756 ret = 0;
5757 } else {
5758 ret = xmlValidateCheckMixed(ctxt, elemDecl->content,
5759 qname);
5760 if (ret != 1) {
5761 xmlErrValidNode(ctxt, state->node,
5762 XML_DTD_INVALID_CHILD,
5763 "Element %s is not declared in %s list of possible children\n",
5764 qname, state->node->name, NULL);
5765 }
5766 }
5767 break;
5768 case XML_ELEMENT_TYPE_ELEMENT:
5769 /*
5770 * TODO:
5771 * VC: Standalone Document Declaration
5772 * - element types with element content, if white space
5773 * occurs directly within any instance of those types.
5774 */
5775 if (state->exec != NULL) {
5776 ret = xmlRegExecPushString(state->exec, qname, NULL);
5777 if (ret < 0) {
5778 xmlErrValidNode(ctxt, state->node,
5779 XML_DTD_CONTENT_MODEL,
5780 "Element %s content does not follow the DTD, Misplaced %s\n",
5781 state->node->name, qname, NULL);
5782 ret = 0;
5783 } else {
5784 ret = 1;
5785 }
5786 }
5787 break;
5788 }
5789 }
5790 }
5791 eDecl = xmlValidGetElemDecl(ctxt, doc, elem, &extsubset);
5792 vstateVPush(ctxt, eDecl, elem);
5793 return(ret);
5794}
5795
5796/**
5797 * xmlValidatePushCData:
5798 * @ctxt: the validation context
5799 * @data: some character data read
5800 * @len: the length of the data
5801 *
5802 * check the CData parsed for validation in the current stack
5803 *
5804 * returns 1 if no validation problem was found or 0 otherwise
5805 */
5806int
5807xmlValidatePushCData(xmlValidCtxtPtr ctxt, const xmlChar *data, int len) {
5808 int ret = 1;
5809
5810/* printf("CDATA %s %d\n", data, len); */
5811 if (ctxt == NULL)
5812 return(0);
5813 if (len <= 0)
5814 return(ret);
5815 if ((ctxt->vstateNr > 0) && (ctxt->vstate != NULL)) {
5816 xmlValidStatePtr state = ctxt->vstate;
5817 xmlElementPtr elemDecl;
5818
5819 /*
5820 * Check the new element agaisnt the content model of the new elem.
5821 */
5822 if (state->elemDecl != NULL) {
5823 elemDecl = state->elemDecl;
5824
5825 switch(elemDecl->etype) {
5826 case XML_ELEMENT_TYPE_UNDEFINED:
5827 ret = 0;
5828 break;
5829 case XML_ELEMENT_TYPE_EMPTY:
5830 xmlErrValidNode(ctxt, state->node,
5831 XML_DTD_NOT_EMPTY,
5832 "Element %s was declared EMPTY this one has content\n",
5833 state->node->name, NULL, NULL);
5834 ret = 0;
5835 break;
5836 case XML_ELEMENT_TYPE_ANY:
5837 break;
5838 case XML_ELEMENT_TYPE_MIXED:
5839 break;
5840 case XML_ELEMENT_TYPE_ELEMENT:
5841 if (len > 0) {
5842 int i;
5843
5844 for (i = 0;i < len;i++) {
5845 if (!IS_BLANK_CH(data[i])) {
5846 xmlErrValidNode(ctxt, state->node,
5847 XML_DTD_CONTENT_MODEL,
5848 "Element %s content does not follow the DTD, Text not allowed\n",
5849 state->node->name, NULL, NULL);
5850 ret = 0;
5851 goto done;
5852 }
5853 }
5854 /*
5855 * TODO:
5856 * VC: Standalone Document Declaration
5857 * element types with element content, if white space
5858 * occurs directly within any instance of those types.
5859 */
5860 }
5861 break;
5862 }
5863 }
5864 }
5865done:
5866 return(ret);
5867}
5868
5869/**
5870 * xmlValidatePopElement:
5871 * @ctxt: the validation context
5872 * @doc: a document instance
5873 * @elem: an element instance
5874 * @qname: the qualified name as appearing in the serialization
5875 *
5876 * Pop the element end from the validation stack.
5877 *
5878 * returns 1 if no validation problem was found or 0 otherwise
5879 */
5880int
5881xmlValidatePopElement(xmlValidCtxtPtr ctxt, xmlDocPtr doc ATTRIBUTE_UNUSED,
5882 xmlNodePtr elem ATTRIBUTE_UNUSED,
5883 const xmlChar *qname ATTRIBUTE_UNUSED) {
5884 int ret = 1;
5885
5886 if (ctxt == NULL)
5887 return(0);
5888/* printf("PopElem %s\n", qname); */
5889 if ((ctxt->vstateNr > 0) && (ctxt->vstate != NULL)) {
5890 xmlValidStatePtr state = ctxt->vstate;
5891 xmlElementPtr elemDecl;
5892
5893 /*
5894 * Check the new element agaisnt the content model of the new elem.
5895 */
5896 if (state->elemDecl != NULL) {
5897 elemDecl = state->elemDecl;
5898
5899 if (elemDecl->etype == XML_ELEMENT_TYPE_ELEMENT) {
5900 if (state->exec != NULL) {
5901 ret = xmlRegExecPushString(state->exec, NULL, NULL);
5902 if (ret == 0) {
5903 xmlErrValidNode(ctxt, state->node,
5904 XML_DTD_CONTENT_MODEL,
5905 "Element %s content does not follow the DTD, Expecting more child\n",
5906 state->node->name, NULL,NULL);
5907 } else {
5908 /*
5909 * previous validation errors should not generate
5910 * a new one here
5911 */
5912 ret = 1;
5913 }
5914 }
5915 }
5916 }
5917 vstateVPop(ctxt);
5918 }
5919 return(ret);
5920}
5921#endif /* LIBXML_REGEXP_ENABLED */
5922
5923/**
5924 * xmlValidateOneElement:
5925 * @ctxt: the validation context
5926 * @doc: a document instance
5927 * @elem: an element instance
5928 *
5929 * Try to validate a single element and it's attributes,
5930 * basically it does the following checks as described by the
5931 * XML-1.0 recommendation:
5932 * - [ VC: Element Valid ]
5933 * - [ VC: Required Attribute ]
5934 * Then call xmlValidateOneAttribute() for each attribute present.
5935 *
5936 * The ID/IDREF checkings are done separately
5937 *
5938 * returns 1 if valid or 0 otherwise
5939 */
5940
5941int
5942xmlValidateOneElement(xmlValidCtxtPtr ctxt, xmlDocPtr doc,
5943 xmlNodePtr elem) {
5944 xmlElementPtr elemDecl = NULL;
5945 xmlElementContentPtr cont;
5946 xmlAttributePtr attr;
5947 xmlNodePtr child;
5948 int ret = 1, tmp;
5949 const xmlChar *name;
5950 int extsubset = 0;
5951
5952 CHECK_DTD;
5953
5954 if (elem == NULL) return(0);
5955 switch (elem->type) {
5956 case XML_ATTRIBUTE_NODE:
5957 xmlErrValidNode(ctxt, elem, XML_ERR_INTERNAL_ERROR,
5958 "Attribute element not expected\n", NULL, NULL ,NULL);
5959 return(0);
5960 case XML_TEXT_NODE:
5961 if (elem->children != NULL) {
5962 xmlErrValidNode(ctxt, elem, XML_ERR_INTERNAL_ERROR,
5963 "Text element has children !\n",
5964 NULL,NULL,NULL);
5965 return(0);
5966 }
5967 if (elem->ns != NULL) {
5968 xmlErrValidNode(ctxt, elem, XML_ERR_INTERNAL_ERROR,
5969 "Text element has namespace !\n",
5970 NULL,NULL,NULL);
5971 return(0);
5972 }
5973 if (elem->content == NULL) {
5974 xmlErrValidNode(ctxt, elem, XML_ERR_INTERNAL_ERROR,
5975 "Text element has no content !\n",
5976 NULL,NULL,NULL);
5977 return(0);
5978 }
5979 return(1);
5980 case XML_XINCLUDE_START:
5981 case XML_XINCLUDE_END:
5982 return(1);
5983 case XML_CDATA_SECTION_NODE:
5984 case XML_ENTITY_REF_NODE:
5985 case XML_PI_NODE:
5986 case XML_COMMENT_NODE:
5987 return(1);
5988 case XML_ENTITY_NODE:
5989 xmlErrValidNode(ctxt, elem, XML_ERR_INTERNAL_ERROR,
5990 "Entity element not expected\n", NULL, NULL ,NULL);
5991 return(0);
5992 case XML_NOTATION_NODE:
5993 xmlErrValidNode(ctxt, elem, XML_ERR_INTERNAL_ERROR,
5994 "Notation element not expected\n", NULL, NULL ,NULL);
5995 return(0);
5996 case XML_DOCUMENT_NODE:
5997 case XML_DOCUMENT_TYPE_NODE:
5998 case XML_DOCUMENT_FRAG_NODE:
5999 xmlErrValidNode(ctxt, elem, XML_ERR_INTERNAL_ERROR,
6000 "Document element not expected\n", NULL, NULL ,NULL);
6001 return(0);
6002 case XML_HTML_DOCUMENT_NODE:
6003 xmlErrValidNode(ctxt, elem, XML_ERR_INTERNAL_ERROR,
6004 "HTML Document not expected\n", NULL, NULL ,NULL);
6005 return(0);
6006 case XML_ELEMENT_NODE:
6007 break;
6008 default:
6009 xmlErrValidNode(ctxt, elem, XML_ERR_INTERNAL_ERROR,
6010 "unknown element type\n", NULL, NULL ,NULL);
6011 return(0);
6012 }
6013
6014 /*
6015 * Fetch the declaration
6016 */
6017 elemDecl = xmlValidGetElemDecl(ctxt, doc, elem, &extsubset);
6018 if (elemDecl == NULL)
6019 return(0);
6020
6021 /*
6022 * If vstateNr is not zero that means continuous validation is
6023 * activated, do not try to check the content model at that level.
6024 */
6025 if (ctxt->vstateNr == 0) {
6026 /* Check that the element content matches the definition */
6027 switch (elemDecl->etype) {
6028 case XML_ELEMENT_TYPE_UNDEFINED:
6029 xmlErrValidNode(ctxt, elem, XML_DTD_UNKNOWN_ELEM,
6030 "No declaration for element %s\n",
6031 elem->name, NULL, NULL);
6032 return(0);
6033 case XML_ELEMENT_TYPE_EMPTY:
6034 if (elem->children != NULL) {
6035 xmlErrValidNode(ctxt, elem, XML_DTD_NOT_EMPTY,
6036 "Element %s was declared EMPTY this one has content\n",
6037 elem->name, NULL, NULL);
6038 ret = 0;
6039 }
6040 break;
6041 case XML_ELEMENT_TYPE_ANY:
6042 /* I don't think anything is required then */
6043 break;
6044 case XML_ELEMENT_TYPE_MIXED:
6045
6046 /* simple case of declared as #PCDATA */
6047 if ((elemDecl->content != NULL) &&
6048 (elemDecl->content->type == XML_ELEMENT_CONTENT_PCDATA)) {
6049 ret = xmlValidateOneCdataElement(ctxt, doc, elem);
6050 if (!ret) {
6051 xmlErrValidNode(ctxt, elem, XML_DTD_NOT_PCDATA,
6052 "Element %s was declared #PCDATA but contains non text nodes\n",
6053 elem->name, NULL, NULL);
6054 }
6055 break;
6056 }
6057 child = elem->children;
6058 /* Hum, this start to get messy */
6059 while (child != NULL) {
6060 if (child->type == XML_ELEMENT_NODE) {
6061 name = child->name;
6062 if ((child->ns != NULL) && (child->ns->prefix != NULL)) {
6063 xmlChar fn[50];
6064 xmlChar *fullname;
6065
6066 fullname = xmlBuildQName(child->name, child->ns->prefix,
6067 fn, 50);
6068 if (fullname == NULL)
6069 return(0);
6070 cont = elemDecl->content;
6071 while (cont != NULL) {
6072 if (cont->type == XML_ELEMENT_CONTENT_ELEMENT) {
6073 if (xmlStrEqual(cont->name, fullname))
6074 break;
6075 } else if ((cont->type == XML_ELEMENT_CONTENT_OR) &&
6076 (cont->c1 != NULL) &&
6077 (cont->c1->type == XML_ELEMENT_CONTENT_ELEMENT)){
6078 if (xmlStrEqual(cont->c1->name, fullname))
6079 break;
6080 } else if ((cont->type != XML_ELEMENT_CONTENT_OR) ||
6081 (cont->c1 == NULL) ||
6082 (cont->c1->type != XML_ELEMENT_CONTENT_PCDATA)){
6083 xmlErrValid(NULL, XML_DTD_MIXED_CORRUPT,
6084 "Internal: MIXED struct corrupted\n",
6085 NULL);
6086 break;
6087 }
6088 cont = cont->c2;
6089 }
6090 if ((fullname != fn) && (fullname != child->name))
6091 xmlFree(fullname);
6092 if (cont != NULL)
6093 goto child_ok;
6094 }
6095 cont = elemDecl->content;
6096 while (cont != NULL) {
6097 if (cont->type == XML_ELEMENT_CONTENT_ELEMENT) {
6098 if (xmlStrEqual(cont->name, name)) break;
6099 } else if ((cont->type == XML_ELEMENT_CONTENT_OR) &&
6100 (cont->c1 != NULL) &&
6101 (cont->c1->type == XML_ELEMENT_CONTENT_ELEMENT)) {
6102 if (xmlStrEqual(cont->c1->name, name)) break;
6103 } else if ((cont->type != XML_ELEMENT_CONTENT_OR) ||
6104 (cont->c1 == NULL) ||
6105 (cont->c1->type != XML_ELEMENT_CONTENT_PCDATA)) {
6106 xmlErrValid(ctxt, XML_DTD_MIXED_CORRUPT,
6107 "Internal: MIXED struct corrupted\n",
6108 NULL);
6109 break;
6110 }
6111 cont = cont->c2;
6112 }
6113 if (cont == NULL) {
6114 xmlErrValidNode(ctxt, elem, XML_DTD_INVALID_CHILD,
6115 "Element %s is not declared in %s list of possible children\n",
6116 name, elem->name, NULL);
6117 ret = 0;
6118 }
6119 }
6120child_ok:
6121 child = child->next;
6122 }
6123 break;
6124 case XML_ELEMENT_TYPE_ELEMENT:
6125 if ((doc->standalone == 1) && (extsubset == 1)) {
6126 /*
6127 * VC: Standalone Document Declaration
6128 * - element types with element content, if white space
6129 * occurs directly within any instance of those types.
6130 */
6131 child = elem->children;
6132 while (child != NULL) {
6133 if (child->type == XML_TEXT_NODE) {
6134 const xmlChar *content = child->content;
6135
6136 while (IS_BLANK_CH(*content))
6137 content++;
6138 if (*content == 0) {
6139 xmlErrValidNode(ctxt, elem,
6140 XML_DTD_STANDALONE_WHITE_SPACE,
6141"standalone: %s declared in the external subset contains white spaces nodes\n",
6142 elem->name, NULL, NULL);
6143 ret = 0;
6144 break;
6145 }
6146 }
6147 child =child->next;
6148 }
6149 }
6150 child = elem->children;
6151 cont = elemDecl->content;
6152 tmp = xmlValidateElementContent(ctxt, child, elemDecl, 1, elem);
6153 if (tmp <= 0)
6154 ret = tmp;
6155 break;
6156 }
6157 } /* not continuous */
6158
6159 /* [ VC: Required Attribute ] */
6160 attr = elemDecl->attributes;
6161 while (attr != NULL) {
6162 if (attr->def == XML_ATTRIBUTE_REQUIRED) {
6163 int qualified = -1;
6164
6165 if ((attr->prefix == NULL) &&
6166 (xmlStrEqual(attr->name, BAD_CAST "xmlns"))) {
6167 xmlNsPtr ns;
6168
6169 ns = elem->nsDef;
6170 while (ns != NULL) {
6171 if (ns->prefix == NULL)
6172 goto found;
6173 ns = ns->next;
6174 }
6175 } else if (xmlStrEqual(attr->prefix, BAD_CAST "xmlns")) {
6176 xmlNsPtr ns;
6177
6178 ns = elem->nsDef;
6179 while (ns != NULL) {
6180 if (xmlStrEqual(attr->name, ns->prefix))
6181 goto found;
6182 ns = ns->next;
6183 }
6184 } else {
6185 xmlAttrPtr attrib;
6186
6187 attrib = elem->properties;
6188 while (attrib != NULL) {
6189 if (xmlStrEqual(attrib->name, attr->name)) {
6190 if (attr->prefix != NULL) {
6191 xmlNsPtr nameSpace = attrib->ns;
6192
6193 if (nameSpace == NULL)
6194 nameSpace = elem->ns;
6195 /*
6196 * qualified names handling is problematic, having a
6197 * different prefix should be possible but DTDs don't
6198 * allow to define the URI instead of the prefix :-(
6199 */
6200 if (nameSpace == NULL) {
6201 if (qualified < 0)
6202 qualified = 0;
6203 } else if (!xmlStrEqual(nameSpace->prefix,
6204 attr->prefix)) {
6205 if (qualified < 1)
6206 qualified = 1;
6207 } else
6208 goto found;
6209 } else {
6210 /*
6211 * We should allow applications to define namespaces
6212 * for their application even if the DTD doesn't
6213 * carry one, otherwise, basically we would always
6214 * break.
6215 */
6216 goto found;
6217 }
6218 }
6219 attrib = attrib->next;
6220 }
6221 }
6222 if (qualified == -1) {
6223 if (attr->prefix == NULL) {
6224 xmlErrValidNode(ctxt, elem, XML_DTD_MISSING_ATTRIBUTE,
6225 "Element %s does not carry attribute %s\n",
6226 elem->name, attr->name, NULL);
6227 ret = 0;
6228 } else {
6229 xmlErrValidNode(ctxt, elem, XML_DTD_MISSING_ATTRIBUTE,
6230 "Element %s does not carry attribute %s:%s\n",
6231 elem->name, attr->prefix,attr->name);
6232 ret = 0;
6233 }
6234 } else if (qualified == 0) {
6235 xmlErrValidWarning(ctxt, elem, XML_DTD_NO_PREFIX,
6236 "Element %s required attribute %s:%s has no prefix\n",
6237 elem->name, attr->prefix, attr->name);
6238 } else if (qualified == 1) {
6239 xmlErrValidWarning(ctxt, elem, XML_DTD_DIFFERENT_PREFIX,
6240 "Element %s required attribute %s:%s has different prefix\n",
6241 elem->name, attr->prefix, attr->name);
6242 }
6243 } else if (attr->def == XML_ATTRIBUTE_FIXED) {
6244 /*
6245 * Special tests checking #FIXED namespace declarations
6246 * have the right value since this is not done as an
6247 * attribute checking
6248 */
6249 if ((attr->prefix == NULL) &&
6250 (xmlStrEqual(attr->name, BAD_CAST "xmlns"))) {
6251 xmlNsPtr ns;
6252
6253 ns = elem->nsDef;
6254 while (ns != NULL) {
6255 if (ns->prefix == NULL) {
6256 if (!xmlStrEqual(attr->defaultValue, ns->href)) {
6257 xmlErrValidNode(ctxt, elem,
6258 XML_DTD_ELEM_DEFAULT_NAMESPACE,
6259 "Element %s namespace name for default namespace does not match the DTD\n",
6260 elem->name, NULL, NULL);
6261 ret = 0;
6262 }
6263 goto found;
6264 }
6265 ns = ns->next;
6266 }
6267 } else if (xmlStrEqual(attr->prefix, BAD_CAST "xmlns")) {
6268 xmlNsPtr ns;
6269
6270 ns = elem->nsDef;
6271 while (ns != NULL) {
6272 if (xmlStrEqual(attr->name, ns->prefix)) {
6273 if (!xmlStrEqual(attr->defaultValue, ns->href)) {
6274 xmlErrValidNode(ctxt, elem, XML_DTD_ELEM_NAMESPACE,
6275 "Element %s namespace name for %s does not match the DTD\n",
6276 elem->name, ns->prefix, NULL);
6277 ret = 0;
6278 }
6279 goto found;
6280 }
6281 ns = ns->next;
6282 }
6283 }
6284 }
6285found:
6286 attr = attr->nexth;
6287 }
6288 return(ret);
6289}
6290
6291/**
6292 * xmlValidateRoot:
6293 * @ctxt: the validation context
6294 * @doc: a document instance
6295 *
6296 * Try to validate a the root element
6297 * basically it does the following check as described by the
6298 * XML-1.0 recommendation:
6299 * - [ VC: Root Element Type ]
6300 * it doesn't try to recurse or apply other check to the element
6301 *
6302 * returns 1 if valid or 0 otherwise
6303 */
6304
6305int
6306xmlValidateRoot(xmlValidCtxtPtr ctxt, xmlDocPtr doc) {
6307 xmlNodePtr root;
6308 int ret;
6309
6310 if (doc == NULL) return(0);
6311
6312 root = xmlDocGetRootElement(doc);
6313 if ((root == NULL) || (root->name == NULL)) {
6314 xmlErrValid(ctxt, XML_DTD_NO_ROOT,
6315 "no root element\n", NULL);
6316 return(0);
6317 }
6318
6319 /*
6320 * When doing post validation against a separate DTD, those may
6321 * no internal subset has been generated
6322 */
6323 if ((doc->intSubset != NULL) &&
6324 (doc->intSubset->name != NULL)) {
6325 /*
6326 * Check first the document root against the NQName
6327 */
6328 if (!xmlStrEqual(doc->intSubset->name, root->name)) {
6329 if ((root->ns != NULL) && (root->ns->prefix != NULL)) {
6330 xmlChar fn[50];
6331 xmlChar *fullname;
6332
6333 fullname = xmlBuildQName(root->name, root->ns->prefix, fn, 50);
6334 if (fullname == NULL) {
6335 xmlVErrMemory(ctxt, NULL);
6336 return(0);
6337 }
6338 ret = xmlStrEqual(doc->intSubset->name, fullname);
6339 if ((fullname != fn) && (fullname != root->name))
6340 xmlFree(fullname);
6341 if (ret == 1)
6342 goto name_ok;
6343 }
6344 if ((xmlStrEqual(doc->intSubset->name, BAD_CAST "HTML")) &&
6345 (xmlStrEqual(root->name, BAD_CAST "html")))
6346 goto name_ok;
6347 xmlErrValidNode(ctxt, root, XML_DTD_ROOT_NAME,
6348 "root and DTD name do not match '%s' and '%s'\n",
6349 root->name, doc->intSubset->name, NULL);
6350 return(0);
6351 }
6352 }
6353name_ok:
6354 return(1);
6355}
6356
6357
6358/**
6359 * xmlValidateElement:
6360 * @ctxt: the validation context
6361 * @doc: a document instance
6362 * @elem: an element instance
6363 *
6364 * Try to validate the subtree under an element
6365 *
6366 * returns 1 if valid or 0 otherwise
6367 */
6368
6369int
6370xmlValidateElement(xmlValidCtxtPtr ctxt, xmlDocPtr doc, xmlNodePtr elem) {
6371 xmlNodePtr child;
6372 xmlAttrPtr attr;
6373 xmlNsPtr ns;
6374 const xmlChar *value;
6375 int ret = 1;
6376
6377 if (elem == NULL) return(0);
6378
6379 /*
6380 * XInclude elements were added after parsing in the infoset,
6381 * they don't really mean anything validation wise.
6382 */
6383 if ((elem->type == XML_XINCLUDE_START) ||
6384 (elem->type == XML_XINCLUDE_END) ||
6385 (elem->type == XML_NAMESPACE_DECL))
6386 return(1);
6387
6388 CHECK_DTD;
6389
6390 /*
6391 * Entities references have to be handled separately
6392 */
6393 if (elem->type == XML_ENTITY_REF_NODE) {
6394 return(1);
6395 }
6396
6397 ret &= xmlValidateOneElement(ctxt, doc, elem);
6398 if (elem->type == XML_ELEMENT_NODE) {
6399 attr = elem->properties;
6400 while (attr != NULL) {
6401 value = xmlNodeListGetString(doc, attr->children, 0);
6402 ret &= xmlValidateOneAttribute(ctxt, doc, elem, attr, value);
6403 if (value != NULL)
6404 xmlFree((char *)value);
6405 attr= attr->next;
6406 }
6407 ns = elem->nsDef;
6408 while (ns != NULL) {
6409 if (elem->ns == NULL)
6410 ret &= xmlValidateOneNamespace(ctxt, doc, elem, NULL,
6411 ns, ns->href);
6412 else
6413 ret &= xmlValidateOneNamespace(ctxt, doc, elem,
6414 elem->ns->prefix, ns, ns->href);
6415 ns = ns->next;
6416 }
6417 }
6418 child = elem->children;
6419 while (child != NULL) {
6420 ret &= xmlValidateElement(ctxt, doc, child);
6421 child = child->next;
6422 }
6423
6424 return(ret);
6425}
6426
6427/**
6428 * xmlValidateRef:
6429 * @ref: A reference to be validated
6430 * @ctxt: Validation context
6431 * @name: Name of ID we are searching for
6432 *
6433 */
6434static void
6435xmlValidateRef(xmlRefPtr ref, xmlValidCtxtPtr ctxt,
6436 const xmlChar *name) {
6437 xmlAttrPtr id;
6438 xmlAttrPtr attr;
6439
6440 if (ref == NULL)
6441 return;
6442 if ((ref->attr == NULL) && (ref->name == NULL))
6443 return;
6444 attr = ref->attr;
6445 if (attr == NULL) {
6446 xmlChar *dup, *str = NULL, *cur, save;
6447
6448 dup = xmlStrdup(name);
6449 if (dup == NULL) {
6450 ctxt->valid = 0;
6451 return;
6452 }
6453 cur = dup;
6454 while (*cur != 0) {
6455 str = cur;
6456 while ((*cur != 0) && (!IS_BLANK_CH(*cur))) cur++;
6457 save = *cur;
6458 *cur = 0;
6459 id = xmlGetID(ctxt->doc, str);
6460 if (id == NULL) {
6461 xmlErrValidNodeNr(ctxt, NULL, XML_DTD_UNKNOWN_ID,
6462 "attribute %s line %d references an unknown ID \"%s\"\n",
6463 ref->name, ref->lineno, str);
6464 ctxt->valid = 0;
6465 }
6466 if (save == 0)
6467 break;
6468 *cur = save;
6469 while (IS_BLANK_CH(*cur)) cur++;
6470 }
6471 xmlFree(dup);
6472 } else if (attr->atype == XML_ATTRIBUTE_IDREF) {
6473 id = xmlGetID(ctxt->doc, name);
6474 if (id == NULL) {
6475 xmlErrValidNode(ctxt, attr->parent, XML_DTD_UNKNOWN_ID,
6476 "IDREF attribute %s references an unknown ID \"%s\"\n",
6477 attr->name, name, NULL);
6478 ctxt->valid = 0;
6479 }
6480 } else if (attr->atype == XML_ATTRIBUTE_IDREFS) {
6481 xmlChar *dup, *str = NULL, *cur, save;
6482
6483 dup = xmlStrdup(name);
6484 if (dup == NULL) {
6485 xmlVErrMemory(ctxt, "IDREFS split");
6486 ctxt->valid = 0;
6487 return;
6488 }
6489 cur = dup;
6490 while (*cur != 0) {
6491 str = cur;
6492 while ((*cur != 0) && (!IS_BLANK_CH(*cur))) cur++;
6493 save = *cur;
6494 *cur = 0;
6495 id = xmlGetID(ctxt->doc, str);
6496 if (id == NULL) {
6497 xmlErrValidNode(ctxt, attr->parent, XML_DTD_UNKNOWN_ID,
6498 "IDREFS attribute %s references an unknown ID \"%s\"\n",
6499 attr->name, str, NULL);
6500 ctxt->valid = 0;
6501 }
6502 if (save == 0)
6503 break;
6504 *cur = save;
6505 while (IS_BLANK_CH(*cur)) cur++;
6506 }
6507 xmlFree(dup);
6508 }
6509}
6510
6511/**
6512 * xmlWalkValidateList:
6513 * @data: Contents of current link
6514 * @user: Value supplied by the user
6515 *
6516 * Returns 0 to abort the walk or 1 to continue
6517 */
6518static int
6519xmlWalkValidateList(const void *data, const void *user)
6520{
6521 xmlValidateMemoPtr memo = (xmlValidateMemoPtr)user;
6522 xmlValidateRef((xmlRefPtr)data, memo->ctxt, memo->name);
6523 return 1;
6524}
6525
6526/**
6527 * xmlValidateCheckRefCallback:
6528 * @ref_list: List of references
6529 * @ctxt: Validation context
6530 * @name: Name of ID we are searching for
6531 *
6532 */
6533static void
6534xmlValidateCheckRefCallback(xmlListPtr ref_list, xmlValidCtxtPtr ctxt,
6535 const xmlChar *name) {
6536 xmlValidateMemo memo;
6537
6538 if (ref_list == NULL)
6539 return;
6540 memo.ctxt = ctxt;
6541 memo.name = name;
6542
6543 xmlListWalk(ref_list, xmlWalkValidateList, &memo);
6544
6545}
6546
6547/**
6548 * xmlValidateDocumentFinal:
6549 * @ctxt: the validation context
6550 * @doc: a document instance
6551 *
6552 * Does the final step for the document validation once all the
6553 * incremental validation steps have been completed
6554 *
6555 * basically it does the following checks described by the XML Rec
6556 *
6557 * Check all the IDREF/IDREFS attributes definition for validity
6558 *
6559 * returns 1 if valid or 0 otherwise
6560 */
6561
6562int
6563xmlValidateDocumentFinal(xmlValidCtxtPtr ctxt, xmlDocPtr doc) {
6564 xmlRefTablePtr table;
6565 unsigned int save;
6566
6567 if (ctxt == NULL)
6568 return(0);
6569 if (doc == NULL) {
6570 xmlErrValid(ctxt, XML_DTD_NO_DOC,
6571 "xmlValidateDocumentFinal: doc == NULL\n", NULL);
6572 return(0);
6573 }
6574
6575 /* trick to get correct line id report */
6576 save = ctxt->finishDtd;
6577 ctxt->finishDtd = 0;
6578
6579 /*
6580 * Check all the NOTATION/NOTATIONS attributes
6581 */
6582 /*
6583 * Check all the ENTITY/ENTITIES attributes definition for validity
6584 */
6585 /*
6586 * Check all the IDREF/IDREFS attributes definition for validity
6587 */
6588 table = (xmlRefTablePtr) doc->refs;
6589 ctxt->doc = doc;
6590 ctxt->valid = 1;
6591 xmlHashScan(table, (xmlHashScanner) xmlValidateCheckRefCallback, ctxt);
6592
6593 ctxt->finishDtd = save;
6594 return(ctxt->valid);
6595}
6596
6597/**
6598 * xmlValidateDtd:
6599 * @ctxt: the validation context
6600 * @doc: a document instance
6601 * @dtd: a dtd instance
6602 *
6603 * Try to validate the document against the dtd instance
6604 *
6605 * Basically it does check all the definitions in the DtD.
6606 * Note the the internal subset (if present) is de-coupled
6607 * (i.e. not used), which could give problems if ID or IDREF
6608 * is present.
6609 *
6610 * returns 1 if valid or 0 otherwise
6611 */
6612
6613int
6614xmlValidateDtd(xmlValidCtxtPtr ctxt, xmlDocPtr doc, xmlDtdPtr dtd) {
6615 int ret;
6616 xmlDtdPtr oldExt, oldInt;
6617 xmlNodePtr root;
6618
6619 if (dtd == NULL) return(0);
6620 if (doc == NULL) return(0);
6621 oldExt = doc->extSubset;
6622 oldInt = doc->intSubset;
6623 doc->extSubset = dtd;
6624 doc->intSubset = NULL;
6625 ret = xmlValidateRoot(ctxt, doc);
6626 if (ret == 0) {
6627 doc->extSubset = oldExt;
6628 doc->intSubset = oldInt;
6629 return(ret);
6630 }
6631 if (doc->ids != NULL) {
6632 xmlFreeIDTable(doc->ids);
6633 doc->ids = NULL;
6634 }
6635 if (doc->refs != NULL) {
6636 xmlFreeRefTable(doc->refs);
6637 doc->refs = NULL;
6638 }
6639 root = xmlDocGetRootElement(doc);
6640 ret = xmlValidateElement(ctxt, doc, root);
6641 ret &= xmlValidateDocumentFinal(ctxt, doc);
6642 doc->extSubset = oldExt;
6643 doc->intSubset = oldInt;
6644 return(ret);
6645}
6646
6647static void
6648xmlValidateNotationCallback(xmlEntityPtr cur, xmlValidCtxtPtr ctxt,
6649 const xmlChar *name ATTRIBUTE_UNUSED) {
6650 if (cur == NULL)
6651 return;
6652 if (cur->etype == XML_EXTERNAL_GENERAL_UNPARSED_ENTITY) {
6653 xmlChar *notation = cur->content;
6654
6655 if (notation != NULL) {
6656 int ret;
6657
6658 ret = xmlValidateNotationUse(ctxt, cur->doc, notation);
6659 if (ret != 1) {
6660 ctxt->valid = 0;
6661 }
6662 }
6663 }
6664}
6665
6666static void
6667xmlValidateAttributeCallback(xmlAttributePtr cur, xmlValidCtxtPtr ctxt,
6668 const xmlChar *name ATTRIBUTE_UNUSED) {
6669 int ret;
6670 xmlDocPtr doc;
6671 xmlElementPtr elem = NULL;
6672
6673 if (cur == NULL)
6674 return;
6675 switch (cur->atype) {
6676 case XML_ATTRIBUTE_CDATA:
6677 case XML_ATTRIBUTE_ID:
6678 case XML_ATTRIBUTE_IDREF :
6679 case XML_ATTRIBUTE_IDREFS:
6680 case XML_ATTRIBUTE_NMTOKEN:
6681 case XML_ATTRIBUTE_NMTOKENS:
6682 case XML_ATTRIBUTE_ENUMERATION:
6683 break;
6684 case XML_ATTRIBUTE_ENTITY:
6685 case XML_ATTRIBUTE_ENTITIES:
6686 case XML_ATTRIBUTE_NOTATION:
6687 if (cur->defaultValue != NULL) {
6688
6689 ret = xmlValidateAttributeValue2(ctxt, ctxt->doc, cur->name,
6690 cur->atype, cur->defaultValue);
6691 if ((ret == 0) && (ctxt->valid == 1))
6692 ctxt->valid = 0;
6693 }
6694 if (cur->tree != NULL) {
6695 xmlEnumerationPtr tree = cur->tree;
6696 while (tree != NULL) {
6697 ret = xmlValidateAttributeValue2(ctxt, ctxt->doc,
6698 cur->name, cur->atype, tree->name);
6699 if ((ret == 0) && (ctxt->valid == 1))
6700 ctxt->valid = 0;
6701 tree = tree->next;
6702 }
6703 }
6704 }
6705 if (cur->atype == XML_ATTRIBUTE_NOTATION) {
6706 doc = cur->doc;
6707 if (cur->elem == NULL) {
6708 xmlErrValid(ctxt, XML_ERR_INTERNAL_ERROR,
6709 "xmlValidateAttributeCallback(%s): internal error\n",
6710 (const char *) cur->name);
6711 return;
6712 }
6713
6714 if (doc != NULL)
6715 elem = xmlGetDtdElementDesc(doc->intSubset, cur->elem);
6716 if ((elem == NULL) && (doc != NULL))
6717 elem = xmlGetDtdElementDesc(doc->extSubset, cur->elem);
6718 if ((elem == NULL) && (cur->parent != NULL) &&
6719 (cur->parent->type == XML_DTD_NODE))
6720 elem = xmlGetDtdElementDesc((xmlDtdPtr) cur->parent, cur->elem);
6721 if (elem == NULL) {
6722 xmlErrValidNode(ctxt, NULL, XML_DTD_UNKNOWN_ELEM,
6723 "attribute %s: could not find decl for element %s\n",
6724 cur->name, cur->elem, NULL);
6725 return;
6726 }
6727 if (elem->etype == XML_ELEMENT_TYPE_EMPTY) {
6728 xmlErrValidNode(ctxt, NULL, XML_DTD_EMPTY_NOTATION,
6729 "NOTATION attribute %s declared for EMPTY element %s\n",
6730 cur->name, cur->elem, NULL);
6731 ctxt->valid = 0;
6732 }
6733 }
6734}
6735
6736/**
6737 * xmlValidateDtdFinal:
6738 * @ctxt: the validation context
6739 * @doc: a document instance
6740 *
6741 * Does the final step for the dtds validation once all the
6742 * subsets have been parsed
6743 *
6744 * basically it does the following checks described by the XML Rec
6745 * - check that ENTITY and ENTITIES type attributes default or
6746 * possible values matches one of the defined entities.
6747 * - check that NOTATION type attributes default or
6748 * possible values matches one of the defined notations.
6749 *
6750 * returns 1 if valid or 0 if invalid and -1 if not well-formed
6751 */
6752
6753int
6754xmlValidateDtdFinal(xmlValidCtxtPtr ctxt, xmlDocPtr doc) {
6755 xmlDtdPtr dtd;
6756 xmlAttributeTablePtr table;
6757 xmlEntitiesTablePtr entities;
6758
6759 if ((doc == NULL) || (ctxt == NULL)) return(0);
6760 if ((doc->intSubset == NULL) && (doc->extSubset == NULL))
6761 return(0);
6762 ctxt->doc = doc;
6763 ctxt->valid = 1;
6764 dtd = doc->intSubset;
6765 if ((dtd != NULL) && (dtd->attributes != NULL)) {
6766 table = (xmlAttributeTablePtr) dtd->attributes;
6767 xmlHashScan(table, (xmlHashScanner) xmlValidateAttributeCallback, ctxt);
6768 }
6769 if ((dtd != NULL) && (dtd->entities != NULL)) {
6770 entities = (xmlEntitiesTablePtr) dtd->entities;
6771 xmlHashScan(entities, (xmlHashScanner) xmlValidateNotationCallback,
6772 ctxt);
6773 }
6774 dtd = doc->extSubset;
6775 if ((dtd != NULL) && (dtd->attributes != NULL)) {
6776 table = (xmlAttributeTablePtr) dtd->attributes;
6777 xmlHashScan(table, (xmlHashScanner) xmlValidateAttributeCallback, ctxt);
6778 }
6779 if ((dtd != NULL) && (dtd->entities != NULL)) {
6780 entities = (xmlEntitiesTablePtr) dtd->entities;
6781 xmlHashScan(entities, (xmlHashScanner) xmlValidateNotationCallback,
6782 ctxt);
6783 }
6784 return(ctxt->valid);
6785}
6786
6787/**
6788 * xmlValidateDocument:
6789 * @ctxt: the validation context
6790 * @doc: a document instance
6791 *
6792 * Try to validate the document instance
6793 *
6794 * basically it does the all the checks described by the XML Rec
6795 * i.e. validates the internal and external subset (if present)
6796 * and validate the document tree.
6797 *
6798 * returns 1 if valid or 0 otherwise
6799 */
6800
6801int
6802xmlValidateDocument(xmlValidCtxtPtr ctxt, xmlDocPtr doc) {
6803 int ret;
6804 xmlNodePtr root;
6805
6806 if (doc == NULL)
6807 return(0);
6808 if ((doc->intSubset == NULL) && (doc->extSubset == NULL)) {
6809 xmlErrValid(ctxt, XML_DTD_NO_DTD,
6810 "no DTD found!\n", NULL);
6811 return(0);
6812 }
6813 if ((doc->intSubset != NULL) && ((doc->intSubset->SystemID != NULL) ||
6814 (doc->intSubset->ExternalID != NULL)) && (doc->extSubset == NULL)) {
6815 xmlChar *sysID;
6816 if (doc->intSubset->SystemID != NULL) {
6817 sysID = xmlBuildURI(doc->intSubset->SystemID,
6818 doc->URL);
6819 if (sysID == NULL) {
6820 xmlErrValid(ctxt, XML_DTD_LOAD_ERROR,
6821 "Could not build URI for external subset \"%s\"\n",
6822 (const char *) doc->intSubset->SystemID);
6823 return 0;
6824 }
6825 } else
6826 sysID = NULL;
6827 doc->extSubset = xmlParseDTD(doc->intSubset->ExternalID,
6828 (const xmlChar *)sysID);
6829 if (sysID != NULL)
6830 xmlFree(sysID);
6831 if (doc->extSubset == NULL) {
6832 if (doc->intSubset->SystemID != NULL) {
6833 xmlErrValid(ctxt, XML_DTD_LOAD_ERROR,
6834 "Could not load the external subset \"%s\"\n",
6835 (const char *) doc->intSubset->SystemID);
6836 } else {
6837 xmlErrValid(ctxt, XML_DTD_LOAD_ERROR,
6838 "Could not load the external subset \"%s\"\n",
6839 (const char *) doc->intSubset->ExternalID);
6840 }
6841 return(0);
6842 }
6843 }
6844
6845 if (doc->ids != NULL) {
6846 xmlFreeIDTable(doc->ids);
6847 doc->ids = NULL;
6848 }
6849 if (doc->refs != NULL) {
6850 xmlFreeRefTable(doc->refs);
6851 doc->refs = NULL;
6852 }
6853 ret = xmlValidateDtdFinal(ctxt, doc);
6854 if (!xmlValidateRoot(ctxt, doc)) return(0);
6855
6856 root = xmlDocGetRootElement(doc);
6857 ret &= xmlValidateElement(ctxt, doc, root);
6858 ret &= xmlValidateDocumentFinal(ctxt, doc);
6859 return(ret);
6860}
6861
6862/************************************************************************
6863 * *
6864 * Routines for dynamic validation editing *
6865 * *
6866 ************************************************************************/
6867
6868/**
6869 * xmlValidGetPotentialChildren:
6870 * @ctree: an element content tree
6871 * @names: an array to store the list of child names
6872 * @len: a pointer to the number of element in the list
6873 * @max: the size of the array
6874 *
6875 * Build/extend a list of potential children allowed by the content tree
6876 *
6877 * returns the number of element in the list, or -1 in case of error.
6878 */
6879
6880int
6881xmlValidGetPotentialChildren(xmlElementContent *ctree,
6882 const xmlChar **names,
6883 int *len, int max) {
6884 int i;
6885
6886 if ((ctree == NULL) || (names == NULL) || (len == NULL))
6887 return(-1);
6888 if (*len >= max) return(*len);
6889
6890 switch (ctree->type) {
6891 case XML_ELEMENT_CONTENT_PCDATA:
6892 for (i = 0; i < *len;i++)
6893 if (xmlStrEqual(BAD_CAST "#PCDATA", names[i])) return(*len);
6894 names[(*len)++] = BAD_CAST "#PCDATA";
6895 break;
6896 case XML_ELEMENT_CONTENT_ELEMENT:
6897 for (i = 0; i < *len;i++)
6898 if (xmlStrEqual(ctree->name, names[i])) return(*len);
6899 names[(*len)++] = ctree->name;
6900 break;
6901 case XML_ELEMENT_CONTENT_SEQ:
6902 xmlValidGetPotentialChildren(ctree->c1, names, len, max);
6903 xmlValidGetPotentialChildren(ctree->c2, names, len, max);
6904 break;
6905 case XML_ELEMENT_CONTENT_OR:
6906 xmlValidGetPotentialChildren(ctree->c1, names, len, max);
6907 xmlValidGetPotentialChildren(ctree->c2, names, len, max);
6908 break;
6909 }
6910
6911 return(*len);
6912}
6913
6914/*
6915 * Dummy function to suppress messages while we try out valid elements
6916 */
6917static void XMLCDECL xmlNoValidityErr(void *ctx ATTRIBUTE_UNUSED,
6918 const char *msg ATTRIBUTE_UNUSED, ...) {
6919 return;
6920}
6921
6922/**
6923 * xmlValidGetValidElements:
6924 * @prev: an element to insert after
6925 * @next: an element to insert next
6926 * @names: an array to store the list of child names
6927 * @max: the size of the array
6928 *
6929 * This function returns the list of authorized children to insert
6930 * within an existing tree while respecting the validity constraints
6931 * forced by the Dtd. The insertion point is defined using @prev and
6932 * @next in the following ways:
6933 * to insert before 'node': xmlValidGetValidElements(node->prev, node, ...
6934 * to insert next 'node': xmlValidGetValidElements(node, node->next, ...
6935 * to replace 'node': xmlValidGetValidElements(node->prev, node->next, ...
6936 * to prepend a child to 'node': xmlValidGetValidElements(NULL, node->childs,
6937 * to append a child to 'node': xmlValidGetValidElements(node->last, NULL, ...
6938 *
6939 * pointers to the element names are inserted at the beginning of the array
6940 * and do not need to be freed.
6941 *
6942 * returns the number of element in the list, or -1 in case of error. If
6943 * the function returns the value @max the caller is invited to grow the
6944 * receiving array and retry.
6945 */
6946
6947int
6948xmlValidGetValidElements(xmlNode *prev, xmlNode *next, const xmlChar **names,
6949 int max) {
6950 xmlValidCtxt vctxt;
6951 int nb_valid_elements = 0;
6952 const xmlChar *elements[256]={0};
6953 int nb_elements = 0, i;
6954 const xmlChar *name;
6955
6956 xmlNode *ref_node;
6957 xmlNode *parent;
6958 xmlNode *test_node;
6959
6960 xmlNode *prev_next;
6961 xmlNode *next_prev;
6962 xmlNode *parent_childs;
6963 xmlNode *parent_last;
6964
6965 xmlElement *element_desc;
6966
6967 if (prev == NULL && next == NULL)
6968 return(-1);
6969
6970 if (names == NULL) return(-1);
6971 if (max <= 0) return(-1);
6972
6973 memset(&vctxt, 0, sizeof (xmlValidCtxt));
6974 vctxt.error = xmlNoValidityErr; /* this suppresses err/warn output */
6975
6976 nb_valid_elements = 0;
6977 ref_node = prev ? prev : next;
6978 parent = ref_node->parent;
6979
6980 /*
6981 * Retrieves the parent element declaration
6982 */
6983 element_desc = xmlGetDtdElementDesc(parent->doc->intSubset,
6984 parent->name);
6985 if ((element_desc == NULL) && (parent->doc->extSubset != NULL))
6986 element_desc = xmlGetDtdElementDesc(parent->doc->extSubset,
6987 parent->name);
6988 if (element_desc == NULL) return(-1);
6989
6990 /*
6991 * Do a backup of the current tree structure
6992 */
6993 prev_next = prev ? prev->next : NULL;
6994 next_prev = next ? next->prev : NULL;
6995 parent_childs = parent->children;
6996 parent_last = parent->last;
6997
6998 /*
6999 * Creates a dummy node and insert it into the tree
7000 */
7001 test_node = xmlNewDocNode (ref_node->doc, NULL, BAD_CAST "<!dummy?>", NULL);
7002 if (test_node == NULL)
7003 return(-1);
7004
7005 test_node->parent = parent;
7006 test_node->prev = prev;
7007 test_node->next = next;
7008 name = test_node->name;
7009
7010 if (prev) prev->next = test_node;
7011 else parent->children = test_node;
7012
7013 if (next) next->prev = test_node;
7014 else parent->last = test_node;
7015
7016 /*
7017 * Insert each potential child node and check if the parent is
7018 * still valid
7019 */
7020 nb_elements = xmlValidGetPotentialChildren(element_desc->content,
7021 elements, &nb_elements, 256);
7022
7023 for (i = 0;i < nb_elements;i++) {
7024 test_node->name = elements[i];
7025 if (xmlValidateOneElement(&vctxt, parent->doc, parent)) {
7026 int j;
7027
7028 for (j = 0; j < nb_valid_elements;j++)
7029 if (xmlStrEqual(elements[i], names[j])) break;
7030 names[nb_valid_elements++] = elements[i];
7031 if (nb_valid_elements >= max) break;
7032 }
7033 }
7034
7035 /*
7036 * Restore the tree structure
7037 */
7038 if (prev) prev->next = prev_next;
7039 if (next) next->prev = next_prev;
7040 parent->children = parent_childs;
7041 parent->last = parent_last;
7042
7043 /*
7044 * Free up the dummy node
7045 */
7046 test_node->name = name;
7047 xmlFreeNode(test_node);
7048
7049 return(nb_valid_elements);
7050}
7051#endif /* LIBXML_VALID_ENABLED */
7052
7053#define bottom_valid
7054#include "elfgcchack.h"
Note: See TracBrowser for help on using the repository browser.

© 2024 Oracle Support Privacy / Do Not Sell My Info Terms of Use Trademark Policy Automated Access Etiquette