search

MathewWi / umple

Automatically exported from code.google.com/p/umple
0 stars 0 forks source link

Warning 67 bug - Unreachable state #616

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
In the following example

http://cruise.eecs.uottawa.ca/umpleonline/?example=DigitalWatchNested&diagramtyp
e=state

The message is
Warning on line 21 : State 'update' from StateMachine 'regular' is 
non-reachable.. More information (67)

It warns about the inability to transfer to state update. But actually that is 
not true. There is a way into it.

From alarmUpdate state, on line 93 there is a transition to 'second'. Since 
second is a substate of update, this provides a way into state update.

Original issue reported on code.google.com by PedroAug...@gmail.com on 30 Jul 2014 at 3:35

GoogleCodeExporter commented 9 years ago 
Following the patch that solves this case.

Original comment by PedroAug...@gmail.com on 30 Jul 2014 at 7:15

Attachments:

GoogleCodeExporter commented 9 years ago

Original comment by TimothyCLethbridge on 5 Aug 2014 at 7:01