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".

Implementations on Foreign Types

impl<Db: BaseDatabase> WorkspaceInit for Session<Db>

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

Initializes the workspace by loading files and associating them with parsers.

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

Implementors