list of dots Digital Research Alliance of Canada logo  NSERC logo  University of Ottawa logo / UniversitĂ© d'Ottawa

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