Struct OperandsInfo 

pub struct OperandsInfo(/* private fields */);

Additional type information for operation operands during conversion.

For each operand, we track a history of previously observed types during conversion. This allows conversion patterns access to evolution of operand types, rather than just the current type. The most recent type before conversion, for each operand, is the last entry.

Implementations

impl OperandsInfo

pub fn new(operands: Vec<(Value, Vec<TypeHandle>)>) -> OperandsInfo

pub fn lookup_most_recent_of_type<'a, T>( &self, ctx: &'a Context, opd: Value, ) -> Option<Ref<'a, T>>

where T: Type,

Lookup the most recent (excluding current) T: Type recorded for an operand, if any.

pub fn lookup_most_recent_type(&self, opd: Value) -> Option<TypeHandle>

Lookup the most recent type (excluding current) recorded for an operand, if any.

pub fn lookup_operand_history(&self, opd: Value) -> Vec<TypeHandle>

Lookup the full history of types (excluding current) recorded for an operand, ordered from oldest to newest.

Trait Implementations

impl Clone for OperandsInfo

fn clone(&self) -> OperandsInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Default for OperandsInfo

fn default() -> OperandsInfo

Returns the “default value” for a type.

impl Printable for OperandsInfo

fn fmt( &self, ctx: &Context, state: &State, f: &mut Formatter<'_>, ) -> Result<(), Error>

fn disp<'t, 'c>(&'t self, ctx: &'c Context) -> Box<dyn Display + 'c>

where 't: 'c,

Get a Display’able object from the given Context and default State.

fn print<'t, 'c>( &'t self, ctx: &'c Context, state: &State, ) -> Box<dyn Display + 'c>

where 't: 'c,

Get a Display’able object from the given Context and State.