Typechecker not called on GEMOC official example

[dvojtise]

when installing the GEMOC ALE official example I was expecting it to be configured as a nominal configuration and to be able to raise typechecking errors

but introducing errors in the ALE code does not raise any error. (both trying to change Ecore attribute or local attribte for example)

might be related to #4

note: using current ale distributed with GEMOC

[dvojtise]

Actually, what are the correct keys to be used in the dsl file ?

the ALE example uses:

• syntax=
• behavior=

and the GEMOC ALE example uses:

• ecore=
• ale=

for the same information

syntax/behavior allows to have some type-checking in the ale editor, and ecore/ale allows to start the GEMOC ALE engine 🤔

[dvojtise]

Need to harmonize the keys of the dsl file: one purpose = one keyword

[dvojtise]

Decision: must change to ecore and ale keywords instead of syntax and behavior

[ebousse]

Same issue here: when using ALE in GEMOC (with TFSM official example) I have no auto-completion and it can barely detect any error.

And I tried to make a tiny group of students code an interpreter in ALE in the GEMOC Studio, and they really struggled because of this :D

[dvojtise]

the current workaround is to duplicate the key to use both ecore and syntax and tio use both ale and behavior (referencing the same files)