test.wsmo4j.validator
Class ValidateLogicalExpressionTests

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          test.wsmo4j.validator.ValidatorTestCase
              test.wsmo4j.validator.ValidateLogicalExpressionTests

All Implemented Interfaces:

junit.framework.Test

public class ValidateLogicalExpressionTests
extends ValidatorTestCase

Checks if logical expressions are validated correctly.

 Created on Sep 19, 2006
 Committed by $Author: morcen $
 $Source$,
 

Version:

$Revision: 1946 $ $Date: 2007-04-02 15:13:28 +0300 (Mon, 02 Apr 2007) $

Author:

nathalie.steinmetz@deri.org

Field Summary

Fields inherited from class test.wsmo4j.validator.ValidatorTestCase

axiom, dataFactory, factory, le, leFactory, leSet, ns, ontology, parser

Constructor Summary

ValidateLogicalExpressionTests()

Method Summary

void	testDetermineCoreVariantOfLogExpr()
void	testDetermineFlightVariantOfLogExpr()
void	testInValidCoreLogExpr()
void	testInValidDLLogExpr1()
void	testInValidDLLogExpr2()
void	testInValidFlightLogExpr()
void	testInValidRuleLogExpr()
void	testValidCoreLogExpr()
void	testValidDLLogExpr()
void	testValidFlightLogExpr()
void	testValidRuleLogExpr()

Methods inherited from class test.wsmo4j.validator.ValidatorTestCase

createAxiomDef, getOntHeader, getOntLocalName, printError, printWarning, removeAxiomDef, setUp, tearDown

Methods inherited from class junit.framework.TestCase

countTestCases, createResult, getName, run, run, runBare, runTest, setName, toString

Methods inherited from class junit.framework.Assert

assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail, failNotEquals, failNotSame, failSame, format

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ValidateLogicalExpressionTests

public ValidateLogicalExpressionTests()

Method Detail

testValidCoreLogExpr

public void testValidCoreLogExpr()
                          throws Exception

Throws:

Exception

testInValidCoreLogExpr

public void testInValidCoreLogExpr()
                            throws Exception

Throws:

Exception

testValidDLLogExpr

public void testValidDLLogExpr()
                        throws Exception

Throws:

Exception

testInValidDLLogExpr1

public void testInValidDLLogExpr1()
                           throws Exception

Throws:

Exception

testInValidDLLogExpr2

public void testInValidDLLogExpr2()
                           throws Exception

Throws:

Exception

testValidFlightLogExpr

public void testValidFlightLogExpr()
                            throws Exception

Throws:

Exception

testInValidFlightLogExpr

public void testInValidFlightLogExpr()
                              throws Exception

Throws:

Exception

testValidRuleLogExpr

public void testValidRuleLogExpr()
                          throws Exception

Throws:

Exception

testInValidRuleLogExpr

public void testInValidRuleLogExpr()
                            throws Exception

Throws:

Exception

testDetermineCoreVariantOfLogExpr

public void testDetermineCoreVariantOfLogExpr()
                                       throws Exception

Throws:

Exception

testDetermineFlightVariantOfLogExpr

public void testDetermineFlightVariantOfLogExpr()
                                         throws Exception

Throws:

Exception