Overview
Ease of use
Powerful
Six principles
Examples
Syntax reference
Inheritance of contracts
Installation
Configuration
Guidelines
Under the Hood
Theory
FAQ
About
Download C4J 6.0.0
C4J Eclipse Plugin
Download C4J 2.7.5
Examples
The following examples should give you a quick overview of C4J's features:
Precondition example
Postcondition example
Class invariant example
Class contract example
Interface contract example
External class contract example
External interface contract example
