sway-core 0.71.0

Sway core language.
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

use sway_types::{Ident, SourceEngine};

use crate::{
    language::{parsed::ImplSelfOrTrait, ty::TyTraitDecl, CallPathType},
    namespace::{Module, TraitEntry},
};

impl TyTraitDecl {
    pub(crate) fn is_marker_trait(&self) -> bool {
        assert!(
            matches!(self.call_path.callpath_type, CallPathType::Full),
            "call paths of trait declarations must always be full paths"
        );

        is_std_marker_module_path(&self.call_path.prefixes)
    }
}

impl Module {
    pub(crate) fn is_std_marker_module(&self) -> bool {
        is_std_marker_module_path(self.mod_path())
    }
}

impl ImplSelfOrTrait {
    pub(crate) fn is_autogenerated(&self, source_engine: &SourceEngine) -> bool {
        source_engine
            .is_span_in_autogenerated(&self.block_span)
            .unwrap_or(false)
    }
}

impl TraitEntry {
    pub(crate) fn is_std_marker_error_trait(&self) -> bool {
        let trait_call_path = &*self.key.name;
        trait_call_path.callpath_type == CallPathType::Full
            && trait_call_path.prefixes.len() == 2
            && trait_call_path.prefixes[0].as_str() == "std"
            && trait_call_path.prefixes[1].as_str() == "marker"
            && trait_call_path.suffix.name.as_str() == "Error"
    }
}

fn is_std_marker_module_path(path: &[Ident]) -> bool {
    path.len() == 2 && path[0].as_str() == "std" && path[1].as_str() == "marker"
}