[sbml-svn] SF.net SVN: sbml:[18256] trunk/libsbml/src/sbml/packages/comp/validator/ test/test-data/general-constraints

[<luc...@us...>]

Revision: 18256
          http://sourceforge.net/p/sbml/code/18256
Author:   luciansmith
Date:     2013-07-24 21:37:10 +0000 (Wed, 24 Jul 2013)
Log Message:
-----------
Validation checks for new validation errors 1020712 and 13.

Added Paths:
-----------
    trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020712-fail-01-01.xml
    trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020712-pass-00-01.xml
    trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-01.xml
    trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-02.xml
    trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-03.xml
    trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-04.xml
    trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-05.xml
    trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-06.xml
    trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-07.xml
    trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-08.xml
    trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-09.xml
    trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-10.xml
    trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-pass-00-01.xml

Added: trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020712-fail-01-01.xml
===================================================================
--- trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020712-fail-01-01.xml	                        (rev 0)
+++ trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020712-fail-01-01.xml	2013-07-24 21:37:10 UTC (rev 18256)
@@ -0,0 +1,42 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<sbml xmlns="http://www.sbml.org/sbml/level3/version1/core" xmlns:comp="http://www.sbml.org/sbml/level3/version1/comp/version1" level="3" version="1" comp:required="true">
+  <model>
+    <listOfCompartments>
+      <compartment id="C" spatialDimensions="3" size="10" constant="false">
+        <comp:listOfReplacedElements>
+          <comp:replacedElement comp:idRef="sub1" comp:submodelRef="sub2">
+            <comp:sBaseRef/>
+          </comp:replacedElement>
+        </comp:listOfReplacedElements>
+      </compartment>
+    </listOfCompartments>
+    <listOfSpecies>
+      <species id="S1" compartment="C" initialAmount="5" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false"/>
+    </listOfSpecies>
+    <comp:listOfSubmodels>
+      <comp:submodel comp:id="sub1" comp:modelRef="moddef1"/>
+      <comp:submodel comp:id="sub2" comp:modelRef="moddef2"/>
+    </comp:listOfSubmodels>
+  </model>
+  <comp:listOfModelDefinitions>
+    <comp:modelDefinition id="moddef1">
+      <listOfCompartments>
+        <compartment id="C" spatialDimensions="3" size="1" constant="false"/>
+      </listOfCompartments>
+      <listOfSpecies>
+        <species id="S1" compartment="C" initialAmount="7" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false"/>
+      </listOfSpecies>
+    </comp:modelDefinition>
+    <comp:modelDefinition id="moddef2">
+      <listOfCompartments>
+        <compartment id="C" spatialDimensions="3" size="1" constant="false"/>
+      </listOfCompartments>
+      <listOfSpecies>
+        <species id="S1" compartment="C" initialAmount="9" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false"/>
+      </listOfSpecies>
+      <comp:listOfSubmodels>
+        <comp:submodel comp:id="sub1" comp:modelRef="moddef1"/>
+      </comp:listOfSubmodels>
+    </comp:modelDefinition>
+  </comp:listOfModelDefinitions>
+</sbml>

