t12.use

来自「UML设计测试工具」· USE 代码 · 共 11 行

model t12 -- test scope of invariant names

class Foo
end

constraints

context Foo inv i: true
context Foo inv i: true