freepascal.compiler/rtl/inc/except.inc

{
    $Id$
    This file is part of the Free Pascal run time library.
    Copyright (c) 1998 by Michael Van Canneyt
    member of the Free Pascal development team

    See the file COPYING.FPC, included in this distribution,
    for details about the copyright.

    This program is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

 **********************************************************************}

{****************************************************************************
                                Exception support
****************************************************************************}


Const
  { Type of exception. Currently only one. }
  FPC_EXCEPTION   = 1;
  { types of frames for the exception address stack }
  cExceptionFrame = 1;
  cFinalizeFrame  = 2;

Type
  PExceptAddr = ^TExceptAddr;
  TExceptAddr = record
    buf : pjmp_buf;
    frametype : Longint;
    next : PExceptAddr;
    end;

  PExceptObject = ^TExceptObject;
  TExceptObject = record
    FObject : TObject;
    addr : pointer;
    Next : PExceptObject;
    end;

  TExceptObjectClass = Class of TObject;

Const
  CatchAllExceptions = -1;

Var ExceptAddrStack : PExceptAddr;
    ExceptObjectStack : PExceptObject;


Function PushExceptAddr (Ft: Longint): PJmp_buf ;[Public, Alias : 'FPC_PUSHEXCEPTADDR'];

var Buf : PJmp_buf;
    NewAddr : PExceptAddr;

begin
{$ifdef excdebug}
  writeln ('In PushExceptAddr');
{$endif}
  If ExceptAddrstack=Nil then
    begin
    New(ExceptAddrStack);
    ExceptAddrStack^.Next:=Nil;
    end
  else
    begin
    New(NewAddr);
    NewAddr^.Next:=ExceptAddrStack;
    ExceptAddrStack:=NewAddr;
    end;
  new(buf);
  ExceptAddrStack^.Buf:=Buf;
  ExceptAddrStack^.FrameType:=ft;
  PushExceptAddr:=Buf;
end;


Procedure PushExceptObj (Obj : TObject; AnAddr : Pointer);

var
    Newobj : PExceptObject;

begin
{$ifdef excdebug}
  writeln ('In PushExceptObject');
{$endif}
  If ExceptObjectStack=Nil then
    begin
    New(ExceptObjectStack);
    ExceptObjectStack^.Next:=Nil;
    end
  else
    begin
    New(NewObj);
    NewObj^.Next:=ExceptObjectStack;
    ExceptObjectStack:=NewObj;
    end;
  ExceptObjectStack^.FObject:=Obj;
  ExceptObjectStack^.Addr:=AnAddr;
end;

Procedure DoUnHandledException (Var Obj : TObject; AnAddr : Pointer);

begin
  If ExceptProc<>Nil then
    If ExceptObjectStack<>Nil then
      TExceptPRoc(ExceptProc)(Obj,AnAddr);
  RunError(217);
end;

Function Raiseexcept (Obj : TObject; AnAddr : Pointer) : TObject;[Public, Alias : 'FPC_RAISEEXCEPTION'];

begin
{$ifdef excdebug}
  writeln ('In RaiseException');
{$endif}
  Raiseexcept:=nil;
  PushExceptObj(Obj,AnAddr);
  If ExceptAddrStack=Nil then
    DoUnhandledException (Obj,AnAddr);
  longjmp(ExceptAddrStack^.Buf^,FPC_Exception);
end;

Procedure PopAddrStack ;[Public, Alias : 'FPC_POPADDRSTACK'];

begin
{$ifdef excdebug}
  writeln ('In Popaddrstack');
{$endif}
  If ExceptAddrStack=nil then
    begin
    writeln ('At end of ExceptionAddresStack');
    halt (1);
    end
  else
    ExceptAddrStack:=ExceptAddrStack^.Next;
end;

Procedure PopObjectStack ;

begin
{$ifdef excdebug}
  writeln ('In PopObjectstack');
{$endif}
  If ExceptObjectStack=nil then
    begin
    writeln ('At end of ExceptionObjectStack');
    halt (1);
    end
  else
    ExceptObjectStack:=ExceptObjectStack^.Next;
end;


Procedure ReRaise;[Public, Alias : 'FPC_RERAISE'];

begin
{$ifdef excdebug}
  writeln ('In reraise');
{$endif}
  PopAddrStack;
  If ExceptAddrStack=Nil then
    DoUnHandledException (ExceptObjectStack^.FObject,
                          ExceptObjectStack^.Addr);
  longjmp(ExceptAddrStack^.Buf^,FPC_Exception);
end;

Function Catches (Objtype : TExceptObjectClass) : TObject; [Public, Alias : 'FPC_CATCHES'];

begin
  If ExceptObjectStack=Nil then
    begin
    Writeln ('Internal error.');
    halt (255);
    end;
  if Not ((Objtype = TExceptObjectClass(CatchAllExceptions)) or
      (ExceptObjectStack^.FObject is ObjType)) then
    Catches:=Nil
  else
    begin
    // catch !
    Catches:=ExceptObjectStack^.FObject;
    PopObjectStack;
    PopAddrStack;
    end;
end;

Procedure InitExceptions;
{
  Initialize exceptionsupport
}
begin
  ExceptObjectstack:=Nil;
  ExceptAddrStack:=Nil;
end;