Function process_enhanced_for

internal/cbm/lsp/java_lsp.c:1424–1457

}

static void process_enhanced_for(JavaLSPContext *ctx, TSNode node) {
    TSNode type_node = ts_node_child_by_field_name(node, "type", 4);
    TSNode name_node = ts_node_child_by_field_name(node, "name", 4);
    TSNode value_node = ts_node_child_by_field_name(node, "value", 5);
    char *vname = ts_node_is_null(name_node) ? NULL : java_node_text(ctx, name_node);
    if (!vname)
        return;

    /* `var x : xs` — explicit-var inference. tree-sitter exposes "var" as a
     * type_identifier whose text is exactly "var". */
    bool is_var = false;
    if (!ts_node_is_null(type_node) && strcmp(ts_node_type(type_node), "type_identifier") == 0) {
        char *tt = java_node_text(ctx, type_node);
        if (tt && strcmp(tt, "var") == 0)
            is_var = true;
    }

    const CBMType *t = (is_var || ts_node_is_null(type_node))
                           ? cbm_type_unknown()
                           : java_parse_type_node(ctx, type_node);

    /* When type is `var` or unparseable, infer from the iterable. */
    if (cbm_type_is_unknown(t) && !ts_node_is_null(value_node)) {
        const CBMType *iter_t = java_eval_expr_type(ctx, value_node);
        if (iter_t && iter_t->kind == CBM_TYPE_SLICE) {
            t = iter_t->data.slice.elem;
        } else if (iter_t && iter_t->kind == CBM_TYPE_TEMPLATE &&
                   iter_t->data.template_type.arg_count > 0 &&
                   iter_t->data.template_type.template_args[0]) {
            t = iter_t->data.template_type.template_args[0];
        }
    }
    cbm_scope_bind(ctx->current_scope, vname, t ? t : cbm_type_unknown());
}

static void process_block(JavaLSPContext *ctx, TSNode node) {
    CBMScope *saved = ctx->current_scope;