Trait Lang 

pub trait Lang {
    type Id: Copy + Eq + Hash + Ord + Debug;
    type NameKey: Copy + Eq + Ord + Debug;

    // Required methods
    fn node_index(&self, id: Self::Id) -> usize;
    fn id_of_index(&self, idx: usize) -> Self::Id;
    fn kind(&self, id: Self::Id) -> NodeKind;
    fn children(&self, id: Self::Id) -> &[Self::Id];
    fn set_child(&mut self, parent: Self::Id, index: usize, new: Self::Id);
    fn remove_child(&mut self, parent: Self::Id, index: usize);
    fn splice(
        &mut self,
        node: Self::Id,
        index: usize,
        remove: usize,
        insert: Vec<Self::Id>,
    );
    fn build_return(&mut self, value: Option<Self::Id>) -> Self::Id;
    fn build_block(&mut self, stmts: Vec<Self::Id>) -> Self::Id;
    fn build_unary(&mut self, op: UnOp, operand: Self::Id) -> Self::Id;
    fn build_bool(&mut self, v: bool) -> Self::Id;
    fn build_int(&mut self, v: i64, long: bool) -> Self::Id;
    fn build_bin(&mut self, op: BinOp, l: Self::Id, r: Self::Id) -> Self::Id;
    fn build_ternary(
        &mut self,
        c: Self::Id,
        a: Self::Id,
        b: Self::Id,
    ) -> Self::Id;
    fn build_assign(&mut self, target: Self::Id, value: Self::Id) -> Self::Id;
    fn build_str(&mut self, s: &str) -> Self::Id;
    fn build_char(&mut self, c: char) -> Self::Id;
    fn copy_subtree(&mut self, id: Self::Id) -> Self::Id;
    fn effect(&self, id: Self::Id) -> Effect;
    fn is_bool(&self, id: Self::Id) -> bool;
    fn is_exact_int(&self, id: Self::Id) -> bool;
    fn bin_op(&self, id: Self::Id) -> Option<BinOp>;
    fn un_op(&self, id: Self::Id) -> Option<UnOp>;
    fn literal(&self, id: Self::Id) -> Option<LitRef<'_>>;
    fn var_name(&self, id: Self::Id) -> Option<&str>;

    // Provided methods
    fn invalidate_effect(&mut self, _id: Self::Id) { ... }
    fn debug_verify_events(&self, _stmt: Self::Id) { ... }
    fn region_events(
        &self,
        _id: Self::Id,
    ) -> Option<&[RegionEvent<Self::Id, Self::NameKey>]> { ... }
    fn var_key(&self, _id: Self::Id) -> Option<Self::NameKey> { ... }
    fn is_opaque(&self, _id: Self::Id) -> bool { ... }
    fn own_effect(&self, id: Self::Id) -> Effect { ... }
    fn is_local_var(&self, id: Self::Id) -> bool { ... }
    fn is_long_decl(&self, _decl: Self::Id) -> bool { ... }
    fn is_wide_decl(&self, _decl: Self::Id) -> bool { ... }
    fn is_inferred_decl(&self, _decl: Self::Id) -> bool { ... }
    fn is_char_decl(&self, _decl: Self::Id) -> bool { ... }
    fn receiver_propagation_unsound(
        &self,
        _decl: Self::Id,
        _value: Self::Id,
        _use_parent: Option<Self::Id>,
        _use_at_head: bool,
    ) -> bool { ... }
    fn member_name(&self, _id: Self::Id) -> Option<&str> { ... }
    fn payload_equal(&self, _a: Self::Id, _b: Self::Id) -> bool { ... }
    fn is_field_name(&self, _name: &str) -> bool { ... }
    fn has_pattern_bindings(&self, _root: Self::Id) -> bool { ... }
    fn assign_op(&self, _id: Self::Id) -> Option<BinOp> { ... }
    fn fold_lit_bin(
        &mut self,
        _op: BinOp,
        _l: Self::Id,
        _r: Self::Id,
    ) -> Option<Self::Id> { ... }
    fn fold_lit_cmp(
        &mut self,
        _op: BinOp,
        _l: Self::Id,
        _r: Self::Id,
    ) -> Option<bool> { ... }
    fn fold_lit_neg(&mut self, v: i64, _wide: bool) -> Option<i64> { ... }
    fn reassoc_delta(
        &mut self,
        _op1: BinOp,
        _k1: i64,
        _op2: BinOp,
        _k2: i64,
        _wide: bool,
    ) -> Option<ReassocOutcome<Self::Id>> { ... }
    fn prepare(&mut self, _root: Self::Id) { ... }
    fn cost_weight(&self, kind: NodeKind) -> u64 { ... }
}

Required Associated Types

type Id: Copy + Eq + Hash + Ord + Debug

稳定节点句柄（通常是 Copy 的索引 newtype）。

type NameKey: Copy + Eq + Ord + Debug

名字等价类句柄（Java：u32 intern id）。区域扫描的全部名字比较 走它——语言侧应保证同名字同键、比较为整数等值（无字符串 memcmp）。

Required Methods

