OberonCore

MODULE TrapHandler;

   IMPORT SYSTEM, Kernel;
   
   PROCEDURE Handler(a, b, c: INTEGER);
      TYPE PROC = PROCEDURE;
      VAR p: PROC;
   BEGIN p := SYSTEM.VAL(PROC, a);
      p
   END Handler;
   
   PROCEDURE Trap* (p: PROCEDURE) : BOOLEAN;
      VAR count: INTEGER;
   BEGIN
      count := Kernel.trapCount;
      Kernel.Try(Handler, SYSTEM.VAL(INTEGER, p), 0, 0);
      RETURN count # Kernel.trapCount;
   END Trap;

END TrapHandler.

   PROCEDURE Foo;
      VAR x: REAL; n: INTEGER;
   BEGIN
      x := 0.0; n := SHORT(ENTIER(1.0 / x));
   END Foo;
   
   PROCEDURE TryTest* ;
   BEGIN
      IF TrapHandler.Trap(Foo) THEN (* это "EXCEPT" *)
         Log.String("trap occured"); Log.Ln;
      END;
      (* а здесь может разместиться "FINALLY" *)
      Log.String("but we are still alive :)"); Log.Ln;
   END TryTest;

MODULE TrapHandler;

   IMPORT SYSTEM, Kernel;
   
   TYPE Message* = EXTENSIBLE RECORD END;
      Proc* = PROCEDURE (VAR m: Message);
   
   PROCEDURE Handler(a, b, c: INTEGER);
      TYPE M = POINTER TO Message;
      VAR p: Proc;
   BEGIN p := SYSTEM.VAL(Proc, a);
      p(SYSTEM.VAL(M, b))
   END Handler;
   
   PROCEDURE Trap* (p: Proc; VAR m: Message) : BOOLEAN;
      VAR count: INTEGER;
   BEGIN
      count := Kernel.trapCount;
      Kernel.Try(Handler, SYSTEM.VAL(INTEGER, p), SYSTEM.ADR(m), 0);
      RETURN count # Kernel.trapCount;
   END Trap;

END TrapHandler.

      PROCEDURE SafelyDoOperation() : BOOLEAN;
      VAR trap, opened : BOOLEAN; res : LONGINT; temp: ARRAY 256 OF CHAR;
      BEGIN
         trap := FALSE; opened := FALSE;
         IF (disk.device # NIL) THEN
            disk.device.Open(res);
            IF res = AosDisks.Ok THEN
               opened := TRUE;
               DoOperation;
            ELSE
               GetErrorMsg("Could not open device: ", res, temp); ReportError(temp);
            END;
         ELSE
            ReportError("Could not open device: No device exists");
         END;
      FINALLY
         IF opened & (disk.device # NIL) THEN
            disk.device.Close(res);
            IF res # AosDisks.Ok THEN
               GetErrorMsg("Could not close device: ", res, temp); ReportError(temp);
            END;
         END;
         RETURN trap;
      END SafelyDoOperation;