newlib/exception.ajla

   1 {*
   2  * Copyright (C) 2024 Mikulas Patocka
   3  *
   4  * This file is part of Ajla.
   5  *
   6  * Ajla is free software: you can redistribute it and/or modify it under the
   7  * terms of the GNU General Public License as published by the Free Software
   8  * Foundation, either version 3 of the License, or (at your option) any later
   9  * version.
  10  *
  11  * Ajla is distributed in the hope that it will be useful, but WITHOUT ANY
  12  * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
  13  * A PARTICULAR PURPOSE. See the GNU General Public License for more details.
  14  *
  15  * You should have received a copy of the GNU General Public License along with
  16  * Ajla. If not, see <https://www.gnu.org/licenses/>.
  17  *}
  18
  19 unit exception;
  20
  21 uses ex_codes;
  22
  23 fn exception_make(dst_type : type, ex_class ex_type ex_code : int, stack_trace : bool) : dst_type;
  24 fn exception_make_str(dst_type : type, ex_class ex_type ex_code : int, stack_trace : bool, str : bytes) : dst_type;
  25 fn exception_copy(src_type : type, dst_type : type, s : src_type) : dst_type;
  26
  27 implementation
  28
  29 fn exception_make(dst_type : type, ex_class ex_type ex_code : int, stack_trace : bool) : dst_type
  30 [
  31         var dest : dst_type;
  32         pcode IO IO_Exception_Make 1 4 0 =dest ex_class ex_type ex_code stack_trace;
  33         return dest;
  34 ]
  35
  36 fn exception_make_str(dst_type : type, ex_class ex_type ex_code : int, stack_trace : bool, str : bytes) : dst_type
  37 [
  38         var dest : dst_type;
  39         pcode IO IO_Exception_Make 1 5 0 =dest ex_class ex_type ex_code stack_trace str;
  40         return dest;
  41 ]
  42
  43 fn exception_copy(src_type : type, dst_type : type, s : src_type) : dst_type
  44 [
  45         var dest : dst_type;
  46         if is_exception s then [
  47                 var d1 : dst_type;
  48                 pcode Copy_Type_Cast =d1 0 s;
  49                 dest := d1;
  50         ] else [
  51                 dest := exception_make(dst_type, ec_sync, error_invalid_operation, 0, true);
  52         ]
  53         return dest;
  54 ]