Fix aadl_xml XSD for boolean property value type

This commit adds a boolean property value type in the XSD for aadl_xml to match the current design. GitHub Issue #287 #300
OpenAADL · Aug 31, 2021 · cbaf9eb · cbaf9eb
1 parent 40e07fc
commit cbaf9eb
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/resources/runtime/aadl_xml/aadl.xsd b/resources/runtime/aadl_xml/aadl.xsd
@@ -220,6 +220,7 @@
       <xs:element name="number" type="unit_prop"/>
       <xs:element name="range" type="range_prop"/>
       <xs:element name="string" type="string_prop"/>
+      <xs:element name="boolean" type="boolean_prop"/>
       <xs:element ref="record"/>
       <xs:element ref="list"/>
     </xs:choice>
@@ -234,6 +235,7 @@
         <xs:element name="number" type="unit_prop"/>
         <xs:element name="range" type="range_prop"/>
         <xs:element name="string" type="string_prop"/>
+        <xs:element name="boolean" type="boolean_prop"/>
         <xs:element ref="record"/>
         <xs:element ref="list"/>
       </xs:choice>
@@ -275,6 +277,10 @@
     <xs:attribute name='value' type="xs:string" use='required'/>
   </xs:complexType>
 
+  <xs:complexType name='boolean_prop'>
+    <xs:attribute name='value' type="xs:boolean" use='required'/>
+  </xs:complexType>
+
   <xs:complexType name='reference_prop'>
     <xs:attribute name='value' type="xs:string" use='required'/>
   </xs:complexType>