Struct VampireLanguageService 

pub struct VampireLanguageService { /* private fields */ }

Vampire 语言服务

Implementations

impl VampireLanguageService

pub fn new(vfs: MemoryVfs) -> Self

Trait Implementations

impl LanguageService for VampireLanguageService

type Lang = VampireLanguage

type Vfs = MemoryVfs

fn vfs(&self) -> &Self::Vfs

Get the underlying VFS.

fn workspace(&self) -> &WorkspaceManager

Get the workspace manager.

fn get_source(&self, uri: &str) -> Option<Box<dyn Source + Sync + Send>>

Helper to get source from VFS.

fn get_root( &self, _uri: &str, ) -> impl Future<Output = Option<RedNode<'_, Self::Lang>>> + Send

Helper to get the root red node of a file. Implementations should override this to provide actual parsing/caching.

fn with_root<'a, R, F>( &'a self, uri: &'a str, f: F, ) -> impl Future<Output = Option<R>> + Send + 'a

where R: Send, F: FnOnce(RedNode<'a, Self::Lang>) -> R + Send + 'a,

Helper to run logic with the root node.

fn with_roots<'a, R, F>( &'a self, uris: Vec<String>, f: F, ) -> impl Future<Output = Vec<R>> + Send + 'a

where R: Send + 'static, F: Fn(RedNode<'a, Self::Lang>) -> R + Send + Sync + 'a,

Helper to run logic with multiple root nodes in parallel.

fn hover( &self, _uri: &str, _range: Range<usize>, ) -> impl Future<Output = Option<Hover>> + Send

Provide hover information. Defaults to None.

fn folding_ranges( &self, _uri: &str, ) -> impl Future<Output = Vec<FoldingRange>> + Send

Provide folding ranges. Defaults to empty.

fn document_symbols( &self, _uri: &str, ) -> impl Future<Output = Vec<StructureItem>> + Send

Provide document symbols. Defaults to empty.

fn workspace_symbols( &self, _query: &str, ) -> impl Future<Output = Vec<WorkspaceSymbol>> + Send

Search for symbols in the entire workspace.

fn list_all_files( &self, root_uri: &str, ) -> impl Future<Output = Vec<String>> + Send

Helper to list all files recursively.

fn definition<'a>( &'a self, _uri: &'a str, _range: Range<usize>, ) -> impl Future<Output = Vec<LocationRange>> + Send + 'a

Find definition. Defaults to empty.

fn references<'a>( &'a self, _uri: &'a str, _range: Range<usize>, ) -> impl Future<Output = Vec<LocationRange>> + Send + 'a

Find references. Defaults to empty.

fn rename<'a>( &'a self, _uri: &'a str, _range: Range<usize>, _new_name: String, ) -> impl Future<Output = Option<WorkspaceEdit>> + Send + 'a

Rename a symbol.

fn completion<'a>( &'a self, _uri: &'a str, _position: usize, ) -> impl Future<Output = Vec<CompletionItem>> + Send + 'a

Provide completion items. Defaults to empty.

fn diagnostics<'a>( &'a self, _uri: &'a str, ) -> impl Future<Output = Vec<Diagnostic>> + Send + 'a

Provide diagnostics for a file. Defaults to empty.

fn initialize<'a>( &'a self, _params: InitializeParams, ) -> impl Future<Output = ()> + Send + 'a

Called when the language server is initialized.

fn initialized<'a>(&'a self) -> impl Future<Output = ()> + Send + 'a

Called when the language server is initialized (notification).

fn shutdown<'a>(&'a self) -> impl Future<Output = ()> + Send + 'a

Called when the language server is shut down.

fn did_save<'a>(&'a self, _uri: &'a str) -> impl Future<Output = ()> + Send + 'a

Called when a file is saved.

fn did_close<'a>( &'a self, _uri: &'a str, ) -> impl Future<Output = ()> + Send + 'a

Called when a file is closed.