[QVTiEvaluator] PropertyAssignment & MiddlePropertyAssignment only handle VariableExp as slot expressions

[eclipse-qvtd-bot]

| --- | --- | | Bugzilla Link | 456900 | | Status | RESOLVED FIXED | | Importance | P3 normal | | Reported | Jan 07, 2015 06:32 EDT | | Modified | Mar 18, 2015 16:44 EDT | | Reporter | Adolfo Sanchez-Barbudo Herrera |

Description

QVTiAbstractEvaulationVisitor doesn't properly evaluates (Middle)PropertyAssignment because they are incorrectly restricted to deal with VariableExp as the their slotExpressions.

Demonstrating test case and potential fix coming soon.

[eclipse-qvtd-bot]

By Adolfo Sanchez-Barbudo Herrera on Jan 07, 2015 07:16

branch asanchez/456900 pushed with test case and potential fix.

With respect to the right hand side value computation: taking apart those cache indexes related stuff, the differences between MiddlePropertyAssignment and PropertyAssignment seem suspicious, specifically when computing that ecore value. Since I don't know the intention/reasoning about those differences I'll let Ed/Horacio to take a decision about it.

Notes:

• This branch is not on top of master. It's on the development one, because the latter contains the evaluator fix that Horacio recently made.
• This asanchez/456900 makes my OCL2QVTi execution test cases pass again.

Cheers,\ Adolfo.

[eclipse-qvtd-bot]

By Ed Willink on Jan 11, 2015 17:00

(In reply to Adolfo Sanchez-Barbudo Herrera from comment #1)

the differences between MiddlePropertyAssignment and PropertyAssignment seem suspicious,

Indeed. Factored out to common routine.

Test cases were very fragile. genmodels had stale property names. generated packages were registered underneath platform packages.

Pushed to master for M5.