the echarts translator should check that the machine class name is not the same as any of the machine's state names and report a translation time error when this occurs - javac reports an error with the generated code otherwise
one possible alternative to disallowing the machine name and state name to be the same, is to generate java code so that state references are fully qualify references to their associated class names
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
one possible alternative to disallowing the machine name and state name to be the same, is to generate java code so that state references are fully qualify references to their associated class names