Added: trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020712-pass-00-01.xml
===================================================================
--- trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020712-pass-00-01.xml	                        (rev 0)
+++ trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020712-pass-00-01.xml	2013-07-24 21:37:10 UTC (rev 18256)
@@ -0,0 +1,42 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<sbml xmlns="http://www.sbml.org/sbml/level3/version1/core" xmlns:comp="http://www.sbml.org/sbml/level3/version1/comp/version1" level="3" version="1" comp:required="true">
+  <model>
+    <listOfCompartments>
+      <compartment id="C" spatialDimensions="3" size="10" constant="false">
+        <comp:listOfReplacedElements>
+          <comp:replacedElement comp:idRef="sub1" comp:submodelRef="sub2">
+            <comp:sBaseRef comp:idRef="C"/>
+          </comp:replacedElement>
+        </comp:listOfReplacedElements>
+      </compartment>
+    </listOfCompartments>
+    <listOfSpecies>
+      <species id="S1" compartment="C" initialAmount="5" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false"/>
+    </listOfSpecies>
+    <comp:listOfSubmodels>
+      <comp:submodel comp:id="sub1" comp:modelRef="moddef1"/>
+      <comp:submodel comp:id="sub2" comp:modelRef="moddef2"/>
+    </comp:listOfSubmodels>
+  </model>
+  <comp:listOfModelDefinitions>
+    <comp:modelDefinition id="moddef1">
+      <listOfCompartments>
+        <compartment id="C" spatialDimensions="3" size="1" constant="false"/>
+      </listOfCompartments>
+      <listOfSpecies>
+        <species id="S1" compartment="C" initialAmount="7" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false"/>
+      </listOfSpecies>
+    </comp:modelDefinition>
+    <comp:modelDefinition id="moddef2">
+      <listOfCompartments>
+        <compartment id="C" spatialDimensions="3" size="1" constant="false"/>
+      </listOfCompartments>
+      <listOfSpecies>
+        <species id="S1" compartment="C" initialAmount="9" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false"/>
+      </listOfSpecies>
+      <comp:listOfSubmodels>
+        <comp:submodel comp:id="sub1" comp:modelRef="moddef1"/>
+      </comp:listOfSubmodels>
+    </comp:modelDefinition>
+  </comp:listOfModelDefinitions>
+</sbml>

Added: trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-01.xml
===================================================================
--- trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-01.xml	                        (rev 0)
+++ trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-01.xml	2013-07-24 21:37:10 UTC (rev 18256)
@@ -0,0 +1,35 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<sbml xmlns="http://www.sbml.org/sbml/level3/version1/core" xmlns:comp="http://www.sbml.org/sbml/level3/version1/comp/version1" level="3" version="1" comp:required="true">
+  <model>
+    <listOfCompartments>
+      <compartment id="C" spatialDimensions="3" size="10" constant="false">
+        <comp:listOfReplacedElements>
+          <comp:replacedElement comp:submodelRef="sub2" comp:idRef="sub1">
+            <comp:sBaseRef comp:idRef="C" comp:metaIdRef="C_meta"/>
+          </comp:replacedElement>
+        </comp:listOfReplacedElements>
+      </compartment>
+    </listOfCompartments>
+    <listOfSpecies>
+      <species id="S1" compartment="C" initialAmount="5" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false"/>
+    </listOfSpecies>
+    <comp:listOfSubmodels>
+      <comp:submodel comp:id="sub2" comp:modelRef="moddef2"/>
+    </comp:listOfSubmodels>
+  </model>
+  <comp:listOfModelDefinitions>
+    <comp:modelDefinition id="moddef1">
+      <listOfCompartments>
+        <compartment id="C" metaid="C_meta" spatialDimensions="3" size="1" constant="false"/>
+      </listOfCompartments>
+      <listOfSpecies>
+        <species id="S1" compartment="C" initialAmount="7" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false"/>
+      </listOfSpecies>
+    </comp:modelDefinition>
+    <comp:modelDefinition id="moddef2">
+      <comp:listOfSubmodels>
+        <comp:submodel comp:id="sub1" comp:modelRef="moddef1"/>
+      </comp:listOfSubmodels>
+    </comp:modelDefinition>
+  </comp:listOfModelDefinitions>
+</sbml>

