design by contract lightning talk
TRANSCRIPT
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/c4j2.7.5/lib/c4j.jar=trace=true ea