An optional detailed explanation of this message.
An optional detailed explanation of this message.
A pretty-printed representation of this diagnostic without detailed explanation.
A pretty-printed representation of this diagnostic without detailed explanation.
A unique identifier for the category of this lint diagnostic.
A unique identifier for the category of this lint diagnostic.
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.