omnicoach 0.3.0

Lightweight, high-signal static analysis and command linter for Python and Rust
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
62
63
64
65
66
67
68
69
70

//! Dedicated AST and CST parser encapsulation.
//!
//! Encapsulates `ruff_python_parser` / `ruff_python_ast` (Python) and `ra_ap_syntax` (Rust) behind
//! [`ParsedFile`] and an opaque [`AstNode`], and provides language-dispatched and language-specific
//! syntax extractors. No module outside `crate::code_lint::ast` imports parser crates directly.

architecture_component!(CodeLintAst);

/// Dispatches `$func(args...)` to `ast::python` or `ast::rust` by `$lang`.
macro_rules! dispatch_lang {
    ($lang:expr, $func:ident ( $($arg:expr),* $(,)? )) => {
        match $lang {
            $crate::diagnostic::Language::Python => {
                $crate::code_lint::ast::python::$func($($arg),*)
            }
            $crate::diagnostic::Language::Rust => {
                $crate::code_lint::ast::rust::$func($($arg),*)
            }
        }
    };
}

mod bindings;
mod call_clusters;
mod calls;
mod imports;
mod literals;
mod multiline_strings;
mod positional_reads;
pub mod python;
mod returns;
pub mod rust;
mod scope_facts;
mod statement_spans;
mod test_analysis;
mod tree;
mod trivia;

pub(in crate::code_lint) use self::bindings::BindingKind;
pub use self::bindings::{Binding, collect_bindings};
pub(in crate::code_lint) use self::call_clusters::{
    CallClusterRule, DeclarationScopeKind, OrderingReason, RelationKind, ScopeItemKind, Visibility,
    collect_call_cluster_findings, levels, strongly_connected_components,
};
#[cfg(test)]
pub(in crate::code_lint) use self::call_clusters::{OrderingEdge, PlacementAnchor, RelationFact};
pub(in crate::code_lint) use self::calls::EnclosingFunction;
pub use self::calls::{AstCallCandidate, CallSiteContext, collect_call_candidates};
pub use self::imports::{ResolvedName, resolve_name};
pub(in crate::code_lint) use self::literals::LiteralRole;
pub(crate) use self::literals::LiteralValue;
pub use self::literals::{LiteralOccurrence, collect_literal_occurrences};
pub(in crate::code_lint) use self::multiline_strings::{MultilineKind, collect_multiline_strings};
pub use self::positional_reads::{ScopePositionalReads, collect_positional_reads};
pub(in crate::code_lint) use self::returns::{
    ReturnShape, collect_function_returns, is_predicate_name,
};
pub(in crate::code_lint) use self::scope_facts::{
    FindingFact, ItemFacts, ScopeFacts, collect_scope_facts,
};
pub(in crate::code_lint) use self::statement_spans::{
    decorator_and_attribute_end_lines, enclosing_statement_header_range,
};
pub(in crate::code_lint) use self::test_analysis::{
    AssertionCheck, TestFunctionSetup, collect_assertion_checks,
    collect_multi_phase_test_functions, collect_test_function_assertion_counts,
    collect_test_logic_constructs, collect_test_setup_scopes, collect_test_to_test_calls,
};
pub use self::tree::{AstNode, ParsedFile};
pub use self::trivia::collect_comment_nodes;