Activity Chart Checks : (C4129) “When others” not last in case structure

(C4129) “When others” not last in case structure

Error In:
Completeness
Description:
In a Switch/Case expression written in the Ada style, when_others must be the last statement in the expression.
Example:
The following expression within an activity’s mini-spec will generate an error:
ch(SWITCH_VAL)/case_ada SWITCH_VAL is
when_ada 1 => OUT1=RED;
when_ada 2 => OUT1=GREEN;
when_ada others => OUT1=NONE;
when_ada 3 => OUT1=AMBER;
end case_ada;
 
 
It can be corrected as follows:
ch(SWITCH_VAL)/case_ada SWITCH_VAL is
when_ada 1 => OUT1=RED;
when_ada 2 => OUT1=GREEN;
when_ada 3 => OUT1=AMBER;
when_ada others => OUT1=NONE;
end case_ada;
 
 
Erroneous Elements:
Mini-specs