Package de.gebit.integrity.runner.modelcheck

## 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`