ArraySize CheckLockTaken CreateFutureTimepoint CreateRunDramaTask CreateRunDramaTask Drama2Date Drama2Version EntryCode ErsAnnulStack ErsFlushStack ErsMessageVector ErsReport ErsReport ExceptionThrowSafe FindFile GetSymbolExists GetSymbolVal MessageHandlerPtr MessageReceiveFunction RequestCode SafePrintf SafePrintf ShareType SimpleExitAction SpawnablePtr StatusToString stringtok TSafePrintf

MessageReceiveFunction using drama::MessageReceiveFunction = typedef std::function<Request (MessageHandler *)> Type used for functions specified to drama::MessageHandler::PutObeyHandler(), drama::MessageHandler::PutKickHandler() and drama::Task::Add(). The function takes a single argument, a drama::MessageHandler object, referring to the object which invokes it. It must return a drama::Request object.