Issue 18985: Reverse CollectionRange should be empty rather than invalid (ocl2-rtf)
Source: Model Driven Solutions (Dr. Edward Willink, ed(at)willink.me.uk)
Nature: Clarification
Severity: Minor
Summary: The clarification of Issue 15836 is too strong.


For an empty collection it is im,portant that


let s = Sequence{} in Sequence{1..s->size()}

is Sequence{}, i.e. the valid indexes of an empty Sequence are empty not invalid.
Resolution: 
Revised Text: 
Actions taken:
October 3, 2013: received issue
Discussion: 

End of Annotations:=====

m: webmaster@omg.org
Date: 03 Oct 2013 23:13:15 -0400
To: <issues@omg.org>
Subject: Issue/Bug Report


*******************************************************************************
Name:            Edward Willink
Employer:        
mailFrom:        ed@willink.me.uk
Terms_Agreement: 
Specification:   OCL
Section:         8.3.7
FormalNumber:    13-10-01
Version:         2.4
Doc_Year:        2013
Doc_Month:       October
Doc_Day:         01
Page:            56
Title:           Reverse CollectionRange should be empty rather than invalid
Nature:          Clarification
Severity:        Minor
CODE:            3TMw8
B1:              Report Issue
Remote Name:     exchange.flsdlaw.com
Remote User:     
HTTP User Agent: Mozilla/5.0 (Windows NT 6.0; rv:24.0) Gecko/20100101 Firefox/24.0
Time:            11:13 PM


Description:


The clarification of Issue 15836 is too strong.


For an empty collection it is im,portant that


let s = Sequence{} in Sequence{1..s->size()}

is Sequence{}, i.e. the valid indexes of an empty Sequence are empty not invalid.