Warning: {
    category: Category | undefined;
    description: string;
    detectorId: string;
    docURL: string;
    extraDescription: string;
    location: WarningLocation;
    quickfixes: QuickFix[];
    severity: Severity;
    suggestion: string;
    suppressed: boolean;
}

Misti warning that highlights a specific place in a Tact contract.

Type declaration

  • Readonlycategory: Category | undefined

    Category of the warning.

  • Readonlydescription: string

    Descriptive text of the warning.

  • ReadonlydetectorId: string

    Unique identifier of the detector.

  • ReadonlydocURL: string

    URL to the detector documentation.

  • ReadonlyextraDescription: string

    More comprehensive description that clarifies the warning in greater detail.

  • Readonlylocation: WarningLocation

    Reference to the source code.

  • Readonlyquickfixes: QuickFix[]

    Optional code suggestions mainly for LSP code actions.

  • Readonlyseverity: Severity

    Severity of the warning.

  • Readonlysuggestion: string

    Suggested change in the source code (text description).

  • Readonlysuppressed: boolean

    True if the warning is suppressed with a code annotation.