String ID for the category of this lint message.
String ID for the category of this lint message.
A linter diagnostic is keyed by two unique values: - the rule name (which is not available in a Diagnostic - the category ID (this value)
The categoryID may be empty, in which case the category of this message will be uniquely defined by the rule name. If a linter rule reports multiple different kinds of diagnostics then it's recommended to provide non-empty categoryID.
An optional detailed explanation of this message.
An optional detailed explanation of this message.
The main message of this diagnostic.
The main message of this diagnostic.
The source code location where this violation appears, Position.None if not available
The source code location where this violation appears, Position.None if not available
The severity of this message: error, warning or info
The severity of this message: error, warning or info
(Since version 0.9.7) use structureWidth instead