cepsdev/machines4ceps

Console Output of State Machine Definition doesn't merge definitions

cepsdev opened this issue · 0 comments

Consider following definition:

sm{
EVCC_Application_Layer;
states{Initial;A;B;Final;};
t{Initial;A;};
};

sm{
EVCC_Application_Layer;
t{A;B;};
};

this is correctly interpreted as

sm{
EVCC_Application_Layer;
states{Initial;A;B;Final;};
t{Initial;A;};
t{A;B;};
};

but printed as two different state machines (e.g. using --pe --format ansi)

State Machine EVCC_Application_Layer:
States:
Initial, A, B, Final
Transitions:
Initial --▶ A

State Machine EVCC_Application_Layer:
Transitions:
A --▶ B

Should be:

State Machine EVCC_Application_Layer:
States:
Initial, A, B, Final
Transitions:
Initial --▶ A
A --▶ B