Package patterntesting.runtime.dbc

This package is reserved for "Design By Contract" (DbC).

Since:

0.8

Author:

oliver

Interface Summary

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

Class Summary

Class	Description
DbC	The Class DbC.

Error Summary

Error	Description
ContractViolation	The Class ContractViolation.