t5.use

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

model t5

class A
end

association R between
  A[*] role a1
  A[0..1] role a2
end

constraints

context A inv:
  self.a2->forAll(a | true)