name property

String name
getter/setter pair

Name of the state transition. Used for debugging.

Implementation

String name;