search

eclipse-ocl / org.eclipse.ocl

Eclipse Public License 2.0
0 stars 0 forks source link

[cg] Assertion error during CSE rewrite #1656

Closed eclipse-ocl-bot closed 1 hour ago

eclipse-ocl-bot commented 1 hour ago

| --- | --- | | Bugzilla Link | 485826 | | Status | RESOLVED FIXED | | Importance | P3 normal | | Reported | Jan 14, 2016 05:04 EDT | | Modified | Jan 15, 2016 13:29 EDT | | Reporter | Ed Willink |

Description

Running the AutoAS launch gives:

java.lang.AssertionError\ at org.eclipse.ocl.examples.codegen.cse.CommonAnalysis.rewrite(CommonAnalysis.java:133)\ at org.eclipse.ocl.examples.codegen.cse.ControlPlace.rewrite(ControlPlace.java:236)\ at org.eclipse.ocl.examples.codegen.cse.LocalPlace.rewrite(LocalPlace.java:135)\ at org.eclipse.ocl.examples.codegen.cse.StackPlace.rewrite(StackPlace.java:106)

eclipse-ocl-bot commented 1 hour ago

By Ed Willink on Jan 14, 2016 05:05

Problem is that a CSE is extracted 'twice'. The second attempt fails on the assertion that it is still in the tree.

Replacing the non-null assertion by a non-null guard and the problem is cured.

eclipse-ocl-bot commented 1 hour ago

By Ed Willink on Jan 15, 2016 13:29

commit 03e369e5cee71732b8fda56d43f2d6035fd4e967 pushed to master for M5