Interface ModelChecker
-
- All Known Implementing Classes:
DefaultModelChecker
,NullModelChecker
public interface ModelChecker
The model checker is used to validate a test model prior to execution, with the goal being to capture commonly occurring problems before they "crash" the system, thereby usually providing only basic information about the problem. The checks in this checker are supposed to deliver readable, substantial information about erroneous situations in order to aid the user in fixing the problem.- Author:
- Rene Schneider - initial API and implementation
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
check(Call aCall)
Validates a call.void
check(CustomOperation aCustomOperation)
Validates a custom operation.void
check(Suite aSuite)
Validates a suite call.void
check(TableTest aTableTest)
Validates a tabletest.void
check(Test aTest)
Validates a test.
-
-
-
Method Detail
-
check
void check(Test aTest) throws ModelRuntimeLinkException
Validates a test.- Parameters:
aTest
- the test to check- Throws:
ModelRuntimeLinkException
-
check
void check(Call aCall) throws ModelRuntimeLinkException
Validates a call.- Parameters:
aCall
- the call to check- Throws:
ModelRuntimeLinkException
-
check
void check(TableTest aTableTest) throws ModelRuntimeLinkException
Validates a tabletest.- Parameters:
aTableTest
- the tabletest to check- Throws:
ModelRuntimeLinkException
-
check
void check(CustomOperation aCustomOperation) throws ModelRuntimeLinkException
Validates a custom operation.- Parameters:
aCustomOperation
- the custom operation to check- Throws:
ModelRuntimeLinkException
-
check
void check(Suite aSuite) throws ModelRuntimeLinkException
Validates a suite call.- Parameters:
aSuite
- the suite call to check- Throws:
ModelRuntimeLinkException
-
-