cairo-lang-semantic 2.18.0

Cairo semantic model.
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

use cairo_lang_defs::db::DefsGroup;
use cairo_lang_defs::ids::ModuleId;
use cairo_lang_syntax::node::{Terminal, TypedSyntaxNode, ast};
use salsa::Database;

use crate::diagnostic::{SemanticDiagnosticKind, SemanticDiagnostics, SemanticDiagnosticsBuilder};

/// Visibility of an item.
#[derive(Copy, Clone, Debug, PartialEq, Eq, salsa::Update)]
pub enum Visibility {
    Public,
    PublicInCrate,
    Private,
}
impl Visibility {
    pub fn from_ast<'db>(
        db: &'db dyn Database,
        diagnostics: &mut SemanticDiagnostics<'db>,
        visibility: &ast::Visibility<'db>,
    ) -> Self {
        match visibility {
            ast::Visibility::Pub(visibility_pub) => match visibility_pub.argument_clause(db) {
                ast::OptionVisibilityPubArgumentClause::Empty(_) => Self::Public,
                ast::OptionVisibilityPubArgumentClause::VisibilityPubArgumentClause(argument) => {
                    if argument.argument(db).text(db).long(db) == "crate" {
                        Self::PublicInCrate
                    } else {
                        diagnostics.report(
                            argument.stable_ptr(db),
                            SemanticDiagnosticKind::UnsupportedPubArgument,
                        );
                        Self::Public
                    }
                }
            },
            ast::Visibility::Default(_) => Self::Private,
        }
    }
}

/// Determine whether a module member is visible to user module given the visibility within it,
/// ignoring or forgetting the visibility of the ancestors of the containing module for a moment.
pub fn peek_visible_in<'db>(
    db: &dyn Database,
    visibility_in_module: Visibility,
    containing_module_id: ModuleId<'db>,
    user_module_id: ModuleId<'db>,
) -> bool {
    if containing_module_id == user_module_id {
        return true;
    }
    match visibility_in_module {
        Visibility::Public => true,
        Visibility::PublicInCrate => {
            user_module_id.owning_crate(db) == containing_module_id.owning_crate(db)
        }
        Visibility::Private => db
            .module_ancestors(user_module_id)
            .contains(&db.module_perceived_module(containing_module_id)),
    }
}