lisette-semantics 0.4.0

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

use diagnostics::LocalSink;
use syntax::program::UnusedInfo;

use crate::context::AnalysisContext;
use crate::facts::Facts;

pub(crate) mod checks;
mod deferred;
mod fact_producers;
mod lints;
pub(crate) mod walk;

pub use lints::Lint;

pub(crate) const PARALLEL_THRESHOLD: usize = 4;

pub fn run(
    analysis: &AnalysisContext,
    facts: &mut Facts,
    sink: &LocalSink,
    unused: &mut UnusedInfo,
    run_lints: bool,
) {
    let facts_ref: &Facts = facts;
    let (((checks_diagnostics, pattern_issues), producer_facts), lint_outputs) = rayon::join(
        || {
            rayon::join(
                || checks::run_all(analysis, facts_ref),
                || fact_producers::run_all(analysis),
            )
        },
        || {
            run_lints.then(|| {
                rayon::join(
                    || lints::ast_walk::run(analysis, facts_ref),
                    || lints::ref_graph::run(analysis, facts_ref),
                )
            })
        },
    );

    facts.pattern_issues = pattern_issues;
    facts.absorb_local_facts(producer_facts);

    sink.extend(checks_diagnostics);
    deferred::run(facts, sink);
    if run_lints {
        lints::from_facts::run(facts, unused, sink);
    }
    if let Some((ast_walk_diagnostics, (ref_graph_diagnostics, ref_graph_unused))) = lint_outputs {
        sink.extend(ast_walk_diagnostics);
        sink.extend(ref_graph_diagnostics);
        unused.merge(ref_graph_unused);
    }
}