patterntesting.runtime.dbc
Interface Contract

public interface Contract

With this Contract interface you can realize Design-by-Contract, also known as DbC.

Since:

29.01.2009

Version:

$Revision: 1.2 $

Author:

oliver

Method Summary

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