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

User Manual    [Previous]   [Next]   

E233 Removing Initial State

Umple semantic error related to state machine operators

The removing operator cannot be applied to the initial states of a state machine or a composite state. If the modeler applies it in such cases, the Umple compiler raises this error.

Example

// In this example, there is an error
// because the initial state of a
// state machine cannot be removed.
trait T {
  sm{
    s0{
      e1-> s1;
      s11{ e12-> s12; }
      s12{ e11-> s11; }   
    }
    s1{ e0-> s1;  }  
  }
}
class C {
  isA T<-sm.s0>;
}
      

Load the above code into UmpleOnline