c-java.applic.cdc-applic-demos.0.13.3.source-code.s1000d-repository.xml Maven / Gradle / Ivy
The newest version!
<?xml version="1.0" encoding="UTF-8"?>
<applic-repository xmlns="https://www.gitlab.com/cdc-java" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="https://www.gitlab.com/cdc-java https://www.gitlab.com/cdc-java/applic-repository.xsd">
<registries>
<registry name="Registry">
<types>
<integer-type name="Rank" domain="1~999" s1000d-property-type="PRODUCT_ATTRIBUTE" s1000d-product-identifier="PRIMARY"/>
<enumerated-type name="Version" s1000d-property-type="PRODUCT_ATTRIBUTE">
<value literal="V1" ordinal="0"/>
<value literal="V2" ordinal="1"/>
<value literal="V3" ordinal="2"/>
<value literal="V4" ordinal="3"/>
<value literal="V5" ordinal="4"/>
</enumerated-type>
<enumerated-type name="Standard" s1000d-property-type="PRODUCT_CONDITION">
<value literal="S1" ordinal="0"/>
<value literal="S2" ordinal="1"/>
<value literal="S3" ordinal="2"/>
<value literal="S4" ordinal="3"/>
</enumerated-type>
<pattern-type name="PartNumber" pattern="[A-Z0-9]{1,32}" s1000d-property-type="PRODUCT_ATTRIBUTE"/>
<boolean-type name="Boolean" s1000d-property-type="PRODUCT_CONDITION"/>
<real-type name="Temperature" domain="-10.0~100.0" s1000d-property-type="EXTERNAL_CONDITION"/>
</types>
<properties>
<property name="Rank" type="Rank"/>
<property name="Version" type="Version"/>
<property name="Standard" type="Standard"/>
<property name="PartNumber" type="PartNumber"/>
<property name="Boolean1" type="Boolean"/>
<property name="Boolean2" type="Boolean"/>
<property name="Temperature" type="Temperature"/>
</properties>
<assertions>
<assertion>
<expression>Version = V1 -> Rank in {1~100}</expression>
</assertion>
<assertion>
<expression>Version = V2 -> Rank in {101~200}</expression>
</assertion>
<assertion>
<expression>Version = V3 -> Rank in {111,201~300}</expression>
</assertion>
<assertion>
<expression>Version = V4 -> Rank in {301~400}</expression>
</assertion>
<assertion>
<expression>Version = V5 -> Rank in {401~500}</expression>
</assertion>
<assertion>
<expression>Standard in {S1, S2} iff Version in {V1, V2}</expression>
</assertion>
<assertion>
<expression>Standard in {S1, S2} -> Boolean2</expression>
</assertion>
<assertion>
<expression>Standard in {S3, S4} iff Version in {V3, V4}</expression>
</assertion>
<assertion>
<expression>Version = V2 -> Temperature in {0.0~50.0}</expression>
</assertion>
<assertion>
<expression>Version = V1 -> Temperature in {10.0~60.0}</expression>
</assertion>
<assertion>
<expression>Version = V1 -> PartNumber in {}</expression>
</assertion>
<assertion>
<expression>Rank = 101 -> Boolean1 in {}</expression>
</assertion>
<assertion>
<expression>Rank = 104 -> PartNumber = AAA104</expression>
</assertion>
<assertion>
<expression>Rank = 105 -> PartNumber in {AAA105, BBB105}</expression>
</assertion>
<assertion>
<expression>Rank = 106 -> PartNumber != AAA106</expression>
</assertion>
</assertions>
<policies>
<policy name="Policy1">
<item-usages>
<item-usage name="Rank"/>
<item-usage name="Version"/>
<item-usage name="Standard"/>
<item-usage name="PartNumber"/>
<item-usage name="Boolean1"/>
<item-usage name="Boolean2"/>
<item-usage name="Temperature"/>
</item-usages>
</policy>
</policies>
</registry>
</registries>
</applic-repository>