Activity Chart Checks : (C3013) Elements containing infinite While Loops

(C3013) Elements containing infinite While Loops

Error In:
Correctness
Description:
Elements contain action expressions that have infinite while loop statements. The check detects cases where the while loop control expression does not contain a context variable or a break statement in the loop.
Example:
A mini-spec contains the following expression:

EV / while COND1 loop

A=B;

end loop

 

 

The expression contains no context variable or break statement.
Erroneous Elements:
Activities and actions