rapx 0.7.31

A static analysis platform for Rust program analysis and verification
1
2
3
4
5
6
7
8
9
10
11

use crate::analysis::alias::default::graph::AliasGraph;
use rustc_span::Span;

pub trait AliasObserver {
    fn on_value_use(&mut self, _graph: &AliasGraph, _vidx: usize, _span: Span, _in_call: bool) {}
    fn on_value_assign(&mut self, _graph: &AliasGraph, _vidx: usize) {}
    fn on_state_change(&mut self, _graph: &AliasGraph) {}
}

pub struct NoopAliasObserver;
impl AliasObserver for NoopAliasObserver {}