t16.use
来自「UML设计测试工具」· USE 代码 · 共 20 行
USE
20 行
-- $ProjectHeader: use 2-3-0-release.1 Mon, 12 Sep 2005 20:18:33 +0200 green $model t16 -- @pre only in postconditionsclass Aoperations op1(p1 : Integer) : Stringendconstraintscontext A inv: self@pre.isDefined() inv: self.oclIsNew()context A::op1(p1 : Integer) : String pre: self@pre.isDefined() pre: self.oclIsNew() post: self.oclIsNew()
⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?