search

eclipse-ocl / org.eclipse.ocl

Eclipse Public License 2.0
0 stars 0 forks source link

[evaluation] invalid indexOf can become valid #1425

Closed eclipse-ocl-bot closed 4 hours ago

eclipse-ocl-bot commented 4 hours ago

| --- | --- | | Bugzilla Link | 456057 | | Status | RESOLVED INVALID | | Importance | P3 normal | | Reported | Dec 23, 2014 04:42 EDT | | Modified | Dec 23, 2014 07:41 EDT | | Reporter | Ed Willink |

Description

let s = Sequence{0.0,0.0,0.0} in s->collect(r | r + Sequence{1.0,2.0,3.0}->at(s->indexOf(r)))

evaluates to 1.0,1.0,1.0 rather than invalid. It seems that the invalid from indexOf has not propagated correctly.

eclipse-ocl-bot commented 4 hours ago

By Ed Willink on Dec 23, 2014 07:41

No. It is a reading error.

Execution is always Sequence{0.0,0.0,0.0}->indexOf(0.0) giving 1.