name property

String get name

Human readable name, used in errors and in doctor output.

Implementation

String get name;