1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
|
/***********************************************************************/
/* */
/* Objective Caml */
/* */
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
/* en Automatique. All rights reserved. This file is distributed */
/* under the terms of the GNU Library General Public License, with */
/* the special exception on linking described in file ../LICENSE. */
/* */
/***********************************************************************/
/* $Id$ */
/* Raising exceptions from C. */
#include "alloc.h"
#include "fail.h"
#include "io.h"
#include "gc.h"
#include "memory.h"
#include "misc.h"
#include "mlvalues.h"
#include "printexc.h"
#include "signals.h"
#include "stacks.h"
struct longjmp_buffer * external_raise = NULL;
value exn_bucket;
CAMLexport void mlraise(value v)
{
#ifdef DEBUG
extern int volatile async_signal_mode; /* from signals.c */
Assert(! async_signal_mode);
#endif
Unlock_exn();
exn_bucket = v;
if (external_raise == NULL) fatal_uncaught_exception(v);
siglongjmp(external_raise->buf, 1);
}
CAMLexport void raise_constant(value tag)
{
CAMLparam1 (tag);
CAMLlocal1 (bucket);
bucket = alloc_small (1, 0);
Field(bucket, 0) = tag;
mlraise(bucket);
}
CAMLexport void raise_with_arg(value tag, value arg)
{
CAMLparam2 (tag, arg);
CAMLlocal1 (bucket);
bucket = alloc_small (2, 0);
Field(bucket, 0) = tag;
Field(bucket, 1) = arg;
mlraise(bucket);
}
CAMLexport void raise_with_string(value tag, char *msg)
{
CAMLparam1 (tag);
CAMLlocal1 (vmsg);
vmsg = copy_string(msg);
raise_with_arg(tag, vmsg);
}
CAMLexport void failwith (char *msg)
{
raise_with_string(Field(global_data, FAILURE_EXN), msg);
}
CAMLexport void invalid_argument (char *msg)
{
raise_with_string(Field(global_data, INVALID_EXN), msg);
}
CAMLexport void array_bound_error(void)
{
invalid_argument("index out of bounds");
}
/* Problem: we can't use raise_constant, because it allocates and
we're out of memory... Here, we allocate statically the exn bucket
for Out_of_memory. */
static struct {
header_t hdr;
value exn;
} out_of_memory_bucket = { 0, 0 };
CAMLexport void raise_out_of_memory(void)
{
if (out_of_memory_bucket.exn == 0)
fatal_error("Fatal error: out of memory while raising Out_of_memory\n");
mlraise((value) &(out_of_memory_bucket.exn));
}
CAMLexport void raise_stack_overflow(void)
{
raise_constant(Field(global_data, STACK_OVERFLOW_EXN));
}
CAMLexport void raise_sys_error(value msg)
{
raise_with_arg(Field(global_data, SYS_ERROR_EXN), msg);
}
CAMLexport void raise_end_of_file(void)
{
raise_constant(Field(global_data, END_OF_FILE_EXN));
}
CAMLexport void raise_zero_divide(void)
{
raise_constant(Field(global_data, ZERO_DIVIDE_EXN));
}
CAMLexport void raise_not_found(void)
{
raise_constant(Field(global_data, NOT_FOUND_EXN));
}
CAMLexport void raise_sys_blocked_io(void)
{
raise_constant(Field(global_data, SYS_BLOCKED_IO));
}
/* Initialization of statically-allocated exception buckets */
void init_exceptions(void)
{
out_of_memory_bucket.hdr = Make_header(1, 0, Caml_white);
out_of_memory_bucket.exn = Field(global_data, OUT_OF_MEMORY_EXN);
register_global_root(&out_of_memory_bucket.exn);
}
|
