ParsingTest (WSMO java Implementatio 0.6.1 Test API)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

test.wsmo4j.logicalexpression.io
Class ParsingTest

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          test.wsmo4j.logicalexpression.LogicalExpressionTestCase
              test.wsmo4j.logicalexpression.io.ParsingTest

All Implemented Interfaces:: junit.framework.Test

public class ParsingTest
extends LogicalExpressionTestCase
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 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