test.wsmo4j.logicalexpression.io
Class ParsingTest

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by test.wsmo4j.logicalexpression.LogicalExpressionTestCase
              extended by test.wsmo4j.logicalexpression.io.ParsingTest
All Implemented Interfaces:
junit.framework.Test

public class ParsingTest
extends LogicalExpressionTestCase

Testing the implementation of parse(String) that converts the string representation of a logical expression to a ObjectModel

Version:
$Revision$
Author:
Holger.lausen@deri.org

Field Summary
 
Fields inherited from class test.wsmo4j.logicalexpression.LogicalExpressionTestCase
factory, leFactory, ns, parser, serializer, topEntity
 
Constructor Summary
ParsingTest()
           
 
Method Summary
 void testAndBrackets()
           
 void testBuiltInAtom()
           
 void testBuiltInPredicate()
           
 void testBuiltInStrongEqual()
           
 void testDataTypePredicateInParsing()
           
 void testDataTypePredicateRewrite()
           
 void testDataTypes()
           
 void testDot()
           
 void testException()
           
 void testLatestImplicationBindsStrongest()
          checking latest element binds strongest behaviour
 void testNegativeDecimalWithLeadingZero()
           
 void testNewQuantifier()
           
 void testPresendence()
          presedence is currently: -NEG,NAF (strongest) -AND -OR -IMPLIES | - impliedBy | equivalent | LP_IMPLICATION (the latest occurence binds stronger) -Constraint (lowest)
 
Methods inherited from class test.wsmo4j.logicalexpression.LogicalExpressionTestCase
serialize, serialize, serialize, 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

ParsingTest

public ParsingTest()
Method Detail

testNewQuantifier

public void testNewQuantifier()
                       throws Exception
Throws:
Exception

testDataTypePredicateInParsing

public void testDataTypePredicateInParsing()
                                    throws Exception
Throws:
Exception

testDataTypePredicateRewrite

public void testDataTypePredicateRewrite()
                                  throws Exception
Throws:
Exception

testBuiltInAtom

public void testBuiltInAtom()
                     throws Exception
Throws:
Exception

testBuiltInStrongEqual

public void testBuiltInStrongEqual()
                            throws Exception
Throws:
Exception

testBuiltInPredicate

public void testBuiltInPredicate()
                          throws Exception
Throws:
Exception

testAndBrackets

public void testAndBrackets()
                     throws Exception
Throws:
Exception

testPresendence

public void testPresendence()
                     throws Exception
presedence is currently: -NEG,NAF (strongest) -AND -OR -IMPLIES | - impliedBy | equivalent | LP_IMPLICATION (the latest occurence binds stronger) -Constraint (lowest)

Throws:
Exception

testLatestImplicationBindsStrongest

public void testLatestImplicationBindsStrongest()
                                         throws Exception
checking latest element binds strongest behaviour

Throws:
Exception

testDot

public void testDot()
             throws Exception
Throws:
Exception

testException

public void testException()
                   throws Exception
Throws:
Exception

testDataTypes

public void testDataTypes()
                   throws org.wsmo.wsml.ParserException
Throws:
org.wsmo.wsml.ParserException

testNegativeDecimalWithLeadingZero

public void testNegativeDecimalWithLeadingZero()
                                        throws Exception
Throws:
Exception


Copyright © 2004-2008 Ontotext Lab.. All Rights Reserved.