Interface WarningMessage

A warning message from MiniZinc.

interface WarningMessage {
    location?: Location;
    message: string;
    stack?: StackItem[];
    type: "warning";
    what: string;
    [key: string]: any;
}

Indexable

  • [key: string]: any

    Other error-specific data

Properties

location? message stack? type what

Properties

Optionallocation

location?: Location

The file location if there is one

message

message: string

The error message

Optionalstack

stack?: StackItem[]

The stack trace is there is one

type

type

Message type

what

what: string

The kind of warning which occurred

Settings

Member Visibility

On This Page

Properties