ÿØÿà JFIF    ÿÛ „ !.%+&8&+/1555$;@;4?.451 4,$,44444444444414444444444444444444444444444444444444ÿÀ  á á" ÿÄ     ÿÄ ?    !1AQaq"2‘¡±ÁðBRbrÑá#‚’¢²3S CñÿÄ   ÿÄ !    !1QAa‘2ÿÚ   ? 5˜Z¯V¦cø)›t/? z¨±>Õ5€¶‹Á¤·¼z¼Ü¬+ñ®v¤¨_ˆR­BFn©—˜ý®ç̝P8gýt·ÉSTŦˆìät?þé¼íìN/Þa)ì–í6ô… Ï¿øÃj´¿KÇü]ÿ ªô¹-eKànëÕHTx}ýSÜ›ÿ ”7Ø×&µ<¦  ¥ÑO¶[Ù¯ä¨ÞÃÿ PZ-¬;#õ|•oaÿ ©CìÞz3˜öː/¤­ñTûIØ}š^ mÓ%ªxˆ¥ÉŸu=Z+ISe¿45™¼u;ú&WØ÷€æßQ™®{|íx*TC“#ZŠìZ§²‹ 6pv…³¿¡äª*áZÐ%ÒOáˆo"x«OHk w±æ+¬V(kMúŸ5Vö«$ ÁrÏbàb57/luR ¸ÑÛj Òµì`Ðœq­û žICÀÊ•©4€Âcà¨Ï€O´<èÐ:›ù(Ë^L8þ‘ÍÌ#¸Ð_Ì©ÙK(Öz 4¬û+¸;ü’V’84‘¬ÃŽ:[â‡ÔÌáõp¢~§ªlæ£ö{®G>J¼"°‡7¯ÆÉèßû ‹É‹§ÁòÃýâßî ^ƾÙõ‹×óH#«LP½ïX=xÑÍ$|W?•~• îëÔ©ª‹ {ÝT…Kÿ ”hûâá)J*ö˜–ÔU;iÇ€/ ÆþjóZ\ýwØ=Ìm ºèËL9 ýèÆð/¨’¥öo=nË.%Îì ŽÕ¯È|{Oj²ƒE6e/ßdÄõ²Ìâ1O®ò×TsəԸhOMýíMˆ¿¼H˜l²,7Â¥#MF/Úf°Ö½± ¸–dr‹NýÊ íjqx{œÉ ä-È ¦ øÄër¨q°ð †nцýÑÄÆ’mä…n<0È™;ÁÝá¯ÁZƒ7FÀmì­ É&9ˆîéi¶ùN§Y• ÃZãAâ?•‡©‰ , ó¾IŸŠc1 4â&y­&pŠ­6;M À 0¹qç»p.á …ŸÅáK@%6·y6ƒ‰3?”úºŽ‰éX5ªPT §µ!=Mž«Ú½‹ÅgÂSâÉaþÓoö–¯ÁÔìR>5éÿ üs¶ÆUcÌ kÇR ]ÿ ù¬¼«VŽ;Â|‡~¢¦”ÏÅ°æ {L™Õ°Óv¹ò¸írŽ¡×¢CÃ!íVÕ {¶»sŒNPg/ "uÕbkm²“$ďå¿é¹§°½æz¯6 †s¿!s–wÚÝ“™Œ °.ûj>·+™Òa…©Œ&rÝÎtÛë긪Ît’LAVp%c Úý[ÄzJ¾ÇàXXç@˜ó<êL]·T˜¾¥1Ó©V‡g´æ½¦Ý@¹óø!_@´ÞâSÁ —S3™•& ]@JHÚý©ZŽ €×æÔr»Áf!‡yÞ4Mv*èÓã_{‘åóUuљØ«Oïé*®EvÑ Œ÷‡U \"㪒ÍK+À 4“M¡ï:0¥5í!'<@î´”>Ç»&Z–ïCCV˜Ì5Šo&îhè.žû |ÓK©h$s6KìŒëã)¹hI¦GïOåóI;ììü#É$Š0…Ææ¥TØ.5­¾gn´ “ÂÖ\:hœ89G)J@„}œ:’Ò{/Š"¦_Æ×7Æ3VÇŠÊa]ÚŒÙ€Ä–=®uÁßâACZƒ§§£ Qnâ:«,×{tyø¬iÛcœÜÄ€H½ÄÍCk´÷šß .W'b¤Íåh]÷€=,Žv×cÚEÚHXJX¶îo¨FÒtèöŸ>ªª6[J®Fµ£sGÁeqõfe\íjÒÐïÄÐGˆe1Ø‹.Ø”‘Ëuø Y­ˆÜ ŽG|zùªüMpDnQWÄ”%JŠ™)â*p@Örš«ÕT2Ð%ˆG#ª„ ·¤!°ŸOTÂT¸aÚ%4&h™LµšØüÐ.F¿²ÐÞ_Ç‚¾ÅÃaÜ÷09Æ q€öy˜v‡85õN÷]¬äѼóS{°_MŽ¬úÔ#°Ç¸0åÞè2ëôPcvÆw9®ií1Ä8F™˜à‰´+‰Ik1òÝ7“Ñ×ÒsÝ\x‚h`ÞÑ`ó"|µEcý£n˜h`}GÞ !±ù²Ápü²ß6 0ïi󜵩SÈÇ7˜-ÕURO˜¦´f$ªž-Í6(œ}<„ éc øs]ŽŽ„*—¾ ìdŽ„)méª\¿êÎIg¾ØÞ~I#C/¼¼´EÁÈŽi8“©õådô·>euä ƒ'Ê×लR1ÉJE1ÐAát`t;ÇР%Ý<‡¥„ÍÆ`×Oyó)õiI€ñQaŸ4Ûù\áàaÃÔ¹HÃu¹*k€¦<„e S‡&õÏ B!ŽhüÞ`yj}mªf×\¿ Ç~æ­9‡û\՞Ǖg²1Žû5V7 !àöšm° c`ܬøÇìµÒ'P"?…´Ö,"§^•õŽ¨sÔ)6˜sæéÍR¼ ò|Sl”‹7 nPW Gòú÷½§O¯‡„l¡kSÞŒr½PÊ@æ¢pŽ-mÿ #Ÿ˜Àº¶Áä¦;ïÔæ$1££`“Õ>„—·ž)ßð³ñ#Ï Ô$¶œ‰ÊE‹À;÷º ¯«P:Ñ”8–IÊtpÞ3ª“>ê“þës4ò2OÏÕ­±zô†Õ§‰.÷ä¸;¿˜“'œ›žª}«Œ{ª±Ì 9ÔóÞÕ‡0 $íWV3Üì¬ —@kÝ4@¿r¼±½¬™›?øØæ´'Áé®CË3-g$˜ö‡×auÚi´Žp/êÛ æF›Ú2v‹ã¿¿,nB1̨ƃqÞa5͝@&Æû“él÷ \C²½UÍc ¯k×¢U ÖéQå™—-r wô ÞÏ<Ò=&=ÿ Ôê Òêˈt,i—;LîÜ á¸*ÚÃ1$êL•LÍ <É)ýÐà’ ;F™{ƒ™˜€&'}‚ãÄK`¡ÞT@I;®žZóè‚s’7®°›+§O­Åq©é»²9<Ô J ¼9O’HL»Ùïì¸rk¼Ž_ý‘TŸu[²ßÚŒ·ü÷B%¯E ŸÔX5êO´ Ç•€’I0 ÉJX` ñ¹õ%;µŸD‘«´€àwÒ™U ûئžÖö\×®×´8 ½‡ºÐÆÓ§?Àkmœ=;d5*@-ì0F Rªýš[Ü6âö̃ڸr*KA9· u*µæ£?U¸Âêí†8@¦X4 e-ò„0s{ HâUpU?¼mñRa°®a%Ð'tÉ×’\¾ÊÉ]t›h>·(Ë@R¼¡Ãt h}’O÷au<+nT…Ö…MӐ??Óe95 q>í/;&JSû °¯ÊéÞ øƒ*Ã2½Ài&:nôUl=¾¿5eˆ3”ñc|Ú2V”>„»&eE;«ÚäC p¢Û úy 9š[ŒÌx¼擼A&DåÒ¯ˆ¤ÀÌ;"˜ ÏQä¸åhÊ}Ûq«Û0WžÒ|»€ø®öCm5•\ÇÀ§Pe3£]0ÃàLDÉ‰1øªxjgwT‚÷¿LΨK‹›ùs—xˆÜ±µ kæ¸f‰‰ÜGk/LÛØ6d9ò¶ùA{ƒA3š/¬D¬khÓk‰`˜"㯒r¿±Óã jx‡°e}<Ñø\3y:'À•/h½Í€Ç4~g ?Û(¼]v‘ªlKÎâ~?O‚W%{Ì:“'©úNq¾›úo(X’¥¯ˆ nFê{Ç€ü?º'ë ø‹ì Þ09ŒÌç9Æ —ËC`j@ÓÄ(+a‹un¸#ÂꟋ{K`‘ÑÍÍ'à´»/Û,KW;Þ4²þð ï Nm|~fGÏ(…³Ã)«1ö­Õ ¥‡¨©ƒÃ™ü-s=à=U66Ï«Ýc蓦W¹íž®›nÔ%êÇìŒ<#Ü×84ån®Ð ÒåOC` ñânÑs‡¢ç 1õ%Îhì½Ã½® e:ݼUZo™`  ÅZŸŒÊ«ê1ÏÄo$q¹Þ€©ˆhÐÉä¯ñ[!…Ú˜àJ:x2$Íß&PåT£6ç— ‡Í*4Ýšçjÿ ‰É nófÐ ó(L5C•åÆ\rMÒ@ò }y-W}™üýVù—ú¢=Ù”c®‘< M ž ´Phr ¦©TD ‘ù.$´÷O‡‘V2Æò.=IUŒ=ž‡â¬i™aþÓåÙ?òUø'ØÖ•.~* šTŒ!•-×áºTâ®ä#õü'´ eýlYÅÓeÕKÂrT"CÚ@u!Óxƒ{š3€}1¿(r}%«nËamjÑ%ÑNEò v ˜à  σöK³,*º.àzù¨™Ó ÚçâU¦*¿ 9{%Ö¹ njûdaXöb) kÛƱûÓ\°M7ˆÂ=û›ç¿Ã‚­V»Cg–8ÙêE- j)k$º`Ã-ùEýeBÆÇ]c¡°ñty&Òd0nõ'¡W+ƒ*|–øµFa\GQªEAÔp5\Ǽ·¼Ç8·õ -â§Ú[ ‡ uZeÖ 3}×d'+¹:ð+K†Û®s!Ï$úe€<Û”x)1»a­¡LC]¸µík…ÚàA»AYº{†ªS[¦5HÒ7ù --,ísòDØ€èk ÞÀîÜ ò@â( ËNˆë›4ô½•/¦o‡€Û7 ê•ÆêòðÜy'Án½µ á˜ݦ ndeo…[ì¶Ê,¥R³Ä=À±—–ß;£™´ñSâ*g§”ïaið‘Jå~™ÓÞ ß³Õ¢»8x埒²52>AÊb&-÷\7´éÄù€T˜,w;3{ï˜k…à¹ÄqÀ«œ{€\ ˆ¾[´¨јr &Úé„Ívˆ±8†¿]|¬ņ4I×pÞS1ÈÖz‰#Ìv‡G!YNògñ:màTz¢Ý1ô©^O=~ë|5Bã™ç•¼µõ•bÆ@úÕS¬ÈŒ#¬zünrŸ û” Z²•ï›èðV"ÁHÚý©wÝ €7¼Ìu1hÑa3Éä û f$o¿É ™Ú›ÝçnpÒ3äÌ3†Í§,Äï]$‰/pê †«À¼¸e9­Æê_C]žƒ·ý·frÁN«, E=›Çq -‰öŒ:aÏ¿±í&£Í:-} 84‘ÿ eƒQÑeëSsuiA ³g㟥ú£?ÿ ʼn*”“÷aühe:ÊWa@ÒÞk±eØ] F Ô—r.åä˜ @ö¥ªZoÐýYL·¥S²G/‡ñ <~*ZÆ´è>JlòàÛƽÿ 窘ìGN¢:I®KšJp/`íIÁÀõ#Ä-€ö­šµŒoF4|ÆQØÆ@Ì|£Ô…¢À{9˜è½Üó›€ôYÒÎYsið;ís¤€à²ˆ‚4qÉVŒI$ ‰"° æµ8cXGjœˏ¡Aâý•ËÜ¢ûï e·çLx']á"oÅÎê3¯Ç—¹”ó0nå‚âg{Œñ> S´˜îè°g238‚ãköÝfÚd´6Ò€;ò÷±¢™¼›º ¢Æ'¥Ðx'e¬ç ]bÈÆV¢ó‹kýBO ðÊâ$Ÿ!×T 3Mýמ žìٍàÌü‘8÷€àæØ8æ©6‰©L´«…oãpð„~Çk‰!ñ;‹”ÛžÍ àž±z Ÿôû øŸÝužÏ;ÿ #|u6™Þ¬ÚˆÐõA4¶â|ôl|Ê2ŽÇ¤ÝÅÇY.<#Aí.k§hóF‚”Y; M½Ö4hŸ4&›­¿tès´%FìL¥£Ãk‰ÇT¤haÁ¤ÚxfÉ`ÑìË›>i 3t‚:,–+^÷´–{Û–Nxi"x‘Ûg î¨>¥Õ܁ùZH,2Û“:8xÊ¢Çí9.É-Ìâã-=çjwµS˜dütžçwýGòú®®ûº_ˆýx$–¡ãøO EÚÛÏ÷R„×w+3£Á£öUMyR²¹âŒ°š›¸Ñãò9§Ó_Dl+Ùßc›úšGÅÌc†Ž!Ko=¶.‘Îÿ c²(2®V mª.ÿ ¹B›¹å ù„öŸSV>™ü¯$y:G¢Z×àøúdî¹û­·ýÇ´:•c LÍõi_‹ö+ÎæGÊè>OŠ•äž´§Þ{X}¨1ÚTc›»Qþ•êô°t¿OP?eæ~É{5]•ÙR£r5†nZ\ã@ &îJõ ¾àC°þV>fé¥/ü5ñÊIº_é5 ;e­h<@ Ä&æÃëE%;X,ÒãÆÞ`Oò¦kŸm#˜!ÀyÄ¢| óLšò¥Ä` ¶R=|ÈCâh5ò3DˆïF†ðÒ#ÅìÛœ?¸yhBãœí ZxßÎÄhºRK„`Þödvײ™ÀÈÑÒgŒuY w³%†ƒÓzõ ÖÏp‚dH®¦A´ù§»ÓÇMæ~)ˆð‡û:ù&Ä •vGD´À n ݇¼Ö8Fö óáà£~Ë¥x`oK|Ä?fxiØü%pìR>éò+Û±éÎ>núlFŤ'tq8LZÏvÃ?„¡ß±È⽆¯³íü@x|PöUäèØã¡ð‚ŒAìÏ"vÍwóŸÍ{ ý0.z È•Ö{,N¡£¡ŸKÕÙž>Ýœþ ÍÀ°<×EA!Å‚D™IúOÍ¡>ôG}Â` ÍßkÜL™Ž Þð™ {IøF²¹òQ3&!ÃÂÞz.d&Ï-sH¸,Ôõ˜ŽP€ 77ˆÝ¼ÊëÜw =cÕ Ú,ØÐ5ÎYÐ)ì´öœgŒ[¤ßv㙑8心>h]§µháYš£²ºÑ.{Ï7Sð•?´~×SÃKýJÛ˜ ™Íäiúu<µX¶1õ^kâçIÑ£sZ4h>j*ÔšD:4­¿_ ÷¸ Õxæÿ ¸?Mù _•­ÊÐ ä ÷ý ÑwL œ­ïnTkÛUÍN©ë:¦fV ¶ÜÔÜMªÅâA½–¿R×TXš-%iTÊT•‡Ù‚JôϐZxWÑè‰f‰òG º ×Õû2aZ7OU3[“×AT–ÞŒ…-‘¤”Ì ì&(ˆ¿­•ƒkï’:ðY¦W‘ Å)“†‘˜³Åtcø˜ñTÂwÚÇ4|üLÇªí–v- qˆèU qPE.†â‘˜µ Æ,ÐÅs]8¾„oúÑ i>ÜxxÈó)ƒ ´æÁâØ$À‰vžŸf$Ž |ãw;ÀÁIJ»b` {¦Ó¤Ú$©YÀ‘n@Óïž«9J¼êG m¤ ܯ¹ÌW4€ÐÒÅÛ‡#褕Ÿn-?í|с¥÷Ú¹¬'´ÞÜ9ÓK `hê£SÄSà?7—Wí_´…óB›»:=Ãïq`<8ñÓŒÑlú2d¬ê³£hÖ[l|$vÝro~'R®‰§°ñmY ͧäP |PUª¹·:3Œ[Û{Xÿ ºâ@‚W–Äé u‚ ¯´*=íή.pûÒdt @G‰¬ s¸ ëÉücr ÞæѨÊ@>¤¢Ö±. Þ'¯°ÌME[YéïĵÂCå½ Ué©Áû'Ê9%eÔðNU”ë‘ÌsD3/®+UI˜9h.WC”빓$#:pz:YÓ ¿xž* ³$Í +$kñAŠ‹†¢ Uê>¸)_š¬÷©ßAÂÔb9ÇU ¯¾á•9¯ÏÏ÷O÷¼¼Fähal1‰3Ì[Ïr•´UCksNÐ] R‘¸¥H+§Šé†c©vÖÞ0iÓ76s†î!§=ß ¼~Ô'°Ãmäoäš³ªøi1úÉ)³yV8 CLÄØÁ‘WYïi€H6ÖÑiámø^ÈY´°Ñ7¥Û*—Ñ©L«Qƒï—Ùrÿ ›£Ð*š¸ˆL©ˆ$ˆ ÷¾D§9È®«qbqC)–ˆïv´çñsÑVT­Ø, <àïºÀO«Jý·õ àfPìð .wFšir´þ’2_Y *Æ€x\« ì€9š@ Ž|F⇥ˆkZ@hÖÄ0t¿-<“‹qµ¾*ZL¤Ú)&BJpÓF5=$„at*Zš$’ÑtdûÝRI1 2Ž‰$€$I$#‰SÞ’Hë¬ï;Á$¡t$’`<(ñÇt)$‡Ð.Êf¢X’Kt=Éé$‚ˆªè¢oÝëòI%Rgcª÷ŠyI%¡‰ÿ !ñ)´õ $¤ Ô’IIGÿÙ(* Module: Test_Xml Provides unit tests and examples for the 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 "" = { "#comment" = " declarations for & " } (* Test: Xml.comment This syntax is not understood. *) test Xml.comment get "" = * (* 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 "" = { "#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" { "#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" { "#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" } } (* Test: Xml.doctype This is an example of a !DOCTYPE tag with !ELEMENT children tags. *) test Xml.doctype get " ]>" = { "!DOCTYPE" = "foo" { "!ELEMENT" = "bar" { "#decl" = "(#PCDATA)" } } { "!ELEMENT" = "baz" { "#decl" = "(bar)*" } } } (* Group: Attributes *) (* Variable: att_def1 *) let att_def1 = "" (* Variable: att_def2 *) let att_def2 = "" (* Variable: att_def3 *) let att_def3 = "" (* 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" = "" } } (* Variable: cdata1 *) let cdata1 = "" (* 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 = "" (* Variable: empty2 *) let empty2 = "" (* Variable: empty3 *) let empty3 = "\n" (* Variable: empty4 *) let empty4 = "" (* 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 "" after clear "/a/b" = "\n" (* Group: Full lens *) (* Test: Xml.lns *) test Xml.lns put "" after set "/a/#text[1]" "foo"; set "/a/#text[2]" "bar" = "foobar" (* Test: Xml.lns *) test Xml.lns get " " = { "#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" = "#empty" { "#attribute" { "xmlns:oor" = "http://openoffice.org/2001/registry" } } } (* Variable: input1 *) let input1 = " \r Wiki

