| Name | Description |
|---|---|
| ContractChecker | |
| ContractDummy | |
| ContractMethods | A collection of methods that can be called in a way that provides tools with information about contracts. |
| DummyMethodContract | |
| DummyPostcondition | |
| DummyTypeContract | |
| MethodContractAndMethodBody | Since this project isn't using the 3.5 platform, just needed a quick 2-tuple. |
| Visibility |
