Returns a list of strings that consists of all the labels of the specified compound transition or message. The labels appear on the transition segments that comprise the specified compound transition, or on the message. The syntax of these labels istrigger/action
.
Note: To divide the labels into their trigger and action parts, use the utility routinesstm_trigger_of_reaction
andstm_action_of_reaction.
stm_r_xx_labels (tr_id, status)
TRANSITION ELEMENT
orMESSAGE
To extract all the labels of transitions exiting from stateS1
, the template should contain the following statements:VARIABLE
STATE state_id
INTEGER status;
LIST OF STRING labels;
LIST OF TRANSITION trans;
TRANSITION tr;
STRING lab;
.
.
state_id := stm_r_st (’S1’,status);
trans := stm_r_tr_from_source_st ({state_id}, status);
FOR tr IN trans LOOP
labels:=stm_r_tr_labels(tr, status);
IF status = stm_success THEN
FOR lab IN labels LOOP
.
.
.
END FOR;
END IF;
END FOR;