t11.use

UML设计测试工具

model t11 -- test scope of invariant names

class Foo
end

class Bar
end

constraints

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