test.wsmo4j.logicalexpression
Class GetRootUtilTest

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

All Implemented Interfaces:

junit.framework.Test

public class GetRootUtilTest
extends ValidatorTestCase

Test class for testing the utility class to get the root variable from a WSML-DL formula.

 Created on Sep 27, 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

GetRootUtil

util

Fields inherited from class test.wsmo4j.validator.ValidatorTestCase

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

Constructor Summary

GetRootUtilTest()

Method Summary

void	testGetRoot()

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

Field Detail

util

public GetRootUtil util

Constructor Detail

GetRootUtilTest

public GetRootUtilTest()

Method Detail

testGetRoot

public void testGetRoot()
                 throws Exception

Throws:

Exception