owl-ms-language-server 0.13.2

An incremental analysis assistant for writing ontologies with the OWL Manchester Syntax
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96

use log::warn;
use tower_lsp::lsp_types::{Url, WorkspaceFolder};

use crate::{
    error::{Error, Result as MyResult},
    workspace::{InternalDocument, Workspace},
};

#[derive(Default, Debug)]
pub struct SyncBackend {
    workspaces: Vec<Workspace>,
}

impl SyncBackend {
    pub fn push_workspace(&mut self, workspace: Workspace) {
        self.workspaces.push(workspace);
    }

    pub fn workspaces(&self) -> &Vec<Workspace> {
        &self.workspaces
    }
    pub fn workspaces_mut(&mut self) -> &mut Vec<Workspace> {
        &mut self.workspaces
    }

    /// This will find a workspace or create one for a given url
    pub fn get_or_insert_workspace_mut(&mut self, url: &Url) -> &mut Workspace {
        // TODO there are problems when the workspace is changing
        // - A document could be in its own workspace
        // - Then a catalog file is created or modified that would place a document in that workspace
        // - Because of the early return the document can never move to the new workspace
        let path = url.to_file_path().unwrap(); // TODO
        let maybe_index = self.workspaces.iter().position(|workspace| {
            workspace.contains_internal_document(&path)
                || workspace.catalog_contains_url(url)
                || workspace.workspace_folder_is_base_of_url(url)
        });

        let index = if let Some(idx) = maybe_index {
            idx
        } else {
            let mut file_path = url.to_file_path().expect("URL should be a filepath");
            file_path.pop();

            warn!("Workspace for {url} could not be found. Could the entry in catalog-v001.xml be missing? Creating a new one at {}", file_path.display());
            let workspace_folder = WorkspaceFolder {
                // The workspace folder IS the single file. This is not ideal but should work for now.
                uri: Url::from_file_path(file_path).expect("Valid URL from filepath"),
                name: "Single File".into(),
            };
            let workspace = Workspace::new(workspace_folder.clone());

            self.workspaces.push(workspace);
            self.workspaces.len() - 1
        };

        &mut self.workspaces[index]
    }

    /// This will find a workspace or create one for a given url
    pub fn get_workspace(&self, url: &Url) -> Option<&Workspace> {
        let path = url
            .to_file_path()
            .unwrap_or_else(|()| panic!("Url should be path but was {url}")); // TODO

        // TODO there are problems when the workspace is changing
        // - A document could be in its own workspace
        // - Then a catalog file is created or modified that would place a document in that workspace
        // - Because of the early return the document can never move to the new workspace
        self.workspaces.iter().find(|workspace| {
            workspace.contains_internal_document(&path)
                || workspace.catalog_contains_url(url)
                || workspace.workspace_folder_is_base_of_url(url)
        })
    }

    /// Convinience function to fetch internal document
    pub fn get_internal_document(&self, url: &Url) -> MyResult<(&InternalDocument, &Workspace)> {
        let workspace = self
            .get_workspace(url)
            .ok_or(Error::DocumentNotFound(url.clone()))?;
        let path = url
            .to_file_path()
            .map_err(|()| Error::InvalidUrl(url.clone()))?;
        Ok((workspace.get_internal_document(&path)?, workspace))
    }
    /// Convinience function to fetch internal document
    pub fn take_internal_document(
        &mut self,
        url: &Url,
    ) -> MyResult<(InternalDocument, &mut Workspace)> {
        let workspace = self.get_or_insert_workspace_mut(url);
        let path = url.to_file_path().unwrap(); // TODO
        Ok((workspace.take_internal_document(&path)?, workspace))
    }
}