Trait WorkspaceInit 

pub trait WorkspaceInit {
    // Required methods
    fn init_workspace(
        &mut self,
        params: InitializeParams,
    ) -> Result<Vec<Result<(), RuntimeError>>, RuntimeError>;
    fn read_file(
        &self,
        file: &Path,
    ) -> Result<(&'static Parsers, Url, Text), FileSystemError>;
}

Required Methods

fn init_workspace( &mut self, params: InitializeParams, ) -> Result<Vec<Result<(), RuntimeError>>, RuntimeError>

fn read_file( &self, file: &Path, ) -> Result<(&'static Parsers, Url, Text), FileSystemError>

Dyn Compatibility

This trait is dyn compatible.

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

Implementors

impl<Db> WorkspaceInit for Session<Db>

where Db: BaseDatabase,