Interface Contract


  • public interface Contract
    With this Contract interface you can realize Design-by-Contract, also known as DbC. See also Jass (as another approach for DbC).
    Since:
    29.01.2009
    Version:
    $Revision: 1.5 $
    Author:
    oliver
    • Method Detail

      • invariant

        boolean invariant()
        This method checks if the conditions of the invariants are still true. It is evaluated at the end of each method call (e.g. you can think of it as a global postcondition).
        Returns:
        true otherwise the invariant contract was violated