Design by contract lightning talk
13
Design by Contract
-
Upload
christophe-marchal -
Category
Technology
-
view
349 -
download
1
Transcript of Design by contract lightning talk
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