]> AND Private Git Repository - blast.git/blobdiff - reference.xsd
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
started clkconvert output gen
[blast.git] / reference.xsd
index 9442528904882607cb97adba5c167f8fbffbaf64..259506f3214f70768e57a322f594aa8f7668c7ab 100644 (file)
     <xs:attribute name="name" type="xs:string"/>
     <xs:attribute name="clock" type="xs:string"/>
 
+    <xs:simpleType name="typespecial">
+      <xs:restriction base="xs:string">
+       <xs:enumeration value="source"/>
+       <xs:enumeration value="sink"/>
+       <xs:enumeration value="clkconvert"/>
+      </xs:restriction>
+    </xs:simpleType>
+    
     <xs:simpleType name="typeparam">
       <xs:restriction base="xs:string">
        <xs:enumeration value="string"/>
       <xs:complexType>
        <xs:group ref="blockElmtGroup"/>
        <xs:attribute name="version" type="xs:string" use="optional" />
-       <xs:attribute name="special" type="xs:nonNegativeInteger" use="optional" />
+       <xs:attribute name="special" type="typespecial" use="optional" />
       </xs:complexType>
     </xs:element>