fn node_index(&self, id: Self::Id) -> usize

节点在语言 arena 中的稠密下标（供引擎位图/数组索引）。

fn id_of_index(&self, idx: usize) -> Self::Id

node_index 的逆映射（下标 → Id）。cure-tree 工具包的线性 扫描（效果表重建、名字键扩展）需要按 arena 下标遍历。

fn kind(&self, id: Self::Id) -> NodeKind

fn children(&self, id: Self::Id) -> &[Self::Id]

fn set_child(&mut self, parent: Self::Id, index: usize, new: Self::Id)

把 parent 的第 index 个孩子替换为 new。

fn remove_child(&mut self, parent: Self::Id, index: usize)

删除 parent 的第 index 个孩子。

fn splice( &mut self, node: Self::Id, index: usize, remove: usize, insert: Vec<Self::Id>, )

从 node 的第 index 个孩子开始删 remove 个、插入 insert。

fn build_return(&mut self, value: Option<Self::Id>) -> Self::Id

fn build_block(&mut self, stmts: Vec<Self::Id>) -> Self::Id

fn build_unary(&mut self, op: UnOp, operand: Self::Id) -> Self::Id

fn build_bool(&mut self, v: bool) -> Self::Id

fn build_int(&mut self, v: i64, long: bool) -> Self::Id

构造整数/long 字面量（常量折叠产物）。long 为 true 时带 L 语义。

fn build_bin(&mut self, op: BinOp, l: Self::Id, r: Self::Id) -> Self::Id

构造二元运算节点（常量折叠 / 取反重写等需要重建比较运算时使用）。

fn build_ternary(&mut self, c: Self::Id, a: Self::Id, b: Self::Id) -> Self::Id

构造三元表达式 c ? a : b（if→ternary 归并）。

fn build_assign(&mut self, target: Self::Id, value: Self::Id) -> Self::Id

构造简单赋值 target = value（if→三元赋值归并）。

fn build_str(&mut self, s: &str) -> Self::Id

构造字符串字面量（字符串常量折叠产物）。

fn build_char(&mut self, c: char) -> Self::Id

构造字符字面量（部分求值产物：(char)('a'+1) → ‘b’）。

fn copy_subtree(&mut self, id: Self::Id) -> Self::Id

深拷贝子树（返回新 Id）。

fn effect(&self, id: Self::Id) -> Effect

整棵子树的聚合效果（最坏情况）。语言侧应缓存（见 prepare）。

fn is_bool(&self, id: Self::Id) -> bool

表达式是否为原始 boolean 类型（装箱 Boolean 必须返回 false）。

fn is_exact_int(&self, id: Self::Id) -> bool

表达式是否具有精确整数类型（byte/short/int/long/char），用于算术恒等式守卫。

fn bin_op(&self, id: Self::Id) -> Option<BinOp>

fn un_op(&self, id: Self::Id) -> Option<UnOp>

fn literal(&self, id: Self::Id) -> Option<LitRef<'_>>

fn var_name(&self, id: Self::Id) -> Option<&str>

变量相关名字：VarRef / VarDecl 读写的名字，以及 ForEach / Catch 的声明绑定名。

Provided Methods

fn invalidate_effect(&mut self, _id: Self::Id)

使 id 的聚合效果缓存失效（若有）。引擎在同 pass 批量应用编辑后 沿祖先链调用——祖先的聚合效果含被改子树，必须失效， 后续 effect() 读取回退为按需重算（子缓存仍有效，代价 O(孩子数)）。 默认空实现：无缓存的语言每次现算，天然正确。

fn debug_verify_events(&self, _stmt: Self::Id)

id 子树的区域事件序列（使用索引，prepare 期间预计算）。 事件序必须等于 scan_region 原递归的遍历序；返回 None 表示该 节点无索引（未构建/已失效）——scan_region 回退为原递归遍历。 引擎在应用编辑后沿祖先链调用 invalidate_effect 使索引失效。 事件索引一致性自检（惰性重建 B3 调试）：默认空实现。

fn region_events( &self, _id: Self::Id, ) -> Option<&[RegionEvent<Self::Id, Self::NameKey>]>

fn var_key(&self, _id: Self::Id) -> Option<Self::NameKey>

节点的名字键（VarRef/VarDecl/ForEach/Catch 等命名节点）； 无名节点返回 None。

fn is_opaque(&self, _id: Self::Id) -> bool

节点是否不透明（内部含不可解析原文，读/写集不可证明）： Java 的 Raw 节点与匿名类体（anon_raw）。区域用量分析的可靠性 前提——漏判会导致捕获变量被误删（对抗波 4 抓获）。

fn own_effect(&self, id: Self::Id) -> Effect

节点自身（不含 children）的效果贡献。

fn is_local_var(&self, id: Self::Id) -> bool

是否为语言层的普通局部变量（可安全删除赋值；字段/全局必须 false）。

fn is_long_decl(&self, _decl: Self::Id) -> bool

