lisette-syntax 0.2.13

Little language inspired by Rust that compiles to Go
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

use rustc_hash::{FxHashMap as HashMap, FxHashSet as HashSet};

use super::definition::{Definition, Visibility};
use super::file::{File, FileImport};
use crate::types::Symbol;

pub type ModuleId = String;

#[derive(Debug, Clone)]
pub struct Module {
    pub id: String,
    /// file ID -> .lis file
    pub files: HashMap<u32, File>,
    /// file ID -> .d.lis file (declarations only)
    pub typedefs: HashMap<u32, File>,
    /// qualified name -> definition
    pub definitions: HashMap<Symbol, Definition>,
    /// Qualified names of module-level `const` bindings.
    pub const_names: HashSet<Symbol>,
}

impl Module {
    pub fn new(id: &str) -> Module {
        Module {
            id: id.to_string(),
            files: Default::default(),
            typedefs: Default::default(),
            definitions: Default::default(),
            const_names: Default::default(),
        }
    }

    pub fn nominal() -> Module {
        Module::new("**nominal")
    }

    pub fn is_public(&self, qualified_name: &str) -> bool {
        if let Some(definition) = self.definitions.get(qualified_name) {
            return definition.visibility() == &Visibility::Public;
        }

        false
    }

    pub fn get_file(&self, file_id: u32) -> Option<&File> {
        self.files.get(&file_id)
    }

    pub fn file_ids(&self) -> impl Iterator<Item = u32> + '_ {
        self.files.keys().copied()
    }

    pub fn get_typedef_by_id(&self, file_id: u32) -> Option<&File> {
        self.typedefs.get(&file_id)
    }

    pub fn get_typedef_by_id_mut(&mut self, file_id: u32) -> Option<&mut File> {
        self.typedefs.get_mut(&file_id)
    }

    pub fn typedef_imports(&self) -> Vec<FileImport> {
        self.typedefs.values().flat_map(|f| f.imports()).collect()
    }

    pub fn all_imports(&self) -> Vec<FileImport> {
        self.files
            .values()
            .chain(self.typedefs.values())
            .flat_map(|f| f.imports())
            .collect()
    }

    pub fn all_typedefs(&self) -> impl Iterator<Item = &File> {
        self.typedefs.values()
    }

    pub fn is_internal(&self) -> bool {
        self.id == "prelude" || self.id == "**nominal" || self.id.starts_with("go:")
    }

    pub fn is_empty_stub(&self) -> bool {
        self.files.is_empty() && self.typedefs.is_empty() && self.definitions.is_empty()
    }
}

pub struct ModuleInfo {
    pub id: String,
    pub path: String,
    pub file_ids: Vec<u32>,
    pub typedef_ids: Vec<u32>,
}