Contract (patterntesting-rt 2.2.20-YEARS API)

```
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 Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  boolean invariant()
  This method checks if the conditions of the invariants are still true.

- 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