声明（VarDecl 节点）的类型域是否容纳 int 算术结果。窄类型 （Java byte/short/char）的复合赋值含隐式收窄 （b += K ≡ b = (byte)(b + K)）——把 delta 折回声明会产出 非法（超域常量）或变义（丢静态类型：char ch = 99 内联进 println 打数字而非字符）的字面量。默认 true（宽域语言）。

fn is_wide_decl(&self, _decl: Self::Id) -> bool

fn is_inferred_decl(&self, _decl: Self::Id) -> bool

声明是否为推断类型（Java 10 var）。推断声明剥除 init 后 变成 var x;——非法源码（obf_fuzz 差分抓获）。剥 init 类规则 必须拒绝。默认 false。

fn is_char_decl(&self, _decl: Self::Id) -> bool

声明是否为字符类型。字符类型变量对 int 字面量内联类型敏感： char c = 98; println(c) 打印 ‘b’，而内联成 println(98) 打印 98——静态类型可被 println / 字符串拼接观察。窄域规则（如 local_propagation）须拒绝非 Char 字面量值出字符声明。

fn receiver_propagation_unsound( &self, _decl: Self::Id, _value: Self::Id, _use_parent: Option<Self::Id>, _use_at_head: bool, ) -> bool

局部传播到成员访问接收位是否类型不可靠：声明的静态类型与 init 表达式的静态类型在成员解析上可能不等价（Java raw 泛型： List l = m(); l.add("x") 的 raw 擦除收 Object，内联成 m().add("x") 后按泛型收 CAP#1 → javac 硬错——mockito ReturningDefaultValuesTest 抓获）。仅接收位敏感（实参位 raw↔ 泛型双向兼容）。默认 false（无 raw 泛型的语言）。

fn member_name(&self, _id: Self::Id) -> Option<&str>

成员访问/方法引用的成员名（x.f / x.m() / X::m 的 f/m 部分）。 结构相等性比较用（var_name 只覆盖 VarRef——x.a 与 x.b 曾被误判 相等 → ternary_fold 删除活分支，Types.java Rewriter.high 抓获）。

fn payload_equal(&self, _a: Self::Id, _b: Self::Id) -> bool

节点负载等价（NodeData 中的非孩子字段：New.ty/anon_raw、 Cast.ty、InstanceOf.ty/bind、Lambda.params_raw、VarDecl.ty 等）。 structurally_equal 用——负载不比较曾把 cond ? new FairSync() : new NonfairSync()（参数相同、类型不同）判相等折叠：JDK 语料 90 处真实误折（ReentrantReadWriteLock 锁公平性、DirectByteBuffer 字节序、instanceof 守卫 cast → CCE，5 例运行时行为改变证实）。

fn is_field_name(&self, _name: &str) -> bool

名字是否是本单元声明的字段（字段读的可移动性判定——局部/参数 不可被调用改变，字段可以）。默认 false（名字未声明 → 当作可移动， 手工构建的 AST 无作用域解析时不会误伤）。

fn has_pattern_bindings(&self, _root: Self::Id) -> bool

子树内是否含模式绑定（Java instanceof pattern：绑定作用域按 JLS 6.3 流可达性可越出语句本身到 enclosing block——块展平/语句 移动类规则须拒绝。默认 false（无模式绑定的语言）。

fn assign_op(&self, _id: Self::Id) -> Option<BinOp>

赋值运算（= 之外的复合赋值也在此表达；None 表示简单赋值）。

fn fold_lit_bin( &mut self, _op: BinOp, _l: Self::Id, _r: Self::Id, ) -> Option<Self::Id>

字面量二元折叠：算术/位运算/移位（+ - * / % << >> >>> & | ^） 与字符串拼接。操作数为字面量节点 id；返回折叠产物节点。

fn fold_lit_cmp( &mut self, _op: BinOp, _l: Self::Id, _r: Self::Id, ) -> Option<bool>

字面量比较折叠（如 1 < 2）。可比较的字面量种类与字符串比较 语义（引用比较 vs 值比较）由语言侧决定；返回布尔结果。

fn fold_lit_neg(&mut self, v: i64, _wide: bool) -> Option<i64>

负数值字面量的取反（-(-lit) 外层负消除）。宽度溢出时必须 返回 None 拒绝折叠（如 Java i32 的 -(-2147483648)）。 默认实现按 i64 拒绝 i64::MIN 取反（防 debug panic / release 回绕）。

fn reassoc_delta( &mut self, _op1: BinOp, _k1: i64, _op2: BinOp, _k2: i64, _wide: bool, ) -> Option<ReassocOutcome<Self::Id>>

常量重结合合并：(x op1 K1) op2 K2 的常量合并结果。 语言侧负责宽度回绕（Java i32 的 K1+K2 溢出必须回绕，否则 产物是非法字面量）。

fn prepare(&mut self, _root: Self::Id)

每轮扫描前由引擎调用；语言侧在此刷新缓存（效果表、变量类型表等）。 root 是本轮简化的根（通常是方法体），语言侧可据此做作用域分析。

fn cost_weight(&self, kind: NodeKind) -> u64

节点成本权重（用于“改写必须严格降本”的门槛）。

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors