1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/trunk/apps/rifle-validator/src/test/java/org/fundacionctic/rifle/validator/bld/BLDValidatorTest.java Wed Nov 11 15:46:56 2009 +0100
1.3 @@ -0,0 +1,176 @@
1.4 +package org.fundacionctic.rifle.validator.bld;
1.5 +
1.6 +import java.util.LinkedList;
1.7 +import java.util.List;
1.8 +
1.9 +import junit.framework.Assert;
1.10 +
1.11 +import org.fundacionctic.rifle.validator.RIFValidator;
1.12 +import org.fundacionctic.rifle.validator.loader.FilesResourceLoader;
1.13 +import org.fundacionctic.rifle.validator.loader.ResourceLoader;
1.14 +import org.fundacionctic.rifle.visitor.RIFValidatorVisitor;
1.15 +import org.fundacionctic.rifle.visitor.core.CoreSafenessVisitor;
1.16 +import org.fundacionctic.rifle.visitor.core.OWLDLAnnotationVisitor;
1.17 +import org.fundacionctic.rifle.visitor.core.RDFCombinationBlankNodeVisitor;
1.18 +import org.fundacionctic.rifle.visitor.core.RDFCombinationConstantEquivalenceVisitor;
1.19 +import org.fundacionctic.rifle.visitor.core.RDFCombinationSubClassVisitor;
1.20 +import org.fundacionctic.rifle.visitor.core.RDFImportsProfilesVisitor;
1.21 +import org.fundacionctic.rifle.visitor.core.RIFBuiltinsIdentificationVisitor;
1.22 +
1.23 +
1.24 +public class BLDValidatorTest {
1.25 +
1.26 +
1.27 + public void rifApprovedNegativeEntailmentTestRDF_Combination_SubClass_3() throws Exception{
1.28 + //1-Load document
1.29 + String [] testSources = new String[]{
1.30 + "test/BLD_11_10_2009/Approved/NegativeEntailmentTest/RDF_Combination_SubClass_3/RDF_Combination_SubClass_3-premise.rif"
1.31 + };
1.32 + for (int i = 0; i < testSources.length; i++) {
1.33 + ResourceLoader rl = new FilesResourceLoader(new String[]{testSources[i]});
1.34 + //2-Setting validators
1.35 + RIFValidator validator = createFullBLDValidator();
1.36 + validator.validate(rl);
1.37 + Assert.assertEquals(0, validator.getRifManager().getErrorHandler().getErrors().size());
1.38 +
1.39 + }
1.40 + }
1.41 +
1.42 +
1.43 + public void rifApprovedNegativeEntailmentTestRDF_Combination_SubClass_5() throws Exception{
1.44 + //1-Load document
1.45 + String [] testSources = new String[]{
1.46 + "test/BLD_11_10_2009/Approved/NegativeEntailmentTest/RDF_Combination_SubClass_5/RDF_Combination_SubClass_5-premise.rif"
1.47 + };
1.48 + for (int i = 0; i < testSources.length; i++) {
1.49 + ResourceLoader rl = new FilesResourceLoader(new String[]{testSources[i]});
1.50 + //2-Setting validators
1.51 + RIFValidator validator = createFullBLDValidator();
1.52 + validator.validate(rl);
1.53 + Assert.assertEquals(0, validator.getRifManager().getErrorHandler().getErrors().size());
1.54 +
1.55 + }
1.56 + }
1.57 +
1.58 +
1.59 + public void rifApprovedPositiveEntailmentTestIRI_from_IRI() throws Exception{
1.60 + //1-Load document
1.61 + String [] testSources = new String[]{
1.62 + "test/BLD_11_10_2009/Approved/PositiveEntailmentTest/IRI_from_IRI/IRI_from_IRI-premise.rif"
1.63 + };
1.64 + for (int i = 0; i < testSources.length; i++) {
1.65 + ResourceLoader rl = new FilesResourceLoader(new String[]{testSources[i]});
1.66 + //2-Setting validators
1.67 + RIFValidator validator = createFullBLDValidator();
1.68 + validator.validate(rl);
1.69 + Assert.assertEquals(0, validator.getRifManager().getErrorHandler().getErrors().size());
1.70 +
1.71 + }
1.72 + }
1.73 +
1.74 +
1.75 + public void rifApprovedPositiveEntailmentTestRDF_Combination_Member_1() throws Exception{
1.76 + //1-Load document
1.77 + String [] testSources = new String[]{
1.78 + "test/BLD_11_10_2009/Approved/PositiveEntailmentTest/RDF_Combination_Member_1/RDF_Combination_Member_1-premise.rif"
1.79 + };
1.80 + for (int i = 0; i < testSources.length; i++) {
1.81 + ResourceLoader rl = new FilesResourceLoader(new String[]{testSources[i]});
1.82 + //2-Setting validators
1.83 + RIFValidator validator = createFullBLDValidator();
1.84 + validator.validate(rl);
1.85 + Assert.assertEquals(0, validator.getRifManager().getErrorHandler().getErrors().size());
1.86 +
1.87 + }
1.88 + }
1.89 +
1.90 +
1.91 +
1.92 + public void rifApprovedPositiveEntailmentTestRDF_Combination_SubClass_4() throws Exception{
1.93 + //1-Load document
1.94 + String [] testSources = new String[]{
1.95 + "test/BLD_11_10_2009/Approved/PositiveEntailmentTest/RDF_Combination_SubClass_4/RDF_Combination_SubClass_4-premise.rif"
1.96 + };
1.97 + for (int i = 0; i < testSources.length; i++) {
1.98 + ResourceLoader rl = new FilesResourceLoader(new String[]{testSources[i]});
1.99 + //2-Setting validators
1.100 + RIFValidator validator = createFullBLDValidator();
1.101 + validator.validate(rl);
1.102 + Assert.assertEquals(0, validator.getRifManager().getErrorHandler().getErrors().size());
1.103 +
1.104 + }
1.105 + }
1.106 +
1.107 +
1.108 +
1.109 +
1.110 + public void rifApprovedPositiveEntailmentTestRDF_Combination_SubClass_6() throws Exception{
1.111 + //1-Load document
1.112 + String [] testSources = new String[]{
1.113 + "test/BLD_11_10_2009/Approved/PositiveEntailmentTest/RDF_Combination_SubClass_6/RDF_Combination_SubClass_6-premise.rif"
1.114 + };
1.115 + for (int i = 0; i < testSources.length; i++) {
1.116 + ResourceLoader rl = new FilesResourceLoader(new String[]{testSources[i]});
1.117 + //2-Setting validators
1.118 + RIFValidator validator = createFullBLDValidator();
1.119 + validator.validate(rl);
1.120 + Assert.assertEquals(0, validator.getRifManager().getErrorHandler().getErrors().size());
1.121 +
1.122 + }
1.123 + }
1.124 +
1.125 +
1.126 + public void rifProposedPositiveEntailmentTestMultiple_IRIs_from_String() throws Exception{
1.127 + //1-Load document
1.128 + String [] testSources = new String[]{
1.129 + "test/BLD_11_10_2009/Proposed/PositiveEntailmentTest/Multiple_IRIs_from_String/Multiple_IRIs_from_String-premise.rif"
1.130 + };
1.131 + for (int i = 0; i < testSources.length; i++) {
1.132 + ResourceLoader rl = new FilesResourceLoader(new String[]{testSources[i]});
1.133 + //2-Setting validators
1.134 + RIFValidator validator = createFullBLDValidator();
1.135 + validator.validate(rl);
1.136 + Assert.assertEquals(0, validator.getRifManager().getErrorHandler().getErrors().size());
1.137 +
1.138 + }
1.139 + }
1.140 +
1.141 +
1.142 +
1.143 +
1.144 + public void rifProposedPositiveEntailmentTestMultiple_Strings_from_IRI() throws Exception{
1.145 + //1-Load document
1.146 + String [] testSources = new String[]{
1.147 + "test/BLD_11_10_2009/Proposed/PositiveEntailmentTest/Multiple_Strings_from_IRI/Multiple_Strings_from_IRI-premise.rif"
1.148 + };
1.149 + for (int i = 0; i < testSources.length; i++) {
1.150 + ResourceLoader rl = new FilesResourceLoader(new String[]{testSources[i]});
1.151 + //2-Setting validators
1.152 + RIFValidator validator = createFullBLDValidator();
1.153 + validator.validate(rl);
1.154 + Assert.assertEquals(0, validator.getRifManager().getErrorHandler().getErrors().size());
1.155 +
1.156 + }
1.157 + }
1.158 +
1.159 +
1.160 +
1.161 +
1.162 +
1.163 + private RIFValidator createFullBLDValidator() {
1.164 + List<RIFValidatorVisitor> chainRIFValidatorVisitor = new LinkedList<RIFValidatorVisitor>();
1.165 + chainRIFValidatorVisitor.add(new RDFImportsProfilesVisitor());
1.166 + chainRIFValidatorVisitor.add(new RIFBuiltinsIdentificationVisitor());
1.167 + chainRIFValidatorVisitor.add(new CoreSafenessVisitor());
1.168 + //RDF Combination
1.169 + chainRIFValidatorVisitor.add(new RDFCombinationBlankNodeVisitor());
1.170 + chainRIFValidatorVisitor.add(new RDFCombinationConstantEquivalenceVisitor());
1.171 + chainRIFValidatorVisitor.add(new RDFCombinationSubClassVisitor());
1.172 + //OWL Combination
1.173 + chainRIFValidatorVisitor.add(new OWLDLAnnotationVisitor());
1.174 + RIFValidator validator =
1.175 + new BLDValidator(chainRIFValidatorVisitor);
1.176 + return validator;
1.177 + }
1.178 +
1.179 +}
2.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
2.2 +++ b/trunk/apps/rifle-validator/src/test/java/org/fundacionctic/rifle/visitor/core/BasicCoreVisitorTest.java Wed Nov 11 15:46:56 2009 +0100
2.3 @@ -0,0 +1,26 @@
2.4 +package org.fundacionctic.rifle.visitor.core;
2.5 +
2.6 +import java.util.LinkedList;
2.7 +import java.util.List;
2.8 +
2.9 +import org.fundacionctic.rifle.validator.RIFValidator;
2.10 +import org.fundacionctic.rifle.validator.core.CoreValidator;
2.11 +import org.fundacionctic.rifle.visitor.RIFValidatorVisitor;
2.12 +
2.13 +public class BasicCoreVisitorTest {
2.14 + public RIFValidator createFullCoreValidator() {
2.15 + List<RIFValidatorVisitor> chainRIFValidatorVisitor = new LinkedList<RIFValidatorVisitor>();
2.16 + chainRIFValidatorVisitor.add(new RDFImportsProfilesVisitor());
2.17 + chainRIFValidatorVisitor.add(new RIFBuiltinsIdentificationVisitor());
2.18 + chainRIFValidatorVisitor.add(new CoreSafenessVisitor());
2.19 + //RDF Combination
2.20 + chainRIFValidatorVisitor.add(new RDFCombinationBlankNodeVisitor());
2.21 + chainRIFValidatorVisitor.add(new RDFCombinationConstantEquivalenceVisitor());
2.22 + chainRIFValidatorVisitor.add(new RDFCombinationSubClassVisitor());
2.23 + //OWL Combination
2.24 + chainRIFValidatorVisitor.add(new OWLDLAnnotationVisitor());
2.25 + RIFValidator validator =
2.26 + new CoreValidator(chainRIFValidatorVisitor);
2.27 + return validator;
2.28 + }
2.29 +}