|
2982
|
1 /* |
|
|
2 |
|
7017
|
3 Copyright (C) 1996, 1997, 1998, 2000, 2001, 2002, 2003, 2004, 2005, |
|
|
4 2006, 2007 John W. Eaton |
|
2982
|
5 |
|
|
6 This file is part of Octave. |
|
|
7 |
|
|
8 Octave is free software; you can redistribute it and/or modify it |
|
|
9 under the terms of the GNU General Public License as published by the |
|
7016
|
10 Free Software Foundation; either version 3 of the License, or (at your |
|
|
11 option) any later version. |
|
2982
|
12 |
|
|
13 Octave is distributed in the hope that it will be useful, but WITHOUT |
|
|
14 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
|
|
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
|
|
16 for more details. |
|
|
17 |
|
|
18 You should have received a copy of the GNU General Public License |
|
7016
|
19 along with Octave; see the file COPYING. If not, see |
|
|
20 <http://www.gnu.org/licenses/>. |
|
2982
|
21 |
|
|
22 */ |
|
|
23 |
|
|
24 #ifdef HAVE_CONFIG_H |
|
|
25 #include <config.h> |
|
|
26 #endif |
|
|
27 |
|
4429
|
28 #include "quit.h" |
|
|
29 |
|
2982
|
30 #include "error.h" |
|
|
31 #include "oct-lvalue.h" |
|
|
32 #include "ov.h" |
|
3770
|
33 #include "pt-bp.h" |
|
2982
|
34 #include "pt-cmd.h" |
|
|
35 #include "pt-except.h" |
|
|
36 #include "pt-exp.h" |
|
2985
|
37 #include "pt-jump.h" |
|
2982
|
38 #include "pt-stmt.h" |
|
|
39 #include "pt-walk.h" |
|
|
40 #include "unwind-prot.h" |
|
|
41 #include "variables.h" |
|
|
42 |
|
|
43 // Simple exception handling. |
|
|
44 |
|
|
45 tree_try_catch_command::~tree_try_catch_command (void) |
|
|
46 { |
|
|
47 delete try_code; |
|
|
48 delete catch_code; |
|
3665
|
49 delete lead_comm; |
|
|
50 delete mid_comm; |
|
|
51 delete trail_comm; |
|
2982
|
52 } |
|
|
53 |
|
|
54 static void |
|
|
55 do_catch_code (void *ptr) |
|
|
56 { |
|
4793
|
57 // Is it safe to call OCTAVE_QUIT here? We are already running |
|
|
58 // something on the unwind_protect stack, but the element for this |
|
|
59 // action would have already been popped from the top of the stack, |
|
|
60 // so we should not be attempting to run it again. |
|
|
61 |
|
|
62 OCTAVE_QUIT; |
|
|
63 |
|
|
64 // If we are interrupting immediately, or if an interrupt is in |
|
|
65 // progress (octave_interrupt_state < 0), then we don't want to run |
|
|
66 // the catch code (it should only run on errors, not interrupts). |
|
|
67 |
|
|
68 // If octave_interrupt_state is positive, an interrupt is pending. |
|
|
69 // The only way that could happen would be for the interrupt to |
|
|
70 // come in after the OCTAVE_QUIT above and before the if statement |
|
|
71 // below -- it's possible, but unlikely. In any case, we should |
|
|
72 // probably let the catch code throw the exception because we don't |
|
|
73 // want to skip that and potentially run some other code. For |
|
|
74 // example, an error may have originally brought us here for some |
|
|
75 // cleanup operation and we shouldn't skip that. |
|
|
76 |
|
|
77 if (octave_interrupt_immediately || octave_interrupt_state < 0) |
|
4429
|
78 return; |
|
|
79 |
|
2982
|
80 tree_statement_list *list = static_cast<tree_statement_list *> (ptr); |
|
|
81 |
|
|
82 // Set up for letting the user print any messages from errors that |
|
|
83 // occurred in the body of the try_catch statement. |
|
|
84 |
|
4699
|
85 buffer_error_messages--; |
|
2982
|
86 |
|
|
87 if (list) |
|
|
88 list->eval (); |
|
|
89 } |
|
|
90 |
|
|
91 void |
|
|
92 tree_try_catch_command::eval (void) |
|
|
93 { |
|
2985
|
94 unwind_protect::begin_frame ("tree_try_catch::eval"); |
|
3770
|
95 |
|
|
96 MAYBE_DO_BREAKPOINT; |
|
2982
|
97 |
|
5344
|
98 unwind_protect_int (buffer_error_messages); |
|
|
99 buffer_error_messages++; |
|
2982
|
100 |
|
3490
|
101 unwind_protect::add (do_catch_code, catch_code); |
|
|
102 |
|
2982
|
103 if (try_code) |
|
|
104 try_code->eval (); |
|
|
105 |
|
|
106 if (catch_code && error_state) |
|
|
107 { |
|
|
108 error_state = 0; |
|
2985
|
109 unwind_protect::run_frame ("tree_try_catch::eval"); |
|
2982
|
110 } |
|
|
111 else |
|
|
112 { |
|
|
113 error_state = 0; |
|
3490
|
114 |
|
4699
|
115 // Unwind stack elements must be cleared or run in the reverse |
|
|
116 // order in which they were added to the stack. |
|
|
117 |
|
3490
|
118 // For clearing the do_catch_code cleanup function. |
|
|
119 unwind_protect::discard (); |
|
|
120 |
|
|
121 // For restoring buffer_error_messages. |
|
5344
|
122 unwind_protect::run (); |
|
3585
|
123 |
|
|
124 // Also clear the frame marker. |
|
|
125 unwind_protect::discard (); |
|
2982
|
126 } |
|
|
127 } |
|
|
128 |
|
5861
|
129 tree_command * |
|
|
130 tree_try_catch_command::dup (symbol_table *sym_tab) |
|
|
131 { |
|
|
132 return new tree_try_catch_command (try_code ? try_code->dup (sym_tab) : 0, |
|
|
133 catch_code ? catch_code->dup (sym_tab) : 0, |
|
|
134 lead_comm ? lead_comm->dup () : 0, |
|
|
135 mid_comm ? mid_comm->dup () : 0, |
|
|
136 trail_comm ? trail_comm->dup () : 0, |
|
|
137 line (), column ()); |
|
|
138 } |
|
|
139 |
|
2982
|
140 void |
|
|
141 tree_try_catch_command::accept (tree_walker& tw) |
|
|
142 { |
|
|
143 tw.visit_try_catch_command (*this); |
|
|
144 } |
|
|
145 |
|
|
146 // Simple exception handling. |
|
|
147 |
|
|
148 tree_unwind_protect_command::~tree_unwind_protect_command (void) |
|
|
149 { |
|
|
150 delete unwind_protect_code; |
|
|
151 delete cleanup_code; |
|
3665
|
152 delete lead_comm; |
|
|
153 delete mid_comm; |
|
|
154 delete trail_comm; |
|
2982
|
155 } |
|
|
156 |
|
|
157 static void |
|
|
158 do_unwind_protect_cleanup_code (void *ptr) |
|
|
159 { |
|
|
160 tree_statement_list *list = static_cast<tree_statement_list *> (ptr); |
|
|
161 |
|
|
162 // We want to run the cleanup code without error_state being set, |
|
|
163 // but we need to restore its value, so that any errors encountered |
|
|
164 // in the first part of the unwind_protect are not completely |
|
|
165 // ignored. |
|
|
166 |
|
|
167 unwind_protect_int (error_state); |
|
|
168 error_state = 0; |
|
|
169 |
|
|
170 // Similarly, if we have seen a return or break statement, allow all |
|
|
171 // the cleanup code to run before returning or handling the break. |
|
|
172 // We don't have to worry about continue statements because they can |
|
|
173 // only occur in loops. |
|
|
174 |
|
4207
|
175 unwind_protect_int (tree_return_command::returning); |
|
|
176 tree_return_command::returning = 0; |
|
2982
|
177 |
|
4207
|
178 unwind_protect_int (tree_break_command::breaking); |
|
|
179 tree_break_command::breaking = 0; |
|
2982
|
180 |
|
|
181 if (list) |
|
|
182 list->eval (); |
|
|
183 |
|
3491
|
184 // The unwind_protects are popped off the stack in the reverse of |
|
|
185 // the order they are pushed on. |
|
2982
|
186 |
|
5775
|
187 // FIXME -- these statements say that if we see a break or |
|
3491
|
188 // return statement in the cleanup block, that we want to use the |
|
|
189 // new value of the breaking or returning flag instead of restoring |
|
|
190 // the previous value. Is that the right thing to do? I think so. |
|
|
191 // Consider the case of |
|
|
192 // |
|
|
193 // function foo () |
|
|
194 // unwind_protect |
|
|
195 // stderr << "1: this should always be executed\n"; |
|
|
196 // break; |
|
|
197 // stderr << "1: this should never be executed\n"; |
|
|
198 // unwind_protect_cleanup |
|
|
199 // stderr << "2: this should always be executed\n"; |
|
|
200 // return; |
|
|
201 // stderr << "2: this should never be executed\n"; |
|
|
202 // end_unwind_protect |
|
|
203 // endfunction |
|
|
204 // |
|
|
205 // If we reset the value of the breaking flag, both the returning |
|
|
206 // flag and the breaking flag will be set, and we shouldn't have |
|
|
207 // both. So, use the most recent one. If there is no return or |
|
|
208 // break in the cleanup block, the values should be reset to |
|
|
209 // whatever they were when the cleanup block was entered. |
|
2982
|
210 |
|
4207
|
211 if (tree_break_command::breaking || tree_return_command::returning) |
|
3491
|
212 { |
|
|
213 unwind_protect::discard (); |
|
|
214 unwind_protect::discard (); |
|
|
215 } |
|
2982
|
216 else |
|
3491
|
217 { |
|
|
218 unwind_protect::run (); |
|
|
219 unwind_protect::run (); |
|
|
220 } |
|
2982
|
221 |
|
|
222 // We don't want to ignore errors that occur in the cleanup code, so |
|
|
223 // if an error is encountered there, leave error_state alone. |
|
|
224 // Otherwise, set it back to what it was before. |
|
|
225 |
|
|
226 if (error_state) |
|
2985
|
227 unwind_protect::discard (); |
|
2982
|
228 else |
|
2985
|
229 unwind_protect::run (); |
|
2982
|
230 } |
|
|
231 |
|
|
232 void |
|
|
233 tree_unwind_protect_command::eval (void) |
|
|
234 { |
|
2985
|
235 unwind_protect::add (do_unwind_protect_cleanup_code, cleanup_code); |
|
2982
|
236 |
|
3770
|
237 MAYBE_DO_BREAKPOINT; |
|
|
238 |
|
2982
|
239 if (unwind_protect_code) |
|
|
240 unwind_protect_code->eval (); |
|
|
241 |
|
2985
|
242 unwind_protect::run (); |
|
2982
|
243 } |
|
|
244 |
|
5861
|
245 tree_command * |
|
|
246 tree_unwind_protect_command::dup (symbol_table *sym_tab) |
|
|
247 { |
|
|
248 return new tree_unwind_protect_command |
|
|
249 (unwind_protect_code ? unwind_protect_code->dup (sym_tab) : 0, |
|
|
250 cleanup_code ? cleanup_code->dup (sym_tab) : 0, |
|
|
251 lead_comm ? lead_comm->dup () : 0, |
|
|
252 mid_comm ? mid_comm->dup () : 0, |
|
|
253 trail_comm ? trail_comm->dup () : 0, |
|
|
254 line (), column ()); |
|
|
255 } |
|
|
256 |
|
2982
|
257 void |
|
|
258 tree_unwind_protect_command::accept (tree_walker& tw) |
|
|
259 { |
|
|
260 tw.visit_unwind_protect_command (*this); |
|
|
261 } |
|
|
262 |
|
|
263 /* |
|
|
264 ;;; Local Variables: *** |
|
|
265 ;;; mode: C++ *** |
|
|
266 ;;; End: *** |
|
|
267 */ |
