list of dots Digital Research Alliance of Canada logo  NSERC logo  University of Ottawa logo / UniversitĂ© d'Ottawa

User Manual    [Previous]   [Next]   

W054 Duplicate Events

Umple warning generated when there is a duplicate unguarded event that will never be reached

In the example below, the second transition e from s1 can never be triggered because when e occurs the first transition is taken.

Example


class X {
  sm {
    s1 {
      e-> s2;
      e-> s3;
    }
    s2 {}
    s3 {}
  }
}
      

Load the above code into UmpleOnline