diff options
Diffstat (limited to 'result/VC')
44 files changed, 200 insertions, 0 deletions
diff --git a/result/VC/AttributeDefaultLegal b/result/VC/AttributeDefaultLegal new file mode 100644 index 0000000..6b61686 --- /dev/null +++ b/result/VC/AttributeDefaultLegal @@ -0,0 +1,12 @@ +./test/VC/AttributeDefaultLegal:4: validity error : Attribute doc of At: invalid default value +<!ATTLIST doc At NMTOKEN "$$$"> + ^ +./test/VC/AttributeDefaultLegal:6: validity error : Attribute doc of bad: invalid default value +<!ATTLIST doc bad IDREF "1abc_2"> + ^ +./test/VC/AttributeDefaultLegal:8: validity error : Attribute doc of bad2: invalid default value +<!ATTLIST doc bad2 IDREFS "abc:1 1abc_2"> + ^ +./test/VC/AttributeDefaultLegal:11: element doc: validity error : No declaration for attribute val of element doc +<doc val="v1"/> + ^ diff --git a/result/VC/AttributeDefaultLegal.rdr b/result/VC/AttributeDefaultLegal.rdr new file mode 100644 index 0000000..6b61686 --- /dev/null +++ b/result/VC/AttributeDefaultLegal.rdr @@ -0,0 +1,12 @@ +./test/VC/AttributeDefaultLegal:4: validity error : Attribute doc of At: invalid default value +<!ATTLIST doc At NMTOKEN "$$$"> + ^ +./test/VC/AttributeDefaultLegal:6: validity error : Attribute doc of bad: invalid default value +<!ATTLIST doc bad IDREF "1abc_2"> + ^ +./test/VC/AttributeDefaultLegal:8: validity error : Attribute doc of bad2: invalid default value +<!ATTLIST doc bad2 IDREFS "abc:1 1abc_2"> + ^ +./test/VC/AttributeDefaultLegal:11: element doc: validity error : No declaration for attribute val of element doc +<doc val="v1"/> + ^ diff --git a/result/VC/AttributeNmtokens b/result/VC/AttributeNmtokens new file mode 100644 index 0000000..4c19285 --- /dev/null +++ b/result/VC/AttributeNmtokens @@ -0,0 +1,3 @@ +./test/VC/AttributeNmtokens:6: element test: validity error : Syntax of value for attribute attr1 of test is not valid +<test attr1=" a	b "/> + ^ diff --git a/result/VC/AttributeNmtokens.rdr b/result/VC/AttributeNmtokens.rdr new file mode 100644 index 0000000..4c19285 --- /dev/null +++ b/result/VC/AttributeNmtokens.rdr @@ -0,0 +1,3 @@ +./test/VC/AttributeNmtokens:6: element test: validity error : Syntax of value for attribute attr1 of test is not valid +<test attr1=" a	b "/> + ^ diff --git a/result/VC/DuplicateType b/result/VC/DuplicateType new file mode 100644 index 0000000..34e2c20 --- /dev/null +++ b/result/VC/DuplicateType @@ -0,0 +1,3 @@ +./test/VC/DuplicateType:3: validity error : Definition of a has duplicate references of c +<!ELEMENT a (#PCDATA | b | c | d | c)*> + ^ diff --git a/result/VC/DuplicateType.rdr b/result/VC/DuplicateType.rdr new file mode 100644 index 0000000..34e2c20 --- /dev/null +++ b/result/VC/DuplicateType.rdr @@ -0,0 +1,3 @@ +./test/VC/DuplicateType:3: validity error : Definition of a has duplicate references of c +<!ELEMENT a (#PCDATA | b | c | d | c)*> + ^ diff --git a/result/VC/ElementValid b/result/VC/ElementValid new file mode 100644 index 0000000..d6b50a7 --- /dev/null +++ b/result/VC/ElementValid @@ -0,0 +1,3 @@ +./test/VC/ElementValid:3: validity error : Validation failed: no DTD found ! +<doc/> + ^ diff --git a/result/VC/ElementValid.rdr b/result/VC/ElementValid.rdr new file mode 100644 index 0000000..d6b50a7 --- /dev/null +++ b/result/VC/ElementValid.rdr @@ -0,0 +1,3 @@ +./test/VC/ElementValid:3: validity error : Validation failed: no DTD found ! +<doc/> + ^ diff --git a/result/VC/ElementValid2 b/result/VC/ElementValid2 new file mode 100644 index 0000000..db47c89 --- /dev/null +++ b/result/VC/ElementValid2 @@ -0,0 +1,3 @@ +./test/VC/ElementValid2:4: element p: validity error : No declaration for element p +<doc><p/></doc> + ^ diff --git a/result/VC/ElementValid2.rdr b/result/VC/ElementValid2.rdr new file mode 100644 index 0000000..cae331b --- /dev/null +++ b/result/VC/ElementValid2.rdr @@ -0,0 +1,6 @@ +./test/VC/ElementValid2:4: element p: validity error : No declaration for element p +<doc><p/></doc> + ^ +./test/VC/ElementValid2:5: element p: validity error : No declaration for element p + +^ diff --git a/result/VC/ElementValid3 b/result/VC/ElementValid3 new file mode 100644 index 0000000..2fc236d --- /dev/null +++ b/result/VC/ElementValid3 @@ -0,0 +1,3 @@ +./test/VC/ElementValid3:4: element doc: validity error : Element doc was declared EMPTY this one has content +<doc>Oops, this element was declared EMPTY</doc> + ^ diff --git a/result/VC/ElementValid3.rdr b/result/VC/ElementValid3.rdr new file mode 100644 index 0000000..5f4e03e --- /dev/null +++ b/result/VC/ElementValid3.rdr @@ -0,0 +1,6 @@ +./test/VC/ElementValid3:4: element doc: validity error : Element doc was declared EMPTY this one has content +<doc>Oops, this element was declared EMPTY</doc> + ^ +./test/VC/ElementValid3:5: element doc: validity error : Element doc was declared EMPTY this one has content + +^ diff --git a/result/VC/ElementValid4 b/result/VC/ElementValid4 new file mode 100644 index 0000000..4791db5 --- /dev/null +++ b/result/VC/ElementValid4 @@ -0,0 +1,3 @@ +./test/VC/ElementValid4:7: element doc: validity error : Element c is not declared in doc list of possible children +<doc> This <b>seems</b> Ok <a/> but this <c>was not declared</c></doc> + ^ diff --git a/result/VC/ElementValid4.rdr b/result/VC/ElementValid4.rdr new file mode 100644 index 0000000..289a527 --- /dev/null +++ b/result/VC/ElementValid4.rdr @@ -0,0 +1,6 @@ +./test/VC/ElementValid4:7: element doc: validity error : Element c is not declared in doc list of possible children +<doc> This <b>seems</b> Ok <a/> but this <c>was not declared</c></doc> + ^ +./test/VC/ElementValid4:8: element doc: validity error : Element c is not declared in doc list of possible children + +^ diff --git a/result/VC/ElementValid5 b/result/VC/ElementValid5 new file mode 100644 index 0000000..bd064f6 --- /dev/null +++ b/result/VC/ElementValid5 @@ -0,0 +1,3 @@ +./test/VC/ElementValid5:7: element doc: validity error : Element doc content does not follow the DTD, expecting (a , b* , c+), got (a b c b) +<doc><a/><b> but this</b><c>was not declared</c><b>seems</b></doc> + ^ diff --git a/result/VC/ElementValid5.rdr b/result/VC/ElementValid5.rdr new file mode 100644 index 0000000..899d759 --- /dev/null +++ b/result/VC/ElementValid5.rdr @@ -0,0 +1,6 @@ +./test/VC/ElementValid5:7: element doc: validity error : Element doc content does not follow the DTD, expecting (a , b* , c+), got (a b c b) +<doc><a/><b> but this</b><c>was not declared</c><b>seems</b></doc> + ^ +./test/VC/ElementValid5:8: element doc: validity error : Element doc content does not follow the DTD, Misplaced b + +^ diff --git a/result/VC/ElementValid6 b/result/VC/ElementValid6 new file mode 100644 index 0000000..1cbf8fd --- /dev/null +++ b/result/VC/ElementValid6 @@ -0,0 +1,3 @@ +./test/VC/ElementValid6:7: element doc: validity error : Element doc content does not follow the DTD, expecting (a , b? , c+)?, got (a b) +<doc><a/><b>lacks c</b></doc> + ^ diff --git a/result/VC/ElementValid6.rdr b/result/VC/ElementValid6.rdr new file mode 100644 index 0000000..aeafd6b --- /dev/null +++ b/result/VC/ElementValid6.rdr @@ -0,0 +1,6 @@ +./test/VC/ElementValid6:7: element doc: validity error : Element doc content does not follow the DTD, expecting (a , b? , c+)?, got (a b) +<doc><a/><b>lacks c</b></doc> + ^ +./test/VC/ElementValid6:8: element doc: validity error : Element doc content does not follow the DTD, Expecting more child + +^ diff --git a/result/VC/ElementValid7 b/result/VC/ElementValid7 new file mode 100644 index 0000000..4ce9dbf --- /dev/null +++ b/result/VC/ElementValid7 @@ -0,0 +1,3 @@ +./test/VC/ElementValid7:7: element doc: validity error : Element doc content does not follow the DTD, expecting ((a | b)* , c+ , a , b? , c , a?), got (a b a c c a) +<doc><a/><b/><a/><c/><c/><a/></doc> + ^ diff --git a/result/VC/ElementValid7.rdr b/result/VC/ElementValid7.rdr new file mode 100644 index 0000000..f001fd2 --- /dev/null +++ b/result/VC/ElementValid7.rdr @@ -0,0 +1,6 @@ +./test/VC/ElementValid7:7: element doc: validity error : Element doc content does not follow the DTD, expecting ((a | b)* , c+ , a , b? , c , a?), got (a b a c c a) +<doc><a/><b/><a/><c/><c/><a/></doc> + ^ +./test/VC/ElementValid7:8: element doc: validity error : Element doc content does not follow the DTD, Expecting more child + +^ diff --git a/result/VC/ElementValid8 b/result/VC/ElementValid8 new file mode 100644 index 0000000..f1b0dad --- /dev/null +++ b/result/VC/ElementValid8 @@ -0,0 +1,3 @@ +./test/VC/ElementValid8:7: validity error : Content model of doc is not determinist: ((a , b) | (a , c)) +<doc><a/><c> doc is non-deterministic </c></doc> + ^ diff --git a/result/VC/ElementValid8.rdr b/result/VC/ElementValid8.rdr new file mode 100644 index 0000000..f1b0dad --- /dev/null +++ b/result/VC/ElementValid8.rdr @@ -0,0 +1,3 @@ +./test/VC/ElementValid8:7: validity error : Content model of doc is not determinist: ((a , b) | (a , c)) +<doc><a/><c> doc is non-deterministic </c></doc> + ^ diff --git a/result/VC/Enumeration b/result/VC/Enumeration new file mode 100644 index 0000000..30896fc --- /dev/null +++ b/result/VC/Enumeration @@ -0,0 +1,3 @@ +./test/VC/Enumeration:5: element doc: validity error : Value "v4" for attribute val of doc is not among the enumerated set +<doc val="v4"></doc> + ^ diff --git a/result/VC/Enumeration.rdr b/result/VC/Enumeration.rdr new file mode 100644 index 0000000..30896fc --- /dev/null +++ b/result/VC/Enumeration.rdr @@ -0,0 +1,3 @@ +./test/VC/Enumeration:5: element doc: validity error : Value "v4" for attribute val of doc is not among the enumerated set +<doc val="v4"></doc> + ^ diff --git a/result/VC/NS1 b/result/VC/NS1 new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/result/VC/NS1 diff --git a/result/VC/NS1.rdr b/result/VC/NS1.rdr new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/result/VC/NS1.rdr diff --git a/result/VC/NS2 b/result/VC/NS2 new file mode 100644 index 0000000..abd1f88 --- /dev/null +++ b/result/VC/NS2 @@ -0,0 +1,3 @@ +./test/VC/NS2:9: element doc: validity error : No declaration for attribute attr of element doc +<ns:doc ns:attr="val" xmlns:ns="http://www.example.org/test/"> + ^ diff --git a/result/VC/NS2.rdr b/result/VC/NS2.rdr new file mode 100644 index 0000000..abd1f88 --- /dev/null +++ b/result/VC/NS2.rdr @@ -0,0 +1,3 @@ +./test/VC/NS2:9: element doc: validity error : No declaration for attribute attr of element doc +<ns:doc ns:attr="val" xmlns:ns="http://www.example.org/test/"> + ^ diff --git a/result/VC/NS3 b/result/VC/NS3 new file mode 100644 index 0000000..72c0117 --- /dev/null +++ b/result/VC/NS3 @@ -0,0 +1,9 @@ +./test/VC/NS3:9: element foo: validity error : Value for attribute xmlns of foo is different from default "http://example.com/fooo" +xmlns="http://example.com/foo" xmlns:foo="http://example.com/fo" foo:info="toto" + ^ +./test/VC/NS3:9: element foo: validity error : Value for attribute xmlns of foo must be "http://example.com/fooo" +xmlns="http://example.com/foo" xmlns:foo="http://example.com/fo" foo:info="toto" + ^ +./test/VC/NS3:9: element foo: validity error : Element foo namespace name for default namespace does not match the DTD +mlns="http://example.com/foo" xmlns:foo="http://example.com/fo" foo:info="toto"/ + ^ diff --git a/result/VC/NS3.rdr b/result/VC/NS3.rdr new file mode 100644 index 0000000..72c0117 --- /dev/null +++ b/result/VC/NS3.rdr @@ -0,0 +1,9 @@ +./test/VC/NS3:9: element foo: validity error : Value for attribute xmlns of foo is different from default "http://example.com/fooo" +xmlns="http://example.com/foo" xmlns:foo="http://example.com/fo" foo:info="toto" + ^ +./test/VC/NS3:9: element foo: validity error : Value for attribute xmlns of foo must be "http://example.com/fooo" +xmlns="http://example.com/foo" xmlns:foo="http://example.com/fo" foo:info="toto" + ^ +./test/VC/NS3:9: element foo: validity error : Element foo namespace name for default namespace does not match the DTD +mlns="http://example.com/foo" xmlns:foo="http://example.com/fo" foo:info="toto"/ + ^ diff --git a/result/VC/OneID b/result/VC/OneID new file mode 100644 index 0000000..a2c894f --- /dev/null +++ b/result/VC/OneID @@ -0,0 +1,6 @@ +./test/VC/OneID:4: validity error : Element doc has too may ID attributes defined : id +<!ATTLIST doc id ID #IMPLIED> + ^ +./test/VC/OneID:4: validity error : Element doc has 2 ID attribute defined in the internal subset : id +<!ATTLIST doc id ID #IMPLIED> + ^ diff --git a/result/VC/OneID.rdr b/result/VC/OneID.rdr new file mode 100644 index 0000000..a2c894f --- /dev/null +++ b/result/VC/OneID.rdr @@ -0,0 +1,6 @@ +./test/VC/OneID:4: validity error : Element doc has too may ID attributes defined : id +<!ATTLIST doc id ID #IMPLIED> + ^ +./test/VC/OneID:4: validity error : Element doc has 2 ID attribute defined in the internal subset : id +<!ATTLIST doc id ID #IMPLIED> + ^ diff --git a/result/VC/OneID2 b/result/VC/OneID2 new file mode 100644 index 0000000..2af04f1 --- /dev/null +++ b/result/VC/OneID2 @@ -0,0 +1,6 @@ +./test/VC/OneID2:3: validity error : Element doc has too may ID attributes defined : id +<!ATTLIST doc id ID #IMPLIED> + ^ +./test/VC/OneID2:3: validity error : Element doc has 2 ID attribute defined in the internal subset : id +<!ATTLIST doc id ID #IMPLIED> + ^ diff --git a/result/VC/OneID2.rdr b/result/VC/OneID2.rdr new file mode 100644 index 0000000..2af04f1 --- /dev/null +++ b/result/VC/OneID2.rdr @@ -0,0 +1,6 @@ +./test/VC/OneID2:3: validity error : Element doc has too may ID attributes defined : id +<!ATTLIST doc id ID #IMPLIED> + ^ +./test/VC/OneID2:3: validity error : Element doc has 2 ID attribute defined in the internal subset : id +<!ATTLIST doc id ID #IMPLIED> + ^ diff --git a/result/VC/OneID3 b/result/VC/OneID3 new file mode 100644 index 0000000..9accece --- /dev/null +++ b/result/VC/OneID3 @@ -0,0 +1,6 @@ +test/VC/dtds/doc.dtd:2: validity error : Element doc has too may ID attributes defined : val +<!ATTLIST doc val ID #IMPLIED> + ^ +test/VC/dtds/doc.dtd:2: validity error : Element doc has 2 ID attribute defined in the external subset : val +<!ATTLIST doc val ID #IMPLIED> + ^ diff --git a/result/VC/OneID3.rdr b/result/VC/OneID3.rdr new file mode 100644 index 0000000..9accece --- /dev/null +++ b/result/VC/OneID3.rdr @@ -0,0 +1,6 @@ +test/VC/dtds/doc.dtd:2: validity error : Element doc has too may ID attributes defined : val +<!ATTLIST doc val ID #IMPLIED> + ^ +test/VC/dtds/doc.dtd:2: validity error : Element doc has 2 ID attribute defined in the external subset : val +<!ATTLIST doc val ID #IMPLIED> + ^ diff --git a/result/VC/PENesting b/result/VC/PENesting new file mode 100644 index 0000000..966689a --- /dev/null +++ b/result/VC/PENesting @@ -0,0 +1,6 @@ +./test/VC/PENesting:1: parser error : StartTag: invalid element name +<!ENTITY % pe1 "EMPTY> <!ELEMENT e2 EMPTY>"> + ^ +./test/VC/PENesting:1: parser error : Extra content at the end of the document +<!ENTITY % pe1 "EMPTY> <!ELEMENT e2 EMPTY>"> + ^ diff --git a/result/VC/PENesting.rdr b/result/VC/PENesting.rdr new file mode 100644 index 0000000..7f82e13 --- /dev/null +++ b/result/VC/PENesting.rdr @@ -0,0 +1,4 @@ +./test/VC/PENesting:1: parser error : StartTag: invalid element name +<!ENTITY % pe1 "EMPTY> <!ELEMENT e2 EMPTY>"> + ^ +./test/VC/PENesting : failed to parse diff --git a/result/VC/PENesting2 b/result/VC/PENesting2 new file mode 100644 index 0000000..c53ead6 --- /dev/null +++ b/result/VC/PENesting2 @@ -0,0 +1,6 @@ +./test/VC/PENesting2:1: parser error : StartTag: invalid element name +<!ENTITY % p1 "(A|B"> + ^ +./test/VC/PENesting2:1: parser error : Extra content at the end of the document +<!ENTITY % p1 "(A|B"> + ^ diff --git a/result/VC/PENesting2.rdr b/result/VC/PENesting2.rdr new file mode 100644 index 0000000..71cb053 --- /dev/null +++ b/result/VC/PENesting2.rdr @@ -0,0 +1,4 @@ +./test/VC/PENesting2:1: parser error : StartTag: invalid element name +<!ENTITY % p1 "(A|B"> + ^ +./test/VC/PENesting2 : failed to parse diff --git a/result/VC/UniqueElementTypeDeclaration b/result/VC/UniqueElementTypeDeclaration new file mode 100644 index 0000000..8537041 --- /dev/null +++ b/result/VC/UniqueElementTypeDeclaration @@ -0,0 +1,3 @@ +test/VC/dtds/a.dtd:1: validity error : Redefinition of element a +<!ELEMENT a (#PCDATA | b | c)*> + ^ diff --git a/result/VC/UniqueElementTypeDeclaration.rdr b/result/VC/UniqueElementTypeDeclaration.rdr new file mode 100644 index 0000000..8537041 --- /dev/null +++ b/result/VC/UniqueElementTypeDeclaration.rdr @@ -0,0 +1,3 @@ +test/VC/dtds/a.dtd:1: validity error : Redefinition of element a +<!ELEMENT a (#PCDATA | b | c)*> + ^ diff --git a/result/VC/UniqueElementTypeDeclaration2 b/result/VC/UniqueElementTypeDeclaration2 new file mode 100644 index 0000000..c328d92 --- /dev/null +++ b/result/VC/UniqueElementTypeDeclaration2 @@ -0,0 +1,3 @@ +./test/VC/UniqueElementTypeDeclaration2:6: validity error : Redefinition of element a +<!ELEMENT a (#PCDATA | b | c)*> + ^ diff --git a/result/VC/UniqueElementTypeDeclaration2.rdr b/result/VC/UniqueElementTypeDeclaration2.rdr new file mode 100644 index 0000000..c328d92 --- /dev/null +++ b/result/VC/UniqueElementTypeDeclaration2.rdr @@ -0,0 +1,3 @@ +./test/VC/UniqueElementTypeDeclaration2:6: validity error : Redefinition of element a +<!ELEMENT a (#PCDATA | b | c)*> + ^ |