Umple W054 Duplicate Events
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