Activity Chart Checks : (C4131) Switch/Case structure missing default entry

(C4131) Switch/Case structure missing default entry

Error In:
Completeness
Description:
A Switch/Case expression within an activity’s mini-spec has no default statement.
Example:
The following expression will generate an error:
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;
}
 
 
It can be corrected as follows:

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;
}

 

 

Erroneous Elements:
Mini-specs