mono/utils/mono-error.c

   1 /*
   2  * mono-error.c: Error handling code
   3  *
   4  * Authors:
   5  *      Rodrigo Kumpera    (rkumpera@novell.com)
   6  * Copyright 2009 Novell, Inc (http://www.novell.com)
   7  */
   8 #include <glib.h>
   9
  10 #include "mono-error.h"
  11 #include "mono-error-internals.h"
  12
  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>
  18
  19 #define set_error_message() do { \
  20         va_list args; \
  21         va_start (args, msg_format); \
  22         if (!(error->full_message = g_strdup_vprintf (msg_format, args))) \
  23                         error->flags |= MONO_ERROR_INCOMPLETE; \
  24         va_end (args); \
  25 } while (0)
  26
  27 static gboolean
  28 is_managed_exception (MonoErrorInternal *error)
  29 {
  30         return (error->error_code == MONO_ERROR_EXCEPTION_INSTANCE);
  31 }
  32
  33 static void
  34 mono_error_prepare (MonoErrorInternal *error)
  35 {
  36         if (error->error_code != MONO_ERROR_NONE)
  37                 return;
  38
  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;
  41 }
  42
  43 static MonoClass*
  44 get_class (MonoErrorInternal *error)
  45 {
  46         MonoClass *klass = NULL;
  47         if (is_managed_exception (error))
  48                 klass = mono_object_class (mono_gchandle_get_target (error->exn.instance_handle));
  49         else
  50                 klass = error->exn.klass;
  51         return klass;
  52 }
  53
  54 static const char*
  55 get_type_name (MonoErrorInternal *error)
  56 {
  57         if (error->type_name)
  58                 return error->type_name;
  59         MonoClass *klass = get_class (error);
  60         if (klass)
  61                 return klass->name;
  62         return "<unknown type>";
  63 }
  64
  65 static const char*
  66 get_assembly_name (MonoErrorInternal *error)
  67 {
  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>";
  74 }
  75
  76 void
  77 mono_error_init_flags (MonoError *oerror, unsigned short flags)
  78 {
  79         MonoErrorInternal *error = (MonoErrorInternal*)oerror;
  80         g_assert (sizeof (MonoError) == sizeof (MonoErrorInternal));
  81
  82         error->error_code = MONO_ERROR_NONE;
  83         error->flags = flags;
  84 }
  85
  86 void
  87 mono_error_init (MonoError *error)
  88 {
  89         mono_error_init_flags (error, 0);
  90 }
  91
  92 void
  93 mono_error_cleanup (MonoError *oerror)
  94 {
  95         MonoErrorInternal *error = (MonoErrorInternal*)oerror;
  96         if (error->error_code == MONO_ERROR_NONE)
  97                 return;
  98
  99         if (is_managed_exception (error))
 100                 mono_gchandle_free (error->exn.instance_handle);
 101
 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
 105                 return;
 106
 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);
 113 }
 114
 115 gboolean
 116 mono_error_ok (MonoError *error)
 117 {
 118         return error->error_code == MONO_ERROR_NONE;
 119 }
 120
 121 void
 122 mono_error_assert_ok_pos (MonoError *error, const char* filename, int lineno)
 123 {
 124         if (mono_error_ok (error))
 125                 return;
 126
 127         g_error ("%s:%d: %s\n", filename, lineno, mono_error_get_message (error));
 128 }
 129
 130 unsigned short
 131 mono_error_get_error_code (MonoError *error)
 132 {
 133         return error->error_code;
 134 }
 135
 136 /*Return a pointer to the internal error message, might be NULL.
 137 Caller should not release it.*/
 138 const char*
 139 mono_error_get_message (MonoError *oerror)
 140 {
 141         MonoErrorInternal *error = (MonoErrorInternal*)oerror;
 142         if (error->error_code == MONO_ERROR_NONE)
 143                 return NULL;
 144         if (error->full_message_with_fields)
 145                 return error->full_message_with_fields;
 146
 147         error->full_message_with_fields = g_strdup_printf ("%s assembly:%s type:%s member:%s",
 148                 error->full_message,
 149                 get_assembly_name (error),
 150                 get_type_name (error),
 151                 error->member_name ? error->member_name : "<none>");
 152
 153         return error->full_message_with_fields ? error->full_message_with_fields : error->full_message;
 154 }
 155
 156 /*
 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.
 160  */
 161 void
 162 mono_error_dup_strings (MonoError *oerror, gboolean dup_strings)
 163 {
 164 #define DUP_STR(field) do { if (error->field) {\
 165         if (!(error->field = g_strdup (error->field))) \
 166                 error->flags |= MONO_ERROR_INCOMPLETE; \
 167         }} while (0);
 168
 169         MonoErrorInternal *error = (MonoErrorInternal*)oerror;
 170         error->flags |= MONO_ERROR_FREE_STRINGS;
 171
 172         if (dup_strings) {
 173                 DUP_STR (type_name);
 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);
 179         }
 180 #undef DUP_STR
 181 }
 182
 183 void
 184 mono_error_set_error (MonoError *oerror, int error_code, const char *msg_format, ...)
 185 {
 186         MonoErrorInternal *error = (MonoErrorInternal*)oerror;
 187         mono_error_prepare (error);
 188
 189         error->error_code = error_code;
 190         set_error_message ();
 191 }
 192
 193 static void
 194 mono_error_set_assembly_name (MonoError *oerror, const char *assembly_name)
 195 {
 196         MonoErrorInternal *error = (MonoErrorInternal*)oerror;
 197         g_assert (error->error_code != MONO_ERROR_NONE);
 198
 199         error->assembly_name = assembly_name;
 200 }
 201
 202 static void
 203 mono_error_set_member_name (MonoError *oerror, const char *member_name)
 204 {
 205         MonoErrorInternal *error = (MonoErrorInternal*)oerror;
 206
 207         error->member_name = member_name;
 208 }
 209
 210 static void
 211 mono_error_set_type_name (MonoError *oerror, const char *type_name)
 212 {
 213         MonoErrorInternal *error = (MonoErrorInternal*)oerror;
 214
 215         error->type_name = type_name;
 216 }
 217
 218 static void
 219 mono_error_set_class (MonoError *oerror, MonoClass *klass)
 220 {
 221         MonoErrorInternal *error = (MonoErrorInternal*)oerror;
 222
 223         if (is_managed_exception (error))
 224                 return;
 225         error->exn.klass = klass;
 226 }
 227
 228 static void
 229 mono_error_set_corlib_exception (MonoError *oerror, const char *name_space, const char *name)
 230 {
 231         MonoErrorInternal *error = (MonoErrorInternal*)oerror;
 232
 233         error->exception_name_space = name_space;
 234         error->exception_name = name;
 235 }
 236
 237
 238 void
 239 mono_error_set_assembly_load (MonoError *oerror, const char *assembly_name, const char *msg_format, ...)
 240 {
 241         MonoErrorInternal *error = (MonoErrorInternal*)oerror;
 242         mono_error_prepare (error);
 243
 244         error->error_code = MONO_ERROR_FILE_NOT_FOUND;
 245         mono_error_set_assembly_name (oerror, assembly_name);
 246
 247         set_error_message ();
 248 }
 249
 250
 251 void
 252 mono_error_set_assembly_load_simple (MonoError *oerror, const char *assembly_name, gboolean refection_only)
 253 {
 254         if (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.");
 256         else
 257                 mono_error_set_assembly_load (oerror, assembly_name, "Could not load file or assembly or one of its dependencies.");
 258 }
 259
 260 void
 261 mono_error_set_type_load_class (MonoError *oerror, MonoClass *klass, const char *msg_format, ...)
 262 {
 263         MonoErrorInternal *error = (MonoErrorInternal*)oerror;
 264         mono_error_prepare (error);
 265
 266         error->error_code = MONO_ERROR_TYPE_LOAD;
 267         mono_error_set_class (oerror, klass);
 268         set_error_message ();
 269 }
 270
 271 /*
 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.
 274  */
 275 void
 276 mono_error_set_type_load_name (MonoError *oerror, const char *type_name, const char *assembly_name, const char *msg_format, ...)
 277 {
 278         MonoErrorInternal *error = (MonoErrorInternal*)oerror;
 279         mono_error_prepare (error);
 280
 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 ();
 286 }
 287
 288 void
 289 mono_error_set_method_load (MonoError *oerror, MonoClass *klass, const char *method_name, const char *msg_format, ...)
 290 {
 291         MonoErrorInternal *error = (MonoErrorInternal*)oerror;
 292         mono_error_prepare (error);
 293
 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 ();
 298 }
 299
 300 void
 301 mono_error_set_field_load (MonoError *oerror, MonoClass *klass, const char *field_name, const char *msg_format, ...)
 302 {
 303         MonoErrorInternal *error = (MonoErrorInternal*)oerror;
 304         mono_error_prepare (error);
 305
 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 ();
 310 }
 311
 312 void
 313 mono_error_set_bad_image_name (MonoError *oerror, const char *assembly_name, const char *msg_format, ...)
 314 {
 315         MonoErrorInternal *error = (MonoErrorInternal*)oerror;
 316         mono_error_prepare (error);
 317
 318         error->error_code = MONO_ERROR_BAD_IMAGE;
 319         mono_error_set_assembly_name (oerror, assembly_name);
 320         set_error_message ();
 321 }
 322
 323 void
 324 mono_error_set_bad_image (MonoError *oerror, MonoImage *image, const char *msg_format, ...)
 325 {
 326         MonoErrorInternal *error = (MonoErrorInternal*)oerror;
 327         mono_error_prepare (error);
 328
 329         error->error_code = MONO_ERROR_BAD_IMAGE;
 330         error->assembly_name = image ? mono_image_get_name (image) : "<no_image>";
 331         set_error_message ();
 332 }
 333
 334 void
 335 mono_error_set_generic_error (MonoError *oerror, const char * name_space, const char *name, const char *msg_format, ...)
 336 {
 337         MonoErrorInternal *error = (MonoErrorInternal*)oerror;
 338         mono_error_prepare (error);
 339
 340         error->error_code = MONO_ERROR_GENERIC;
 341         mono_error_set_corlib_exception (oerror, name_space, name);
 342         set_error_message ();
 343 }
 344
 345 void
 346 mono_error_set_exception_instance (MonoError *oerror, MonoException *exc)
 347 {
 348         MonoErrorInternal *error = (MonoErrorInternal*)oerror;
 349
 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);
 353 }
 354
 355 void
 356 mono_error_set_from_loader_error (MonoError *oerror)
 357 {
 358         MonoLoaderError *loader_error = mono_loader_get_last_error ();
 359         MonoErrorInternal *error = (MonoErrorInternal*)oerror;
 360         gboolean dup_strings = TRUE;
 361
 362         mono_error_prepare (error);
 363
 364         if (!loader_error) {
 365                 mono_error_set_generic_error (oerror, "System", "ExecutionEngineException", "Runtime tried to produce a mono-error from an empty loader-error");
 366                 return;
 367         }
 368
 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");
 372                 break;
 373
 374         case MONO_EXCEPTION_INVALID_PROGRAM:
 375                 mono_error_set_generic_error (oerror, "System", "InvalidProgramException", "Failed for unknown reasons.");
 376                 break;
 377
 378         case MONO_EXCEPTION_UNVERIFIABLE_IL:
 379                 mono_error_set_generic_error (oerror, "System.Security", "VerificationException", "Failed for unknown reasons.");
 380                 break;
 381
 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.");
 387                 break;
 388
 389         case MONO_EXCEPTION_MISSING_FIELD:
 390                 mono_error_set_field_load (oerror, loader_error->klass, loader_error->member_name, "Failed for unknown reasons.");
 391                 break;
 392
 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.");
 395                 dup_strings = FALSE;
 396                 break;
 397
 398         case MONO_EXCEPTION_FILE_NOT_FOUND:
 399                 mono_error_set_assembly_load_simple (oerror, loader_error->assembly_name, loader_error->ref_only);
 400                 break;
 401
 402         case MONO_EXCEPTION_METHOD_ACCESS:
 403                 mono_error_set_generic_error (oerror, "System", "MethodAccessException", "Failed for unknown reasons.");
 404                 break;
 405
 406         case MONO_EXCEPTION_FIELD_ACCESS:
 407                 mono_error_set_generic_error (oerror, "System", "FieldAccessException", "Failed for unknown reasons.");
 408                 break;
 409
 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);
 413                 break;
 414
 415         case MONO_EXCEPTION_BAD_IMAGE:
 416                 mono_error_set_bad_image_name (oerror, "<unknown>", "%s", loader_error->msg);
 417                 break;
 418
 419         case MONO_EXCEPTION_OUT_OF_MEMORY:
 420                 mono_error_set_out_of_memory (oerror, "Failed for unknown reasons.");
 421                 break;
 422
 423         default:
 424                 mono_error_set_generic_error (oerror, "System", "ExecutionEngineException", "Runtime tried to produce an unknown loader-error %d", loader_error->exception_type);
 425                 break;
 426         }
 427
 428         mono_error_dup_strings (oerror, dup_strings);
 429         mono_loader_clear_error ();
 430 }
 431
 432 void
 433 mono_loader_set_error_from_mono_error (MonoError *oerror)
 434 {
 435         MonoErrorInternal *error = (MonoErrorInternal*)oerror;
 436
 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);
 440                 break;
 441         case MONO_ERROR_MISSING_FIELD:
 442                 mono_loader_set_error_field_load (error->exn.klass, error->member_name);
 443                 break;
 444         case MONO_ERROR_TYPE_LOAD:
 445                 mono_loader_set_error_type_load (get_type_name (error), get_assembly_name (error));
 446                 break;
 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);
 450                 break;
 451         case MONO_ERROR_BAD_IMAGE:
 452                 mono_loader_set_error_bad_image (g_strdup (error->full_message));
 453                 break;
 454         case MONO_ERROR_EXCEPTION_INSTANCE:
 455                 mono_loader_set_error_bad_image (g_strdup_printf ("Non translatable error"));
 456         default:
 457                 mono_loader_set_error_bad_image (g_strdup_printf ("Non translatable error: %s", error->full_message));
 458         }
 459 }
 460
 461 void
 462 mono_error_set_out_of_memory (MonoError *oerror, const char *msg_format, ...)
 463 {
 464         MonoErrorInternal *error = (MonoErrorInternal*)oerror;
 465         mono_error_prepare (error);
 466
 467         error->error_code = MONO_ERROR_OUT_OF_MEMORY;
 468
 469         set_error_message ();
 470 }
 471
 472 void
 473 mono_error_set_argument (MonoError *oerror, const char *argument, const char *msg_format, ...)
 474 {
 475         MonoErrorInternal *error = (MonoErrorInternal*)oerror;
 476         mono_error_prepare (error);
 477
 478         error->error_code = MONO_ERROR_ARGUMENT;
 479         error->first_argument = argument;
 480
 481         set_error_message ();
 482 }
 483
 484 void
 485 mono_error_set_argument_null (MonoError *oerror, const char *argument, const char *msg_format, ...)
 486 {
 487         MonoErrorInternal *error = (MonoErrorInternal*)oerror;
 488         mono_error_prepare (error);
 489
 490         error->error_code = MONO_ERROR_ARGUMENT_NULL;
 491         error->first_argument = argument;
 492
 493         set_error_message ();
 494 }
 495
 496 void
 497 mono_error_set_not_verifiable (MonoError *oerror, MonoMethod *method, const char *msg_format, ...)
 498 {
 499         MonoErrorInternal *error = (MonoErrorInternal*)oerror;
 500         mono_error_prepare (error);
 501
 502         error->error_code = MONO_ERROR_NOT_VERIFIABLE;
 503         if (method) {
 504                 mono_error_set_class (oerror, method->klass);
 505                 mono_error_set_member_name (oerror, mono_method_full_name (method, 1));
 506         }
 507
 508         set_error_message ();
 509 }
 510
 511
 512 static MonoString*
 513 get_type_name_as_mono_string (MonoErrorInternal *error, MonoDomain *domain, MonoError *error_out)
 514 {
 515         MonoString* res = NULL;
 516
 517         if (error->type_name) {
 518                 res = mono_string_new (domain, error->type_name);
 519
 520         } else {
 521                 MonoClass *klass = get_class (error);
 522                 if (klass) {
 523                         char *name = mono_type_full_name (&klass->byval_arg);
 524                         if (name) {
 525                                 res = mono_string_new (domain, name);
 526                                 g_free (name);
 527                         }
 528                 }
 529         }
 530         if (!res)
 531                 mono_error_set_out_of_memory (error_out, "Could not allocate type name");
 532         return res;
 533 }
 534
 535 static void
 536 set_message_on_exception (MonoException *exception, MonoErrorInternal *error, MonoError *error_out)
 537 {
 538         MonoString *msg = mono_string_new (mono_domain_get (), error->full_message);
 539         if (msg)
 540                 MONO_OBJECT_SETREF (exception, message, msg);
 541         else
 542                 mono_error_set_out_of_memory (error_out, "Could not allocate exception object");
 543 }
 544
 545 /*Can fail with out-of-memory*/
 546 MonoException*
 547 mono_error_prepare_exception (MonoError *oerror, MonoError *error_out)
 548 {
 549         MonoErrorInternal *error = (MonoErrorInternal*)oerror;
 550
 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 ();
 554
 555         mono_error_init (error_out);
 556
 557         switch (error->error_code) {
 558         case MONO_ERROR_NONE:
 559                 return NULL;
 560
 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))
 565                                 break;
 566
 567                         method_name = mono_string_new (domain, error->member_name);
 568                         if (!method_name) {
 569                                 mono_error_set_out_of_memory (error_out, "Could not allocate method name");
 570                                 break;
 571                         }
 572
 573                         exception = mono_exception_from_name_two_strings (mono_defaults.corlib, "System", "MissingMethodException", type_name, method_name);
 574                         if (exception)
 575                                 set_message_on_exception (exception, error, error_out);
 576                 } else {
 577                         exception = mono_exception_from_name_msg (mono_defaults.corlib, "System", "MissingMethodException", error->full_message);
 578                 }
 579                 break;
 580
 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))
 585                                 break;
 586
 587                         field_name = mono_string_new (domain, error->member_name);
 588                         if (!field_name) {
 589                                 mono_error_set_out_of_memory (error_out, "Could not allocate field name");
 590                                 break;
 591                         }
 592
 593                         exception = mono_exception_from_name_two_strings (mono_defaults.corlib, "System", "MissingFieldException", type_name, field_name);
 594                         if (exception)
 595                                 set_message_on_exception (exception, error, error_out);
 596                 } else {
 597                         exception = mono_exception_from_name_msg (mono_defaults.corlib, "System", "MissingFieldException", error->full_message);
 598                 }
 599                 break;
 600
 601         case MONO_ERROR_TYPE_LOAD:
 602                 if ((error->type_name && error->assembly_name) || error->exn.klass) {
 603                         type_name = get_type_name_as_mono_string (error, domain, error_out);
 604                         if (!mono_error_ok (error_out))
 605                                 break;
 606
 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");
 611                                         break;
 612                                 }
 613                         }
 614
 615                         exception = mono_exception_from_name_two_strings (mono_get_corlib (), "System", "TypeLoadException", type_name, assembly_name);
 616                         if (exception)
 617                                 set_message_on_exception (exception, error, error_out);
 618                 } else {
 619                         exception = mono_exception_from_name_msg (mono_defaults.corlib, "System", "TypeLoadException", error->full_message);
 620                 }
 621                 break;
 622
 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);
 627                         if (!msg) {
 628                                 mono_error_set_out_of_memory (error_out, "Could not allocate message");
 629                                 break;
 630                         }
 631
 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");
 636                                         break;
 637                                 }
 638                         }
 639
 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);
 642                         else
 643                                 exception = mono_exception_from_name_two_strings (mono_defaults.corlib, "System", "BadImageFormatException", msg, assembly_name);
 644                 } else {
 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);
 647                         else
 648                                 exception = mono_exception_from_name_msg (mono_defaults.corlib, "System", "BadImageFormatException", error->full_message);
 649                 }
 650                 break;
 651
 652         case MONO_ERROR_OUT_OF_MEMORY:
 653                 exception = mono_get_exception_out_of_memory ();
 654                 break;
 655
 656         case MONO_ERROR_ARGUMENT:
 657                 exception = mono_get_exception_argument (error->first_argument, error->full_message);
 658                 break;
 659
 660         case MONO_ERROR_ARGUMENT_NULL:
 661                 exception = mono_get_exception_argument_null (error->first_argument);
 662                 break;
 663
 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);
 668                         if (!type_name) {
 669                                 mono_error_set_out_of_memory (error_out, "Could not allocate message");
 670                                 break;
 671                         }
 672                 }
 673                 message = g_strdup_printf ("Error in %s:%s %s", type_name, error->member_name, error->full_message);
 674                 if (!message) {
 675                         g_free (type_name);
 676                         mono_error_set_out_of_memory (error_out, "Could not allocate message");
 677                         break;
 678                 }
 679                 exception = mono_exception_from_name_msg (mono_defaults.corlib, "System.Security", "VerificationException", message);
 680                 g_free (message);
 681                 g_free (type_name);
 682                 break;
 683         }
 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");
 687                 else
 688                         exception = mono_exception_from_name_msg (mono_defaults.corlib, error->exception_name_space, error->exception_name, error->full_message);
 689                 break;
 690
 691         case MONO_ERROR_EXCEPTION_INSTANCE:
 692                 exception = (MonoException*) mono_gchandle_get_target (error->exn.instance_handle);
 693                 break;
 694
 695         default:
 696                 mono_error_set_generic_error (error_out, "System", "ExecutionEngineException", "Invalid error-code %d", error->error_code);
 697         }
 698
 699         if (!mono_error_ok (error_out))
 700                 return NULL;
 701         if (!exception)
 702                 mono_error_set_out_of_memory (error_out, "Could not allocate exception object");
 703         return exception;
 704 }
 705
 706 /*
 707 Convert this MonoError to an exception if it's faulty or return NULL.
 708 The error object is cleant after.
 709 */
 710
 711 MonoException*
 712 mono_error_convert_to_exception (MonoError *target_error)
 713 {
 714         MonoError error;
 715         MonoException *ex;
 716
 717         if (mono_error_ok (target_error))
 718                 return NULL;
 719
 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);
 725
 726                 g_assert (mono_error_ok (&second_chance)); /*We can't reasonable handle double faults, maybe later.*/
 727                 mono_error_cleanup (&error);
 728         }
 729         mono_error_cleanup (target_error);
 730         return ex;
 731 }
 732
 733 void
 734 mono_error_move (MonoError *dest, MonoError *src)
 735 {
 736         memcpy (dest, src, sizeof (MonoErrorInternal));
 737         mono_error_init (src);
 738 }