circomspect-program-structure 2.0.11

Support crate for the Circomspect static analyzer
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

use codespan_reporting::files::{Files, SimpleFiles};
use std::ops::Range;

pub type FileSource = String;
pub type FilePath = String;
pub type FileID = usize;
pub type FileLocation = Range<usize>;
type FileStorage = SimpleFiles<FilePath, FileSource>;

#[derive(Clone)]
pub struct FileLibrary {
    files: FileStorage,
}

impl Default for FileLibrary {
    fn default() -> Self {
        FileLibrary { files: FileStorage::new() }
    }
}

impl FileLibrary {
    pub fn new() -> FileLibrary {
        FileLibrary::default()
    }
    pub fn add_file(&mut self, file_name: FilePath, file_source: FileSource) -> FileID {
        self.get_mut_files().add(file_name, file_source)
    }
    pub fn get_line(&self, start: usize, file_id: FileID) -> Option<usize> {
        self.files.line_index(file_id, start).map(|lines| lines + 1).ok()
    }
    pub fn to_storage(&self) -> &FileStorage {
        self.get_files()
    }
    fn get_files(&self) -> &FileStorage {
        &self.files
    }
    fn get_mut_files(&mut self) -> &mut FileStorage {
        &mut self.files
    }
}
pub fn generate_file_location(start: usize, end: usize) -> FileLocation {
    start..end
}