Tweaks to request element
authorAndy Bavier <acb@cs.princeton.edu>
Thu, 18 Feb 2010 18:39:36 +0000 (18:39 +0000)
committerAndy Bavier <acb@cs.princeton.edu>
Thu, 18 Feb 2010 18:39:36 +0000 (18:39 +0000)
sfa/managers/pl/pl.rnc
sfa/managers/pl/pl.rng

index a4295d2..098aa2e 100644 (file)
@@ -24,7 +24,9 @@ node = element node {
    sliver*
 }
 request = element request {
-   sliver+
+   attribute name { xsd:NMTOKEN },
+   sliver_defaults?,
+   sliver*
 }
 sliver = element sliver { 
    attribute nodeid { xsd:ID }?,
index 525db3e..3b46f88 100644 (file)
   </define>
   <define name="request">
     <element name="request">
-      <oneOrMore>
+      <attribute name="name">
+        <data type="NMTOKEN"/>
+      </attribute>
+      <optional>
+        <ref name="sliver_defaults"/>
+      </optional>
+      <zeroOrMore>
         <ref name="sliver"/>
-      </oneOrMore>
+      </zeroOrMore>
     </element>
   </define>
   <define name="sliver">