uOttawaUniversity of Ottawa - Canadas University
list of dots

Umple User Manual    [Previous]   [Next]   


E231 Availability of Events

Umple semantic error related to state machine operators

When an event name is used with a specific name for its state machine, the state machine and event must be available in the trait, otherwise, the Umple compiler raises this error.


// In this example, there is an error because event e2() is not available in state machine sm.
trait T {
      e1-> s1;
      s11{ e12-> s12; }
      s12{ e11-> s11; }   
    s1{ e0-> s1;  }  
class C {
  isA T<sm.e2() as event2>;


Load the above code into UmpleOnline