Issue 7524: Only one of the attributes isPost and isPre may be true at the same time. (ocl2-rtf)
Source: OpenModeling (Mr. Jos Warmer, jos.warmer(at)openmodeling.nl)
Nature: Uncategorized Issue
Severity: 
Summary: 16. -- [1] Only one of the attributes isPost and isPre may be true at the same time.
context LocalSnapshot
inv: isPost implies isPre = false
inv: ispre implies isPost = false
==> second invariant: ’ispre’ should be ’isPre’
Resolution: yes
Revised Text: In 10.2.2.6 LocalSnapshot replace
inv: ispre implies isPost = false
by
inv: isPre implies isPost = false
Actions taken:
June 10, 2004: received issue
December 23, 2013: closed issue
Discussion: 

End of Annotations:=====
s is issue # 7524

Only one of the attributes isPost and isPre may be true at the same time.

16. -- [1] Only one of the attributes isPost and isPre may be true at the same time.
context LocalSnapshot
inv: isPost implies isPre = false
inv: ispre implies isPost = false
==> second invariant: .ispre. should be .isPre.