Added: trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-02.xml
===================================================================
--- trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-02.xml	                        (rev 0)
+++ trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-02.xml	2013-07-24 21:37:10 UTC (rev 18256)
@@ -0,0 +1,38 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<sbml xmlns="http://www.sbml.org/sbml/level3/version1/core" xmlns:comp="http://www.sbml.org/sbml/level3/version1/comp/version1" level="3" version="1" comp:required="true">
+  <model>
+    <listOfCompartments>
+      <compartment id="C" spatialDimensions="3" size="10" constant="false">
+        <comp:listOfReplacedElements>
+          <comp:replacedElement comp:submodelRef="sub2" comp:idRef="sub1">
+            <comp:sBaseRef comp:idRef="C" comp:unitRef="C_unit"/>
+          </comp:replacedElement>
+        </comp:listOfReplacedElements>
+      </compartment>
+    </listOfCompartments>
+    <listOfSpecies>
+      <species id="S1" compartment="C" initialAmount="5" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false"/>
+    </listOfSpecies>
+    <comp:listOfSubmodels>
+      <comp:submodel comp:id="sub2" comp:modelRef="moddef2"/>
+    </comp:listOfSubmodels>
+  </model>
+  <comp:listOfModelDefinitions>
+    <comp:modelDefinition id="moddef1">
+      <listOfCompartments>
+        <compartment id="C" metaid="C_meta" spatialDimensions="3" size="1" constant="false"/>
+      </listOfCompartments>
+      <listOfSpecies>
+        <species id="S1" compartment="C" initialAmount="7" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false"/>
+      </listOfSpecies>
+      <listOfUnitDefinitions>
+        <unitDefinition id="C_unit"/>
+      </listOfUnitDefinitions>
+    </comp:modelDefinition>
+    <comp:modelDefinition id="moddef2">
+      <comp:listOfSubmodels>
+        <comp:submodel comp:id="sub1" comp:modelRef="moddef1"/>
+      </comp:listOfSubmodels>
+    </comp:modelDefinition>
+  </comp:listOfModelDefinitions>
+</sbml>

Added: trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-03.xml
===================================================================
--- trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-03.xml	                        (rev 0)
+++ trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-03.xml	2013-07-24 21:37:10 UTC (rev 18256)
@@ -0,0 +1,38 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<sbml xmlns="http://www.sbml.org/sbml/level3/version1/core" xmlns:comp="http://www.sbml.org/sbml/level3/version1/comp/version1" level="3" version="1" comp:required="true">
+  <model>
+    <listOfCompartments>
+      <compartment id="C" spatialDimensions="3" size="10" constant="false">
+        <comp:listOfReplacedElements>
+          <comp:replacedElement comp:submodelRef="sub2" comp:idRef="sub1">
+            <comp:sBaseRef comp:idRef="C" comp:portRef="C_port"/>
+          </comp:replacedElement>
+        </comp:listOfReplacedElements>
+      </compartment>
+    </listOfCompartments>
+    <listOfSpecies>
+      <species id="S1" compartment="C" initialAmount="5" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false"/>
+    </listOfSpecies>
+    <comp:listOfSubmodels>
+      <comp:submodel comp:id="sub2" comp:modelRef="moddef2"/>
+    </comp:listOfSubmodels>
+  </model>
+  <comp:listOfModelDefinitions>
+    <comp:modelDefinition id="moddef1">
+      <listOfCompartments>
+        <compartment id="C" metaid="C_meta" spatialDimensions="3" size="1" constant="false"/>
+      </listOfCompartments>
+      <listOfSpecies>
+        <species id="S1" compartment="C" initialAmount="7" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false"/>
+      </listOfSpecies>
+      <comp:listOfPorts>
+        <comp:port comp:idRef="C" comp:id="C_port"/>
+      </comp:listOfPorts>
+    </comp:modelDefinition>
+    <comp:modelDefinition id="moddef2">
+      <comp:listOfSubmodels>
+        <comp:submodel comp:id="sub1" comp:modelRef="moddef1"/>
+      </comp:listOfSubmodels>
+    </comp:modelDefinition>
+  </comp:listOfModelDefinitions>
+</sbml>

