Trait AnalysisPass 

pub trait AnalysisPass: Downcast + Object {
    // Required method
    fn apply(&mut self, op: &Operation) -> Result<(), Report>;
}

Required Methods

fn apply(&mut self, op: &Operation) -> Result<(), Report>

Implementations

impl dyn AnalysisPass

pub fn query_ref<U: Any + ?Sized>(&self) -> Option<&U>

pub fn query_mut<U: Any + ?Sized>(&mut self) -> Option<&mut U>

pub fn query<U: Any + ?Sized>(self: Box<Self>) -> Result<Box<U>, Box<Self>>

pub fn query_arc<U: Any + ?Sized>(self_: Arc<Self>) -> Result<Arc<U>, Arc<Self>>

pub fn query_rc<U: Any + ?Sized>(self_: Rc<Self>) -> Result<Rc<U>, Rc<Self>>

pub fn obj_partial_eq(&self, other: &Self) -> bool

pub fn obj_partial_cmp(&self, other: &Self) -> Option<Ordering>

impl dyn AnalysisPass

pub fn is<__T: AnalysisPass>(&self) -> bool

Returns true if the trait object wraps an object of type __T.

pub fn downcast<__T: AnalysisPass>( self: Box<Self>, ) -> Result<Box<__T>, Box<Self>>

Returns a boxed object from a boxed trait object if the underlying object is of type __T. Returns the original boxed trait if it isn’t.

pub fn downcast_rc<__T: AnalysisPass>( self: Rc<Self>, ) -> Result<Rc<__T>, Rc<Self>>

Returns an Rc-ed object from an Rc-ed trait object if the underlying object is of type __T. Returns the original Rc-ed trait if it isn’t.

pub fn downcast_ref<__T: AnalysisPass>(&self) -> Option<&__T>

Returns a reference to the object within the trait object if it is of type __T, or None if it isn’t.

pub fn downcast_mut<__T: AnalysisPass>(&mut self) -> Option<&mut __T>

Returns a mutable reference to the object within the trait object if it is of type __T, or None if it isn’t.

Trait Implementations

impl Clone for Box<dyn AnalysisPass>

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 dyn AnalysisPass

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

Formats the value using the given formatter.

impl Hash for dyn AnalysisPass

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

impl Ord for dyn AnalysisPass

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other.

impl PartialEq for dyn AnalysisPass

fn eq(&self, other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for dyn AnalysisPass

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl ToOwned for dyn AnalysisPass

type Owned = Box<dyn AnalysisPass>

The resulting type after obtaining ownership.

fn to_owned(&self) -> Box<dyn AnalysisPass>

Creates owned data from borrowed data, usually by cloning.

fn clone_into(&self, target: &mut Self::Owned)

Uses borrowed data to replace owned data, usually by cloning.

impl Eq for dyn AnalysisPass

Implementors