version 1.12, 2006/10/11 19:18:51
|
version 1.22, 2010/08/31 20:10:59
|
Line 1
|
Line 1
|
\ catch, throw, etc. |
\ catch, throw, etc. |
|
|
\ Copyright (C) 1999,2000,2003 Free Software Foundation, Inc. |
\ Copyright (C) 1999,2000,2003,2006,2007 Free Software Foundation, Inc. |
|
|
\ This file is part of Gforth. |
\ This file is part of Gforth. |
|
|
\ Gforth is free software; you can redistribute it and/or |
\ Gforth is free software; you can redistribute it and/or |
\ modify it under the terms of the GNU General Public License |
\ modify it under the terms of the GNU General Public License |
\ as published by the Free Software Foundation; either version 2 |
\ as published by the Free Software Foundation, either version 3 |
\ of the License, or (at your option) any later version. |
\ of the License, or (at your option) any later version. |
|
|
\ This program is distributed in the hope that it will be useful, |
\ This program is distributed in the hope that it will be useful, |
Line 15
|
Line 15
|
\ GNU General Public License for more details. |
\ GNU General Public License for more details. |
|
|
\ You should have received a copy of the GNU General Public License |
\ You should have received a copy of the GNU General Public License |
\ along with this program; if not, write to the Free Software |
\ along with this program. If not, see http://www.gnu.org/licenses/. |
\ Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111, USA. |
|
|
|
\ !! use a separate exception stack? anton |
\ !! use a separate exception stack? anton |
|
|
\ user-definable rollback actions |
|
|
|
Defer 'catch |
|
Defer 'throw |
|
|
|
' noop IS 'catch |
|
' noop IS 'throw |
|
|
|
\ has? backtrace [IF] |
\ has? backtrace [IF] |
Defer store-backtrace |
Defer store-backtrace |
' noop IS store-backtrace |
' noop IS store-backtrace |
Line 77 Defer store-backtrace
|
Line 68 Defer store-backtrace
|
\ !! explain handler on-stack structure |
\ !! explain handler on-stack structure |
|
|
Variable first-throw |
Variable first-throw |
: nothrow ( -- ) first-throw on ; |
: 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 ; |
|
|
|
: (try0) ( -- aoldhandler ) |
|
first-throw on |
|
handler @ ; |
|
|
|
[undefined] (try1) [if] |
|
: (try1) ( aoldhandler arecovery -- anewhandler ) |
|
r> |
|
swap >r \ recovery address |
|
sp@ cell+ >r |
|
fp@ >r |
|
lp@ >r |
|
swap >r \ old handler |
|
rp@ swap \ new handler |
|
>r ; |
|
[endif] |
|
|
|
: (try2) |
|
handler ! ; |
|
|
: (try) ( ahandler -- ) |
: (try) ( ahandler -- ) |
first-throw on |
first-throw on |
r> |
r> |
swap >r \ recovery address |
swap >r \ recovery address |
rp@ 'catch >r |
|
sp@ >r |
sp@ >r |
fp@ >r |
fp@ >r |
lp@ >r |
lp@ >r |
Line 91 Variable first-throw
|
Line 105 Variable first-throw
|
rp@ handler ! |
rp@ handler ! |
>r ; |
>r ; |
|
|
: try ( compilation -- orig ; run-time -- ) \ gforth |
\ : try ( compilation -- orig ; run-time -- R:sys1 ) \ gforth |
\ !! does not work correctly for gforth-native |
\ \G Start an exception-catching region. |
|
\ POSTPONE ahead here >r >mark 1 cs-roll POSTPONE then |
|
\ r> POSTPONE literal POSTPONE (try) ; immediate compile-only |
|
|
|
: try ( compilation -- orig ; run-time -- R:sys1 ) \ gforth |
|
\G Start an exception-catching region. |
POSTPONE ahead here >r >mark 1 cs-roll POSTPONE then |
POSTPONE ahead here >r >mark 1 cs-roll POSTPONE then |
r> POSTPONE literal POSTPONE (try) ; immediate compile-only |
POSTPONE (try0) r> POSTPONE literal POSTPONE (try1) POSTPONE (try2) |
|
; immediate compile-only |
|
|
: (recover) ( -- ) |
|
|
: (endtry) ( -- ) |
\ normal end of try block: restore handler, forget rest |
\ normal end of try block: restore handler, forget rest |
r> |
r> |
r> handler ! |
r> handler ! |
rdrop \ lp |
rdrop \ lp |
rdrop \ fp |
rdrop \ fp |
rdrop \ sp |
rdrop \ sp |
r> rp! |
|
rdrop \ recovery address |
rdrop \ recovery address |
>r ; |
>r ; |
|
|
: recover ( compilation orig1 -- orig2 ; run-time -- ) \ gforth |
: handler-intro, ( -- ) |
\ !! check using a special tag |
|
POSTPONE (recover) |
|
POSTPONE else |
|
docol: here 0 , 0 , code-address! \ start a colon def |
docol: here 0 , 0 , code-address! \ start a colon def |
postpone rdrop \ drop the return address |
postpone rdrop \ drop the return address |
|
; |
|
|
|
: iferror ( compilation orig1 -- orig2 ; run-time -- ) \ gforth |
|
\G Starts the exception handling code (executed if there is an |
|
\G exception between @code{try} and @code{endtry}). This part has |
|
\G to be finished with @code{then}. |
|
\ !! check using a special tag |
|
POSTPONE else handler-intro, |
|
; immediate compile-only |
|
|
|
: restore ( compilation orig1 -- ; run-time -- ) \ gforth |
|
\G Starts restoring code, that is executed if there is an |
|
\G exception, and if there is no exception. |
|
POSTPONE iferror POSTPONE then |
; immediate compile-only |
; immediate compile-only |
|
|
: endtry ( compilation orig -- ; run-time -- ) \ gforth |
: endtry ( compilation -- ; run-time R:sys1 -- ) \ gforth |
POSTPONE then ; immediate compile-only |
\G End an exception-catching region. |
|
POSTPONE (endtry) |
|
; immediate compile-only |
|
|
|
: endtry-iferror ( compilation orig1 -- orig2 ; run-time R:sys1 -- ) \ gforth |
|
\G End an exception-catching region while starting |
|
\G exception-handling code outside that region (executed if there |
|
\G is an exception between @code{try} and @code{endtry-iferror}). |
|
\G This part has to be finished with @code{then} (or |
|
\G @code{else}...@code{then}). |
|
POSTPONE (endtry) POSTPONE iferror POSTPONE (endtry) |
|
; immediate compile-only |
|
|
:noname ( x1 .. xn xt -- y1 .. ym 0 / z1 .. zn error ) \ exception |
:noname ( x1 .. xn xt -- y1 .. ym 0 / z1 .. zn error ) \ exception |
try |
try |
execute 0 |
execute 0 |
recover |
iferror |
nip |
nip |
endtry ; |
then endtry ; |
is catch |
is catch |
|
|
:noname ( y1 .. ym error/0 -- y1 .. ym / z1 .. zn error ) \ exception |
:noname ( y1 .. ym error/0 -- y1 .. ym / z1 .. zn error ) \ exception |
Line 138 is catch
|
Line 180 is catch
|
2 (bye) |
2 (bye) |
\ quit |
\ quit |
THEN |
THEN |
rp! |
dup rp! ( ... ball frame ) |
r> handler ! |
cell+ dup @ lp! |
r> lp! |
cell+ dup @ fp! |
r> fp! |
cell+ dup @ ( ... ball addr sp ) -rot 2>r sp! drop 2r> |
r> swap >r sp! drop r> |
cell+ @ perform |
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] |
|
|
|