Struct EditTool 

pub struct EditTool { /* private fields */ }

Implementations

impl EditTool

pub const NAME: &'static str = "edit"

The name this tool answers to, read by mode::core_tools too.

pub fn new( city_root: &Path, domain: Address, writable: WriteDomain, policy: PolicyReader, ) -> Result<EditTool, AxError>

Trait Implementations

impl Tool for EditTool

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

The one file the call names. A path that does not parse wrote nothing, since invoke refuses it before touching the disk, but the answer stays Domain so that no reading of it can come out narrower than the truth.

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 effect_of(&self, _call: &ToolCall) -> Result<Effect, AxError>

The effect this one call has, which picks the door it meets.