OberonCore

MODULE Kernel;
...
   PROCEDURE InstallTrapChecker (h: Handler);
   PROCEDURE InstallTrapViewer (h: Handler);
   PROCEDURE InterfaceTrapHandler (excpRec, estFrame, context, dispCont: INTEGER): INTEGER;

MODULE AlexTrap;

   IMPORT Log, Services;
   
   TYPE
      CatchAction = POINTER TO RECORD (Services.Action) END;
      SomeResource = POINTER TO RECORD END;
      
   VAR
      n, err: INTEGER;
      a: CatchAction;
      
   PROCEDURE Work;
      VAR p: SomeResource;
   BEGIN
      NEW(p); (* для работы нужен ресурс *)
      INC(n); (* напряженная работа *)
      Log.Int(n); Log.Ln; (* выдача/сохранение важных результатов *)
      (* вах, ошибка! *)
      IF n < 8 THEN
         err := 1; (* да, ошибка *)
         HALT(128);
      END;
   END Work;
   
   PROCEDURE (a: CatchAction) Do;
   BEGIN
      IF err # 0 THEN
         (* работа незавершена, надо продолжить *)
         Log.String("Cought!"); Log.Ln;
         err := 0;
         Services.Collect;
         Services.DoLater(a, 0);
         Work
      ELSE
         Log.String("URA! Work is done!!"); Log.Ln; (* работа с боями завершена *)
      END
   END Do;

   PROCEDURE (p: SomeResource) FINALIZE;
   BEGIN
      Log.String("Release resource"); Log.Ln; (* освободим ресурс *)
   END FINALIZE;

   PROCEDURE Run* ; (* обёртка для процедуры work *)
   BEGIN
      n := 0; (* инициализация *)
      Services.DoLater(a, 0);
      Work;
   END Run;
   
BEGIN
   err := 0;
   NEW(a);
END AlexTrap.