swamp-script-semantic 0.1.10

semantic types for swamp script
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

use seq_fmt::comma;
use seq_map::{SeqMap, SeqMapError};
use swamp_script_types::Type;

/// It is not a proper Monomorphization cache, but similar
#[derive(Debug, Clone)]
pub struct InstantiationCache {
    pub cache: SeqMap<String, Type>,
}

impl InstantiationCache {
    pub fn new() -> Self {
        Self {
            cache: SeqMap::default(),
        }
    }

    pub fn complete_name(path: &[String], base_name: &str, argument_types: &[Type]) -> String {
        format!(
            "{}::{}<{}>",
            path.join("::"),
            base_name,
            comma(argument_types)
        )
    }
    pub fn add(
        &mut self,
        path: &[String],
        name: &str,
        ty: Type,
        argument_type: &[Type],
    ) -> Result<(), SeqMapError> {
        if let Type::Blueprint(_) = ty {
            panic!("can not add blueprint to cache");
        }
        let converted_name = Self::complete_name(path, name, argument_type);
        self.cache.insert(converted_name, ty)
    }

    pub fn is_empty(&self) -> bool {
        self.cache.is_empty()
    }

    pub fn get(&self, path: &[String], base_name: &str, argument_type: &[Type]) -> Option<&Type> {
        let name = Self::complete_name(path, base_name, argument_type);

        self.cache.get(&name)
    }
}