t13.use

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

model t13 -- test grammar changes re. propertyCall

class Foo
end

class Bar < Foo
end

constraints

context Foo inv i1: 
  exists(true)

context Foo inv i2: 
  iterate(e; a : Integer = 0 | true)

context Foo inv i3: 
  oclAsType(Bar).isDefined()