import  Assertion

The Assertion class overrides the default handlers in the Run Time system.

Type Declarations

Assertion      { Message string, Context string, Note string, Method string, Line word, Fault Program.Fault }

Program.Fault  in  Assert.Fault,   Exception.Safe, Exception.Retry, Memory.Heap,       Memory.Stack,  Memory.Frame,
                   Memory.String,  Address.Null,   Address.Low,     Address.Protected, Address.Unmapped,
                   Integer.Divide, Float.Divide,   Float.Underflow, Float.Overflow,    Float.Inexact,
                   Float.Invalid,  Debug.Array,    Debug.Overflow,  Debug.Object,      Machine.Check, Fault.Retry

Global Variables

These variables hold the context after an exception is raised.

+ Prior      Assertion
+ Assertion

Procedure Declarations

FIRST_HANDLER  entry Message = "" string, entry Context = "" string, entry Method = "" string, entry Line = 0 word, change Fault = 0 word
LAST_HANDLER   entry Message = "" string, entry Context = "" string, entry Method = "" string, entry Line = 0 word,  entry Fault = 0 word