class Thread {
public:
Thread(thread_id_t tid);
- Thread(thrd_t *t, void (*func)(void *), void *a);
+ Thread(thrd_t *t, void (*func)(void *), void *a, Thread *parent);
~Thread();
void complete();
int create_context();
/** @brief The parent Thread which created this Thread */
- Thread *parent;
+ Thread * const parent;
/** @brief The THREAD_CREATE ModelAction which created this Thread */
ModelAction *creation;