Umple E230 Availability of State Machines
User Manual [Previous] [Next]
E230 Availability of State Machines
Umple semantic error related to state machine operators
When a state machine or state with a given name is specified by the renaming operator, it must be available in the trait being operated on, either directly in the trait or another trait used by the trait. Otherwise, the Umple compiler raises this error.
Example
// In this example, there is an error
// because state machine sm3 is
// not available in trait T.
trait T {
sm1{
s0 {e1-> s1;}
s1 {e0-> s0;}
}
sm2{
s0 {e1-> s1;}
s1 {e0-> s0;}
}
}
class C3 {
isA T<sm3 as mach1>;
}
Load the above code into UmpleOnline