create_if(condition, then, else_)

Return the expression tree for the if-then-else operator.

Parameters:

conditionEX

Expression tree corresponding to the condition of the selector.

thenUnion[EX, List[EX]]

List of expressions trees when the condition is True.

else_Union[EX, List[EX]]

List of expressions trees when the condition is False.

Returns:

ET

Notes

This is an interface change with respect to the SCADE Creation Library. The then flows and else flows are now specified in two separate lists.