2 * mono-error.c: Error handling code
5 * Rodrigo Kumpera (rkumpera@novell.com)
6 * Copyright 2009 Novell, Inc (http://www.novell.com)
10 #include "mono-error.h"
11 #include "mono-error-internals.h"
13 #include <mono/metadata/exception.h>
14 #include <mono/metadata/class-internals.h>
15 #include <mono/metadata/debug-helpers.h>
16 #include <mono/metadata/object.h>
17 #include <mono/metadata/object-internals.h>
19 #define set_error_message() do { \
21 va_start (args, msg_format); \
22 if (!(error->full_message = g_strdup_vprintf (msg_format, args))) \
23 error->flags |= MONO_ERROR_INCOMPLETE; \
28 is_managed_exception (MonoErrorInternal *error)
30 return (error->error_code == MONO_ERROR_EXCEPTION_INSTANCE);
34 mono_error_prepare (MonoErrorInternal *error)
36 if (error->error_code != MONO_ERROR_NONE)
39 error->type_name = error->assembly_name = error->member_name = error->full_message = error->exception_name_space = error->exception_name = error->full_message_with_fields = error->first_argument = NULL;
40 error->exn.klass = NULL;
44 get_class (MonoErrorInternal *error)
46 MonoClass *klass = NULL;
47 if (is_managed_exception (error))
48 klass = mono_object_class (mono_gchandle_get_target (error->exn.instance_handle));
50 klass = error->exn.klass;
55 get_type_name (MonoErrorInternal *error)
58 return error->type_name;
59 MonoClass *klass = get_class (error);
62 return "<unknown type>";
66 get_assembly_name (MonoErrorInternal *error)
68 if (error->assembly_name)
69 return error->assembly_name;
70 MonoClass *klass = get_class (error);
71 if (klass && klass->image)
72 return klass->image->name;
73 return "<unknown assembly>";
77 mono_error_init_flags (MonoError *oerror, unsigned short flags)
79 MonoErrorInternal *error = (MonoErrorInternal*)oerror;
80 g_assert (sizeof (MonoError) == sizeof (MonoErrorInternal));
82 error->error_code = MONO_ERROR_NONE;
87 mono_error_init (MonoError *error)
89 mono_error_init_flags (error, 0);
93 mono_error_cleanup (MonoError *oerror)
95 MonoErrorInternal *error = (MonoErrorInternal*)oerror;
96 if (error->error_code == MONO_ERROR_NONE)
99 if (is_managed_exception (error))
100 mono_gchandle_free (error->exn.instance_handle);
102 g_free ((char*)error->full_message);
103 g_free ((char*)error->full_message_with_fields);
104 if (!(error->flags & MONO_ERROR_FREE_STRINGS)) //no memory was allocated
107 g_free ((char*)error->type_name);
108 g_free ((char*)error->assembly_name);
109 g_free ((char*)error->member_name);
110 g_free ((char*)error->exception_name_space);
111 g_free ((char*)error->exception_name);
112 g_free ((char*)error->first_argument);
116 mono_error_ok (MonoError *error)
118 return error->error_code == MONO_ERROR_NONE;
122 mono_error_assert_ok_pos (MonoError *error, const char* filename, int lineno)
124 if (mono_error_ok (error))
127 g_error ("%s:%d: %s\n", filename, lineno, mono_error_get_message (error));
131 mono_error_get_error_code (MonoError *error)
133 return error->error_code;
136 /*Return a pointer to the internal error message, might be NULL.
137 Caller should not release it.*/
139 mono_error_get_message (MonoError *oerror)
141 MonoErrorInternal *error = (MonoErrorInternal*)oerror;
142 if (error->error_code == MONO_ERROR_NONE)
144 if (error->full_message_with_fields)
145 return error->full_message_with_fields;
147 error->full_message_with_fields = g_strdup_printf ("%s assembly:%s type:%s member:%s",
149 get_assembly_name (error),
150 get_type_name (error),
151 error->member_name ? error->member_name : "<none>");
153 return error->full_message_with_fields ? error->full_message_with_fields : error->full_message;
157 * Inform that this error has heap allocated strings.
158 * The strings will be duplicated if @dup_strings is TRUE
159 * otherwise they will just be free'd in mono_error_cleanup.
162 mono_error_dup_strings (MonoError *oerror, gboolean dup_strings)
164 #define DUP_STR(field) do { if (error->field) {\
165 if (!(error->field = g_strdup (error->field))) \
166 error->flags |= MONO_ERROR_INCOMPLETE; \
169 MonoErrorInternal *error = (MonoErrorInternal*)oerror;
170 error->flags |= MONO_ERROR_FREE_STRINGS;
174 DUP_STR (assembly_name);
175 DUP_STR (member_name);
176 DUP_STR (exception_name_space);
177 DUP_STR (exception_name);
178 DUP_STR (first_argument);
184 mono_error_set_error (MonoError *oerror, int error_code, const char *msg_format, ...)
186 MonoErrorInternal *error = (MonoErrorInternal*)oerror;
187 mono_error_prepare (error);
189 error->error_code = error_code;
190 set_error_message ();
194 mono_error_set_assembly_name (MonoError *oerror, const char *assembly_name)
196 MonoErrorInternal *error = (MonoErrorInternal*)oerror;
197 g_assert (error->error_code != MONO_ERROR_NONE);
199 error->assembly_name = assembly_name;
203 mono_error_set_member_name (MonoError *oerror, const char *member_name)
205 MonoErrorInternal *error = (MonoErrorInternal*)oerror;
207 error->member_name = member_name;
211 mono_error_set_type_name (MonoError *oerror, const char *type_name)
213 MonoErrorInternal *error = (MonoErrorInternal*)oerror;
215 error->type_name = type_name;
219 mono_error_set_class (MonoError *oerror, MonoClass *klass)
221 MonoErrorInternal *error = (MonoErrorInternal*)oerror;
223 if (is_managed_exception (error))
225 error->exn.klass = klass;
229 mono_error_set_corlib_exception (MonoError *oerror, const char *name_space, const char *name)
231 MonoErrorInternal *error = (MonoErrorInternal*)oerror;
233 error->exception_name_space = name_space;
234 error->exception_name = name;
239 mono_error_set_assembly_load (MonoError *oerror, const char *assembly_name, const char *msg_format, ...)
241 MonoErrorInternal *error = (MonoErrorInternal*)oerror;
242 mono_error_prepare (error);
244 error->error_code = MONO_ERROR_FILE_NOT_FOUND;
245 mono_error_set_assembly_name (oerror, assembly_name);
247 set_error_message ();
252 mono_error_set_assembly_load_simple (MonoError *oerror, const char *assembly_name, gboolean refection_only)
255 mono_error_set_assembly_load (oerror, assembly_name, "Cannot resolve dependency to assembly because it has not been preloaded. When using the ReflectionOnly APIs, dependent assemblies must be pre-loaded or loaded on demand through the ReflectionOnlyAssemblyResolve event.");
257 mono_error_set_assembly_load (oerror, assembly_name, "Could not load file or assembly or one of its dependencies.");
261 mono_error_set_type_load_class (MonoError *oerror, MonoClass *klass, const char *msg_format, ...)
263 MonoErrorInternal *error = (MonoErrorInternal*)oerror;
264 mono_error_prepare (error);
266 error->error_code = MONO_ERROR_TYPE_LOAD;
267 mono_error_set_class (oerror, klass);
268 set_error_message ();
272 * Different than other functions, this one here assumes that type_name and assembly_name to have been allocated just for us.
273 * Which means mono_error_cleanup will free them.
276 mono_error_set_type_load_name (MonoError *oerror, const char *type_name, const char *assembly_name, const char *msg_format, ...)
278 MonoErrorInternal *error = (MonoErrorInternal*)oerror;
279 mono_error_prepare (error);
281 error->error_code = MONO_ERROR_TYPE_LOAD;
282 mono_error_set_type_name (oerror, type_name);
283 mono_error_set_assembly_name (oerror, assembly_name);
284 mono_error_dup_strings (oerror, FALSE);
285 set_error_message ();
289 mono_error_set_method_load (MonoError *oerror, MonoClass *klass, const char *method_name, const char *msg_format, ...)
291 MonoErrorInternal *error = (MonoErrorInternal*)oerror;
292 mono_error_prepare (error);
294 error->error_code = MONO_ERROR_MISSING_METHOD;
295 mono_error_set_class (oerror, klass);
296 mono_error_set_member_name (oerror, method_name);
297 set_error_message ();
301 mono_error_set_field_load (MonoError *oerror, MonoClass *klass, const char *field_name, const char *msg_format, ...)
303 MonoErrorInternal *error = (MonoErrorInternal*)oerror;
304 mono_error_prepare (error);
306 error->error_code = MONO_ERROR_MISSING_FIELD;
307 mono_error_set_class (oerror, klass);
308 mono_error_set_member_name (oerror, field_name);
309 set_error_message ();
313 mono_error_set_bad_image_name (MonoError *oerror, const char *assembly_name, const char *msg_format, ...)
315 MonoErrorInternal *error = (MonoErrorInternal*)oerror;
316 mono_error_prepare (error);
318 error->error_code = MONO_ERROR_BAD_IMAGE;
319 mono_error_set_assembly_name (oerror, assembly_name);
320 set_error_message ();
324 mono_error_set_bad_image (MonoError *oerror, MonoImage *image, const char *msg_format, ...)
326 MonoErrorInternal *error = (MonoErrorInternal*)oerror;
327 mono_error_prepare (error);
329 error->error_code = MONO_ERROR_BAD_IMAGE;
330 error->assembly_name = image ? mono_image_get_name (image) : "<no_image>";
331 set_error_message ();
335 mono_error_set_generic_error (MonoError *oerror, const char * name_space, const char *name, const char *msg_format, ...)
337 MonoErrorInternal *error = (MonoErrorInternal*)oerror;
338 mono_error_prepare (error);
340 error->error_code = MONO_ERROR_GENERIC;
341 mono_error_set_corlib_exception (oerror, name_space, name);
342 set_error_message ();
346 mono_error_set_exception_instance (MonoError *oerror, MonoException *exc)
348 MonoErrorInternal *error = (MonoErrorInternal*)oerror;
350 mono_error_prepare (error);
351 error->error_code = MONO_ERROR_EXCEPTION_INSTANCE;
352 error->exn.instance_handle = mono_gchandle_new (exc ? &exc->object : NULL, FALSE);
356 mono_error_set_from_loader_error (MonoError *oerror)
358 MonoLoaderError *loader_error = mono_loader_get_last_error ();
359 MonoErrorInternal *error = (MonoErrorInternal*)oerror;
360 gboolean dup_strings = TRUE;
362 mono_error_prepare (error);
365 mono_error_set_generic_error (oerror, "System", "ExecutionEngineException", "Runtime tried to produce a mono-error from an empty loader-error");
369 switch (loader_error->exception_type) {
370 case MONO_EXCEPTION_NONE:
371 mono_error_set_generic_error (oerror, "System", "ExecutionEngineException", "Runtime tried to produce a mono-error from a non-error loader-error");
374 case MONO_EXCEPTION_INVALID_PROGRAM:
375 mono_error_set_generic_error (oerror, "System", "InvalidProgramException", "Failed for unknown reasons.");
378 case MONO_EXCEPTION_UNVERIFIABLE_IL:
379 mono_error_set_generic_error (oerror, "System.Security", "VerificationException", "Failed for unknown reasons.");
382 case MONO_EXCEPTION_MISSING_METHOD:
383 error->error_code = MONO_ERROR_MISSING_METHOD;
384 mono_error_set_type_name (oerror, loader_error->class_name);
385 mono_error_set_member_name (oerror, loader_error->member_name);
386 error->full_message = g_strdup ("Failed for unknown reasons.");
389 case MONO_EXCEPTION_MISSING_FIELD:
390 mono_error_set_field_load (oerror, loader_error->klass, loader_error->member_name, "Failed for unknown reasons.");
393 case MONO_EXCEPTION_TYPE_LOAD:
394 mono_error_set_type_load_name (oerror, g_strdup (loader_error->class_name), g_strdup (loader_error->assembly_name), "Failed for unknown reasons.");
398 case MONO_EXCEPTION_FILE_NOT_FOUND:
399 mono_error_set_assembly_load_simple (oerror, loader_error->assembly_name, loader_error->ref_only);
402 case MONO_EXCEPTION_METHOD_ACCESS:
403 mono_error_set_generic_error (oerror, "System", "MethodAccessException", "Failed for unknown reasons.");
406 case MONO_EXCEPTION_FIELD_ACCESS:
407 mono_error_set_generic_error (oerror, "System", "FieldAccessException", "Failed for unknown reasons.");
410 case MONO_EXCEPTION_OBJECT_SUPPLIED:
411 case MONO_EXCEPTION_GENERIC_SHARING_FAILED:
412 mono_error_set_generic_error (oerror, "System", "ExecutionEngineException", "Runtime tried to produce a mono-error from JIT internal error %d", loader_error->exception_type);
415 case MONO_EXCEPTION_BAD_IMAGE:
416 mono_error_set_bad_image_name (oerror, "<unknown>", "%s", loader_error->msg);
419 case MONO_EXCEPTION_OUT_OF_MEMORY:
420 mono_error_set_out_of_memory (oerror, "Failed for unknown reasons.");
424 mono_error_set_generic_error (oerror, "System", "ExecutionEngineException", "Runtime tried to produce an unknown loader-error %d", loader_error->exception_type);
428 mono_error_dup_strings (oerror, dup_strings);
429 mono_loader_clear_error ();
433 mono_loader_set_error_from_mono_error (MonoError *oerror)
435 MonoErrorInternal *error = (MonoErrorInternal*)oerror;
437 switch (error->error_code) {
438 case MONO_ERROR_MISSING_METHOD:
439 mono_loader_set_error_method_load (get_type_name (error), error->member_name);
441 case MONO_ERROR_MISSING_FIELD:
442 mono_loader_set_error_field_load (error->exn.klass, error->member_name);
444 case MONO_ERROR_TYPE_LOAD:
445 mono_loader_set_error_type_load (get_type_name (error), get_assembly_name (error));
447 case MONO_ERROR_FILE_NOT_FOUND:
448 /* XXX can't recover if it's ref only or not */
449 mono_loader_set_error_assembly_load (get_assembly_name (error), FALSE);
451 case MONO_ERROR_BAD_IMAGE:
452 mono_loader_set_error_bad_image (g_strdup (error->full_message));
454 case MONO_ERROR_EXCEPTION_INSTANCE:
455 mono_loader_set_error_bad_image (g_strdup_printf ("Non translatable error"));
457 mono_loader_set_error_bad_image (g_strdup_printf ("Non translatable error: %s", error->full_message));
462 mono_error_set_out_of_memory (MonoError *oerror, const char *msg_format, ...)
464 MonoErrorInternal *error = (MonoErrorInternal*)oerror;
465 mono_error_prepare (error);
467 error->error_code = MONO_ERROR_OUT_OF_MEMORY;
469 set_error_message ();
473 mono_error_set_argument (MonoError *oerror, const char *argument, const char *msg_format, ...)
475 MonoErrorInternal *error = (MonoErrorInternal*)oerror;
476 mono_error_prepare (error);
478 error->error_code = MONO_ERROR_ARGUMENT;
479 error->first_argument = argument;
481 set_error_message ();
485 mono_error_set_argument_null (MonoError *oerror, const char *argument, const char *msg_format, ...)
487 MonoErrorInternal *error = (MonoErrorInternal*)oerror;
488 mono_error_prepare (error);
490 error->error_code = MONO_ERROR_ARGUMENT_NULL;
491 error->first_argument = argument;
493 set_error_message ();
497 mono_error_set_not_verifiable (MonoError *oerror, MonoMethod *method, const char *msg_format, ...)
499 MonoErrorInternal *error = (MonoErrorInternal*)oerror;
500 mono_error_prepare (error);
502 error->error_code = MONO_ERROR_NOT_VERIFIABLE;
504 mono_error_set_class (oerror, method->klass);
505 mono_error_set_member_name (oerror, mono_method_full_name (method, 1));
508 set_error_message ();
513 get_type_name_as_mono_string (MonoErrorInternal *error, MonoDomain *domain, MonoError *error_out)
515 MonoString* res = NULL;
517 if (error->type_name) {
518 res = mono_string_new (domain, error->type_name);
521 MonoClass *klass = get_class (error);
523 char *name = mono_type_full_name (&klass->byval_arg);
525 res = mono_string_new (domain, name);
531 mono_error_set_out_of_memory (error_out, "Could not allocate type name");
536 set_message_on_exception (MonoException *exception, MonoErrorInternal *error, MonoError *error_out)
538 MonoString *msg = mono_string_new (mono_domain_get (), error->full_message);
540 MONO_OBJECT_SETREF (exception, message, msg);
542 mono_error_set_out_of_memory (error_out, "Could not allocate exception object");
545 /*Can fail with out-of-memory*/
547 mono_error_prepare_exception (MonoError *oerror, MonoError *error_out)
549 MonoErrorInternal *error = (MonoErrorInternal*)oerror;
551 MonoException* exception = NULL;
552 MonoString *assembly_name = NULL, *type_name = NULL, *method_name = NULL, *field_name = NULL, *msg = NULL;
553 MonoDomain *domain = mono_domain_get ();
555 mono_error_init (error_out);
557 switch (error->error_code) {
558 case MONO_ERROR_NONE:
561 case MONO_ERROR_MISSING_METHOD:
562 if ((error->type_name || error->exn.klass) && error->member_name) {
563 type_name = get_type_name_as_mono_string (error, domain, error_out);
564 if (!mono_error_ok (error_out))
567 method_name = mono_string_new (domain, error->member_name);
569 mono_error_set_out_of_memory (error_out, "Could not allocate method name");
573 exception = mono_exception_from_name_two_strings (mono_defaults.corlib, "System", "MissingMethodException", type_name, method_name);
575 set_message_on_exception (exception, error, error_out);
577 exception = mono_exception_from_name_msg (mono_defaults.corlib, "System", "MissingMethodException", error->full_message);
581 case MONO_ERROR_MISSING_FIELD:
582 if ((error->type_name || error->exn.klass) && error->member_name) {
583 type_name = get_type_name_as_mono_string (error, domain, error_out);
584 if (!mono_error_ok (error_out))
587 field_name = mono_string_new (domain, error->member_name);
589 mono_error_set_out_of_memory (error_out, "Could not allocate field name");
593 exception = mono_exception_from_name_two_strings (mono_defaults.corlib, "System", "MissingFieldException", type_name, field_name);
595 set_message_on_exception (exception, error, error_out);
597 exception = mono_exception_from_name_msg (mono_defaults.corlib, "System", "MissingFieldException", error->full_message);
601 case MONO_ERROR_TYPE_LOAD:
602 if (error->type_name && error->assembly_name) {
603 type_name = get_type_name_as_mono_string (error, domain, error_out);
604 if (!mono_error_ok (error_out))
607 if (error->assembly_name) {
608 assembly_name = mono_string_new (domain, error->assembly_name);
609 if (!assembly_name) {
610 mono_error_set_out_of_memory (error_out, "Could not allocate assembly name");
615 exception = mono_exception_from_name_two_strings (mono_get_corlib (), "System", "TypeLoadException", type_name, assembly_name);
617 set_message_on_exception (exception, error, error_out);
619 exception = mono_exception_from_name_msg (mono_defaults.corlib, "System", "TypeLoadException", error->full_message);
623 case MONO_ERROR_FILE_NOT_FOUND:
624 case MONO_ERROR_BAD_IMAGE:
625 if (error->assembly_name) {
626 msg = mono_string_new (domain, error->full_message);
628 mono_error_set_out_of_memory (error_out, "Could not allocate message");
632 if (error->assembly_name) {
633 assembly_name = mono_string_new (domain, error->assembly_name);
634 if (!assembly_name) {
635 mono_error_set_out_of_memory (error_out, "Could not allocate assembly name");
640 if (error->error_code == MONO_ERROR_FILE_NOT_FOUND)
641 exception = mono_exception_from_name_two_strings (mono_get_corlib (), "System.IO", "FileNotFoundException", msg, assembly_name);
643 exception = mono_exception_from_name_two_strings (mono_defaults.corlib, "System", "BadImageFormatException", msg, assembly_name);
645 if (error->error_code == MONO_ERROR_FILE_NOT_FOUND)
646 exception = mono_exception_from_name_msg (mono_get_corlib (), "System.IO", "FileNotFoundException", error->full_message);
648 exception = mono_exception_from_name_msg (mono_defaults.corlib, "System", "BadImageFormatException", error->full_message);
652 case MONO_ERROR_OUT_OF_MEMORY:
653 exception = mono_get_exception_out_of_memory ();
656 case MONO_ERROR_ARGUMENT:
657 exception = mono_get_exception_argument (error->first_argument, error->full_message);
660 case MONO_ERROR_ARGUMENT_NULL:
661 exception = mono_get_exception_argument_null (error->first_argument);
664 case MONO_ERROR_NOT_VERIFIABLE: {
665 char *type_name = NULL, *message;
666 if (error->exn.klass) {
667 type_name = mono_type_get_full_name (error->exn.klass);
669 mono_error_set_out_of_memory (error_out, "Could not allocate message");
673 message = g_strdup_printf ("Error in %s:%s %s", type_name, error->member_name, error->full_message);
676 mono_error_set_out_of_memory (error_out, "Could not allocate message");
679 exception = mono_exception_from_name_msg (mono_defaults.corlib, "System.Security", "VerificationException", message);
684 case MONO_ERROR_GENERIC:
685 if (!error->exception_name_space || !error->exception_name)
686 mono_error_set_generic_error (error_out, "System", "ExecutionEngineException", "MonoError with generic error but no exception name was supplied");
688 exception = mono_exception_from_name_msg (mono_defaults.corlib, error->exception_name_space, error->exception_name, error->full_message);
691 case MONO_ERROR_EXCEPTION_INSTANCE:
692 exception = (MonoException*) mono_gchandle_get_target (error->exn.instance_handle);
696 mono_error_set_generic_error (error_out, "System", "ExecutionEngineException", "Invalid error-code %d", error->error_code);
699 if (!mono_error_ok (error_out))
702 mono_error_set_out_of_memory (error_out, "Could not allocate exception object");
707 Convert this MonoError to an exception if it's faulty or return NULL.
708 The error object is cleant after.
712 mono_error_convert_to_exception (MonoError *target_error)
717 if (mono_error_ok (target_error))
720 ex = mono_error_prepare_exception (target_error, &error);
721 if (!mono_error_ok (&error)) {
722 MonoError second_chance;
723 /*Try to produce the exception for the second error. FIXME maybe we should log about the original one*/
724 ex = mono_error_prepare_exception (&error, &second_chance);
726 g_assert (mono_error_ok (&second_chance)); /*We can't reasonable handle double faults, maybe later.*/
727 mono_error_cleanup (&error);
729 mono_error_cleanup (target_error);
734 mono_error_move (MonoError *dest, MonoError *src)
736 memcpy (dest, src, sizeof (MonoErrorInternal));
737 mono_error_init (src);