Raise error when it is unclear what state a transition wants to go to

[GoogleCodeExporter]

In the below example, no error is raised because states with the same aren't in 
the same state machine, however in the transition in c, to s1, the developer 
could mean a.s1 or b.s1. An error should be raised when more specificity is 
needed.
Ex:
sm{
 a{
   s1{
   }
   s2{
   }
 }
 b{
   s1{
   }
   s2{
   }
 }
 c{
   e -> s1;
 }
}

Original issue reported on code.google.com by erictel...@gmail.com on 16 Mar 2014 at 8:09

[GoogleCodeExporter]

I suggest this be a warning, and that the code generate based on a default 
(presumably the first match encountered). The message should say to use dot 
notation. Even better the message could give the full paths of the conflicting 
cases

Original comment by TimothyCLethbridge on 21 Mar 2014 at 6:18

• Added labels: Component-SemanticsAndGen, Diffic-VEasy, Usability, stateMachines

[GoogleCodeExporter]

marking this to be done by Eric. But if he doesn't we can assign it to a summer 
student.

Original comment by TimothyCLethbridge on 1 May 2014 at 1:53

• Added labels: Priority-High
• Removed labels: Priority-Medium

[GoogleCodeExporter]

Original comment by TimothyCLethbridge on 12 May 2014 at 5:29

[GoogleCodeExporter]

Original comment by rof...@gmail.com on 16 May 2014 at 6:42

[GoogleCodeExporter]

Original comment by TimothyCLethbridge on 4 Jun 2014 at 3:27

• Changed state: Verified