Operation Constraints

Access    Project Browser Operation context menu | Operation Properties | Constraints




See also


You can define pre- and post- conditions for an Operation; for each type, give the condition a name and a type, and enter notes.

Constraints define the contractual behavior of an operation, what must be true before they are called and what is true after. In this respect they are related to the state model of a Class and can also relate to the guard conditions that apply to a transition.