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

    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.