circom_lsp_program_structure/program_library/
file_definition.rs

1use codespan_reporting::files::{Files, SimpleFiles};
2use std::ops::Range;
3
4pub type FileSource = String;
5pub type FilePath = String;
6pub type FileID = usize;
7pub type FileLocation = Range<usize>;
8type FileStorage = SimpleFiles<FilePath, FileSource>;
9
10#[derive(Clone)]
11pub struct FileLibrary {
12    files: FileStorage,
13}
14
15impl Default for FileLibrary {
16    fn default() -> Self {
17        FileLibrary { files: FileStorage::new() }
18    }
19}
20
21impl FileLibrary {
22    pub fn new() -> FileLibrary {
23        FileLibrary::default()
24    }
25    pub fn add_file(&mut self, file_name: FilePath, file_source: FileSource) -> FileID {
26        self.get_mut_files().add(file_name, file_source)
27    }
28    pub fn get_line(&self, start: usize, file_id: FileID) -> Option<usize> {
29        match self.files.line_index(file_id, start) {
30            Some(lines) => Some(lines + 1),
31            None => None,
32        }
33    }
34    pub fn to_storage(&self) -> &FileStorage {
35        &self.get_files()
36    }
37    fn get_files(&self) -> &FileStorage {
38        &self.files
39    }
40    fn get_mut_files(&mut self) -> &mut FileStorage {
41        &mut self.files
42    }
43}
44pub fn generate_file_location(start: usize, end: usize) -> FileLocation {
45    start..end
46}