Readonly
category: Category | undefinedCategory of the warning.
Readonly
description: stringDescriptive text of the warning.
Readonly
detectorUnique identifier of the detector.
Readonly
docURL: stringURL to the detector documentation.
Readonly
extraMore comprehensive description that clarifies the warning in greater detail.
Readonly
location: WarningLocationReference to the source code.
Readonly
quickfixes: QuickFix[]Optional code suggestions mainly for LSP code actions.
Readonly
severity: SeveritySeverity of the warning.
Readonly
suggestion: stringSuggested change in the source code (text description).
Readonly
suppressed: booleanTrue if the warning is suppressed with a code annotation.
Misti warning that highlights a specific place in a Tact contract.