pub trait Workspace {
// Required methods
fn program(&self, path: &str) -> GeopResult<Rc<Program>>;
fn read(&self, path: &str) -> GeopResult<Rc<str>>;
fn list(&self) -> Vec<String>;
fn resolve(&self, from: &str, name: &str) -> String;
fn relative(&self, from: &str, path: &str) -> String;
fn revision(&self, path: &str) -> u64;
// Provided methods
fn cache(&self) -> Option<&Cache> { ... }
fn digest(&self, path: &str) -> Option<u128> { ... }
}Expand description
Programs and other files, by path.
Required Methods§
Sourcefn program(&self, path: &str) -> GeopResult<Rc<Program>>
fn program(&self, path: &str) -> GeopResult<Rc<Program>>
The program in the file at path, with the state it was saved
with: the same each time it is asked for while the file does not
change.
Sourcefn read(&self, path: &str) -> GeopResult<Rc<str>>
fn read(&self, path: &str) -> GeopResult<Rc<str>>
The text of the file at path: a STEP file a step imports. The same
each time it is asked for while the file does not change.
Sourcefn resolve(&self, from: &str, name: &str) -> String
fn resolve(&self, from: &str, name: &str) -> String
The path of the file the file at from names name.
Provided Methods§
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".