Activity Chart Checks : (C3089) Elements containing out-of-range assignments of enumerated values

(C3089) Elements containing out-of-range assignments of enumerated values

Error In:
Correctness
Description:
An element of some subtype is assigned a value that belongs to the enumerated type, but is not in the range of the subtype.
Format:
in <definition/mini-spec...> of <element name>
<the assignment expression>
 
Example:
An enumerated type DAYS is defined as {MON,TUE,WED,THU,FRI,SAT,SUN}. WEEKEND is defined as a subtype of DAYS {SAT,SUN}. A mini-spec contains the following expression:
EV/WEEKEND=MON;
 
Erroneous Elements:
Textual elements, boxes, and arrows