Struct aquascope::analysis::stepper::MirSegment
source · pub struct MirSegment {
pub from: Location,
pub to: Location,
}
Expand description
Represents a segment of the MIR control-flow graph.
A MirSegment
corresponds directly to locations where a permissions step
will be made. However, a segment is also control-flow specific.
Fields§
§from: Location
§to: Location
Implementations§
source§impl MirSegment
impl MirSegment
pub fn new(l1: Location, l2: Location) -> Self
sourcepub fn span(&self, ctxt: &PermissionsCtxt<'_, '_>) -> Span
pub fn span(&self, ctxt: &PermissionsCtxt<'_, '_>) -> Span
A rough approximation of the source span of the step.
pub fn into_diff<'tcx>( self, ctxt: &PermissionsCtxt<'_, 'tcx> ) -> HashMap<Place<'tcx>, PermissionsDataDiff>
Trait Implementations§
source§impl Clone for MirSegment
impl Clone for MirSegment
source§fn clone(&self) -> MirSegment
fn clone(&self) -> MirSegment
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for MirSegment
impl Debug for MirSegment
source§impl Hash for MirSegment
impl Hash for MirSegment
source§impl PartialEq<MirSegment> for MirSegment
impl PartialEq<MirSegment> for MirSegment
source§fn eq(&self, other: &MirSegment) -> bool
fn eq(&self, other: &MirSegment) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.impl Copy for MirSegment
impl Eq for MirSegment
impl StructuralEq for MirSegment
impl StructuralPartialEq for MirSegment
Auto Trait Implementations§
impl RefUnwindSafe for MirSegment
impl Send for MirSegment
impl Sync for MirSegment
impl Unpin for MirSegment
impl UnwindSafe for MirSegment
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more