Function readStdlibFileContents

  • readStdlibFileContents(file): Promise<string>

  • Get the contents of a text file in the MiniZinc share directory.

    Only files inside the MiniZinc share directory (or its children) may be used.

    Parameters

    • file: string

      The path to the desired file relative to the MiniZinc share directory

    Returns Promise<string>

    The contents of the file, or null if it can't be read

  • readStdlibFileContents(files): Promise<{
        [key: string]: string;
    }>

  • Get the contents of text files in the MiniZinc share directory.

    Only files inside the MiniZinc share directory (or its children) may be used.

    Parameters

    • files: string[]

      An array of paths to the desired files relative to the MiniZinc share directory

    Returns Promise<{
        [key: string]: string;
    }>

    An object whose keys are requested file names and whose values are the file contents, or null if it can't be read

Settings

Member Visibility