xref: /illumos-gate/usr/src/cmd/sendmail/include/sm/exc.h (revision 2a8bcb4efb45d99ac41c94a75c396b362c414f7f)
1 /*
2  * Copyright (c) 2000-2001 Sendmail, Inc. and its suppliers.
3  *	All rights reserved.
4  *
5  * By using this file, you agree to the terms and conditions set
6  * forth in the LICENSE file which can be found at the top level of
7  * the sendmail distribution.
8  *
9  *	$Id: exc.h,v 1.23 2001/06/07 20:04:53 ca Exp $
10  */
11 
12 /*
13 **  libsm exception handling
14 **  See libsm/exc.html for documentation.
15 */
16 
17 #ifndef SM_EXC_H
18 # define SM_EXC_H
19 
20 #include <sm/setjmp.h>
21 #include <sm/io.h>
22 #include <sm/gen.h>
23 #include <sm/assert.h>
24 
25 typedef struct sm_exc SM_EXC_T;
26 typedef struct sm_exc_type SM_EXC_TYPE_T;
27 typedef union sm_val SM_VAL_T;
28 
29 /*
30 **  Exception types
31 */
32 
33 extern const char SmExcTypeMagic[];
34 
35 struct sm_exc_type
36 {
37 	const char	*sm_magic;
38 	const char	*etype_category;
39 	const char	*etype_argformat;
40 	void		(*etype_print) __P((SM_EXC_T *, SM_FILE_T *));
41 	const char	*etype_printcontext;
42 };
43 
44 extern const SM_EXC_TYPE_T SmEtypeOs;
45 extern const SM_EXC_TYPE_T SmEtypeErr;
46 
47 extern void
48 sm_etype_printf __P((
49 	SM_EXC_T *_exc,
50 	SM_FILE_T *_stream));
51 
52 /*
53 **  Exception objects
54 */
55 
56 extern const char SmExcMagic[];
57 
58 union sm_val
59 {
60 	int		v_int;
61 	long		v_long;
62 	char		*v_str;
63 	SM_EXC_T	*v_exc;
64 };
65 
66 struct sm_exc
67 {
68 	const char		*sm_magic;
69 	size_t			exc_refcount;
70 	const SM_EXC_TYPE_T	*exc_type;
71 	SM_VAL_T		*exc_argv;
72 };
73 
74 # define SM_EXC_INITIALIZER(type, argv) \
75 	{ \
76 		SmExcMagic, \
77 		0, \
78 		type, \
79 		argv, \
80 	}
81 
82 extern SM_EXC_T *
83 sm_exc_new_x __P((
84 	const SM_EXC_TYPE_T *_type,
85 	...));
86 
87 extern SM_EXC_T *
88 sm_exc_addref __P((
89 	SM_EXC_T *_exc));
90 
91 extern void
92 sm_exc_free __P((
93 	SM_EXC_T *_exc));
94 
95 extern bool
96 sm_exc_match __P((
97 	SM_EXC_T *_exc,
98 	const char *_pattern));
99 
100 extern void
101 sm_exc_write __P((
102 	SM_EXC_T *_exc,
103 	SM_FILE_T *_stream));
104 
105 extern void
106 sm_exc_print __P((
107 	SM_EXC_T *_exc,
108 	SM_FILE_T *_stream));
109 
110 extern SM_DEAD(void
111 sm_exc_raise_x __P((
112 	SM_EXC_T *_exc)));
113 
114 extern SM_DEAD(void
115 sm_exc_raisenew_x __P((
116 	const SM_EXC_TYPE_T *_type,
117 	...)));
118 
119 /*
120 **  Exception handling
121 */
122 
123 typedef void (*SM_EXC_DEFAULT_HANDLER_T) __P((SM_EXC_T *));
124 
125 extern void
126 sm_exc_newthread __P((
127 	SM_EXC_DEFAULT_HANDLER_T _handle));
128 
129 typedef struct sm_exc_handler SM_EXC_HANDLER_T;
130 struct sm_exc_handler
131 {
132 	SM_EXC_T		*eh_value;
133 	SM_JMPBUF_T		eh_context;
134 	SM_EXC_HANDLER_T	*eh_parent;
135 	int			eh_state;
136 };
137 
138 /* values for eh_state */
139 enum
140 {
141 	SM_EH_PUSHED = 2,
142 	SM_EH_POPPED = 0,
143 	SM_EH_HANDLED = 1
144 };
145 
146 extern SM_EXC_HANDLER_T *SmExcHandler;
147 
148 # define SM_TRY		{ SM_EXC_HANDLER_T _h; \
149 			  do { \
150 			    _h.eh_value = NULL; \
151 			    _h.eh_parent = SmExcHandler; \
152 			    _h.eh_state = SM_EH_PUSHED; \
153 			    SmExcHandler = &_h; \
154 			    if (sm_setjmp_nosig(_h.eh_context) == 0) {
155 
156 # define SM_FINALLY	      SM_ASSERT(SmExcHandler == &_h); \
157 			    } \
158 			    if (sm_setjmp_nosig(_h.eh_context) == 0) {
159 
160 # define SM_EXCEPT(e,pat)   } \
161 			    if (_h.eh_state == SM_EH_HANDLED) \
162 			      break; \
163 			    if (_h.eh_state == SM_EH_PUSHED) { \
164 			      SM_ASSERT(SmExcHandler == &_h); \
165 			      SmExcHandler = _h.eh_parent; \
166 			    } \
167 			    _h.eh_state = sm_exc_match(_h.eh_value,pat) \
168 			      ? SM_EH_HANDLED : SM_EH_POPPED; \
169 			    if (_h.eh_state == SM_EH_HANDLED) { \
170 			      SM_UNUSED(SM_EXC_T *e) = _h.eh_value;
171 
172 # define SM_END_TRY	  } \
173 			  } while (0); \
174 			  if (_h.eh_state == SM_EH_PUSHED) { \
175 			    SM_ASSERT(SmExcHandler == &_h); \
176 			    SmExcHandler = _h.eh_parent; \
177 			    if (_h.eh_value != NULL) \
178 			      sm_exc_raise_x(_h.eh_value); \
179 			  } else if (_h.eh_state == SM_EH_POPPED) { \
180 			    if (_h.eh_value != NULL) \
181 			      sm_exc_raise_x(_h.eh_value); \
182 			  } else \
183 			    sm_exc_free(_h.eh_value); \
184 			}
185 
186 #endif /* SM_EXC_H */
187