Added: trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-04.xml
===================================================================
--- trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-04.xml	                        (rev 0)
+++ trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-04.xml	2013-07-24 21:37:10 UTC (rev 18256)
@@ -0,0 +1,38 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<sbml xmlns="http://www.sbml.org/sbml/level3/version1/core" xmlns:comp="http://www.sbml.org/sbml/level3/version1/comp/version1" level="3" version="1" comp:required="true">
+  <model>
+    <listOfCompartments>
+      <compartment id="C" spatialDimensions="3" size="10" constant="false">
+        <comp:listOfReplacedElements>
+          <comp:replacedElement comp:submodelRef="sub2" comp:idRef="sub1">
+            <comp:sBaseRef comp:metaIdRef="C_meta" comp:unitRef="C_unit"/>
+          </comp:replacedElement>
+        </comp:listOfReplacedElements>
+      </compartment>
+    </listOfCompartments>
+    <listOfSpecies>
+      <species id="S1" compartment="C" initialAmount="5" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false"/>
+    </listOfSpecies>
+    <comp:listOfSubmodels>
+      <comp:submodel comp:id="sub2" comp:modelRef="moddef2"/>
+    </comp:listOfSubmodels>
+  </model>
+  <comp:listOfModelDefinitions>
+    <comp:modelDefinition id="moddef1">
+      <listOfCompartments>
+        <compartment id="C" metaid="C_meta" spatialDimensions="3" size="1" constant="false"/>
+      </listOfCompartments>
+      <listOfSpecies>
+        <species id="S1" compartment="C" initialAmount="7" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false"/>
+      </listOfSpecies>
+      <listOfUnitDefinitions>
+        <unitDefinition id="C_unit"/>
+      </listOfUnitDefinitions>
+    </comp:modelDefinition>
+    <comp:modelDefinition id="moddef2">
+      <comp:listOfSubmodels>
+        <comp:submodel comp:id="sub1" comp:modelRef="moddef1"/>
+      </comp:listOfSubmodels>
+    </comp:modelDefinition>
+  </comp:listOfModelDefinitions>
+</sbml>

Added: trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-05.xml
===================================================================
--- trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-05.xml	                        (rev 0)
+++ trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-05.xml	2013-07-24 21:37:10 UTC (rev 18256)
@@ -0,0 +1,38 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<sbml xmlns="http://www.sbml.org/sbml/level3/version1/core" xmlns:comp="http://www.sbml.org/sbml/level3/version1/comp/version1" level="3" version="1" comp:required="true">
+  <model>
+    <listOfCompartments>
+      <compartment id="C" spatialDimensions="3" size="10" constant="false">
+        <comp:listOfReplacedElements>
+          <comp:replacedElement comp:submodelRef="sub2" comp:idRef="sub1">
+            <comp:sBaseRef comp:metaIdRef="C_meta" comp:portRef="C_port"/>
+          </comp:replacedElement>
+        </comp:listOfReplacedElements>
+      </compartment>
+    </listOfCompartments>
+    <listOfSpecies>
+      <species id="S1" compartment="C" initialAmount="5" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false"/>
+    </listOfSpecies>
+    <comp:listOfSubmodels>
+      <comp:submodel comp:id="sub2" comp:modelRef="moddef2"/>
+    </comp:listOfSubmodels>
+  </model>
+  <comp:listOfModelDefinitions>
+    <comp:modelDefinition id="moddef1">
+      <listOfCompartments>
+        <compartment id="C" metaid="C_meta" spatialDimensions="3" size="1" constant="false"/>
+      </listOfCompartments>
+      <listOfSpecies>
+        <species id="S1" compartment="C" initialAmount="7" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false"/>
+      </listOfSpecies>
+      <comp:listOfPorts>
+        <comp:port comp:idRef="C" comp:id="C_port"/>
+      </comp:listOfPorts>
+    </comp:modelDefinition>
+    <comp:modelDefinition id="moddef2">
+      <comp:listOfSubmodels>
+        <comp:submodel comp:id="sub1" comp:modelRef="moddef1"/>
+      </comp:listOfSubmodels>
+    </comp:modelDefinition>
+  </comp:listOfModelDefinitions>
+</sbml>

