Package test.wsmo4j.validator

Class Summary
AnonIDRef Title: WSMO4J
BugTests This unit test class is meant to show up bugs in the validator that need to be fixed.
CarlosValidatorTests This unit test class is meant to show up bugs in the validator that need to be fixed.
ValidateImportsTests Checks if imported WSML files are validated correctly.
ValidateLogicalExpressionTests Checks if logical expressions are validated correctly.
ValidatorConceptualTests Different error types are tested via constructed invalid ontology element definitions.
ValidatorFileTests Checks if WSML files are valid and checks the error messages if not.
ValidatorLogExprTests Different error types are tested via constructed invalid axiom definitions.
ValidatorTestCase TestCase for the validator tests.
ValidatorWSandGoalTests Checks if WSML Web Service and Goals are valid and checks the error messages if not.
VariantsTest General validator tests
 



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