Reads a file, terminate the program on error
The line number information from where the call originates
a ddmd.root.file.File handle to read
See Implementation
Reads a file, terminate the program on error