--- gforth/assert.fs 1998/12/08 22:02:35 1.7 +++ gforth/assert.fs 2007/12/31 18:40:23 1.14 @@ -1,12 +1,12 @@ \ assertions -\ Copyright (C) 1995,1996,1997 Free Software Foundation, Inc. +\ Copyright (C) 1995,1996,1997,1999,2002,2003 Free Software Foundation, Inc. \ This file is part of Gforth. \ Gforth is free software; you can redistribute it and/or \ 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. \ This program is distributed in the hope that it will be useful, @@ -15,13 +15,12 @@ \ GNU General Public License for more details. \ You should have received a copy of the GNU General Public License -\ along with this program; if not, write to the Free Software -\ Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. +\ along with this program. If not, see http://www.gnu.org/licenses/. require source.fs variable assert-level ( -- a-addr ) \ gforth -\G all assertions above this level are turned off +\G All assertions above this level are turned off. 1 assert-level ! : assertn ( n -- ) \ gforth assert-n @@ -32,31 +31,30 @@ variable assert-level ( -- a-addr ) \ gf then ; : assert0( ( -- ) \ gforth assert-zero - \G important assertions that should always be turned on + \G Important assertions that should always be turned on. 0 assertn ; immediate : assert1( ( -- ) \ gforth assert-one - \G normal assertions; turned on by default + \G Normal assertions; turned on by default. 1 assertn ; immediate : assert2( ( -- ) \ gforth assert-two - \G debugging assertions + \G Debugging assertions. 2 assertn ; immediate : assert3( ( -- ) \ gforth assert-three - \G slow assertions that you may not want to turn on in normal debugging; - \G you would turn them on mainly for thorough checking + \G Slow assertions that you may not want to turn on in normal debugging; + \G you would turn them on mainly for thorough checking. 3 assertn ; immediate : assert( ( -- ) \ gforth - \G equivalent to assert1( + \G Equivalent to @code{assert1(} POSTPONE assert1( ; immediate -: (endassert) ( flag -- ) \ gforth-internal - \ inline argument sourcepos - if - r> sourcepos %size + >r EXIT +: (end-assert) ( flag nfile nline -- ) \ gforth-internal + rot if + 2drop else - r> print-sourcepos ." : failed assertion" + .sourcepos ." : failed assertion" true abort" assertion failed" \ !! or use a new throw code? then ; : ) ( -- ) \ gforth close-paren - \G end an assertion - POSTPONE (endassert) sourcepos, ; immediate +\G End an assertion. + compile-sourcepos POSTPONE (end-assert) ; immediate