Augeas

Augeas is now able to parse XML files!

  • Translate from XML to a tree syntax
  • Translate from the tree back to XML
  • this
" (* Test: Xml.doc Test with *) 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 with *) test Xml.doc put input1 after rm "/html/body" = " \r Wiki " (* Variable: ul1 *) let ul1 = "
  • test1
  • test2
  • test3
  • test4
" 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" = "
  • test1
  • test2
  • bidon
  • test4
" test Xml.doc put ul1 after rm "/ul/li[2]" = "
  • test1
  • test3
  • test4
" (* #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]" = "
  • test1
  • test2
  • test3
  • test4
" test Xml.doc put ul1 after insa "a" "/ul/li[1]" = "
  • test1
  • test2
  • test3
  • test4
" (* 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" = "
  • test1
  • test2
  • test3
  • test4
" (* if empty element is allowed to be as root, this test triggers error *) test Xml.lns get " " = { "doc" { "#text" = "\n" } { "a" { "c" = "#empty" } { "b" { "c" = "#empty" } } { "c" = "#empty" } { "c" = "#empty" } { "a" } } } let p01pass2 = " ]> " 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 "\n\n<::._-0/>\n<_:._-0/>\n\n<_/>\n<:/>\n" = { "doc" { "#text" = "\n" } { "A:._-0" = "#empty" } { "::._-0" = "#empty" } { "_:._-0" = "#empty" } { "A" = "#empty" } { "_" = "#empty" } { ":" = "#empty" } } test Xml.lns get " " = { "doc" { "#text" = "\n" } { "abcdefghijklmnopqrstuvwxyz" = "#empty" } { "ABCDEFGHIJKLMNOPQRSTUVWXYZ" = "#empty" } { "A01234567890" = "#empty" } { "A.-:" = "#empty" } } let p06fail1 = " ]> " (* 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 = "'">\nasdf\n ?>%\"/>" let p10pass1_2 = "" 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 = " ?>/\''\"> ]> " 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�?>/\''" } } { "!NOTATION" = "not3" { "SYSTEM" = "" } } } { "doc" } test Xml.lns get "a%b%</doc></doc>]]<&" = { "doc" { "#text" = "a%b%</doc></doc>]]<&" } } let p15pass1 = " " test Xml.lns get p15pass1 = { "#comment" = "a -<[ CDATA [ \"- -'- -" } { "#comment" = "" } { "doc" } let p22pass3 = " " test Xml.lns get p22pass3 = { "#declaration" { "#attribute" { "version" = "1.0" } } } { "#comment" = "comment" } { "#pi" { "#target" = "pi" } { "#instruction" = "some instruction" } } { "doc" { "#pi" { "#target" = "pi" } } } let p25pass2 = " " test Xml.lns get p25pass2 = { "#declaration" { "#attribute" { "version" = "1.0" } } } { "doc" } test Xml.lns get " ]> " = { "!DOCTYPE" = "doc" { "!ELEMENT" = "doc" { "#decl" = "EMPTY" } } } { "doc" } test Xml.lns get "" = { "doc" } test Xml.lns get "" = { "a" { "doc" = "#empty" { "#attribute" { "att" = "val" } { "att2" = "val2" } { "att3" = "val3" } } } } test Xml.lns get "" = { "doc" = "#empty" } test Xml.lns get "" = { "a" { "#CDATA" = "Thu, 13 Feb 2014 12:22:35 +0000" } } (* failure tests *) (* only one document element *) test Xml.lns get "" = * (* document element must be complete *) test Xml.lns get "" = * (* accept empty document *) test Xml.lns get "\n" = {} (* malformed element *) test Xml.lns get "" = * (* a Name cannot start with a digit *) test Xml.lns get "<0A/>" = * (* no space before "CDATA" *) test Xml.lns get "" = * (* no space after "CDATA" *) test Xml.lns get "" = * (* FIXME: CDSect's can't nest *) test Xml.lns get " ]]> " = { "doc" { "#text" = "\n" } { "#CDATA" = "\n\n" } } (* Comment is illegal in VersionInfo *) test Xml.lns get " =\"1.0\"?> " = * (* only declarations in DTD *) test Xml.lns get " ]>" = * (* we do not support external entities *) test Xml.lns get "\"> %eldecl; ]> " = * (* Escape character in attributes *) test Xml.lns get "" = { "a" = "#empty" { "#attribute" { "password" = "my\!pass" } } } test Xml.lns put "" after set "/a" "#empty" = "\n" (* Issue #142 *) test Xml.entity_def get "" = { "!ENTITY" = "open-hatch" { "SYSTEM" { "#systemliteral" = "http://examplecom/OpenHatch.xml" } } } test Xml.entity_def get "" = { "!ENTITY" = "open-hatch" { "PUBLIC" { "#pubidliteral" = "-//Textuality//TEXT Standard open-hatch boilerplate//EN" } { "#systemliteral" = "http://www.textuality.com/boilerplate/OpenHatch.xml" } } } let dt_with_entities = " ]>" 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" = " ]>" test Xml.lns 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" } } } } { "body" } test Xml.lns put " " after insa "!DOCTYPE" "#declaration"; set "\\!DOCTYPE" "Server"; set "\\!DOCTYPE/\\!ENTITY" "resourcesFile"; set "\\!DOCTYPE/\\!ENTITY/SYSTEM/#systemliteral" "data.xml" = "]> \n"