Errors in the generated Machine about xeventb HOT 7 CLOSED

Dear Michael,
We adopt the syntax from Camille for event, i.e., any ... where ... then ... end. So there are no "begin" keyword any more. The advantage of that is one can comment out part of the event without changing keyword. (I have to check the documentation again as it was rewritten and it might have some "begin" left-over).

Another syntax different with Camille is that we required ":" after the guard. Also := will not be automatically translated, i.e., you need to convert that into Unicode symbol using content assist. During typing, content assist will be invoked automatically after special characters such as ":", however, it will not do it if a chunk of code is pasted. We did attempt to run the Rodin keyboard converter automatically, but we seem to disable it now. (@dd4g12: Do you remember why we did not do this any more?).

from xeventb.

from xeventb.

@dd4g12 I think it was the case that the underlying EMF is translated but the CamilleX editor was not refreshed isn't it?

from xeventb.

@tshoang I just fixed it I will send a pull request. It was done with the string conversion when we removed the double quotes of predicates, I was calling the Rodin keyboard at the same time, but when we removed the quotes this was removed as well.

from xeventb.

@leuschel The (might be easier) way to get the CamilleX file is to convert the Rodin Event-B files using context menu. However, comments will not be translated. If there are lots of comments, copy from Camille text editor to CamilleX and adapt the slight differences syntax will be less effort.

from xeventb.

@tshoang Oh I just remembered, that's true as well. CamilleX will not convert the symbols but they will only be converted in event-b.

from xeventb.

The conversion is now done in the XMachine generator.

from xeventb.