Method: VDMWarning(int, String, LexLocation)

ERROR: Error while reading the sourcefile!