Struct JavaAst

Source

pub struct JavaAst {
    pub facts: Option<JavaFacts>,
    pub const_fields: HashMap<String, JavaId>,
    pub const_scalars: HashSet<String>,
    pub noop_private_methods: HashMap<String, HashMap<usize, Vec<NoopCandidate>>>,
    pub field_types: HashMap<String, JType>,
    pub unit_shadows_lang: bool,
    pub raw_generic_names: HashSet<String>,
    pub final_fields: HashSet<String>,
    pub current_return_ty: Option<JType>,
    pub inline_methods: HashMap<String, (Vec<String>, JavaId, String)>,
    pub unit_string_identity: bool,
    /* private fields */
}

Fields§

§facts: Option<JavaFacts>

外部事实（前端注入；编译单元生命周期）。None = 纯源码保守模式。

§const_fields: HashMap<String, JavaId>

类级常量字段（static final 且字面量/字面量数组初始化、无写、无同名局部） → 初始化节点。由 simplify_unit 填充（跨方法解密的字符串表）。

§const_scalars: HashSet<String>

可安全做 VarRef → 字面量传播的常量字段名（标量字面量且声明类型与字面量种类精确匹配——过载解析/常量池身份不受影响）。数组常量不进（只走下标折叠，整表引用不复制）。

§noop_private_methods: HashMap<String, HashMap<usize, Vec<NoopCandidate>>>

空私有方法（no-op 调用清理用）：名字 → 元数 → 同名同元数全部候选（参数类型表 + 是否 private 空体）。调用点做类型适用性消解（唯一适用者且为 private 空体 → no-op）。同名任意方法含 varargs → 该名整体放弃（varargs 可吸收任意元数）。由 simplify_unit 填充（–dead-code 门控）。

§field_types: HashMap<String, JType>

字段声明类型表（名字 → JType；同名二见移除）——调用点实参静态类型解析用（VarRef 解析不到局部时查字段）。collect_unit_consts 填充。

§unit_shadows_lang: bool

本单元声明了名为 String/StringBuilder 的类型（遮蔽 java.lang—— new String(“x”) 折叠/字符串链折叠在该单元全部拒绝。探针 T4a/b 抓获：class String{…} 同文件时 new String 折叠产出不可编译或静默错值）。collect_unit_consts 每轮重算。

§raw_generic_names: HashSet<String>

已知为泛型的类型简单名（单元内带 ty_params 的类型 + 常见 JDK 泛型库类）。raw 引用（无类型实参）这些名字时，接收位传播改变成员解析（raw 擦除 vs 泛型形参——CAP#1 编译错）。

§final_fields: HashSet<String>

final 字段名集合（同名二见移除——保守）。static_exec 截断守卫用：前缀字段写被 rest 再赋值时，仅 final 才放弃（非 final 的材料化写是死写，语义恒等、可编译）。

§current_return_ty: Option<JType>

当前正在简化的方法返回类型（simplify_member 设置）——窄类型 return 的常量收窄守卫用（if→三元合并前检查）。None = 非方法体。

§inline_methods: HashMap<String, (Vec<String>, JavaId, String)>

可内联的单 return 方法：名字 → (参数名表, 返回表达式节点, 声明该方法的类的简单名)。owner 供 const_method_inline 的归属守卫：限定调用的接收者类名必须与之一致——名字匹配不判归属会把 JDK 的 Integer.valueOf 当本类同名方法内联。由 simplify_unit 填充（解密 helper：d(0) → 方法体）。

§unit_string_identity: bool

单元级 String 身份比较存在标志（collect_unit_consts 每轮重算）。 new String(lit) 解包为池化字面量会翻转任何 == 观察点——字段 init 解包的观察点在其他方法里（InputNoWhitespaceAfterWithEmoji 抓获合成证实：a == “hello” false→true），单根扫描看不见 → 单元级守卫。

Struct JavaAst Copy item path

Fields§

Implementations§

impl JavaAst

pub fn new() -> Self

pub fn clone_node(&mut self, id: JavaId, children: Vec<JavaId>) -> JavaId

pub fn node(&self, id: JavaId) -> &Node

pub fn data(&self, id: JavaId) -> &NodeData

pub fn kind(&self, id: JavaId) -> NodeKind

pub fn node_count(&self) -> usize

pub fn children(&self, id: JavaId) -> &[JavaId]

pub fn block(&mut self, stmts: Vec<JavaId>) -> JavaId

pub fn empty(&mut self) -> JavaId

pub fn expr_stmt(&mut self, e: JavaId) -> JavaId

pub fn var_decl( &mut self, name: &str, ty: JType, init: Option<JavaId>, ) -> JavaId

pub fn var_decl_final( &mut self, name: &str, ty: JType, init: Option<JavaId>, final_mod: bool, ) -> JavaId

pub fn assign(&mut self, target: JavaId, value: JavaId) -> JavaId

