src/mc/remote/mc_protocol.cpp

   1 /* Copyright (c) 2015-2019. The SimGrid Team.
   2  * All rights reserved.                                                     */
   3
   4 /* This program is free software; you can redistribute it and/or modify it
   5  * under the terms of the license (GNU LGPL) which comes with this package. */
   6
   7 #include "src/mc/remote/mc_protocol.h"
   8
   9 const char* MC_message_type_name(e_mc_message_type type)
  10 {
  11   switch (type) {
  12     case MC_MESSAGE_NONE:
  13       return "NONE";
  14     case MC_MESSAGE_CONTINUE:
  15       return "CONTINUE";
  16     case MC_MESSAGE_IGNORE_HEAP:
  17       return "IGNORE_HEAP";
  18     case MC_MESSAGE_UNIGNORE_HEAP:
  19       return "UNIGNORE_HEAP";
  20     case MC_MESSAGE_IGNORE_MEMORY:
  21       return "IGNORE_MEMORY";
  22     case MC_MESSAGE_STACK_REGION:
  23       return "STACK_REGION";
  24     case MC_MESSAGE_REGISTER_SYMBOL:
  25       return "REGISTER_SYMBOL";
  26     case MC_MESSAGE_DEADLOCK_CHECK:
  27       return "DEADLOCK_CHECK";
  28     case MC_MESSAGE_DEADLOCK_CHECK_REPLY:
  29       return "DEADLOCK_CHECK_REPLY";
  30     case MC_MESSAGE_WAITING:
  31       return "WAITING";
  32     case MC_MESSAGE_SIMCALL_HANDLE:
  33       return "SIMCALL_HANDLE";
  34     case MC_MESSAGE_ASSERTION_FAILED:
  35       return "ASSERTION_FAILED";
  36
  37     case MC_MESSAGE_ACTOR_ENABLED:
  38       return "ACTOR_ENABLED";
  39     case MC_MESSAGE_ACTOR_ENABLED_REPLY:
  40       return "ACTOR_ENABLED_REPLY";
  41
  42     default:
  43       return "?";
  44   }
  45 }