name property

@override String get name

A user-visible name for this plugin, used for error-reporting and insights-reporting purposes.

Implementation

@override
// Plugin name used by the analysis server.
String get name => 'lint_hard';