(C18117) Switch/Case structure contains more than one default entry Error In: Correctness Description: The switch_c statement has more than one default case entry, or the case_ada statement has more than one others when_ada entry. Example: switch_c (X){ case_c 1: Y=1; default: Y=0; case_c 2: Y=2; default: Y=3;} Erroneous Elements: Actions, states, and transition labels
switch_c
default
case_ada
others when_ada