Issue 19534: Coolection operations do not allow invalid inputs (ocl2-rtf)
Source: Model Driven Solutions (Dr. Edward Willink, ed(at)willink.me.uk)
Nature: Clarification
Severity: Minor
Summary: Add not oclIsInvalid() precondition on all non-Collection inputs.


e.g including(object : T)

pre: not object.oclIsInvalid()
Resolution: 
Revised Text: 
Actions taken:
July 22, 2014: received issue
Discussion: 

End of Annotations:=====

m: webmaster@omg.org
Date: 22 Jul 2014 04:49:18 -0400
To: <issues@omg.org>
Subject: Issue/Bug Report


*******************************************************************************
Name:            Ed Willink
Employer:        
mailFrom:        ed@willink.me.uk
Terms_Agreement: I agree
Specification:   OCL
Section:         11.7
FormalNumber:    2.4
Version:         2.4
Doc_Year:        Year
Doc_Month:       Month
Doc_Day:         Day
Page:            160 is
Title:           Coolection operations do not allow invalid inputs
Nature:          Clarification
Severity:        Minor
CODE:            3TMw8
B1:              Report Issue
Remote Name:     natvip73.york.ac.uk
Remote User:     
HTTP User Agent: Mozilla/5.0 (Windows NT 6.3; WOW64; rv:30.0) Gecko/20100101 Firefox/30.0
Time:            04:49 AM


Description:


Add not oclIsInvalid() precondition on all non-Collection inputs.


e.g including(object : T)

pre: not object.oclIsInvalid()