t7.use

UML设计测试工具

model t7

enum Color { red, blue }

class Point
attributes
  c : Color
end

constraints

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