Class NullModelChecker

  • All Implemented Interfaces:
    ModelChecker

    public class NullModelChecker
    extends java.lang.Object
    implements ModelChecker
    This ModelChecker implementation does not perform any checks. The normally used checker is replaced with this one if the checks shall be omitted (for example for performance reasons).
    Author:
    Rene Schneider - initial API and implementation
    • Method Summary

      All Methods Instance Methods Concrete 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.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait