| Interface | Description |
|---|---|
| IContractService |
Example for contracts in services.
|
| Class | Description |
|---|---|
| ConditionAgent |
Agent that tests if contracts, i.e. pre- and postconditions on services work.
|
| ConditionAgent.DetectionListener<E> |
Helper class for interpreting results.
|
Copyright © 2012. All Rights Reserved.