midenc_hir_analysis/
lib.rs

1#![no_std]
2#![feature(allocator_api)]
3#![feature(coerce_unsized)]
4#![feature(debug_closure_helpers)]
5#![feature(ptr_metadata)]
6#![feature(specialization)]
7#![feature(unsize)]
8// Specialization
9#![allow(incomplete_features)]
10#![deny(warnings)]
11
12extern crate alloc;
13#[cfg(test)]
14extern crate std;
15
16pub mod analyses;
17mod analysis;
18mod anchor;
19mod change_result;
20mod config;
21pub mod dense;
22mod lattice;
23mod solver;
24pub mod sparse;
25
26use self::anchor::LatticeAnchorExt;
27pub use self::{
28    analysis::{
29        AnalysisKind, AnalysisState, AnalysisStateGuard, AnalysisStateGuardMut, AnalysisStateInfo,
30        AnalysisStateSubscription, AnalysisStateSubscriptionBehavior, AnalysisStrategy,
31        BuildableAnalysisState, BuildableDataFlowAnalysis, CallControlFlowAction, DataFlowAnalysis,
32        Dense, Revision, Sparse,
33    },
34    anchor::{LatticeAnchor, LatticeAnchorRef},
35    change_result::ChangeResult,
36    config::DataFlowConfig,
37    dense::{DenseBackwardDataFlowAnalysis, DenseForwardDataFlowAnalysis, DenseLattice},
38    lattice::{Lattice, LatticeLike},
39    solver::{AnalysisQueue, DataFlowSolver},
40    sparse::{SparseBackwardDataFlowAnalysis, SparseForwardDataFlowAnalysis, SparseLattice},
41};
midenc_hir_analysis/lib.rs

midenc_hir_analysis/
lib.rs
