Struct IndexWrapper 

pub struct IndexWrapper { /* private fields */ }

Represents a wrapper struct that encodes the fact that a given pointer should implement indexed

Implementations

impl IndexWrapper

pub fn new(indirection: usize, expr: Expr, ty: RustType) -> Self

pub fn indirection(&self) -> usize

pub fn base_expr(&self) -> &Expr

pub fn base_ty(&self) -> &RustType

pub fn is_index_wrapper(expr: &Expr) -> bool

Test whether an expression is indeed an index wrapper

pub fn fold_calls<P, O>(f: P, expr: &Expr) -> Vec<O>

where P: FnMut(&Expr) -> O,

Folds over the calls in a wrapper in order from IndexWrapperFinal to IndexWrapperBase

Trait Implementations

impl Clone for IndexWrapper

fn clone(&self) -> IndexWrapper

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IndexWrapper

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

Formats the value using the given formatter.

impl Display for IndexWrapper

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

Formats the value using the given formatter.

impl From<Expr> for IndexWrapper

fn from(expr: Expr) -> Self

Converts to this type from the input type.

impl Into<Expr> for IndexWrapper

fn into(self) -> Expr

Converts this type into the (usually inferred) input type.