name property

String get name

Human-readable name for diagnostics / error messages.

Implementation

String get name;