Umple W067 Non Reachable State
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