Struct Expand

pub struct Expand {
    pub expr_map: HashMap<usize, Expr<()>>,
    pub math: Math,
    pub rc_keepalive: Vec<Rc<dyn Any>>,
}

A context struct for loading unrolled data.

Fields

expr_map: HashMap<usize, Expr<()>>

Expressions are mapped to the record entries.

math: Math

Processing context

rc_keepalive: Vec<Rc<dyn Any>>

Used to keep pointers with the data we need alive, so that no memory issues occur. Normally, an address add to expr_map as a key had the risk of expiring and a collision occurring. This way, this should be prevented. It will also increase memory usage, but shhh. It’s an ugly solution, but it works. I’m most likely going to come back to this one with some new ideas for solving the issue.

Implementations

impl Expand

pub fn load<T: Displayed + GetMathType + Debug + GetData + 'static>( &mut self, unrolled: &Unrolled<T>, ) -> VarIndex

where ExprKind: FromUnrolled<T>,

Load an unrolled expression. Also stores it in the variable record.

pub fn load_no_store<T: Displayed + GetMathType + GetData + Debug + 'static>( &mut self, unrolled: &Unrolled<T>, ) -> ExprKind

where ExprKind: FromUnrolled<T>,

Load an unrolled expression without storing it.

Methods from Deref<Target = Math>

pub fn store(&mut self, expr: ExprKind, ty: ExprType) -> VarIndex

Store an expression in the expression record.

pub fn compare(&self, a: &VarIndex, b: &VarIndex) -> Ordering

Compare two expressions referenced by indices.

pub fn get_dst_var(&mut self) -> VarIndex

Get the distance unit and generate it if it doesn’t exist.

Panics

Will never.

pub fn at(&self, index: &VarIndex) -> &Expr<()>

Get the expression at given index.

pub fn add_point(&mut self) -> EntityId

Add a free point entity.

pub fn add_real(&mut self) -> EntityId

Add a free real entity.

Trait Implementations

impl Clone for Expand

fn clone(&self) -> Expand

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Expand

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

Formats the value using the given formatter.

impl Default for Expand

fn default() -> Expand

Returns the “default value” for a type.

impl Deref for Expand

type Target = Math

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl DerefMut for Expand

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.