Added: trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-06.xml
===================================================================
--- trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-06.xml	                        (rev 0)
+++ trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-06.xml	2013-07-24 21:37:10 UTC (rev 18256)
@@ -0,0 +1,38 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<sbml xmlns="http://www.sbml.org/sbml/level3/version1/core" xmlns:comp="http://www.sbml.org/sbml/level3/version1/comp/version1" level="3" version="1" comp:required="true">
+  <model>
+    <listOfCompartments>
+      <compartment id="C" spatialDimensions="3" size="10" constant="false">
+        <comp:listOfReplacedElements>
+          <comp:replacedElement comp:submodelRef="sub2" comp:idRef="sub1">
+            <comp:sBaseRef comp:idRef="C" comp:metaIdRef="C_meta" comp:unitRef="C_unit"/>
+          </comp:replacedElement>
+        </comp:listOfReplacedElements>
+      </compartment>
+    </listOfCompartments>
+    <listOfSpecies>
+      <species id="S1" compartment="C" initialAmount="5" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false"/>
+    </listOfSpecies>
+    <comp:listOfSubmodels>
+      <comp:submodel comp:id="sub2" comp:modelRef="moddef2"/>
+    </comp:listOfSubmodels>
+  </model>
+  <comp:listOfModelDefinitions>
+    <comp:modelDefinition id="moddef1">
+      <listOfCompartments>
+        <compartment id="C" metaid="C_meta" spatialDimensions="3" size="1" constant="false"/>
+      </listOfCompartments>
+      <listOfSpecies>
+        <species id="S1" compartment="C" initialAmount="7" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false"/>
+      </listOfSpecies>
+      <listOfUnitDefinitions>
+        <unitDefinition id="C_unit"/>
+      </listOfUnitDefinitions>
+    </comp:modelDefinition>
+    <comp:modelDefinition id="moddef2">
+      <comp:listOfSubmodels>
+        <comp:submodel comp:id="sub1" comp:modelRef="moddef1"/>
+      </comp:listOfSubmodels>
+    </comp:modelDefinition>
+  </comp:listOfModelDefinitions>
+</sbml>

Added: trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-07.xml
===================================================================
--- trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-07.xml	                        (rev 0)
+++ trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-07.xml	2013-07-24 21:37:10 UTC (rev 18256)
@@ -0,0 +1,38 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<sbml xmlns="http://www.sbml.org/sbml/level3/version1/core" xmlns:comp="http://www.sbml.org/sbml/level3/version1/comp/version1" level="3" version="1" comp:required="true">
+  <model>
+    <listOfCompartments>
+      <compartment id="C" spatialDimensions="3" size="10" constant="false">
+        <comp:listOfReplacedElements>
+          <comp:replacedElement comp:submodelRef="sub2" comp:idRef="sub1">
+            <comp:sBaseRef comp:idRef="C" comp:metaIdRef="C_meta" comp:portRef="C_port"/>
+          </comp:replacedElement>
+        </comp:listOfReplacedElements>
+      </compartment>
+    </listOfCompartments>
+    <listOfSpecies>
+      <species id="S1" compartment="C" initialAmount="5" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false"/>
+    </listOfSpecies>
+    <comp:listOfSubmodels>
+      <comp:submodel comp:id="sub2" comp:modelRef="moddef2"/>
+    </comp:listOfSubmodels>
+  </model>
+  <comp:listOfModelDefinitions>
+    <comp:modelDefinition id="moddef1">
+      <listOfCompartments>
+        <compartment id="C" metaid="C_meta" spatialDimensions="3" size="1" constant="false"/>
+      </listOfCompartments>
+      <listOfSpecies>
+        <species id="S1" compartment="C" initialAmount="7" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false"/>
+      </listOfSpecies>
+      <comp:listOfPorts>
+        <comp:port comp:idRef="C" comp:id="C_port"/>
+      </comp:listOfPorts>
+    </comp:modelDefinition>
+    <comp:modelDefinition id="moddef2">
+      <comp:listOfSubmodels>
+        <comp:submodel comp:id="sub1" comp:modelRef="moddef1"/>
+      </comp:listOfSubmodels>
+    </comp:modelDefinition>
+  </comp:listOfModelDefinitions>
+</sbml>