pub fn assign_op(&mut self, op: BinOp, target: JavaId, value: JavaId) -> JavaId

pub fn if_(&mut self, cond: JavaId, then: JavaId, els: Option<JavaId>) -> JavaId

pub fn while_(&mut self, cond: JavaId, body: JavaId) -> JavaId

pub fn do_while(&mut self, body: JavaId, cond: JavaId) -> JavaId

pub fn for_( &mut self, inits: Vec<JavaId>, cond: Option<JavaId>, steps: Vec<JavaId>, body: JavaId, ) -> JavaId

pub fn for_each( &mut self, name: &str, ty: JType, iterable: JavaId, body: JavaId, ) -> JavaId

pub fn yield_(&mut self, expr: JavaId) -> JavaId

pub fn ret(&mut self, value: Option<JavaId>) -> JavaId

pub fn break_(&mut self, label: Option<&str>) -> JavaId

pub fn continue_(&mut self, label: Option<&str>) -> JavaId

pub fn throw(&mut self, e: JavaId) -> JavaId

pub fn try_( &mut self, resources: Vec<JavaId>, try_block: JavaId, catches: Vec<JavaId>, finally: Option<JavaId>, ) -> JavaId

pub fn catch_(&mut self, ty_raw: &str, name: &str, block: JavaId) -> JavaId

pub fn synchronized(&mut self, lock: JavaId, block: JavaId) -> JavaId

pub fn switch_(&mut self, subject: JavaId, cases: Vec<JavaId>) -> JavaId

pub fn case_( &mut self, labels: Vec<JavaId>, is_default: bool, arrow: bool, stmts: Vec<JavaId>, ) -> JavaId

pub fn label(&mut self, name: &str, stmt: JavaId) -> JavaId

pub fn assert_(&mut self, cond: JavaId, msg: Option<JavaId>) -> JavaId

pub fn raw(&mut self, text: &str) -> JavaId

pub fn bin(&mut self, op: BinOp, l: JavaId, r: JavaId) -> JavaId

pub fn un(&mut self, op: UnOp, e: JavaId) -> JavaId

pub fn call(&mut self, callee: JavaId, args: Vec<JavaId>) -> JavaId

pub fn member(&mut self, obj: JavaId, name: &str) -> JavaId

pub fn index(&mut self, arr: JavaId, idx: JavaId) -> JavaId

pub fn cast(&mut self, ty: JType, e: JavaId) -> JavaId

pub fn paren(&mut self, e: JavaId) -> JavaId

pub fn ternary(&mut self, c: JavaId, a: JavaId, b: JavaId) -> JavaId

pub fn new_(&mut self, ty: JType, args: Vec<JavaId>) -> JavaId

pub fn new_anon( &mut self, ty: JType, args: Vec<JavaId>, body_raw: String, ) -> JavaId

pub fn new_array( &mut self, ty: JType, dims: u16, sized: u16, sizes: Vec<JavaId>, init: Option<JavaId>, ) -> JavaId

pub fn group(&mut self, stmts: Vec<JavaId>) -> JavaId

pub fn array_lit(&mut self, elems: Vec<JavaId>) -> JavaId

pub fn var(&mut self, name: &str) -> JavaId

pub fn lit(&mut self, l: Lit) -> JavaId

pub fn this(&mut self) -> JavaId

pub fn super_(&mut self) -> JavaId

pub fn instance_of( &mut self, e: JavaId, ty: JType, bind: Option<&str>, ) -> JavaId

pub fn lambda(&mut self, params_raw: &str, body: JavaId) -> JavaId

pub fn method_ref(&mut self, receiver: JavaId, name: &str) -> JavaId

pub fn method_call( &mut self, obj: JavaId, name: &str, args: Vec<JavaId>, ) -> JavaId

pub fn plain_call(&mut self, name: &str, args: Vec<JavaId>) -> JavaId

pub fn var_type(&self, id: JavaId) -> Option<&JType>

pub fn any_string_identity(&self, roots: &[JavaId]) -> bool

pub fn has_string_identity_compare(&self, root: JavaId) -> bool

pub fn set_param_scope(&mut self, params: &[(String, JType)])

pub fn is_param_name(&self, name: &str) -> bool

pub fn set_facts(&mut self, facts: JavaFacts)

pub fn clear_facts(&mut self)

pub fn name_of_key(&self, k: u32) -> Option<String>

pub fn clear_param_scope(&mut self)

impl JavaAst

pub fn intern_sym(&mut self, name: &str) -> Sym

pub fn sn(&self, sym: Sym) -> &str

Trait Implementations§

impl Debug for JavaAst

fn fmt(&self, f: &mut Formatter<'_>) -> Result

impl Default for JavaAst

fn default() -> Self

impl Lang for JavaAst

fn prepare(&mut self, root: JavaId)

type Id = JavaId

type NameKey = u32

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

Struct JavaAst