Meaning of the statement in Stateflow

In a stateflow, there are 2 transitions just before entering a state as below.

1. [a==b]

    /x=y;

2. /x=y;

What is the meaning of the statements 1 & 2 above? What is the meaning of mentioning "/" symbol? How it works?

Is it ("/" symbol) supported by targetlink? If not, how shall I change the above statements in Stateflow so that it is supported by Tartgetlink?

Answer 1

[TAB]

Forward slash "/" is used in stateflow transitions to separate TRANSITION ACTION from the CONDITION ACTION.

Basic notation for stateflow transition lable is

event[condition]{condition_action}/transition_action

• Statement in [ ] indicates condition
• Statement in { } indicates condition action
• Statement after \ indicates transition action

See Transition Label Notation for details.

I have never used targetlink, but as "/" is the part of basic stateflow semantics, it should be supported by targetlink.