eclipse-ocl-bot
commented
2 hours ago By Ed Willink on Feb 28, 2015 14:34
(In reply to Ed Willink from comment #0)
recurses infinitely for the select body. Looks like oclAsSet() has got confused.
Indeed, any adjusted after change to primarily AS outline.
commit 3342f4fcfe9e321b06311a2fd07306d7278d15a8
pushed to master for M6
| --- | --- | | Bugzilla Link | 460625 | | Status | RESOLVED FIXED | | Importance | P3 normal | | Reported | Feb 23, 2015 13:21 EDT | | Modified | Feb 28, 2015 14:34 EDT | | Reporter | Ed Willink |
Description
Outline for
import ecore : 'http://www.eclipse.org/emf/2002/Ecore#/';
package test : tut = 'http://bug/382087'\ {\ class Test\ {\ invariant Testing: self->select(self);\ }\ }
recurses infinitely for the select body. Looks like oclAsSet() has got confused.