Server IP : 85.214.239.14 / Your IP : 3.129.210.35 Web Server : Apache/2.4.62 (Debian) System : Linux h2886529.stratoserver.net 4.9.0 #1 SMP Tue Jan 9 19:45:01 MSK 2024 x86_64 User : www-data ( 33) PHP Version : 7.4.18 Disable Function : pcntl_alarm,pcntl_fork,pcntl_waitpid,pcntl_wait,pcntl_wifexited,pcntl_wifstopped,pcntl_wifsignaled,pcntl_wifcontinued,pcntl_wexitstatus,pcntl_wtermsig,pcntl_wstopsig,pcntl_signal,pcntl_signal_get_handler,pcntl_signal_dispatch,pcntl_get_last_error,pcntl_strerror,pcntl_sigprocmask,pcntl_sigwaitinfo,pcntl_sigtimedwait,pcntl_exec,pcntl_getpriority,pcntl_setpriority,pcntl_async_signals,pcntl_unshare, MySQL : OFF | cURL : OFF | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : OFF Directory : /proc/self/root/proc/2/cwd/proc/self/root/usr/share/augeas/lenses/dist/tests/ |
Upload File : |
(* Module: Test_Xml Provides unit tests and examples for the <Xml> lens. *) module Test_Xml = (* View: knode A simple flag function Parameters: r:regexp - the pattern for the flag *) let knode (r:regexp) = [ key r ] (************************************************************************ * Group: Utilities lens *************************************************************************) (* let _ = print_regexp(lens_ctype(Xml.text)) let _ = print_endline "" *) (* Group: Comments *) (* Test: Xml.comment Comments get mapped into "#comment" nodes. *) test Xml.comment get "<!-- declarations for <head> & <body> -->" = { "#comment" = " declarations for <head> & <body> " } (* Test: Xml.comment This syntax is not understood. *) test Xml.comment get "<!-- B+, B, or B--->" = * (* Group: Prolog and declarations *) (* Test: Xml.prolog The XML prolog tag is mapped in a "#declaration" node, which contains an "#attribute" node with various attributes of the tag. *) test Xml.prolog get "<?xml version=\"1.0\" encoding=\"UTF-8\"?>" = { "#declaration" { "#attribute" { "version" = "1.0" } { "encoding" = "UTF-8" } } } (* Test: Xml.decl_def_item !ELEMENT declaration tags are mapped in "!ELEMENT" nodes. The associated declaration attribute is mapped in a "#decl" subnode. *) test Xml.decl_def_item get "<!ELEMENT greeting (#PCDATA)>" = { "!ELEMENT" = "greeting" { "#decl" = "(#PCDATA)" } } (* Test: Xml.decl_def_item !ENTITY declaration tags are mapped in "!ENTITY" nodes. The associated declaration attribute is mapped in a "#decl" subnode. *) test Xml.decl_def_item get "<!ENTITY da \"
\">" = { "!ENTITY" = "da" { "#decl" = "
" } } (* Test: Xml.doctype !DOCTYPE tags are mapped in "!DOCTYPE" nodes. The associated system attribute is mapped in a "SYSTEM" subnode. *) test Xml.doctype get "<!DOCTYPE greeting:foo SYSTEM \"hello.dtd\">" = { "!DOCTYPE" = "greeting:foo" { "SYSTEM" = "hello.dtd" } } (* Test: Xml.doctype This is an example of a !DOCTYPE tag with !ELEMENT children tags. *) test Xml.doctype get "<!DOCTYPE foo [ <!ELEMENT bar (#PCDATA)> <!ELEMENT baz (bar)* > ]>" = { "!DOCTYPE" = "foo" { "!ELEMENT" = "bar" { "#decl" = "(#PCDATA)" } } { "!ELEMENT" = "baz" { "#decl" = "(bar)*" } } } (* Group: Attributes *) (* Variable: att_def1 *) let att_def1 = "<!ATTLIST termdef id ID #REQUIRED name CDATA #IMPLIED>" (* Variable: att_def2 *) let att_def2 = "<!ATTLIST list type (bullets|ordered|glossary) \"ordered\">" (* Variable: att_def3 *) let att_def3 = "<!ATTLIST form method CDATA #FIXED \"POST\">" (* Test: Xml.att_list_def *) test Xml.att_list_def get att_def1 = { "!ATTLIST" = "termdef" { "1" { "#name" = "id" } { "#type" = "ID" } { "#REQUIRED" } } { "2" { "#name" = "name" } { "#type" = "CDATA" } { "#IMPLIED" } } } (* Test: Xml.att_list_def *) test Xml.att_list_def get att_def2 = { "!ATTLIST" = "list" { "1" { "#name" = "type" } { "#type" = "(bullets|ordered|glossary)" } { "#FIXED" = "ordered" } } } (* Test: Xml.att_list_def *) test Xml.att_list_def get att_def3 = { "!ATTLIST" = "form" { "1" { "#name" = "method" } { "#type" = "CDATA" } { "#FIXED" = "POST" } } } (* Test: Xml.notation_def *) test Xml.notation_def get "<!NOTATION not3 SYSTEM \"\">" = { "!NOTATION" = "not3" { "SYSTEM" = "" } } (* Variable: cdata1 *) let cdata1 = "<![CDATA[testing]]>" (* Test: Xml.cdata *) test Xml.cdata get cdata1 = { "#CDATA" = "testing" } (* Variable: attr1 *) let attr1 = " attr1=\"value1\" attr2=\"value2\"" (* Variable: attr2 *) let attr2 = " attr2=\"foo\"" (* Test: Xml.attributes *) test Xml.attributes get attr1 = { "#attribute" { "attr1" = "value1" } { "attr2" = "value2" } } (* Test: Xml.attributes *) test Xml.attributes get " refs=\"A1\nA2 A3\"" = { "#attribute" { "refs" = "A1\nA2 A3" } } (* Test: Xml.attributes *) test Xml.attributes put attr1 after rm "/#attribute[1]"; set "/#attribute/attr2" "foo" = attr2 (* test quoting *) (* well formed values *) test Xml.attributes get " attr1=\"value1\"" = { "#attribute" { "attr1" = "value1" } } test Xml.attributes get " attr1='value1'" = { "#attribute" { "attr1" = "value1" } } test Xml.attributes get " attr1='va\"lue1'" = { "#attribute" { "attr1" = "va\"lue1" } } test Xml.attributes get " attr1=\"va'lue1\"" = { "#attribute" { "attr1" = "va'lue1" } } (* illegal as per the XML standard *) test Xml.attributes get " attr1=\"va\"lue1\"" = * test Xml.attributes get " attr1='va'lue1'" = * (* malformed values *) test Xml.attributes get " attr1=\"value1'" = * test Xml.attributes get " attr1='value1\"" = * (* Group: empty *) (* Variable: empty1 *) let empty1 = "<a/>" (* Variable: empty2 *) let empty2 = "<a foo=\"bar\"/>" (* Variable: empty3 *) let empty3 = "<a foo=\"bar\"></a>\n" (* Variable: empty4 *) let empty4 = "<a foo=\"bar\" far=\"baz\"/>" (* Test: Xml.empty_element *) test Xml.empty_element get empty1 = { "a" = "#empty" } (* Test: Xml.empty_element *) test Xml.empty_element get empty2 = { "a" = "#empty" { "#attribute" { "foo" = "bar"} } } (* Test: Xml.empty_element *) test Xml.empty_element put empty1 after set "/a/#attribute/foo" "bar" = empty2 (* Test: Xml.empty_element The attribute node must be the first child of the element *) test Xml.empty_element put empty1 after set "/a/#attribute/foo" "bar"; set "/a/#attribute/far" "baz" = empty4 (* Test: Xml.content *) test Xml.content put "<a><b/></a>" after clear "/a/b" = "<a><b></b>\n</a>" (* Group: Full lens *) (* Test: Xml.lns *) test Xml.lns put "<a></a >" after set "/a/#text[1]" "foo"; set "/a/#text[2]" "bar" = "<a>foobar</a >" (* Test: Xml.lns *) test Xml.lns get "<?xml version=\"1.0\"?> <!DOCTYPE catalog PUBLIC \"-//OASIS//DTD XML Catalogs V1.0//EN\" \"file:///usr/share/xml/schema/xml-core/catalog.dtd\"> <doc/>" = { "#declaration" { "#attribute" { "version" = "1.0" } } } { "!DOCTYPE" = "catalog" { "PUBLIC" { "#literal" = "-//OASIS//DTD XML Catalogs V1.0//EN" } { "#literal" = "file:///usr/share/xml/schema/xml-core/catalog.dtd" } } } { "doc" = "#empty" } (* Test: Xml.lns *) test Xml.lns get "<oor:component-data xmlns:oor=\"http://openoffice.org/2001/registry\"/> " = { "oor:component-data" = "#empty" { "#attribute" { "xmlns:oor" = "http://openoffice.org/2001/registry" } } } (* Variable: input1 *) let input1 = "<?xml version=\"1.0\" encoding=\"UTF-8\"?> <html>\r <head> <title>Wiki</title> </head> <body> <h1>Augeas</h1> <p class=\"main\">Augeas is now able to parse XML files!</p> <ul> <li>Translate from XML to a tree syntax</li> <li>Translate from the tree back to XML</li> <!-- this is some comment --> <li>this</li> </ul> </body> </html> " (* Test: Xml.doc Test <input1> with <Xml.doc> *) test Xml.doc get input1 = { "#declaration" { "#attribute" { "version" = "1.0" } { "encoding" = "UTF-8" } } } { "html" { "#text" = "\r\n " } { "head" { "#text" = "\n " } { "title" { "#text" = "Wiki" } } { "#text" = " " } } { "#text" = " " } { "body" { "#text" = " " } { "h1" { "#text" = "Augeas" } } { "#text" = " " } { "p" { "#attribute" { "class" = "main" } } { "#text" = "Augeas is now able to parse XML files!" } } { "#text" = " " } { "ul" { "#text" = "\n " } { "li" { "#text" = "Translate from XML to a tree syntax" } } { "#text" = " " } { "li" { "#text" = "Translate from the tree back to XML" } } { "#text" = " " } { "#comment" = " this is some comment " } { "#text" = " " } { "li" { "#text" = "this" } } { "#text" = " " } } { "#text" = " " } } } (* Test: Xml.doc Modify <input1> with <Xml.doc> *) test Xml.doc put input1 after rm "/html/body" = "<?xml version=\"1.0\" encoding=\"UTF-8\"?> <html>\r <head> <title>Wiki</title> </head> </html> " (* Variable: ul1 *) let ul1 = " <ul> <li>test1</li> <li>test2</li> <li>test3</li> <li>test4</li> </ul> " test Xml.doc get ul1 = { "ul" { "#text" = " " } { "li" { "#text" = "test1" } } { "#text" = " " } { "li" { "#text" = "test2" } } { "#text" = " " } { "li" { "#text" = "test3" } } { "#text" = " " } { "li" { "#text" = "test4" } } } test Xml.doc put ul1 after set "/ul/li[3]/#text" "bidon" = " <ul> <li>test1</li> <li>test2</li> <li>bidon</li> <li>test4</li> </ul> " test Xml.doc put ul1 after rm "/ul/li[2]" = " <ul> <li>test1</li> <li>test3</li> <li>test4</li> </ul> " (* #text nodes don't move when inserting a node, the result depends on where the node is added *) test Xml.doc put ul1 after insb "a" "/ul/li[2]" = " <ul> <li>test1</li> <a></a> <li>test2</li> <li>test3</li> <li>test4</li> </ul> " test Xml.doc put ul1 after insa "a" "/ul/li[1]" = " <ul> <li>test1</li> <a></a> <li>test2</li> <li>test3</li> <li>test4</li> </ul> " (* Attributes must be added before text nodes *) test Xml.doc put ul1 after insb "#attribute" "/ul/li[2]/#text"; set "/ul/li[2]/#attribute/bidon" "gazou"; set "/ul/li[2]/#attribute/foo" "bar" = " <ul> <li>test1</li> <li bidon=\"gazou\" foo=\"bar\">test2</li> <li>test3</li> <li>test4</li> </ul> " (* if empty element is allowed to be as root, this test triggers error *) test Xml.lns get "<doc> <a><c/><b><c/></b><c/><c/><a></a></a> </doc>" = { "doc" { "#text" = "\n" } { "a" { "c" = "#empty" } { "b" { "c" = "#empty" } } { "c" = "#empty" } { "c" = "#empty" } { "a" } } } let p01pass2 = "<?PI before document element?> <!-- comment after document element--> <?PI before document element?> <!-- comment after document element--> <?PI before document element?> <!-- comment after document element--> <?PI before document element?> <!DOCTYPE doc [ <!ELEMENT doc ANY> <!ELEMENT a ANY> <!ELEMENT b ANY> <!ELEMENT c ANY> ]> <doc> <a><b><c/></b></a> </doc> <!-- comment after document element--> <?PI after document element?> <!-- comment after document element--> <?PI after document element?> <!-- comment after document element--> <?PI after document element?> " test Xml.lns get p01pass2 = { "#pi" { "#target" = "PI" } { "#instruction" = "before document element" } } { "#comment" = " comment after document element" } { "#pi" { "#target" = "PI" } { "#instruction" = "before document element" } } { "#comment" = " comment after document element" } { "#pi" { "#target" = "PI" } { "#instruction" = "before document element" } } { "#comment" = " comment after document element" } { "#pi" { "#target" = "PI" } { "#instruction" = "before document element" } } { "!DOCTYPE" = "doc" { "!ELEMENT" = "doc" { "#decl" = "ANY" } } { "!ELEMENT" = "a" { "#decl" = "ANY" } } { "!ELEMENT" = "b" { "#decl" = "ANY" } } { "!ELEMENT" = "c" { "#decl" = "ANY" } } } { "doc" { "#text" = " " } { "a" { "b" { "c" = "#empty" } } } } { "#comment" = " comment after document element" } { "#pi" { "#target" = "PI" } { "#instruction" = "after document element" } } { "#comment" = " comment after document element" } { "#pi" { "#target" = "PI" } { "#instruction" = "after document element" } } { "#comment" = " comment after document element" } { "#pi" { "#target" = "PI" } { "#instruction" = "after document element" } } (* various valid Name constructions *) test Xml.lns get "<doc>\n<A:._-0/>\n<::._-0/>\n<_:._-0/>\n<A/>\n<_/>\n<:/>\n</doc>" = { "doc" { "#text" = "\n" } { "A:._-0" = "#empty" } { "::._-0" = "#empty" } { "_:._-0" = "#empty" } { "A" = "#empty" } { "_" = "#empty" } { ":" = "#empty" } } test Xml.lns get "<doc> <abcdefghijklmnopqrstuvwxyz/> <ABCDEFGHIJKLMNOPQRSTUVWXYZ/> <A01234567890/> <A.-:/> </doc>" = { "doc" { "#text" = "\n" } { "abcdefghijklmnopqrstuvwxyz" = "#empty" } { "ABCDEFGHIJKLMNOPQRSTUVWXYZ" = "#empty" } { "A01234567890" = "#empty" } { "A.-:" = "#empty" } } let p06fail1 = "<!--non-validating processors may pass this instance because they don't check the IDREFS attribute type--> <!DOCTYPE doc [ <!ELEMENT doc (a|refs)*> <!ELEMENT a EMPTY> <!ELEMENT refs EMPTY> <!ATTLIST refs refs IDREFS #REQUIRED> <!ATTLIST a id ID #REQUIRED> ]> <doc> <a id=\"A1\"/><a id=\"A2\"/><a id=\"A3\"/> <refs refs=\"\"/> </doc>" (* we accept this test because we do not verify XML references *) test Xml.lns get p06fail1 = { "#comment" = "non-validating processors may pass this instance because they don't check the IDREFS attribute type" } { "!DOCTYPE" = "doc" { "!ELEMENT" = "doc" { "#decl" = "(a|refs)*" } } { "!ELEMENT" = "a" { "#decl" = "EMPTY" } } { "!ELEMENT" = "refs" { "#decl" = "EMPTY" } } { "!ATTLIST" = "refs" { "1" { "#name" = "refs" } { "#type" = "IDREFS" } { "#REQUIRED" } } } { "!ATTLIST" = "a" { "1" { "#name" = "id" } { "#type" = "ID" } { "#REQUIRED" } } } } { "doc" { "#text" = " " } { "a" = "#empty" { "#attribute" { "id" = "A1" } } } { "a" = "#empty" { "#attribute" { "id" = "A2" } } } { "a" = "#empty" { "#attribute" { "id" = "A3" } } } { "refs" = "#empty" { "#attribute" { "refs" = "" } } } } (* we accept dquote, but not single quotes, because of resulting ambiguity *) let p10pass1_1 = "<doc><A a=\"asdf>'">\nasdf\n ?>%\"/></doc>" let p10pass1_2 = "<doc><A a='\"\">'"'/></doc>" test Xml.lns get p10pass1_1 = { "doc" { "A" = "#empty" { "#attribute" { "a" = "asdf>'">\nasdf\n ?>%" } } } } test Xml.lns get p10pass1_2 = { "doc" { "A" = "#empty" { "#attribute" { "a" = "\"\">'"" } } } } (* here again, test exclude single quote *) let p11pass1 = "<!--Inability to resolve a notation should not be reported as an error--> <!DOCTYPE doc [ <!ELEMENT doc EMPTY> <!NOTATION not1 SYSTEM \"a%a&b�<!ELEMENT<!--<?</>?>/\''\"> <!NOTATION not3 SYSTEM \"\"> ]> <doc></doc>" test Xml.lns get p11pass1 = { "#comment" = "Inability to resolve a notation should not be reported as an error" } { "!DOCTYPE" = "doc" { "!ELEMENT" = "doc" { "#decl" = "EMPTY" } } { "!NOTATION" = "not1" { "SYSTEM" = "a%a&b�<!ELEMENT<!--<?</>?>/\''" } } { "!NOTATION" = "not3" { "SYSTEM" = "" } } } { "doc" } test Xml.lns get "<doc>a%b%</doc></doc>]]<&</doc>" = { "doc" { "#text" = "a%b%</doc></doc>]]<&" } } let p15pass1 = "<!--a <!DOCTYPE <?- ]]>-<[ CDATA [ \"- -'- -<doc>--> <!----> <doc></doc>" test Xml.lns get p15pass1 = { "#comment" = "a <!DOCTYPE <?- ]]>-<[ CDATA [ \"- -'- -<doc>" } { "#comment" = "" } { "doc" } let p22pass3 = "<?xml version=\"1.0\"?> <!--comment--> <?pi some instruction ?> <doc><?pi?></doc>" test Xml.lns get p22pass3 = { "#declaration" { "#attribute" { "version" = "1.0" } } } { "#comment" = "comment" } { "#pi" { "#target" = "pi" } { "#instruction" = "some instruction" } } { "doc" { "#pi" { "#target" = "pi" } } } let p25pass2 = "<?xml version = \"1.0\"?> <doc></doc>" test Xml.lns get p25pass2 = { "#declaration" { "#attribute" { "version" = "1.0" } } } { "doc" } test Xml.lns get "<!DOCTYPE doc [ <!ELEMENT doc EMPTY> ]> <doc></doc>" = { "!DOCTYPE" = "doc" { "!ELEMENT" = "doc" { "#decl" = "EMPTY" } } } { "doc" } test Xml.lns get "<doc></doc \n>" = { "doc" } test Xml.lns get "<a><doc att=\"val\" \natt2=\"val2\" att3=\"val3\"/></a>" = { "a" { "doc" = "#empty" { "#attribute" { "att" = "val" } { "att2" = "val2" } { "att3" = "val3" } } } } test Xml.lns get "<doc/>" = { "doc" = "#empty" } test Xml.lns get "<a><![CDATA[Thu, 13 Feb 2014 12:22:35 +0000]]></a>" = { "a" { "#CDATA" = "Thu, 13 Feb 2014 12:22:35 +0000" } } (* failure tests *) (* only one document element *) test Xml.lns get "<doc></doc><bad/>" = * (* document element must be complete *) test Xml.lns get "<doc>" = * (* accept empty document *) test Xml.lns get "\n" = {} (* malformed element *) test Xml.lns get "<a><A@/></a>" = * (* a Name cannot start with a digit *) test Xml.lns get "<a><0A/></a>" = * (* no space before "CDATA" *) test Xml.lns get "<doc><![ CDATA[a]]></doc>" = * (* no space after "CDATA" *) test Xml.lns get "<doc><![CDATA [a]]></doc>" = * (* FIXME: CDSect's can't nest *) test Xml.lns get "<doc> <![CDATA[ <![CDATA[XML doesn't allow CDATA sections to nest]]> ]]> </doc>" = { "doc" { "#text" = "\n" } { "#CDATA" = "\n<![CDATA[XML doesn't allow CDATA sections to nest" } { "#text" = "\n]]" } { "#text" = ">\n" } } (* Comment is illegal in VersionInfo *) test Xml.lns get "<?xml version <!--bad comment--> =\"1.0\"?> <doc></doc>" = * (* only declarations in DTD *) test Xml.lns get "<!DOCTYPE doc [ <!ELEMENT doc EMPTY> <doc></doc> ]>" = * (* we do not support external entities *) test Xml.lns get "<!DOCTYPE doc [ <!ENTITY % eldecl \"<!ELEMENT doc EMPTY>\"> %eldecl; ]> <doc></doc>" = * (* Escape character in attributes *) test Xml.lns get "<a password=\"my\!pass\" />" = { "a" = "#empty" { "#attribute" { "password" = "my\!pass" } } } test Xml.lns put "" after set "/a" "#empty" = "<a/>\n" (* Issue #142 *) test Xml.entity_def get "<!ENTITY open-hatch SYSTEM \"http://examplecom/OpenHatch.xml\">" = { "!ENTITY" = "open-hatch" { "SYSTEM" { "#systemliteral" = "http://examplecom/OpenHatch.xml" } } } test Xml.entity_def get "<!ENTITY open-hatch PUBLIC \"-//Textuality//TEXT Standard open-hatch boilerplate//EN\" \"http://www.textuality.com/boilerplate/OpenHatch.xml\">" = { "!ENTITY" = "open-hatch" { "PUBLIC" { "#pubidliteral" = "-//Textuality//TEXT Standard open-hatch boilerplate//EN" } { "#systemliteral" = "http://www.textuality.com/boilerplate/OpenHatch.xml" } } } let dt_with_entities = "<!DOCTYPE server-xml [ <!ENTITY sys-ent SYSTEM \"sys-file.xml\"> <!ENTITY pub-ent PUBLIC \"-//something public//TEXT\" \"pub-file.xml\"> ]>" test Xml.doctype get dt_with_entities = { "!DOCTYPE" = "server-xml" { "!ENTITY" = "sys-ent" { "SYSTEM" { "#systemliteral" = "sys-file.xml" } } } { "!ENTITY" = "pub-ent" { "PUBLIC" { "#pubidliteral" = "-//something public//TEXT" } { "#systemliteral" = "pub-file.xml" } } } } test Xml.doctype put dt_with_entities after rm "/\!DOCTYPE/\!ENTITY[2]"; set "/\!DOCTYPE/\!ENTITY[. = \"sys-ent\"]/SYSTEM/#systemliteral" "other-file.xml" = "<!DOCTYPE server-xml [ <!ENTITY sys-ent SYSTEM \"other-file.xml\"> ]>" test Xml.lns get (dt_with_entities . "<body></body>") = { "!DOCTYPE" = "server-xml" { "!ENTITY" = "sys-ent" { "SYSTEM" { "#systemliteral" = "sys-file.xml" } } } { "!ENTITY" = "pub-ent" { "PUBLIC" { "#pubidliteral" = "-//something public//TEXT" } { "#systemliteral" = "pub-file.xml" } } } } { "body" } test Xml.lns put "<?xml version=\"1.0\"?> <body> </body>" after insa "!DOCTYPE" "#declaration"; set "\\!DOCTYPE" "Server"; set "\\!DOCTYPE/\\!ENTITY" "resourcesFile"; set "\\!DOCTYPE/\\!ENTITY/SYSTEM/#systemliteral" "data.xml" = "<?xml version=\"1.0\"?><!DOCTYPE Server[ <!ENTITY resourcesFile SYSTEM \"data.xml\">]> <body>\n</body>"