Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 288573

Summary:	[validator] iterators are not validated
Product:	[Modeling] OCL	Reporter:	Ed Willink <ed>
Component:	Core	Assignee:	OCL Inbox <mdt-ocl-inbox>
Status:	CLOSED FIXED	QA Contact:
Severity:	normal
Priority:	P3	CC:	alexander.igdalov
Version:	1.3.0	Keywords:	plan
Target Milestone:	3.1.0	Flags:	ed: indigo+
Hardware:	PC
OS:	Windows XP
Whiteboard:	Compliance
Bug Depends on:
Bug Blocks:	156363

Description Ed Willink

2009-09-03 17:06:40 EDT

OCL 2.1 7.4.6 suggests to check that exists supports two iterators.

MDT-OCL 1.3.0 supports two iterators everywhere.

There is no validation of the single iterator constraints on for instance select() (e.g. 11.9.4).

Comment 1 Ed Willink

2011-02-01 03:29:28 EST

Iterators are now validated against the library model declarations.

Comment 2 Ed Willink

2011-05-27 06:40:56 EDT

Resolved for Indigo is 3.1.0 not 3.2.0.

Comment 3 Ed Willink

2012-05-29 13:22:11 EDT

Closing all bugs resolved in Indigo.