search

eclipse-ocl / org.eclipse.ocl

Eclipse Public License 2.0
0 stars 0 forks source link

[debug] Premature evaluation failure #1415

Open eclipse-ocl-bot opened 4 days ago

eclipse-ocl-bot commented 4 days ago

| --- | --- | | Bugzilla Link | 452970 | | Status | NEW | | Importance | P3 normal | | Reported | Nov 24, 2014 04:02 EDT | | Modified | Nov 24, 2014 13:32 EDT | | Reporter | Ed Willink |

Description

Using commit c4aabb42c2ad3d386f8521535f1ad1a70d78ade1 from the ewillink/ocl25 branch and selecting "Class" from Bug434356.uml attempting to debug the following in the Xtext OCL Console

let tags = self.getAppliedStereotypes()->closure(superClass).ownedAttribute in\ tags->collect(tag | self.getValue(tag.owner.oclAsType(Stereotype), tag.name))

terminates after about seven single steps.

eclipse-ocl-bot commented 4 days ago

By Ed Willink on Nov 24, 2014 11:49

The initial failure is an IAE. Bug 453090.

eclipse-ocl-bot commented 4 days ago

By Ed Willink on Nov 24, 2014 13:32

push/popVisitor are not matched for a ClosureIteration