name property

String get name

A short, stable, human-readable name used in logs and results.

Implementation

String get name;