codanna 0.9.19

Code Intelligence for Large Language Models
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
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114

//! AI assistant guidance generation for multi-hop queries.
//!
//! Generates contextual hints to guide AI assistants through
//! systematic codebase exploration using multiple tool calls.

use crate::symbol::Symbol;
use crate::types::SymbolKind;

/// Generate guidance message based on tool and results.
pub fn generate_guidance(tool: &str, _query: Option<&str>, result_count: usize) -> Option<String> {
    match tool {
        "semantic_search_docs" => {
            if result_count == 0 {
                Some("No results found. Try broader search terms or check if the codebase is indexed.".to_string())
            } else if result_count == 1 {
                Some("Found one match. Consider using 'find_symbol' or 'get_calls' to explore this symbol's relationships.".to_string())
            } else {
                Some(format!(
                    "Found {result_count} matches. Consider using 'find_symbol' on the most relevant result for detailed analysis, or refine your search query."
                ))
            }
        }

        "find_symbol" => {
            if result_count == 0 {
                Some("Symbol not found. Use 'search_symbols' with fuzzy matching or 'semantic_search_docs' for broader search.".to_string())
            } else {
                Some("Symbol found with full context. Explore 'get_calls' to see what it calls, 'find_callers' to see usage, or 'analyze_impact' to understand change implications.".to_string())
            }
        }

        "get_calls" => {
            if result_count == 0 {
                Some(
                    "No function calls found. This might be a leaf function or data structure."
                        .to_string(),
                )
            } else {
                Some(format!(
                    "Found {result_count} function calls. Consider using 'find_symbol' on key dependencies or 'analyze_impact' to trace the call chain further."
                ))
            }
        }

        "find_callers" => {
            if result_count == 0 {
                Some("No callers found. This might be an entry point, unused code, or called dynamically.".to_string())
            } else {
                Some(format!(
                    "Found {result_count} callers. Consider 'analyze_impact' for complete dependency graph or investigate specific callers with 'find_symbol'."
                ))
            }
        }

        "analyze_impact" => {
            if result_count < 3 {
                Some("Limited impact radius. This symbol is relatively isolated.".to_string())
            } else {
                Some(format!(
                    "Impact analysis shows {result_count} affected symbols. Focus on critical paths or use 'find_symbol' on key dependencies."
                ))
            }
        }

        "search_symbols" => {
            if result_count == 0 {
                Some("No symbols match your query. Try 'semantic_search_docs' for natural language search or adjust your pattern.".to_string())
            } else {
                Some(format!(
                    "Found {result_count} matching symbols. Use 'find_symbol' on specific results for full context or narrow your search with 'kind' parameter."
                ))
            }
        }

        "semantic_search_with_context" => {
            if result_count == 0 {
                Some("No semantic matches found. Try different phrasing or ensure documentation exists for the concepts you're searching.".to_string())
            } else {
                Some("Rich context provided. Investigate specific relationships using targeted tools like 'get_calls' or 'find_callers'.".to_string())
            }
        }

        _ => None,
    }
}

/// Generate guidance for chained operations.
pub fn suggest_next_action(current_tool: &str, symbols: &[Symbol]) -> Option<String> {
    if symbols.is_empty() {
        return None;
    }

    // Analyze the symbols to suggest intelligent next steps
    let has_trait = symbols.iter().any(|s| s.kind == SymbolKind::Trait);
    let has_function = symbols
        .iter()
        .any(|s| s.kind == SymbolKind::Function || s.kind == SymbolKind::Method);
    let has_struct = symbols
        .iter()
        .any(|s| s.kind == SymbolKind::Struct || s.kind == SymbolKind::Class);

    match current_tool {
        "semantic_search_docs" if has_trait => {
            Some("Trait found. Use 'retrieve implementations' to find implementing types.".to_string())
        }
        "semantic_search_docs" if has_function => {
            Some("Function found. Use 'find_callers' to understand usage patterns or 'get_calls' for dependencies.".to_string())
        }
        "semantic_search_docs" if has_struct => {
            Some("Struct/Class found. Use 'search_symbols' with module filter to find related methods.".to_string())
        }
        _ => None,
    }
}