源码文件
model t6 class A end constraints context A inv: self->notEmpty
Use+Case 源代码
汇集 Use+Case 相关的电路原理图、PCB工程文件、单片机/FPGA源代码、数据手册与应用设计方案。
收录资源 500 份
全站深度检索
共匹配 500 份工程资源
· 第 27 / 50 页
源码文件
model t17 class A end class A attributes anAttr : Integer end
源码文件
-- $ProjectHeader: use 2-3-0-release.1 Mon, 12 Sep 2005 20:18:33 +0200 green $ model t16 -- @pre only in postconditions class A…
源码文件
model t4 class A end constraints context A inv: A.allInstances->notEmpty
源码文件
model t19 class A operations op(param : Integer) : Integer end class B operations op(param : String) : Integer end class C …
源码文件
model t11 -- test scope of invariant names class Foo end class Bar end constraints context Foo inv i: true context Bar inv i: …
源码文件
model t9 class A end constraints context A inv: Set{Set{1,2}}.oclIsKindOf(Set(Integer))
源码文件
-- $ProjectHeader: use 2-3-0-release.1 Mon, 12 Sep 2005 20:18:33 +0200 green $ model t15 -- pre-/postconditions class A operati…
源码文件
model t12 -- test scope of invariant names class Foo end constraints context Foo inv i: true context Foo inv i: true
源码文件
model foobar class foo attributes bar_attr : Integer operations bar_op() : Integer = bar_attr + 1 constraints inv OK1 : 0