Struct WriteFile 

pub struct WriteFile {
    pub root: PathBuf,
    pub extra_roots: Vec<(PathBuf, AccessTier)>,
    pub session_roots: Option<SharedSandboxRoots>,
    pub read_state: Option<Arc<Mutex<ReadFileState>>>,
}

Fields

root: PathBuf

extra_roots: Vec<(PathBuf, AccessTier)>

session_roots: Option<SharedSandboxRoots>

read_state: Option<Arc<Mutex<ReadFileState>>>

Optional shared state slot. When Some, writing to an existing file requires a prior full Read and checks staleness (file not modified since last read). New files (non-existent) are exempt.

Implementations

impl WriteFile

pub fn new(root: impl Into<PathBuf>) -> Self

pub fn with_read_state(self, slot: Arc<Mutex<ReadFileState>>) -> Self

pub fn with_extra_roots( self, extra: impl IntoIterator<Item = (PathBuf, AccessTier)>, ) -> Self

Append additional allowed sandbox roots. See ReadFile::with_extra_roots.

pub fn with_session_roots(self, slot: SharedSandboxRoots) -> Self

Attach the shared, session-mutable roots slot. See SharedSandboxRoots.

pub fn with_session_roots_opt(self, slot: Option<SharedSandboxRoots>) -> Self

Convenience: attach the shared slot only when Some. See ReadFile::with_session_roots_opt.

Trait Implementations

impl Clone for WriteFile

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for WriteFile

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Tool for WriteFile

fn spec(&self) -> ToolSpec

fn side_effect_class(&self) -> ToolSideEffect

Classify this tool’s observable side-effects. Default is the most conservative value (External) so any unannotated tool is treated as risky on resume. Override to ReadOnly or Mutating for built-in tools; MCP tools derive this from their annotations.

fn kind(&self) -> ToolKind

Return the ACP ToolKind for tool_call notifications (Sprint 3). Defaults to ToolKind::Other. Concrete tools override to map to their corresponding ACP category.

fn execute<'life0, 'async_trait>( &'life0 self, args: Value, ) -> Pin<Box<dyn Future<Output = Result<String>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait,

fn is_deferred(&self) -> bool

Return true to send this tool as deferred (name-only) in the initial prompt; the model must call ToolSearch to load its full schema. Default is false (eager). Override in low-frequency tools.

fn is_readonly(&self) -> bool

Convenience: a tool is read-only iff it classifies as ReadOnly. Used by the parallel-dispatch path in agent.rs. Override only if you have an unusual reason (you almost never should — override side_effect_class instead and let this default through).

fn is_readonly_for_args(&self, _arguments: &Value) -> bool

Like is_readonly but can inspect the call-time arguments.