public:
virtual ~Thread();
+ /** Waits for the thread to exit. Calling this from the thread will cause a
+ deadlock. */
void join();
+
+ /** Violently terminates the thread. This should only be used as a last
+ resort, as the thread gets no chance to clean up. */
void kill();
protected:
void launch();