Selecting an Invocation Condition

See Also

The IDE's UML Modeling feature lets you work with pre and post conditions of invocations.

To select an invocation condition:

  1. In the Diagram editor, select the Invocation.
  2. To define a Pre Condition, do the following:
    1. In the Properties window, select the PreConditions property.
    2. Click the ellipsis button (...).
      The PreConditions dialog box opens.
    3. Click the Add button and enter a name or expression.
    4. Click OK.
  3. To define a Post Condition, do the following:
    1. In the Properties window, select the PostConditions property.
    2. Click the ellipsis button (...).
      The PostConditions dialog box opens.
    3. Click the Add button and enter a name or expression.
    4. Click OK.
See Also
Working With Invocations and Common Elements

Legal Notices