- case MODEL_FIXUP_RELSEQ:
- type_str = "relseq fixup";
- break;
- case THREAD_CREATE:
- type_str = "thread create";
- break;
- case THREAD_START:
- type_str = "thread start";
- break;
- case THREAD_YIELD:
- type_str = "thread yield";
- break;
- case THREAD_JOIN:
- type_str = "thread join";
- break;
- case THREAD_FINISH:
- type_str = "thread finish";
- break;
- case ATOMIC_UNINIT:
- type_str = "uninitialized";
- break;
- case ATOMIC_READ:
- type_str = "atomic read";
- break;
- case ATOMIC_WRITE:
- type_str = "atomic write";
- break;
- case ATOMIC_RMW:
- type_str = "atomic rmw";
- break;
- case ATOMIC_FENCE:
- type_str = "fence";
- break;
- case ATOMIC_RMWR:
- type_str = "atomic rmwr";
- break;
- case ATOMIC_RMWC:
- type_str = "atomic rmwc";
- break;
- case ATOMIC_INIT:
- type_str = "init atomic";
- break;
- case ATOMIC_LOCK:
- type_str = "lock";
- break;
- case ATOMIC_UNLOCK:
- type_str = "unlock";
- break;
- case ATOMIC_TRYLOCK:
- type_str = "trylock";
- break;
- case ATOMIC_WAIT:
- type_str = "wait";
- break;
- case ATOMIC_NOTIFY_ONE:
- type_str = "notify one";
- break;
- case ATOMIC_NOTIFY_ALL:
- type_str = "notify all";
- break;
- default:
- type_str = "unknown type";
- }
-
+ case MODEL_FIXUP_RELSEQ: return "relseq fixup";
+ case THREAD_CREATE: return "thread create";
+ case THREAD_START: return "thread start";
+ case THREAD_YIELD: return "thread yield";
+ case THREAD_JOIN: return "thread join";
+ case THREAD_FINISH: return "thread finish";
+ case ATOMIC_UNINIT: return "uninitialized";
+ case ATOMIC_READ: return "atomic read";
+ case ATOMIC_WRITE: return "atomic write";
+ case ATOMIC_RMW: return "atomic rmw";
+ case ATOMIC_FENCE: return "fence";
+ case ATOMIC_RMWR: return "atomic rmwr";
+ case ATOMIC_RMWC: return "atomic rmwc";
+ case ATOMIC_INIT: return "init atomic";
+ case ATOMIC_LOCK: return "lock";
+ case ATOMIC_UNLOCK: return "unlock";
+ case ATOMIC_TRYLOCK: return "trylock";
+ case ATOMIC_WAIT: return "wait";
+ case ATOMIC_NOTIFY_ONE: return "notify one";
+ case ATOMIC_NOTIFY_ALL: return "notify all";
+ default: return "unknown type";
+ };
+}
+
+const char * ModelAction::get_mo_str() const
+{