ModelChecker (Integrity Test Framework - Javadoc 22.1.3 API)

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