Design by Contract

What is a contract?

Client

Supplier

Contract

●Invariant●Precondition●Postcondition

C4J

Design By Contract for Java

Features

● Pre/Post/Invariants● Transparent inheritance● Enforce Liskov substitution principle● Access to old values● Acess to fields

java ­javaagent:/home/toff/dev/c4j/c4j­2.7.5/lib/c4j.jar=trace=true ­ea