// $Id: ConsistencyTest_ETC2.cs 1295 2007-05-11 16:52:51Z josd $ namespace Eulersharp.test { using System; using System.IO; using System.Reflection; /// /// Class to test the euler engine /// [NUnit.Framework.TestFixture] public class ConsistencyTest_ETC2 { /// /// Code to set up the test /// [NUnit.Framework.SetUp] public void Init() { Outputter.getInstance().initialize("etc2-results-net.n3"); } /// /// Code to shut down the test /// [NUnit.Framework.TearDown] public void TearDown() { File.Delete("test.n3"); } /// /// Test /// [NUnit.Framework.Test] public void AnnotationProperty_003() { Data.executeTest(Data.ConsistencyTests_etc2[0], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void AnnotationProperty_004() { Data.executeTest(Data.ConsistencyTests_etc2[1], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void DatatypeProperty_001() { Data.executeTest(Data.ConsistencyTests_etc2[2], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void I5_1_010() { Data.executeTest(Data.ConsistencyTests_etc2[3], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void I5_2_001() { Data.executeTest(Data.ConsistencyTests_etc2[4], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void I5_2_003() { Data.executeTest(Data.ConsistencyTests_etc2[5], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void I5_2_005() { Data.executeTest(Data.ConsistencyTests_etc2[6], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void I5_2_010() { Data.executeTest(Data.ConsistencyTests_etc2[7], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void I5_2_011() { Data.executeTest(Data.ConsistencyTests_etc2[8], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void I5_26_001() { Data.executeTest(Data.ConsistencyTests_etc2[9], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void I5_26_002() { Data.executeTest(Data.ConsistencyTests_etc2[10], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void I5_26_003() { Data.executeTest(Data.ConsistencyTests_etc2[11], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void I5_26_004() { Data.executeTest(Data.ConsistencyTests_etc2[12], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void I5_26_005() { Data.executeTest(Data.ConsistencyTests_etc2[13], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void I5_26_006() { Data.executeTest(Data.ConsistencyTests_etc2[14], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void I5_26_007() { Data.executeTest(Data.ConsistencyTests_etc2[15], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void I5_3_005() { Data.executeTest(Data.ConsistencyTests_etc2[16], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void I5_3_006() { Data.executeTest(Data.ConsistencyTests_etc2[17], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void I5_3_007() { Data.executeTest(Data.ConsistencyTests_etc2[18], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void I5_3_008() { Data.executeTest(Data.ConsistencyTests_etc2[19], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void I5_3_009() { Data.executeTest(Data.ConsistencyTests_etc2[20], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void I5_3_010() { Data.executeTest(Data.ConsistencyTests_etc2[21], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void I5_3_011() { Data.executeTest(Data.ConsistencyTests_etc2[22], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void I5_8_002() { Data.executeTest(Data.ConsistencyTests_etc2[23], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void I5_8_012() { Data.executeTest(Data.ConsistencyTests_etc2[24], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void I5_8_013() { Data.executeTest(Data.ConsistencyTests_etc2[25], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void I5_8_014() { Data.executeTest(Data.ConsistencyTests_etc2[26], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void I5_8_015() { Data.executeTest(Data.ConsistencyTests_etc2[27], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void I5_8_016() { Data.executeTest(Data.ConsistencyTests_etc2[28], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void I6_1_001() { Data.executeTest(Data.ConsistencyTests_etc2[29], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void Restriction_003() { Data.executeTest(Data.ConsistencyTests_etc2[30], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void Restriction_004() { Data.executeTest(Data.ConsistencyTests_etc2[31], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void Thing_004() { Data.executeTest(Data.ConsistencyTests_etc2[32], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void backwardCompatibleWith_001() { Data.executeTest(Data.ConsistencyTests_etc2[33], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void backwardCompatibleWith_002() { Data.executeTest(Data.ConsistencyTests_etc2[34], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void descriptionlogic_005() { Data.executeTest(Data.ConsistencyTests_etc2[35], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void descriptionlogic_006() { Data.executeTest(Data.ConsistencyTests_etc2[36], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void descriptionlogic_009() { Data.executeTest(Data.ConsistencyTests_etc2[37], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void descriptionlogic_016() { Data.executeTest(Data.ConsistencyTests_etc2[38], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void descriptionlogic_018() { Data.executeTest(Data.ConsistencyTests_etc2[39], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void descriptionlogic_020() { Data.executeTest(Data.ConsistencyTests_etc2[40], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void descriptionlogic_021() { Data.executeTest(Data.ConsistencyTests_etc2[41], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void descriptionlogic_024() { Data.executeTest(Data.ConsistencyTests_etc2[42], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void descriptionlogic_025() { Data.executeTest(Data.ConsistencyTests_etc2[43], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void descriptionlogic_028() { Data.executeTest(Data.ConsistencyTests_etc2[44], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void descriptionlogic_031() { Data.executeTest(Data.ConsistencyTests_etc2[45], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void descriptionlogic_034() { Data.executeTest(Data.ConsistencyTests_etc2[46], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void descriptionlogic_501() { Data.executeTest(Data.ConsistencyTests_etc2[47], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void descriptionlogic_503() { Data.executeTest(Data.ConsistencyTests_etc2[48], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void descriptionlogic_605() { Data.executeTest(Data.ConsistencyTests_etc2[49], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void descriptionlogic_606() { Data.executeTest(Data.ConsistencyTests_etc2[50], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void descriptionlogic_609() { Data.executeTest(Data.ConsistencyTests_etc2[51], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void descriptionlogic_616() { Data.executeTest(Data.ConsistencyTests_etc2[52], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void descriptionlogic_624() { Data.executeTest(Data.ConsistencyTests_etc2[53], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void descriptionlogic_625() { Data.executeTest(Data.ConsistencyTests_etc2[54], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void descriptionlogic_628() { Data.executeTest(Data.ConsistencyTests_etc2[55], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void descriptionlogic_631() { Data.executeTest(Data.ConsistencyTests_etc2[56], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void descriptionlogic_634() { Data.executeTest(Data.ConsistencyTests_etc2[57], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void descriptionlogic_905() { Data.executeTest(Data.ConsistencyTests_etc2[58], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void descriptionlogic_906() { Data.executeTest(Data.ConsistencyTests_etc2[59], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void descriptionlogic_907() { Data.executeTest(Data.ConsistencyTests_etc2[60], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void descriptionlogic_908() { Data.executeTest(Data.ConsistencyTests_etc2[61], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void disjointWith_003() { Data.executeTest(Data.ConsistencyTests_etc2[62], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void disjointWith_004() { Data.executeTest(Data.ConsistencyTests_etc2[63], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void disjointWith_005() { Data.executeTest(Data.ConsistencyTests_etc2[64], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void disjointWith_006() { Data.executeTest(Data.ConsistencyTests_etc2[65], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void disjointWith_007() { Data.executeTest(Data.ConsistencyTests_etc2[66], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void disjointWith_008() { Data.executeTest(Data.ConsistencyTests_etc2[67], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void disjointWith_009() { Data.executeTest(Data.ConsistencyTests_etc2[68], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void equivalentClass_009() { Data.executeTest(Data.ConsistencyTests_etc2[69], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void imports_012() { Data.executeTest(Data.ConsistencyTests_etc2[70], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void miscellaneous_001() { Data.executeTest(Data.ConsistencyTests_etc2[71], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void miscellaneous_002() { Data.executeTest(Data.ConsistencyTests_etc2[72], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void miscellaneous_102() { Data.executeTest(Data.ConsistencyTests_etc2[73], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void miscellaneous_103() { Data.executeTest(Data.ConsistencyTests_etc2[74], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void miscellaneous_201() { Data.executeTest(Data.ConsistencyTests_etc2[75], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void miscellaneous_202() { Data.executeTest(Data.ConsistencyTests_etc2[76], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void miscellaneous_205() { Data.executeTest(Data.ConsistencyTests_etc2[77], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void miscellaneous_303() { Data.executeTest(Data.ConsistencyTests_etc2[78], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } /// /// Test /// [NUnit.Framework.Test] public void oneOf_001() { Data.executeTest(Data.ConsistencyTests_etc2[79], "etc2-results-net.n3", "ConsistencyTest_ETC2_" + MethodBase.GetCurrentMethod().Name); } } }