oak_vampire/lsp/
mod.rs

1use crate::language::VampireLanguage;
2use oak_lsp::LanguageService;
3use oak_vfs::MemoryVfs;
4
5/// Vampire 语言服务
6pub struct VampireLanguageService {
7    vfs: MemoryVfs,
8    workspace: oak_lsp::workspace::WorkspaceManager,
9}
10
11impl VampireLanguageService {
12    pub fn new(vfs: MemoryVfs) -> Self {
13        Self { vfs, workspace: oak_lsp::workspace::WorkspaceManager::default() }
14    }
15}
16
17impl LanguageService for VampireLanguageService {
18    type Lang = VampireLanguage;
19    type Vfs = MemoryVfs;
20
21    fn vfs(&self) -> &Self::Vfs {
22        &self.vfs
23    }
24
25    fn workspace(&self) -> &oak_lsp::workspace::WorkspaceManager {
26        &self.workspace
27    }
28}