library/platform/native/errors.factor

   1 ! :folding=indent:collapseFolds=1:
   2
   3 ! $Id$
   4 !
   5 ! Copyright (C) 2004 Slava Pestov.
   6 !
   7 ! Redistribution and use in source and binary forms, with or without
   8 ! modification, are permitted provided that the following conditions are met:
   9 !
  10 ! 1. Redistributions of source code must retain the above copyright notice,
  11 !    this list of conditions and the following disclaimer.
  12 !
  13 ! 2. Redistributions in binary form must reproduce the above copyright notice,
  14 !    this list of conditions and the following disclaimer in the documentation
  15 !    and/or other materials provided with the distribution.
  16 !
  17 ! THIS SOFTWARE IS PROVIDED ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES,
  18 ! INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
  19 ! FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
  20 ! DEVELOPERS AND CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  21 ! SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
  22 ! PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS;
  23 ! OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
  24 ! WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
  25 ! OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
  26 ! ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  27
  28 IN: errors
  29 USE: arithmetic
  30 USE: combinators
  31 USE: continuations
  32 USE: kernel
  33 USE: lists
  34 USE: logic
  35 USE: namespaces
  36 USE: prettyprint
  37 USE: stack
  38 USE: stdio
  39 USE: strings
  40 USE: unparser
  41 USE: vectors
  42
  43 ! This is a very lightweight exception handling system.
  44
  45 : catchstack* ( -- cs ) 6 getenv ;
  46 : catchstack ( -- cs ) catchstack* clone ;
  47 : set-catchstack* ( cs -- ) 6 setenv ;
  48 : set-catchstack ( cs -- ) clone set-catchstack* ;
  49
  50 : kernel-error? ( obj -- ? )
  51     dup cons? [ car fixnum? ] [ drop f ] ifte ;
  52
  53 : ?nth ( n list -- obj )
  54     over [ dup >r length min 0 max r> nth ] [ 2drop f ] ifte ;
  55
  56 : error# ( n -- str )
  57     [
  58         "Expired handle: "
  59         "Undefined word: "
  60         "Type check: "
  61         "Array range check: "
  62         "Underflow"
  63         "Bad primitive: "
  64         "Incompatible handle: "
  65         "I/O error: "
  66         "Overflow"
  67         "Incomparable types: "
  68     ] ?nth ;
  69
  70 : ?kernel-error ( cons -- error# param )
  71     dup cons? [ uncons dup cons? [ car ] when ] [ f ] ifte ;
  72
  73 : kernel-error. ( error -- )
  74     ?kernel-error swap error# dup "" ? write
  75     dup [ . ] [ drop terpri ] ifte ;
  76
  77 : error. ( error -- str )
  78     dup kernel-error? [ kernel-error. ] [ . ] ifte ;
  79
  80 DEFER: >c
  81 DEFER: throw
  82 DEFER: default-error-handler
  83
  84 : init-errors ( -- )
  85     64 <vector> set-catchstack*
  86     [ 1 exit* ] >c ( last resort )
  87     [ default-error-handler 1 exit* ] >c
  88     [ throw ] 5 setenv ( kernel calls on error ) ;