Added: trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-08.xml
===================================================================
--- trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-08.xml	                        (rev 0)
+++ trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-08.xml	2013-07-24 21:37:10 UTC (rev 18256)
@@ -0,0 +1,41 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<sbml xmlns="http://www.sbml.org/sbml/level3/version1/core" xmlns:comp="http://www.sbml.org/sbml/level3/version1/comp/version1" level="3" version="1" comp:required="true">
+  <model>
+    <listOfCompartments>
+      <compartment id="C" spatialDimensions="3" size="10" constant="false">
+        <comp:listOfReplacedElements>
+          <comp:replacedElement comp:submodelRef="sub2" comp:idRef="sub1">
+            <comp:sBaseRef comp:idRef="C" comp:unitRef="C_unit" comp:portRef="C_port"/>
+          </comp:replacedElement>
+        </comp:listOfReplacedElements>
+      </compartment>
+    </listOfCompartments>
+    <listOfSpecies>
+      <species id="S1" compartment="C" initialAmount="5" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false"/>
+    </listOfSpecies>
+    <comp:listOfSubmodels>
+      <comp:submodel comp:id="sub2" comp:modelRef="moddef2"/>
+    </comp:listOfSubmodels>
+  </model>
+  <comp:listOfModelDefinitions>
+    <comp:modelDefinition id="moddef1">
+      <listOfCompartments>
+        <compartment id="C" metaid="C_meta" spatialDimensions="3" size="1" constant="false"/>
+      </listOfCompartments>
+      <listOfSpecies>
+        <species id="S1" compartment="C" initialAmount="7" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false"/>
+      </listOfSpecies>
+      <listOfUnitDefinitions>
+        <unitDefinition id="C_unit"/>
+      </listOfUnitDefinitions>
+      <comp:listOfPorts>
+        <comp:port comp:idRef="C" comp:id="C_port"/>
+      </comp:listOfPorts>
+    </comp:modelDefinition>
+    <comp:modelDefinition id="moddef2">
+      <comp:listOfSubmodels>
+        <comp:submodel comp:id="sub1" comp:modelRef="moddef1"/>
+      </comp:listOfSubmodels>
+    </comp:modelDefinition>
+  </comp:listOfModelDefinitions>
+</sbml>

Added: trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-09.xml
===================================================================
--- trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-09.xml	                        (rev 0)
+++ trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-09.xml	2013-07-24 21:37:10 UTC (rev 18256)
@@ -0,0 +1,41 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<sbml xmlns="http://www.sbml.org/sbml/level3/version1/core" xmlns:comp="http://www.sbml.org/sbml/level3/version1/comp/version1" level="3" version="1" comp:required="true">
+  <model>
+    <listOfCompartments>
+      <compartment id="C" spatialDimensions="3" size="10" constant="false">
+        <comp:listOfReplacedElements>
+          <comp:replacedElement comp:submodelRef="sub2" comp:idRef="sub1">
+            <comp:sBaseRef comp:unitRef="C_unit" comp:metaIdRef="C_meta" comp:portRef="C_port"/>
+          </comp:replacedElement>
+        </comp:listOfReplacedElements>
+      </compartment>
+    </listOfCompartments>
+    <listOfSpecies>
+      <species id="S1" compartment="C" initialAmount="5" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false"/>
+    </listOfSpecies>
+    <comp:listOfSubmodels>
+      <comp:submodel comp:id="sub2" comp:modelRef="moddef2"/>
+    </comp:listOfSubmodels>
+  </model>
+  <comp:listOfModelDefinitions>
+    <comp:modelDefinition id="moddef1">
+      <listOfCompartments>
+        <compartment id="C" metaid="C_meta" spatialDimensions="3" size="1" constant="false"/>
+      </listOfCompartments>
+      <listOfSpecies>
+        <species id="S1" compartment="C" initialAmount="7" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false"/>
+      </listOfSpecies>
+      <listOfUnitDefinitions>
+        <unitDefinition id="C_unit"/>
+      </listOfUnitDefinitions>
+      <comp:listOfPorts>
+        <comp:port comp:idRef="C" comp:id="C_port"/>
+      </comp:listOfPorts>
+    </comp:modelDefinition>
+    <comp:modelDefinition id="moddef2">
+      <comp:listOfSubmodels>
+        <comp:submodel comp:id="sub1" comp:modelRef="moddef1"/>
+      </comp:listOfSubmodels>
+    </comp:modelDefinition>
+  </comp:listOfModelDefinitions>
+</sbml>

