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

User Manual    [Previous]   [Next]   

W067 Non Reachable State

Umple semantic warning issued when a state is non-reachable

A state that is never the destination state of a transition in the state machine or is not the initial state of the state machine is considered non-reachable by the Umple compiler. The generated methods will not assign this state to the machine.
The warning can be avoided by removing the non-reachable state or by adding an appropriate transition to the state machine.

Example

//The warning is generated for
//s3, as no transition leads to it
class A {
  sm {
    s1 {
      e -> s2;
    }
    s2 {
    }
    s3 {
    }
  }
}
      

Load the above code into UmpleOnline

 

Solution to The Above So the Message No Longer Appears

//The warning can be avoided
//by adding a transition with s3
//as destination state
class A {
  sm {
    s1 {
      e -> s2;
    }
    s2 {
      e2 -> s3;
    }
    s3 {
    }
  }
}
      

Load the above code into UmpleOnline