t7.use

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

model t7

enum Color { red, blue }

class Point
attributes
  c : Color
end

constraints

context Point inv:
  self.c = #Red  -- failed in 1.2.0