user: IDS Version: IFC4X3_ADD2
filename: row-0025.ids

トンネル覆工コンクリートの補修計画に使用するため、補修数量を確認するIDSを作成してください。  
対象は、トンネル覆工コンクリート作業区間の建設要素です。
補修数量算定に必要な情報が正しく入力され、数値の整合が取れているかを確認したいです。  

【チェック項目】
・補修対象面積[m²] 0より大きい値が入力されていること
・設計厚さ[m] 値が入力されており、0.10m以上0.14m以下の範囲にあること
・補修に用いる、コンクリート見込体積[m³] 値が入力されていること

assistant: <?xml version="1.0" encoding="UTF-8" standalone="yes"?>
<ids:ids xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://standards.buildingsmart.org/IDS http://standards.buildingsmart.org/IDS/1.0/ids.xsd" xmlns:ids="http://standards.buildingsmart.org/IDS">
  <!--edit with ONESTRUCTION Inc.-->
  <ids:info>
    <ids:title>トンネル覆工コンクリート_補修数量確認</ids:title>
    <ids:version>1.0.0</ids:version>
    <ids:purpose>補修数量算定に必要な入力と値域を検査する</ids:purpose>
  </ids:info>
  <ids:specifications>
    <ids:specification name="トンネル覆工補修_作業区間_数量チェック" ifcVersion="IFC4X3_ADD2" description="補修対象の作業区間要素に対して、面積・設計厚さ・見込体積の入力と値域を検査する。">
      <ids:applicability minOccurs="1" maxOccurs="unbounded">
        <ids:entity>
          <ids:name>
            <ids:simpleValue>IFCBUILTELEMENT</ids:simpleValue>
          </ids:name>
        </ids:entity>
      </ids:applicability>
      <ids:requirements>
        <ids:property cardinality="required" dataType="IFCAREAMEASURE">
          <ids:propertySet>
            <xs:restriction base="xs:string">
              <xs:pattern value="^(?!(Pset_|Qto_)).+"/>
            </xs:restriction>
          </ids:propertySet>
          <ids:baseName>
            <ids:simpleValue>補修対象面積</ids:simpleValue>
          </ids:baseName>
          <ids:value>
            <xs:restriction base="xs:double">
              <xs:minExclusive value="0"/>
            </xs:restriction>
          </ids:value>
        </ids:property>
        <ids:property cardinality="required" dataType="IFCLENGTHMEASURE">
          <ids:propertySet>
            <xs:restriction base="xs:string">
              <xs:pattern value="^(?!(Pset_|Qto_)).+"/>
            </xs:restriction>
          </ids:propertySet>
          <ids:baseName>
            <ids:simpleValue>設計厚さ</ids:simpleValue>
          </ids:baseName>
          <ids:value>
            <xs:restriction base="xs:double">
              <xs:minInclusive value="0.10"/>
              <xs:maxInclusive value="0.14"/>
            </xs:restriction>
          </ids:value>
        </ids:property>
        <ids:property cardinality="required" dataType="IFCVOLUMEMEASURE">
          <ids:propertySet>
            <xs:restriction base="xs:string">
              <xs:pattern value="^(?!(Pset_|Qto_)).+"/>
            </xs:restriction>
          </ids:propertySet>
          <ids:baseName>
            <ids:simpleValue>コンクリート見込体積</ids:simpleValue>
          </ids:baseName>
        </ids:property>
      </ids:requirements>
    </ids:specification>
  </ids:specifications>
</ids:ids>