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
- Defined in index.d.ts:334
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
- Defined in index.d.ts:343