t16.use

UML设计测试工具

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

model t16  -- @pre only in postconditions

class A
operations
  op1(p1 : Integer) : String
end

constraints

context A 
  inv: [e-mail]()
  inv: self.oclIsNew()

context A::op1(p1 : Integer) : String
  pre:  [e-mail]()
  pre: self.oclIsNew()
  post: self.oclIsNew()