约束行动

约束定义操作的合同行为，在调用之前必须为真（前置条件），在调用后必须为真（后置条件）。在这方面，它们与类的状态模型相关，也可以与适用于转换的保护条件相关。您可以为操作定义前置条件和后置条件。

访问

在显示“属性”对话框之前，单击图表或浏览器窗口中所需的操作。

键盘快捷键

（从图中）Enter > Pre 或 Post

（从浏览器窗口）进入 |属性> Pre 或 Post

属性窗口的'前置'与'后置'选项卡上的字段和选项是相同的。单击相应的选项卡以定义操作行为之前和之后的条件。

选项	行动	也见
前提：后置条件：	类型在条件的名称或效果中。
类型	单击下拉箭头并单击适当的条件类型。
<注记>	类型在条件所需的任何进一步解释或描述中。
新的	单击此按钮可清除字段以定义另一个条件。
节省	单击此按钮以保存新的或更新的条件并将更改添加到“前置条件”或“后置条件”列表中。此按钮还会清除数据字段，以便您可以创建另一个条件。
前提后置条件	列出为此操作定义的前置条件或后置条件。单击此列表中的项目以使用详细信息重新填充对话框字段，以编辑或删除条件。
删除	单击“前置条件”或“后置条件”列表中的项目，然后单击此按钮可从操作中删除该条件。