附属書C. モジュール単独での検証

ある名前空間を記述するモジュールが,他の名前空間のラベルを参照する ref要素やhedgeRef要素をもたないとき,インスタンスをこのモジュールと直接照合することができる。照合は,下記のフレームワークが存在するものとして行う。

<?xml version="1.0"?>
<framework
   xmlns="http://www.xml.gr.jp/xmlns/relaxNamespace"
   xmlns:rc="http://www.xml.gr.jp/xmlns/relaxCore"
   relaxNamespaceVersion="1.0">

  <rc:module
    relaxCoreVersion="1.0"
    namespace="....モジュールの記述する名前空間..."
    location=""....モジュールのURI..............."/>

  <topLevel>
    <rc:choice>
<!-- exportされている全ラベル -->
      <rc:ref label="..." namespace="....モジュールの記述する名前空間..."/>
        ...
      <rc:ref label="..." namespace="....モジュールの記述する名前空間..."/>
<!-- hedgeExportされている全ラベル -->
      <rc:hedgeRef label="..." namespace="....モジュールの記述する名前空間..."/>
        ...
      <rc:hedgeRef label="..." namespace="....モジュールの記述する名前空間..."/>
    </rc:choice>
  </topLevel>
</framework>