t9.use

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

model t9

class A
end

constraints

context A inv:
  Set{Set{1,2}}.oclIsKindOf(Set(Integer))