updating oE crash_file


include error.e 
namespace error 
public procedure crash_file(sequence file_path) 

specifies a file path name in place of "ex.err" where you want any diagnostic information to be written.

  1. file_path : a sequence, the new error and traceback file path.

There can be as many calls to crash_file as needed. Whatever was defined last will be used in case of an error at runtime, whether it was triggered by crash or not.

See Also:

crash, crash_message

Not Categorized, Please Help


Quick Links

User menu

Not signed in.

Misc Menu