Skip to content

Latest commit

 

History

History
27 lines (16 loc) · 1.14 KB

refman-invoke_command.md

File metadata and controls

27 lines (16 loc) · 1.14 KB
Raw

function invoke_command

<< Back to reference manual

template <typename Cmd>
typename Cmd::out_type invoke_command(int64_t goto_handler, const Cmd& cmd);

template <typename Cmd>
typename Cmd::out_type invoke_command(const Cmd& cmd);

template <typename Cmd>
typename Cmd::out_type invoke_command(handler_ref it, const Cmd& cmd);

Used in a handled computation to invoke a particular command. The current computation (up to and including the appropriate handler) is suspended, captured in a resumption, and the control goes to the handler.

  • typename Cmd - The type of the invoked command.

  • int64_t label - The label of the handler to which the control should go. If there is no handler with label label in the context or it does not handle the command Cmd, the program ends with exit code -1.

  • handler_ref href - A reference to the handler to which the control should go. See the documentation for handler_ref.

  • const Cmd& cmd - The invoked command.

  • Return value Cmd::out_type - the value with which the suspended computation is resumed.