#1052 Wrong evaluation of ECC guarding conditions due to missing parantheses

[Martin Melik-Merkumians]

The exported guarding condition of an ECC transition needs an additional pair of parantheses to separate them from the event condition. Otherwise an OR operator in the transition condition like Event && Data1 || Data2 will result in that the transition is taken if Data2 is true, due to the operator priority in C/C++ (&& has a higher priority than ||), as the interpreted C/C++ result will be (Event && Data1) || Data2.

But for the user it would be more natural if the result would be Event && (Data1 || Data2) or in general Event && (all guarding conditions)

Cheers, Martin

[Zoitl Alois]

Thanks for reporting this. It is fixed in cst [fordiac-ide:566def]