valid.c@ 11632

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

Note: See TracBrowser for help on using the repository browser.

source: vbox/trunk/src/libs/libxml2-2.6.30/valid.c@ 11632

Download in other formats: