Documentation of error handling. More...
Documentation of error handling.
Definition in file notes.doc.