blob: ea890ecd794b9c44be51a487499fb62ce6c4c9f8 [file] [log] [blame]
Daniel Veillard336fc7d2002-12-27 19:37:04 +00001#!/usr/bin/python -u
2#
Daniel Veillarde18fc182002-12-28 22:56:33 +00003# this tests the DTD validation with the XmlTextReader interface
Daniel Veillard336fc7d2002-12-27 19:37:04 +00004#
5import sys
6import glob
7import string
Daniel Veillardd5896142002-12-31 14:45:26 +00008import StringIO
Daniel Veillard336fc7d2002-12-27 19:37:04 +00009import libxml2
10
11# Memory debug specific
12libxml2.debugMemory(1)
13
14err=""
Daniel Veillard4c004142003-10-07 11:33:24 +000015expect="""../../test/valid/rss.xml:177: element rss: validity error : Element rss does not carry attribute version
Daniel Veillard2bc13ca2003-01-04 19:06:55 +000016</rss>
Daniel Veillard781ac8b2003-05-15 22:11:36 +000017 ^
Daniel Veillard4c004142003-10-07 11:33:24 +000018../../test/valid/xlink.xml:450: element termdef: validity error : ID dt-arc already defined
Daniel Veillarda880b122003-04-21 21:36:41 +000019 <p><termdef id="dt-arc" term="Arc">An <ter
Daniel Veillard781ac8b2003-05-15 22:11:36 +000020 ^
Daniel Veillardbb5abab2003-10-03 22:21:51 +000021../../test/valid/xlink.xml:530: validity error : attribute def line 199 references an unknown ID "dt-xlg"
Daniel Veillard067bae52003-01-05 01:27:54 +000022
23^
Daniel Veillard336fc7d2002-12-27 19:37:04 +000024"""
25def callback(ctx, str):
26 global err
27 err = err + "%s" % (str)
28libxml2.registerErrorHandler(callback, "")
29
Daniel Veillard2bc13ca2003-01-04 19:06:55 +000030valid_files = glob.glob("../../test/valid/*.x*")
31valid_files.sort()
Daniel Veillard336fc7d2002-12-27 19:37:04 +000032for file in valid_files:
33 if string.find(file, "t8") != -1:
34 continue
35 reader = libxml2.newTextReaderFilename(file)
36 #print "%s:" % (file)
Daniel Veillardaba976d2002-12-28 21:14:18 +000037 reader.SetParserProp(libxml2.PARSER_VALIDATE, 1)
38 ret = reader.Read()
Daniel Veillard336fc7d2002-12-27 19:37:04 +000039 while ret == 1:
Daniel Veillardaba976d2002-12-28 21:14:18 +000040 ret = reader.Read()
Daniel Veillard336fc7d2002-12-27 19:37:04 +000041 if ret != 0:
42 print "Error parsing and validating %s" % (file)
43 #sys.exit(1)
44
45if err != expect:
46 print err
47
Daniel Veillardd5896142002-12-31 14:45:26 +000048#
49# another separate test based on Stephane Bidoul one
50#
51s = """
52<!DOCTYPE test [
53<!ELEMENT test (x,b)>
54<!ELEMENT x (c)>
55<!ELEMENT b (#PCDATA)>
56<!ELEMENT c (#PCDATA)>
57<!ENTITY x "<x><c>xxx</c></x>">
58]>
59<test>
60 &x;
61 <b>bbb</b>
62</test>
63"""
Daniel Veillard067bae52003-01-05 01:27:54 +000064expect="""10,test
651,test
Daniel Veillard8d73bcb2003-08-04 01:06:15 +00006614,#text
Daniel Veillardd5896142002-12-31 14:45:26 +0000671,x
681,c
693,#text
7015,c
7115,x
Daniel Veillard8d73bcb2003-08-04 01:06:15 +00007214,#text
Daniel Veillardd5896142002-12-31 14:45:26 +0000731,b
743,#text
7515,b
Daniel Veillard8d73bcb2003-08-04 01:06:15 +00007614,#text
Daniel Veillardd5896142002-12-31 14:45:26 +00007715,test
78"""
79res=""
80err=""
81
82input = libxml2.inputBuffer(StringIO.StringIO(s))
83reader = input.newTextReader("test2")
84reader.SetParserProp(libxml2.PARSER_LOADDTD,1)
85reader.SetParserProp(libxml2.PARSER_DEFAULTATTRS,1)
86reader.SetParserProp(libxml2.PARSER_SUBST_ENTITIES,1)
87reader.SetParserProp(libxml2.PARSER_VALIDATE,1)
88while reader.Read() == 1:
89 res = res + "%s,%s\n" % (reader.NodeType(),reader.Name())
90
91if res != expect:
92 print "test2 failed: unexpected output"
93 print res
94 sys.exit(1)
95if err != "":
96 print "test2 failed: validation error found"
97 print err
98 sys.exit(1)
99
Daniel Veillard9e395c22003-01-01 14:50:44 +0000100#
101# Another test for external entity parsing and validation
102#
103
104s = """<!DOCTYPE test [
105<!ELEMENT test (x)>
106<!ELEMENT x (#PCDATA)>
107<!ENTITY e SYSTEM "tst.ent">
108]>
109<test>
110 &e;
111</test>
112"""
113tst_ent = """<x>hello</x>"""
Daniel Veillard067bae52003-01-05 01:27:54 +0000114expect="""10 test
1151 test
Daniel Veillard8d73bcb2003-08-04 01:06:15 +000011614 #text
Daniel Veillard9e395c22003-01-01 14:50:44 +00001171 x
1183 #text
11915 x
Daniel Veillard8d73bcb2003-08-04 01:06:15 +000012014 #text
Daniel Veillard9e395c22003-01-01 14:50:44 +000012115 test
122"""
123res=""
124
125def myResolver(URL, ID, ctxt):
126 if URL == "tst.ent":
127 return(StringIO.StringIO(tst_ent))
128 return None
129
130libxml2.setEntityLoader(myResolver)
131
132input = libxml2.inputBuffer(StringIO.StringIO(s))
133reader = input.newTextReader("test3")
134reader.SetParserProp(libxml2.PARSER_LOADDTD,1)
135reader.SetParserProp(libxml2.PARSER_DEFAULTATTRS,1)
136reader.SetParserProp(libxml2.PARSER_SUBST_ENTITIES,1)
137reader.SetParserProp(libxml2.PARSER_VALIDATE,1)
138while reader.Read() == 1:
139 res = res + "%s %s\n" % (reader.NodeType(),reader.Name())
140
141if res != expect:
142 print "test3 failed: unexpected output"
143 print res
144 sys.exit(1)
145if err != "":
146 print "test3 failed: validation error found"
147 print err
148 sys.exit(1)
149
150#
Daniel Veillard1fdfd112003-01-03 01:18:43 +0000151# Another test for recursive entity parsing, validation, and replacement of
152# entities, making sure the entity ref node doesn't show up in that case
153#
154
155s = """<!DOCTYPE test [
156<!ELEMENT test (x, x)>
157<!ELEMENT x (y)>
158<!ELEMENT y (#PCDATA)>
159<!ENTITY x "<x>&y;</x>">
160<!ENTITY y "<y>yyy</y>">
161]>
162<test>
163 &x;
164 &x;
165</test>"""
Daniel Veillard067bae52003-01-05 01:27:54 +0000166expect="""10 test 0
1671 test 0
Daniel Veillard8d73bcb2003-08-04 01:06:15 +000016814 #text 1
Daniel Veillard1fdfd112003-01-03 01:18:43 +00001691 x 1
1701 y 2
1713 #text 3
17215 y 2
17315 x 1
Daniel Veillard8d73bcb2003-08-04 01:06:15 +000017414 #text 1
Daniel Veillard1fdfd112003-01-03 01:18:43 +00001751 x 1
1761 y 2
1773 #text 3
17815 y 2
17915 x 1
Daniel Veillard8d73bcb2003-08-04 01:06:15 +000018014 #text 1
Daniel Veillard1fdfd112003-01-03 01:18:43 +000018115 test 0
182"""
183res=""
184err=""
185
186input = libxml2.inputBuffer(StringIO.StringIO(s))
187reader = input.newTextReader("test4")
188reader.SetParserProp(libxml2.PARSER_LOADDTD,1)
189reader.SetParserProp(libxml2.PARSER_DEFAULTATTRS,1)
190reader.SetParserProp(libxml2.PARSER_SUBST_ENTITIES,1)
191reader.SetParserProp(libxml2.PARSER_VALIDATE,1)
192while reader.Read() == 1:
193 res = res + "%s %s %d\n" % (reader.NodeType(),reader.Name(),reader.Depth())
194
195if res != expect:
196 print "test4 failed: unexpected output"
197 print res
198 sys.exit(1)
199if err != "":
200 print "test4 failed: validation error found"
201 print err
202 sys.exit(1)
203
204#
Daniel Veillarda80ff6e2003-01-03 12:52:08 +0000205# The same test but without entity substitution this time
206#
207
208s = """<!DOCTYPE test [
209<!ELEMENT test (x, x)>
210<!ELEMENT x (y)>
211<!ELEMENT y (#PCDATA)>
212<!ENTITY x "<x>&y;</x>">
213<!ENTITY y "<y>yyy</y>">
214]>
215<test>
216 &x;
217 &x;
218</test>"""
Daniel Veillard067bae52003-01-05 01:27:54 +0000219expect="""10 test 0
2201 test 0
Daniel Veillard8d73bcb2003-08-04 01:06:15 +000022114 #text 1
Daniel Veillarda80ff6e2003-01-03 12:52:08 +00002225 x 1
Daniel Veillard8d73bcb2003-08-04 01:06:15 +000022314 #text 1
Daniel Veillarda80ff6e2003-01-03 12:52:08 +00002245 x 1
Daniel Veillard8d73bcb2003-08-04 01:06:15 +000022514 #text 1
Daniel Veillarda80ff6e2003-01-03 12:52:08 +000022615 test 0
227"""
228res=""
229err=""
230
231input = libxml2.inputBuffer(StringIO.StringIO(s))
Daniel Veillard4432df22003-09-28 18:58:27 +0000232reader = input.newTextReader("test5")
Daniel Veillarda80ff6e2003-01-03 12:52:08 +0000233reader.SetParserProp(libxml2.PARSER_VALIDATE,1)
234while reader.Read() == 1:
235 res = res + "%s %s %d\n" % (reader.NodeType(),reader.Name(),reader.Depth())
236
237if res != expect:
238 print "test5 failed: unexpected output"
239 print res
240if err != "":
241 print "test5 failed: validation error found"
242 print err
243
244#
Daniel Veillard9e395c22003-01-01 14:50:44 +0000245# cleanup
246#
Daniel Veillardd5896142002-12-31 14:45:26 +0000247del input
Daniel Veillard336fc7d2002-12-27 19:37:04 +0000248del reader
249
250# Memory debug specific
251libxml2.cleanupParser()
252if libxml2.debugMemory(1) == 0:
253 print "OK"
254else:
255 print "Memory leak %d bytes" % (libxml2.debugMemory(1))
256 libxml2.dumpMemory()