class XBT_PUBLIC ThreadContext : public AttachContext {
public:
ThreadContext(std::function<void()> code, smx_actor_t actor, bool maestro);
class XBT_PUBLIC ThreadContext : public AttachContext {
public:
ThreadContext(std::function<void()> code, smx_actor_t actor, bool maestro);
virtual void yield_hook() { /* empty placeholder, called before yield(). Used in parallel mode */}
virtual void stop_hook() { /* empty placeholder, called at stop(). Used in Java */}
virtual void yield_hook() { /* empty placeholder, called before yield(). Used in parallel mode */}
virtual void stop_hook() { /* empty placeholder, called at stop(). Used in Java */}
~ThreadContextFactory() override;
ThreadContext* create_context(std::function<void()> code, smx_actor_t actor) override
{
~ThreadContextFactory() override;
ThreadContext* create_context(std::function<void()> code, smx_actor_t actor) override
{