|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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 |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |