name property

String name
getter/setter pair

Name of the state machine. Used for debugging.

Implementation

String name;