t4.use

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

model t4

class A
end

constraints

context A inv:
  A.allInstances->notEmpty