SetBreakProc:
TYPE ~
PROCEDURE [
address: BreakWorldArchitecture.Address,
clientData: ClientData,
breakProc: BreakProc,
breakData: BreakData,
damages: TargetArchitecture.RegisterClass
¬ TargetArchitecture.RegisterClass.all]
RETURNS [Break];
ClientData: TYPE ~ REF ANY;
BreakProc: TYPE ~ BreakWorldArchitecture.Address;
BreakData: TYPE ~ CARD32;
BreakProcedure: TYPE ~ PROCEDURE [breakData: BreakData] RETURNS [];
Break:
TYPE ~
REF BreakRep ¬ nullBreak;
nullBreak: Break ~ NIL;
BreakRep: TYPE;