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: CoreAssignee: OCL Inbox <mdt-ocl-inbox>
Status: CLOSED FIXED QA Contact:
Severity: normal    
Priority: P3 CC: alexander.igdalov
Version: 1.3.0Keywords: plan
Target Milestone: 3.1.0Flags: ed: indigo+
Hardware: PC   
OS: Windows XP   
Whiteboard: Compliance
Bug Depends on:    
Bug Blocks: 156363    

Description Ed Willink CLA 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 CLA 2011-02-01 03:29:28 EST
Iterators are now validated against the library model declarations.
Comment 2 Ed Willink CLA 2011-05-27 06:40:56 EDT
Resolved for Indigo is 3.1.0 not 3.2.0.
Comment 3 Ed Willink CLA 2012-05-29 13:22:11 EDT
Closing all bugs resolved in Indigo.