name property

String get name

Name for diagnostics and UI labels.

Implementation

String get name;