cairo-language-server 2.18.0

use cairo_lang_filesystem::{ids::FileId, span::TextPositionSpan};
use cairo_lang_parser::db::ParserGroup;
use cairo_lang_semantic::items::function_with_body::FunctionWithBodySemantic;
use cairo_lang_semantic::lsp_helpers::LspHelpers;
use cairo_lang_semantic::{
    expr::inference::InferenceId,
    lookup_item::{HasResolverData, LookupItemEx},
    substitution::SemanticRewriter,
};
use cairo_lang_syntax::node::ast::{ExprFunctionCall, Pattern};
use cairo_lang_syntax::node::{
    SyntaxNode, TypedStablePtr, TypedSyntaxNode,
    ast::{OptionTypeClause, StatementLet},
};
use cairo_language_common::CommonGroup;
use itertools::Itertools;
use lsp_types::{
    InlayHint, InlayHintKind, InlayHintLabel, InlayHintLabelPart, InlayHintLabelPartTooltip,
    InlayHintParams, MarkupContent, MarkupKind,
};
use types::find_underscores;

use super::{format::types::format_type, markdown::fenced_code_block};
use crate::lang::{
    db::{AnalysisDatabase, LsSemanticGroup},
    lsp::{ToCairo, ToLsp},
};
use crate::lang::{lsp::LsProtoGroup, proc_macros::db::get_og_node};

mod params;
mod types;

pub fn inlay_hints(db: &AnalysisDatabase, params: InlayHintParams) -> Option<Vec<InlayHint>> {
    let file = db.file_for_url(&params.text_document.uri)?;
    let range = TextPositionSpan::offset_in_file(params.range.to_cairo(), db, file)?;

    let syntax = db.file_syntax(file).ok()?;

    let mut result = vec![];

    let nodes: Vec<_> = syntax
        .descendants(db)
        .filter(|node| range.contains(node.span_without_trivia(db)))
        .collect();

    for call_syntax in nodes.iter().filter_map(|node| ExprFunctionCall::cast(db, *node)) {
        result.extend(params::param_inlay_hints(db, file, call_syntax));
    }

    for let_statement in nodes.iter().filter_map(|node| StatementLet::cast(db, *node)) {
        // In particular, this can be an inline module (normal or component).
        let module = db.find_module_containing_node(let_statement.as_syntax_node())?;

        // Importables should be retrieved for each node separately to handle inline modules properly
        // and make sure each path is the shortest possible in the context of the containing (inline) module.
        let importables = db.visible_importables_from_module(module)?;

        let pattern = let_statement.pattern(db);

        let Some(pattern_resultants) = db.get_node_resultants(pattern.as_syntax_node()) else {
            continue;
        };

        for pattern_resultant in pattern_resultants
            .iter()
            .filter_map(|pattern_resultant| {
                pattern_resultant.ancestors_with_self(db).find_map(|node| Pattern::cast(db, node))
            })
            .unique()
        {
            let Some(lookup_item) = db.find_lookup_item(pattern_resultant.as_syntax_node()) else {
                continue;
            };

            let Some(func) = lookup_item.function_with_body() else {
                continue;
            };

            let Some(body) = db.function_body(func).ok() else {
                continue;
            };

            let mut inference_data = lookup_item
                .resolver_data(db)
                .ok()?
                .inference_data
                .clone_with_inference_id(db, InferenceId::NoContext);

            let mut inference = inference_data.inference(db);
            let semantic_pattern_resultant =
                &body.arenas.patterns.iter().find_map(|(_id, semantic_pattern)| {
                    if pattern_resultant == semantic_pattern.stable_ptr().lookup(db) {
                        return Some(semantic_pattern);
                    }
                    None
                })?;

            let type_clause = match let_statement.type_clause(db) {
                OptionTypeClause::Empty(_) => None,
                OptionTypeClause::TypeClause(type_clause) => Some(type_clause.ty(db)),
            };

            for var in semantic_pattern_resultant.variables(&body.arenas.patterns) {
                let Some(og_var_node) = get_og_node(db, var.stable_ptr.0.lookup(db)) else {
                    continue;
                };
                let Some(ty) = inference.rewrite(var.var.ty).ok() else { continue };

                if let Some(type_clause) = type_clause.clone() {
                    for (underscore, inferred_ty) in find_underscores(db, type_clause, ty) {
                        let type_string = inferred_ty.format(db, &importables);

                        let Some(og_underscore_node) = get_og_node(db, underscore.as_syntax_node())
                        else {
                            continue;
                        };

                        let tooltip = fenced_code_block(&type_string);
                        result.extend(var_type_inlay_hint(
                            db,
                            file,
                            og_underscore_node,
                            type_string,
                            tooltip,
                        ));
                    }
                } else {
                    let type_string = format_type(db, ty, &importables, None);
                    let tooltip = fenced_code_block(&type_string);

                    result.extend(var_type_inlay_hint(db, file, og_var_node, type_string, tooltip));
                };
            }
        }
    }

    Some(
        result
            .into_iter()
            .unique_by(|x| serde_json::to_string(x).unwrap_or_default())
            .collect_vec(),
    )
}

fn var_type_inlay_hint<'db>(
    db: &'db AnalysisDatabase,
    file: FileId<'db>,
    node: SyntaxNode<'db>,
    type_string: String,
    tooltip: String,
) -> Option<InlayHint> {
    Some(InlayHint {
        position: node.span_without_trivia(db).position_in_file(db, file)?.end.to_lsp(),
        label: InlayHintLabel::LabelParts(vec![
            InlayHintLabelPart { value: ": ".to_string(), tooltip: None, ..Default::default() },
            InlayHintLabelPart {
                value: type_string.clone(),
                tooltip: Some(InlayHintLabelPartTooltip::MarkupContent(MarkupContent {
                    kind: MarkupKind::Markdown,
                    value: tooltip,
                })),
                ..Default::default()
            },
        ]),
        kind: Some(InlayHintKind::TYPE),
        text_edits: None,
        tooltip: None,
        padding_left: None,
        padding_right: None,
        data: None,
    })
}