HEX code generator ?

[Atelier B fan]

Hi,

In the lecture 2 (2'45), you mentionned an HEX code generator. Is it available right now with Atelier B ? How to use it ?

[Thierry Lecomte]

The HEX code generator is for PIC32 programs (binary format). It is embedded in the Atelier CLEARSY Safety Platform in one of the two chains providing binaries (https://www.clearsy.com/en/our-tools/clearsy-safety-platform/).



This code generator is not (yet) part of the Atelier B.

[Thierry Lecomte]

To be more precise, HEX code generator supports a subset of the B0 language / with additional constraints. For example:

• types limited to INTEGER types limited to uint8_, uint16_ and uint32_
• single condition for IF THEN ELSE (meaning tests have to be nested), with testing operators in =, <, <=
• local variables (clause VAR IN) have to be typed before used with the var: (var: type) substitution
• no computation in operation call and test: computation has to be performed before the operation call / test
• no operation call in initialisation
• digital inputs/outputs take values in {IO_OFF, IO_ON}

but also provides some extensions with predifined operators (bitwise and arithmetic).