MPS 1.5 to MPS 2.0 migration

  • 36
  • 4

Hi,

i just tried the MPS 2.0.1 great work! Seems that migration was improved too.

However, i have a strange error message in MPS 2. I used a $CALL$ in MPS 1.5 and now in MPS 2 i get the error: "Error: Node Call cannot be parent of node query"

What can i do? Can´t believe that i have to change the really complex generator .. im MPS 1.5 it worked out perfectly ....

Best,
Dan
Mh,

has something to do with the mapped node query in the $CALL$ template. If i remove the mapped node query, i don´t get an error from model checker. However, the mapped node for the call is not the input node for the called template.

puh ... mihail? :)

Daniel,

This seems to be a bug in ITemplateCall_Constraints. I think, Evgeny will answer you more precisely, will this work or not. Called him to this thread.

Anyway, we'll fix this.

Hi Mihail,

did not hear anything from Evgeny. However, if it is a bug, it would be a serious bug. If there is anything i can do ...

Currently, it s not a pressing problem for me
Dan

Fixed. MPS-14563

It was only a bad constraint check, so it didn't affect anything.