Struct InterAnalysisRecord

pub struct InterAnalysisRecord<'tcx> {
    pub pre_analysis_state: HashMap<usize, AbstractStateItem<'tcx>>,
    pub post_analysis_state: HashMap<usize, AbstractStateItem<'tcx>>,
    pub ret_state: AbstractStateItem<'tcx>,
}

Fields

pre_analysis_state: HashMap<usize, AbstractStateItem<'tcx>>

post_analysis_state: HashMap<usize, AbstractStateItem<'tcx>>

ret_state: AbstractStateItem<'tcx>

Implementations

impl<'tcx> InterAnalysisRecord<'tcx>

pub fn new( pre_analysis_state: HashMap<usize, AbstractStateItem<'tcx>>, post_analysis_state: HashMap<usize, AbstractStateItem<'tcx>>, ret_state: AbstractStateItem<'tcx>, ) -> Self

pub fn is_pre_state_same( &self, other_pre_state: &HashMap<usize, AbstractStateItem<'tcx>>, ) -> bool

Trait Implementations

impl<'tcx> Clone for InterAnalysisRecord<'tcx>

fn clone(&self) -> InterAnalysisRecord<'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for InterAnalysisRecord<'tcx>

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

Formats the value using the given formatter.