Use+Case 源代码

model t13 -- test grammar changes re. propertyCall class Foo end class Bar < Foo end constraints context Foo inv i1: exists…

model t10 -- regression test for bug0010 class Foo operations bar() : Failure = 0 end

model t1 class A end class A end

model t8 class A operations op1() : Boolean = self.op2() op2() : Boolean = self.op1() end

model t5 class A end association R between A[*] role a1 A[0..1] role a2 end constraints context A inv: self.a2->forAll(a…

model t3 class A end class B end association R between A [0..1] B [0] end

model t2

model t18 class A attributes attr : Integer end class B attributes attr : String end class C < A,B end

model t7 enum Color { red, blue } class Point attributes c : Color end constraints context Point inv: self.c = #Red -- fa…

model t14 enum foo { bla, foobar} class A attributes x : Integer operations constraints end class B operations op() : Real …