name property

String get name

A short human-readable name, used for debugging.

Implementation

String get name;