Operation Constraints Dialog

You use the Operation Constraints dialog to define or edit the pre-conditions and/or post-conditions on an operation in a Testpoint Class that is subject to Testpoint tests.

Pre-conditions defined for a method are evaluated when the method is first called; post-conditions are evaluated (at the same time as any Class Invariant) when the method completes.

Access:    Double-click on the operation item in the Testpoints window


The dialog contains two sets of the following fields; one set for pre-conditions and one set for post-conditions:



See also


Click on the ( ... ) button

The Testpoint Editor dialog displays, listing the conditions currently set on the operation; you can create, delete and re-sequence the conditions on this dialog

Testpoint Editor

Action on Fail

Click on the drop-down arrow and select from the three options:

  • Continue - ignore the failure
  • Break execution - halt the run and display the Stack trace
  • Disable on fail - do not execute the test again


Testpoint Trace:

The dialog also contains fields for Testpoint Trace statements. Testpoints differ from constraints, being statements that can return the values of variables (similar to a Debug.Print or Session.output statement). They are not set in the code, but stored in the model.



See also


(Disabled if the Level field is set to Disabled)

View the current traces and/or, if necessary, type in a new trace statement

If there are several trace statements, you can list the statements in a vertical list rather than a comma-separated string  - click on the Browse button

Testpoint Management


Select the required level of trace statement to be output

  • Disabled - no statement output
  • Level 1 - Only Level 1 statements output
  • Level 2 - Both Level 1 and Level 2 statements output
  • Level 3 - Levels 1, 2, and 3 statements output


Learn More:

Learning Center topics:

  • (Alt+F1) | Execution Analysis | Testpoints |
  • Edit Pre Condition
  • Edit Post Condition