Readonlycategory: Category | undefinedCategory of the warning.
Readonlydescription: stringDescriptive text of the warning.
ReadonlydetectorUnique identifier of the detector.
ReadonlydocURL: stringURL to the detector documentation.
ReadonlyextraMore comprehensive description that clarifies the warning in greater detail.
Readonlylocation: WarningLocationReference to the source code.
Readonlyquickfixes: QuickFix[]Optional code suggestions mainly for LSP code actions.
Readonlyseverity: SeveritySeverity of the warning.
Readonlysuggestion: stringSuggested change in the source code (text description).
Readonlysuppressed: booleanTrue if the warning is suppressed with a code annotation.
Misti warning that highlights a specific place in a Tact contract.