Trait Files 

pub trait Files {
    // Required methods
    fn read(&mut self, path: &str) -> GeopResult<String>;
    fn programs_beside(
        &mut self,
        path: &str,
    ) -> BTreeMap<String, Option<String>>;
    fn write(&mut self, path: &str, bytes: &[u8]) -> GeopResult<()>;
    fn today(&self) -> String;
}

The files of the front end a session runs in, which the tools that take a path read and write (AgentTool::files).

Required Methods

fn read(&mut self, path: &str) -> GeopResult<String>

The text of the file path.

fn programs_beside(&mut self, path: &str) -> BTreeMap<String, Option<String>>

The program files in the folder of path — path among them — by path, with their text: the files the program at path places parts from.

fn write(&mut self, path: &str, bytes: &[u8]) -> GeopResult<()>

Writes bytes to the file path.

fn today(&self) -> String

Today, YYYY-MM-DD: what an export is dated.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors