Struct ExecTool 

pub struct ExecTool { /* private fields */ }

Implementations

impl ExecTool

pub fn new( setup: ExecSetup, sandbox: Box<dyn Sandbox>, backlog: Backlog, ) -> Result<ExecTool, AxError>

Trait Implementations

impl Drop for ExecTool

The tool is dropped when its run’s bench is, which is when the run can no longer be handed anything: what it left in the background is terminated and released so the table does not keep it for the life of the city.

fn drop(&mut self)

Executes the destructor for this type.

fn pin_drop(self: Pin<&mut Self>)

🔬This is a nightly-only experimental API. (pin_ergonomics)

Execute the destructor for this type, but different to Drop::drop, it requires self to be pinned.

impl Tool for ExecTool

fn meta(&self) -> &ToolMeta

fn invoke(&self, call: &ToolCall) -> Result<ToolOutcome, AxError>

Fail-closed identity: a call whose name differs from meta().name must return E_INVALID_ARGS, never route silently.

fn subject(&self, _call: &ToolCall) -> Result<GateSubject, AxError>

What this call is about, read by the grammar this tool already parses its arguments with.

fn writes(&self, _call: &ToolCall) -> Writes

What this call may have written to the city’s tree once it ran; the default reads the declared effect and nothing more.