Operation Conditions
You can define operation conditions in the form of constraints.
The Constraints tab in the operation properties dialog box is used to specify:
• A PreCondition that must be met before the operation executes.
• The Body, that must be met at operation execution.
• A PostCondition that must be met after executing the operation.
If a condition is not respected, an exception is generated.
See also:
"Constraints".