| Interface Summary | |
|---|---|
| Logger | Instances of this class may be registered with ContractBase.addLogger() method to receive indications
when contracts are verified. |
| Class Summary | |
|---|---|
| ContractBase<T> | |
| Annotation Types Summary | |
|---|---|
| ContractReference | This annotation links a target class to it's contract class. |
| Pure | |