前页 | 后页 |
约束行动
约束定义操作的合同行为,在调用之前必须为真(前置条件),在调用后必须为真(后置条件)。在这方面,它们与类的状态模型相关,也可以与适用于转换的保护条件相关。您可以为操作定义前置条件和后置条件。
访问
在显示“属性”对话框之前,单击图表或浏览器窗口中所需的操作。
键盘快捷键 |
(从图中)Enter > Pre 或 Post (从浏览器窗口)进入 |属性> Pre 或 Post |
定义约束
属性窗口的'前置'与'后置'选项卡上的字段和选项是相同的。单击相应的选项卡以定义操作行为之前和之后的条件。
Option |
Action |
See also |
---|---|---|
前提: |
类型在条件的名称或效果中。 |
|
类型 |
单击下拉箭头并单击适当的条件类型。 |
|
<注记> |
类型在条件所需的任何进一步解释或描述中。 |
|
新的 |
单击此按钮可清除字段以定义另一个条件。 |
|
节省 |
单击此按钮以保存新的或更新的条件并将更改添加到“前置条件”或“后置条件”列表中。 此按钮还会清除数据字段,以便您可以创建另一个条件。 |
|
前提 |
列出为此操作定义的前置条件或后置条件。 单击此列表中的项目以使用详细信息重新填充对话框字段,以编辑或删除条件。 |
|
删除 |
单击“前置条件”或“后置条件”列表中的项目,然后单击此按钮可从操作中删除该条件。 |