|
A description of each section in a contract is shown in the following schema.
| Operation: | Name of operation, and parameters | | Cross References: | (optional) Use cases this operation can occur within | | Preconditions: | Noteworthy assumptions about the state of the system or objects in the Domain Model before execution of the operation. These will not be tested within the logic of this operation, are assumed to be true, and are non-trivial assumptions the reader should know were made. | | Postconditions: | - The state of objects in the Domain Model after completion of the operation. Discussed in detail in a following section.
|
|