Function readStdlibFileContents

  • readStdlibFileContents(file: string): 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: string[]): 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