pulp::inspect::RuntimeEvaluatorCapabilities Struct Reference

#include <runtime_evaluator.hpp>

Public Attributes
std::string	engine
bool	can_evaluate = false
bool	can_interrupt = false
bool	can_break = false
bool	can_step = false
bool	can_inspect_locals = false
std::string	effectful_grant
	Wire name of the first effectful capability the live realm's explicit grant holds; empty when evaluation is eligible.

Member Data Documentation

can_break

bool pulp::inspect::RuntimeEvaluatorCapabilities::can_break = false

can_evaluate

bool pulp::inspect::RuntimeEvaluatorCapabilities::can_evaluate = false

can_inspect_locals

bool pulp::inspect::RuntimeEvaluatorCapabilities::can_inspect_locals = false

can_interrupt

bool pulp::inspect::RuntimeEvaluatorCapabilities::can_interrupt = false

can_step

bool pulp::inspect::RuntimeEvaluatorCapabilities::can_step = false

effectful_grant

std::string pulp::inspect::RuntimeEvaluatorCapabilities::effectful_grant

Wire name of the first effectful capability the live realm's explicit grant holds; empty when evaluation is eligible.

The executor refuses with PolicyDenied when this is set, before any source is evaluated.

engine

std::string pulp::inspect::RuntimeEvaluatorCapabilities::engine

---

The documentation for this struct was generated from the following file:

• /home/runner/work/pulp/pulp/inspect/include/pulp/inspect/runtime_evaluator.hpp