X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Frtests%2Fcanonxml%2Fdata_valid%2Fatt_normalization%2F001.xml;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Frtests%2Fcanonxml%2Fdata_valid%2Fatt_normalization%2F001.xml;h=b13acd2b895d27b5daf90f861596ce558c836b01;hb=c03d2c1fdab8d228cb88aaba5ca0f556318bebc5;hp=0000000000000000000000000000000000000000;hpb=758057e85325f94cd88583feb1fdf6b038e35055;p=helm.git

diff --git a/helm/DEVEL/pxp/pxp/rtests/canonxml/data_valid/att_normalization/001.xml b/helm/DEVEL/pxp/pxp/rtests/canonxml/data_valid/att_normalization/001.xml
new file mode 100644
index 000000000..b13acd2b8
--- /dev/null
+++ b/helm/DEVEL/pxp/pxp/rtests/canonxml/data_valid/att_normalization/001.xml
@@ -0,0 +1,61 @@
+<?xml version="1.0"?>
+
+<!DOCTYPE any [
+
+<!ENTITY x PUBLIC "x" "" NDATA p>
+<!ENTITY y PUBLIC "x" "" NDATA p>
+<!ENTITY z PUBLIC "x" "" NDATA p>
+
+<!NOTATION p PUBLIC "image/gif">
+<!NOTATION q PUBLIC "image/jpeg">
+<!NOTATION r PUBLIC "image/png">
+
+<!ELEMENT el EMPTY>
+<!ATTLIST el        
+          cdata     CDATA     #IMPLIED
+          id        ID        #IMPLIED
+          idref     IDREF     #IMPLIED
+          idrefs    IDREFS    #IMPLIED
+          entity    ENTITY    #IMPLIED
+          entities  ENTITIES  #IMPLIED
+          nmtoken   NMTOKEN   #IMPLIED
+          nmtokens  NMTOKENS  #IMPLIED
+          enum      (a|b|c)   #IMPLIED
+          notation  NOTATION (p|q|r)  #IMPLIED
+>
+
+<!ELEMENT any ANY>
+]>
+
+<any>
+  <el cdata="a b c"/>
+  <el cdata=" a b c "/>
+  <el cdata="  a  b  c  "/>
+  <el id="A"/>
+  <el id=" B "/>
+  <el id="  C  "/>
+  <el idref="C"/>
+  <el idref=" A "/>
+  <el idref="  B  "/>
+  <el idrefs="A B C"/>
+  <el idrefs=" A B C "/>
+  <el idrefs="  A  B  C  "/>
+  <el entity="x"/>
+  <el entity=" x "/>
+  <el entity="  x  "/>
+  <el entities="x y z"/>
+  <el entities=" x y z "/>
+  <el entities="  x  y  z  "/>
+  <el nmtoken="a"/>
+  <el nmtoken=" a "/>
+  <el nmtoken="  a  "/>
+  <el nmtokens="a b c"/>
+  <el nmtokens=" a b c "/>
+  <el nmtokens="  a  b  c  "/>
+  <el enum="a"/>
+  <el enum=" a "/>
+  <el enum="  a  "/>
+  <el notation="p"/>
+  <el notation=" p "/>
+  <el notation="  p  "/>
+</any>