[gforth] / gforth / except.fs  

gforth: gforth/except.fs

Diff for /gforth/except.fs between version 1.5 and 1.15

version 1.5, Thu Dec 5 19:25:23 2002 UTC version 1.15, Sun Dec 31 13:39:12 2006 UTC
Line 1 
Line 1 
 \ catch, throw, etc.  \ catch, throw, etc.
   
 \ Copyright (C) 1999,2000 Free Software Foundation, Inc.  \ Copyright (C) 1999,2000,2003,2006 Free Software Foundation, Inc.
   
 \ This file is part of Gforth.  \ This file is part of Gforth.
   
Line 33 
Line 33 
 ' noop IS store-backtrace  ' noop IS store-backtrace
 \ [THEN]  \ [THEN]
   
   \ Ok, here's the story about how we get to the native code for the
   \ recovery code in case of a THROW, and why there is all this funny
   \ stuff being compiled by TRY and RECOVER:
   
   \ Upon a THROW, we cannot just return through the ordinary return
   \ address, but have to use a different one, for code after the
   \ RECOVER.  How do we do that, in a way portable between the various
   \ threaded and native code engines?  In particular, how does the
   \ native code engine learn about the address of the native recovery
   \ code?
   
   \ On the Forth level, we can compile only references to threaded code.
   \ The only thing that translates a threaded code address to a native
   \ code address is docol, which is only called with EXECUTE and
   \ friends.  So we start the recovery code with a docol, and invoke it
   \ with PERFORM; the recovery code then rdrops the superfluously
   \ generated return address and continues with the proper recovery
   \ code.
   
   \ At compile time, since we cannot compile a forward reference (to the
   \ recovery code) as a literal (backpatching does not work for
   \ native-code literals), we produce a data cell (wrapped in AHEAD
   \ ... THEN) that we can backpatch, and compile the address of that as
   \ literal.
   
   \ Overall, this leads to the following resulting code:
   
   \   ahead
   \ +><recovery address>-+
   \ | then               |
   \ +-lit                |
   \   (try)              |
   \   ...                |
   \   (recover)          |
   \   ahead              |
   \   docol: <-----------+
   \   rdrop
   \   ...
   \   then
   \   ...
   
   \ !! explain handler on-stack structure
   
   Variable first-throw
   : nothrow ( -- ) \ gforth
       \G Use this (or the standard sequence @code{['] false catch drop})
       \G after a @code{catch} or @code{endtry} that does not rethrow;
       \G this ensures that the next @code{throw} will record a
       \G backtrace.
       first-throw on ;
   
 : (try) ( ahandler -- )  : (try) ( ahandler -- )
       first-throw on
     r>      r>
     swap >r \ recovery address      swap >r \ recovery address
     rp@ 'catch >r      rp@ 'catch >r
Line 42 
Line 94 
     lp@ >r      lp@ >r
     handler @ >r      handler @ >r
     rp@ handler !      rp@ handler !
     backtrace-empty on  
     >r ;      >r ;
   
 : try ( compilation  -- orig ; run-time  -- ) \ gforth  : try ( compilation  -- orig ; run-time  -- ) \ gforth
     \ !! does not work correctly for gforth-native      \ !! does not work correctly for gforth-native
     POSTPONE lit >mark POSTPONE (try) ; immediate compile-only      POSTPONE ahead here >r >mark 1 cs-roll POSTPONE then
       r> POSTPONE literal POSTPONE (try) ; immediate compile-only
   
 : (recover) ( -- )  : (recover) ( -- )
     \ normal end of try block: restore handler, forget rest      \ normal end of try block: restore handler, forget rest
Line 63 
Line 115 
 : recover ( compilation  orig1 -- orig2 ; run-time  -- ) \ gforth  : recover ( compilation  orig1 -- orig2 ; run-time  -- ) \ gforth
     \ !! check using a special tag      \ !! check using a special tag
     POSTPONE (recover)      POSTPONE (recover)
     POSTPONE else ; immediate compile-only      POSTPONE else
       docol: here 0 , 0 , code-address! \ start a colon def
       postpone rdrop                    \ drop the return address
   ; immediate compile-only
   
 : endtry ( compilation  orig -- ; run-time  -- ) \ gforth  : endtry ( compilation  orig -- ; run-time  -- ) \ gforth
     POSTPONE then ; immediate compile-only      POSTPONE then ; immediate compile-only
Line 79 
Line 134 
 :noname ( y1 .. ym error/0 -- y1 .. ym / z1 .. zn error ) \ exception  :noname ( y1 .. ym error/0 -- y1 .. ym / z1 .. zn error ) \ exception
     ?DUP IF      ?DUP IF
         [ here forthstart 9 cells + ! ]          [ here forthstart 9 cells + ! ]
         store-backtrace          first-throw @ IF
               store-backtrace error-stack off
               first-throw off
           THEN
         handler @ ?dup-0=-IF          handler @ ?dup-0=-IF
             cr ." uncaught exception: " .error cr              >stderr cr ." uncaught exception: " .error cr
             2 (bye)              2 (bye)
             quit  \           quit
         THEN          THEN
         rp!          rp!
         r> handler !          r> handler !
         r> lp!          r> lp!
         r> fp!          r> fp!
         r> swap >r sp! drop r>          r> swap >r sp! drop r>
         rdrop 'throw          rdrop 'throw r> perform
     THEN ;      THEN ;
 is throw  is throw
   [IFDEF] rethrow
   :noname ( y1 .. ym error/0 -- y1 .. ym / z1 .. zn error ) \ exception
       ?DUP IF
           handler @ ?dup-0=-IF
               >stderr cr ." uncaught exception: " .error cr
               2 (bye)
   \           quit
           THEN
           rp!
           r> handler !
           r> lp!
           r> fp!
           r> swap >r sp! drop r>
           rdrop 'throw r> perform
       THEN ;
   is rethrow
   [THEN]

Generate output suitable for use with a patch program
Legend:
Removed from v.1.5  
changed lines
  Added in v.1.15
CVS Admin

Powered by ViewCVS 1.0-dev 		(Powered by ViewCVS)

ViewCVS and CVS Help