MiniZinc JavaScript
    Preparing search index...

    Interface Location

    A location in a file.

    interface Location {
        filename: string;
        firstColumn: number;
        firstLine: number;
        lastColumn: number;
        lastLine: number;
    }
    Index

    Properties

    filename: string

    Filename

    firstColumn: number

    First character (starting from 1)

    firstLine: number

    First line (starting from 1)

    lastColumn: number

    Last column (inclusive)

    lastLine: number

    Last line (inclusive)