lisette-semantics 0.2.12

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

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 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,
) {
    checks::run_all(analysis, facts, sink);
    fact_producers::run_all(analysis, facts);
    deferred::run(facts, sink);

    if run_lints {
        lints::from_facts::run(facts, unused, sink);
        lints::ast_walk::run(analysis, sink);
        lints::replaceable_with_zero_fill::run(analysis, sink);
        lints::ref_graph::run(analysis, facts, unused, sink);
    }
}