name property

String get name

Stable enum-like name for logging and snapshots.

Implementation

String get name;