View: | Hide Browser | Browser on the left | Browser on the right | Dictionary |
Report: | General Info |
Specifies a constraint that must be attached to an operation, and denotes that the conditions of the constraint must hold after the invocation of the operation.
General Info | |
Name | postcondition |
Base Classes | Constraint |
Abstract | false |
Leaf | false |
Root | false |