(C4131) Switch/Case structure missing default entry
A Switch/Case expression within an activity’s mini-spec has nodefault
statement.ch(SWITCH_VAL)/switch_c SWITCH_VAL {
case_c 1: OUT1=RED;break;
case_c 2: OUT1=GREEN;break;
case_c 3: OUT1=AMBER;break;
}ch(SWITCH_VAL)/switch_c SWITCH_VAL {
case_c 1: OUT1=RED;break;
case_c 2: OUT1=GREEN;break;
case_c 3: OUT1=AMBER;break;
default: OUT1:NONE;
}