name property

String get name

Stable, human-readable name for logs/profiling.

Implementation

String get name;