class Thread {
public:
Thread(thread_id_t tid);
- Thread(thrd_t *t, void (*func)(void *), void *a, Thread * parent_thrd = NULL);
+ Thread(thrd_t *t, void (*func)(void *), void *a, Thread *parent);
~Thread();
void complete();
* @see Thread::pending */
void set_pending(ModelAction *act) { pending = act; }
+ Thread * waiting_on() const;
+
/**
* Remove one ModelAction from the waiting list
* @return The ModelAction that was removed from the waiting list
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;