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
|
/***********************************************************************/
/* */
/* 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. */
/* */
/***********************************************************************/
/* $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 "signals.h"
#include "stacks.h"
struct longjmp_buffer * external_raise = NULL;
value exn_bucket;
void mlraise(value v)
{
Assert(! async_signal_mode);
Unlock_exn();
exn_bucket = v;
if (external_raise == NULL) fatal_uncaught_exception(v);
siglongjmp(external_raise->buf, 1);
}
void raise_constant(value tag)
{
value bucket;
Begin_root (tag);
bucket = alloc_small (1, 0);
Field(bucket, 0) = tag;
End_roots ();
mlraise(bucket);
}
void raise_with_arg(value tag, value arg)
{
value bucket;
Begin_roots2 (tag, arg);
bucket = alloc_small (2, 0);
Field(bucket, 0) = tag;
Field(bucket, 1) = arg;
End_roots ();
mlraise(bucket);
}
void raise_with_string(value tag, char *msg)
{
value vmsg;
Begin_root(tag);
vmsg = copy_string(msg);
End_roots();
raise_with_arg(tag, vmsg);
}
void failwith (char *msg)
{
raise_with_string(Field(global_data, FAILURE_EXN), msg);
}
void invalid_argument (char *msg)
{
raise_with_string(Field(global_data, INVALID_EXN), msg);
}
/* 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 };
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));
}
void raise_stack_overflow(void)
{
raise_constant(Field(global_data, STACK_OVERFLOW_EXN));
}
void raise_sys_error(value msg)
{
raise_with_arg(Field(global_data, SYS_ERROR_EXN), msg);
}
void raise_end_of_file(void)
{
raise_constant(Field(global_data, END_OF_FILE_EXN));
}
void raise_zero_divide(void)
{
raise_constant(Field(global_data, ZERO_DIVIDE_EXN));
}
void raise_not_found(void)
{
raise_constant(Field(global_data, NOT_FOUND_EXN));
}
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, White);
out_of_memory_bucket.exn = Field(global_data, OUT_OF_MEMORY_EXN);
register_global_root(&out_of_memory_bucket.exn);
}
|
