Returns the contents of a file as a string or an empty string if the file couldn't be read. If the file couldn't be read an error message is emitted which can be viewed with getErrorString().
impure function readFile input String fileName; output String contents; end readFile;