A unique identifier for one kind of a linter message.
An observation of a LintCategory at a particular position
An observation of a LintCategory at a particular position
The message to display to the user. If empty, LintID.explanation is used instead.
Optionally place a caret under a location in a source file. For an empty position use Position.None.
the LintCategory associated with this message.
A unique identifier for one kind of a linter message.
a string ID for this message, typically the name of the assigned variable. If id is empty, then the name of the rewrite reporting this LintCategory is used as id.
An optional explanation for this kind of message.
The default category this message should get reported to. Note that users can configure/override the default category.