Added: trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-10.xml
===================================================================
--- trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-10.xml	                        (rev 0)
+++ trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-fail-01-10.xml	2013-07-24 21:37:10 UTC (rev 18256)
@@ -0,0 +1,41 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<sbml xmlns="http://www.sbml.org/sbml/level3/version1/core" xmlns:comp="http://www.sbml.org/sbml/level3/version1/comp/version1" level="3" version="1" comp:required="true">
+  <model>
+    <listOfCompartments>
+      <compartment id="C" spatialDimensions="3" size="10" constant="false">
+        <comp:listOfReplacedElements>
+          <comp:replacedElement comp:submodelRef="sub2" comp:idRef="sub1">
+            <comp:sBaseRef comp:idRef="C" comp:metaIdRef="C_meta" comp:unitRef="C_unit" comp:portRef="C_port"/>
+          </comp:replacedElement>
+        </comp:listOfReplacedElements>
+      </compartment>
+    </listOfCompartments>
+    <listOfSpecies>
+      <species id="S1" compartment="C" initialAmount="5" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false"/>
+    </listOfSpecies>
+    <comp:listOfSubmodels>
+      <comp:submodel comp:id="sub2" comp:modelRef="moddef2"/>
+    </comp:listOfSubmodels>
+  </model>
+  <comp:listOfModelDefinitions>
+    <comp:modelDefinition id="moddef1">
+      <listOfCompartments>
+        <compartment id="C" metaid="C_meta" spatialDimensions="3" size="1" constant="false"/>
+      </listOfCompartments>
+      <listOfSpecies>
+        <species id="S1" compartment="C" initialAmount="7" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false"/>
+      </listOfSpecies>
+      <listOfUnitDefinitions>
+        <unitDefinition id="C_unit"/>
+      </listOfUnitDefinitions>
+      <comp:listOfPorts>
+        <comp:port comp:idRef="C" comp:id="C_port"/>
+      </comp:listOfPorts>
+    </comp:modelDefinition>
+    <comp:modelDefinition id="moddef2">
+      <comp:listOfSubmodels>
+        <comp:submodel comp:id="sub1" comp:modelRef="moddef1"/>
+      </comp:listOfSubmodels>
+    </comp:modelDefinition>
+  </comp:listOfModelDefinitions>
+</sbml>

Added: trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-pass-00-01.xml
===================================================================
--- trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-pass-00-01.xml	                        (rev 0)
+++ trunk/libsbml/src/sbml/packages/comp/validator/test/test-data/general-constraints/1020713-pass-00-01.xml	2013-07-24 21:37:10 UTC (rev 18256)
@@ -0,0 +1,42 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<sbml xmlns="http://www.sbml.org/sbml/level3/version1/core" xmlns:comp="http://www.sbml.org/sbml/level3/version1/comp/version1" level="3" version="1" comp:required="true">
+  <model>
+    <listOfCompartments>
+      <compartment id="C" spatialDimensions="3" size="10" constant="false">
+        <comp:listOfReplacedElements>
+          <comp:replacedElement comp:idRef="sub1" comp:submodelRef="sub2">
+            <comp:sBaseRef comp:idRef="C"/>
+          </comp:replacedElement>
+        </comp:listOfReplacedElements>
+      </compartment>
+    </listOfCompartments>
+    <listOfSpecies>
+      <species id="S1" compartment="C" initialAmount="5" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false"/>
+    </listOfSpecies>
+    <comp:listOfSubmodels>
+      <comp:submodel comp:id="sub1" comp:modelRef="moddef1"/>
+      <comp:submodel comp:id="sub2" comp:modelRef="moddef2"/>
+    </comp:listOfSubmodels>
+  </model>
+  <comp:listOfModelDefinitions>
+    <comp:modelDefinition id="moddef1">
+      <listOfCompartments>
+        <compartment id="C" spatialDimensions="3" size="1" constant="false"/>
+      </listOfCompartments>
+      <listOfSpecies>
+        <species id="S1" compartment="C" initialAmount="7" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false"/>
+      </listOfSpecies>
+    </comp:modelDefinition>
+    <comp:modelDefinition id="moddef2">
+      <listOfCompartments>
+        <compartment id="C" spatialDimensions="3" size="1" constant="false"/>
+      </listOfCompartments>
+      <listOfSpecies>
+        <species id="S1" compartment="C" initialAmount="9" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false"/>
+      </listOfSpecies>
+      <comp:listOfSubmodels>
+        <comp:submodel comp:id="sub1" comp:modelRef="moddef1"/>
+      </comp:listOfSubmodels>
+    </comp:modelDefinition>
+  </comp:listOfModelDefinitions>
+</sbml>

This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.