list of dots 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.


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

Load the above code into UmpleOnline