search

gemoc / ale-lang

Action Language for EMF
Eclipse Public License 1.0
8 stars 6 forks source link

[regression] ale sirius service called from editor without running engine returns wrong results #150

Closed dvojtise closed 4 years ago

dvojtise commented 4 years ago

in GEMOC we use Ale Sirius service in order to create layers dedicated to animation and debug (using ale: as expression language in fields accepting expression see left part of the following screenshot)

when opening the resulting editor in edition mode we expect that the expression will return nothing or false. In the latest version of the studio based on eclipse 2020-03 (and with associated version of Sirius) and with latest version of Ale the resulting layer seems to return invalid results. In the following model (from GEMOC ALE official example) all states are put in brown and have the green arrow that is supposed to be only on the current state. (see right part of the screen shot)

This was working fine in previous version of ale (the one embedded with GEMOC Studio 3.2.0)

This is also working fine when the engine run. Ie. in that case, the green arrow is correctly displayed on a single state.

image

dvojtise commented 4 years ago

Apparently the management of "ale:" queries in the odesign is actually done in GEMOC. Cf. https://github.com/eclipse/gemoc-studio-execution-ale/issues/44

we can close this issue

However, I'm not 100% sure to understand why this feature is not directly part of ALE.