Faults and Error Handling
Tony Swan, Robert S. Gilchrist, Malcolm Bradley, Mike J Clarke, Peter Green, Allan Reese, John Hinde, Andrew Stalewski, Carl O’brien · 1993
Abstract The sections in [15] describe the normal behaviour of GLIM, that is, when the statements presented are syntactically correct and specify valid operations. In this chapter we describe how GLIM handles exceptions. Such exceptions occur when GLIM detects a potentially dangerous occurrence ([16.1] on warnings), or is presented with a syntactically or semantically incorrect statement or encounters the FAULT directive ([16.2] on faults), or is interrupted by the user while executing a statement ([16.3] on break-ins), or is interrupted by the operating system when detecting a floating point error [16.4], or finds an inconsistency within its own data structures ([16.5] on system faults), or finds a FORTRAN inconsistency which GLIM cannot handle ([16.6] on FORTRAN level faults).