name property

String name
getter/setter pair

Name of the state. Used for debugging.

Implementation

String name;