t11.use

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

model t11 -- test scope of invariant names

class Foo
end

class Bar
end

constraints

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