deslop 0.2.0

A static analyzer that spots low-context and AI-assisted code patterns across naming, concurrency, security, performance, and test quality.
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

use std::collections::BTreeSet;

use tree_sitter::Node;

pub(super) fn collect_trait_impls(
    root: Node<'_>,
    source: &str,
    trait_name: &str,
) -> BTreeSet<String> {
    let mut impls = BTreeSet::new();
    visit_trait_impls(root, source, trait_name, &mut impls);
    impls
}

fn visit_trait_impls(node: Node<'_>, source: &str, trait_name: &str, impls: &mut BTreeSet<String>) {
    if node.kind() == "impl_item"
        && let Some(type_name) = trait_impl_type(node, source, trait_name)
    {
        impls.insert(type_name);
    }

    let mut cursor = node.walk();
    for child in node.named_children(&mut cursor) {
        visit_trait_impls(child, source, trait_name, impls);
    }
}

pub(super) fn trait_impl_type(node: Node<'_>, source: &str, trait_name: &str) -> Option<String> {
    let normalized = source
        .get(node.byte_range())?
        .chars()
        .filter(|character| !character.is_whitespace())
        .collect::<String>();
    let prefix = format!("impl{trait_name}for");
    let remainder = normalized.strip_prefix(&prefix)?;
    let type_name = remainder
        .chars()
        .take_while(|character| character.is_ascii_alphanumeric() || *character == '_')
        .collect::<String>();
    if type_name.is_empty() {
        None
    } else {
        Some(type_name)
    }
}