IfInstanceOf: smodel dot expressions out of scope when running the model checker manually

JetBrains / MPS-extensions

MPS-extensions aims to ease language development within MPS.

https://jetbrains.github.io/MPS-extensions/

Apache License 2.0

80 stars 47 forks source link

IfInstanceOf: smodel dot expressions out of scope when running the model checker manually #779

Closed alexanderpann closed 4 months ago

alexanderpann commented 4 months ago

This only happens for else ifInstanceof blocks where you access a child or a method of the InstanceofVariable. A workaround is to redeclare the variable in the block, then it works again.