www.pudn.com > use-2.3.0.zip > AB.use

-- $ProjectHeader: use 2-3-0-release.1 Mon, 12 Sep 2005 20:18:33 +0200 green $

model AB

class A
operations
  op(p : Integer)
end

class B
attributes
  c : Integer
end

association R between
  A[*]
  B[1]
end

constraints

context A::op(p : Integer)
  pre:  self.b.c = 1
  post p1: self.b.c = 0
  post p2: self.b@pre.c = p
  post p3: self.b@pre.c@pre = 1
  post p4: self.b.c@pre = oclUndefined(Integer)