Selecting an Invocation Condition
See Also
The IDE's UML Modeling feature lets you work with pre and post conditions of invocations.
- Pre Condition. A constraint that must be satisfied when execution has started.
- Post Condition. A constraint that must be satisfied when execution has completed.
To select an invocation condition:
- In the Diagram editor, select the Invocation.
- To define a Pre Condition, do the following:
- In the Properties window, select the PreConditions property.
- Click the ellipsis button (...).
The PreConditions dialog box opens.
- Click the Add button and enter a name or expression.
- Click OK.
- To define a Post Condition, do the following:
- In the Properties window, select the PostConditions property.
- Click the ellipsis button (...).
The PostConditions dialog box opens.
- Click the Add button and enter a name or expression.
- Click OK.
- See Also
- Working With Invocations and Common Elements
Legal Notices