Struct JavaFacts 

pub struct JavaFacts {
    pub vars: HashMap<String, VarFacts>,
    pub call_effects: HashMap<String, HashSet<Effect>>,
}

编译单元级事实集：局部名（前端发射的名字与源码文本一致——名字是 文本往返的稳定键）→ 变量事实；被调成员名 → 副作用上限。

Fields

vars: HashMap<String, VarFacts>

call_effects: HashMap<String, HashSet<Effect>>

Implementations

impl JavaFacts

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

Trait Implementations

impl Clone for JavaFacts

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for JavaFacts

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

Formats the value using the given formatter.

impl Default for JavaFacts

fn default() -> Self

Returns the “default value” for a type.