Umple E231 Availability of Events
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.
Example
// In this example, there is an error
// because event e2() is not available
// in state machine sm.
trait T {
sm{
s0{
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