Struct geo_aid::script::unroll::Expr

pub struct Expr<T: ?Sized + Displayed> {
    pub data: Rc<T>,
    pub span: Span,
    pub weight: FastFloat,
    pub node: Option<HierarchyNode<T::Node>>,
}

Fields

data: Rc<T>

span: Span

weight: FastFloat

node: Option<HierarchyNode<T::Node>>

Implementations

impl Expr<Point>

pub fn boxed(self, weight: FastFloat, span: Span) -> Self

impl Expr<Point>

pub fn make_variable(self, name: String) -> Self

impl Expr<Circle>

pub fn make_variable(self, name: String) -> Self

impl Expr<Circle>

pub fn boxed(self, weight: FastFloat, span: Span) -> Self

impl Expr<Line>

pub fn boxed(self, weight: FastFloat, span: Span) -> Self

impl Expr<Line>

pub fn make_variable(self, name: String) -> Self

impl Expr<Scalar>

pub fn make_variable(self, name: String) -> Self

impl Expr<Scalar>

pub fn boxed(self, weight: FastFloat, span: Span) -> Self

pub fn convert_unit( self, unit: Option<ComplexUnit>, context: &CompileContext ) -> Self

Errors

Returns a conversion error if it is invalid.

Only valid conversions are None to another unit or self to self

pub fn can_convert_unit(&self, unit: Option<ComplexUnit>) -> bool

Checks whether a unit conversion can be performed

pub fn specify_unit(self, context: &CompileContext) -> Self

Panics

If bugged

impl Expr<PointCollection>

pub fn make_variable(self, name: String) -> Self

impl Expr<PointCollection>

pub fn boxed(self, weight: FastFloat, span: Span) -> Self

pub fn check_len(self, length: usize, context: &CompileContext) -> Self

Errors

Returns an error if lengths don’t match up.

pub fn index_without_node(&self, index: usize) -> Expr<Point>

pub fn index_with_node(&mut self, index: usize) -> Expr<Point>

Also takes the collection’s node.

impl Expr<Bundle>

pub fn make_variable(self, name: String) -> Self

impl Expr<Bundle>

pub fn boxed(self, weight: FastFloat, span: Span) -> Self

pub fn index_without_node(&self, field: &str) -> AnyExpr

pub fn index_with_node(&mut self, field: &str) -> AnyExpr

Panics

Panics if the given field does not exist.

pub fn check_name(self, name: &'static str, context: &CompileContext) -> Self

Errors

Returns an error if the bundle names don’t match

impl Expr<Unknown>

pub fn make_variable(self, name: String) -> Self

impl Expr<Unknown>

pub fn boxed(self, weight: FastFloat, span: Span) -> Self

impl<T: CloneWithNode + Displayed> Expr<T>

pub fn new_spanless(data: T) -> Self

Creates a new expression without a declared span. WARNING: the expression has no node.

pub fn with_weight(self, weight: FastFloat) -> Self

pub fn take_node(&mut self) -> Option<HierarchyNode<T::Node>>

impl<T: CloneWithNode + Displayed> Expr<T>

where Expr<T>: Simplify,

pub fn simplify_with_node(&mut self, context: &CompileContext) -> Self

Trait Implementations

impl<T: ?Sized + Displayed> CloneWithNode for Expr<T>

fn clone_with_node(&mut self) -> Self

fn clone_without_node(&self) -> Self

impl ConvertFrom<Expr<Bundle>> for Bundle

fn convert_from(value: Expr<Bundle>, _context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Bundle>) -> bool

impl ConvertFrom<Expr<Bundle>> for Circle

fn convert_from(value: Expr<Bundle>, context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Bundle>) -> bool

impl ConvertFrom<Expr<Bundle>> for Line

fn convert_from(value: Expr<Bundle>, context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Bundle>) -> bool

impl ConvertFrom<Expr<Bundle>> for Point

fn convert_from(value: Expr<Bundle>, context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Bundle>) -> bool

impl ConvertFrom<Expr<Bundle>> for PointCollection

fn convert_from(value: Expr<Bundle>, context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Bundle>) -> bool

impl ConvertFrom<Expr<Bundle>> for Scalar

fn convert_from(value: Expr<Bundle>, context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Bundle>) -> bool

impl ConvertFrom<Expr<Circle>> for Bundle

fn convert_from(value: Expr<Circle>, context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Circle>) -> bool

impl ConvertFrom<Expr<Circle>> for Circle

fn convert_from(value: Expr<Circle>, _context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Circle>) -> bool

impl ConvertFrom<Expr<Circle>> for Line

fn convert_from(value: Expr<Circle>, context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Circle>) -> bool

impl ConvertFrom<Expr<Circle>> for Point

fn convert_from(value: Expr<Circle>, context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Circle>) -> bool

impl ConvertFrom<Expr<Circle>> for PointCollection

fn convert_from(value: Expr<Circle>, context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Circle>) -> bool

impl ConvertFrom<Expr<Circle>> for Scalar

fn convert_from(value: Expr<Circle>, context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Circle>) -> bool

impl ConvertFrom<Expr<Line>> for Bundle

fn convert_from(value: Expr<Line>, context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Line>) -> bool

impl ConvertFrom<Expr<Line>> for Circle

fn convert_from(value: Expr<Line>, context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Line>) -> bool

impl ConvertFrom<Expr<Line>> for Line

fn convert_from(value: Expr<Line>, _context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Line>) -> bool

impl ConvertFrom<Expr<Line>> for Point

fn convert_from(value: Expr<Line>, context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Line>) -> bool

impl ConvertFrom<Expr<Line>> for PointCollection

fn convert_from(value: Expr<Line>, context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Line>) -> bool

impl ConvertFrom<Expr<Line>> for Scalar

fn convert_from(value: Expr<Line>, context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Line>) -> bool

impl ConvertFrom<Expr<Point>> for Bundle

fn convert_from(value: Expr<Point>, context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Point>) -> bool

impl ConvertFrom<Expr<Point>> for Circle

fn convert_from(value: Expr<Point>, context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Point>) -> bool

impl ConvertFrom<Expr<Point>> for Line

fn convert_from(value: Expr<Point>, context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Point>) -> bool

impl ConvertFrom<Expr<Point>> for Point

fn convert_from(value: Expr<Point>, _context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Point>) -> bool

impl ConvertFrom<Expr<Point>> for PointCollection

fn convert_from(value: Expr<Point>, _context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Point>) -> bool

impl ConvertFrom<Expr<Point>> for Scalar

fn convert_from(value: Expr<Point>, context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Point>) -> bool

impl ConvertFrom<Expr<PointCollection>> for Bundle

fn convert_from( value: Expr<PointCollection>, context: &CompileContext ) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<PointCollection>) -> bool

impl ConvertFrom<Expr<PointCollection>> for Circle

fn convert_from( value: Expr<PointCollection>, context: &CompileContext ) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<PointCollection>) -> bool

impl ConvertFrom<Expr<PointCollection>> for Line

fn convert_from( value: Expr<PointCollection>, context: &CompileContext ) -> Expr<Self>

Errors

fn can_convert_from(value: &Expr<PointCollection>) -> bool

impl ConvertFrom<Expr<PointCollection>> for Point

fn convert_from( value: Expr<PointCollection>, context: &CompileContext ) -> Expr<Self>

Errors

fn can_convert_from(value: &Expr<PointCollection>) -> bool

impl ConvertFrom<Expr<PointCollection>> for PointCollection

fn can_convert_from(_value: &Expr<PointCollection>) -> bool

fn convert_from( value: Expr<PointCollection>, context: &CompileContext ) -> Expr<Self>

Errors

impl ConvertFrom<Expr<PointCollection>> for Scalar

fn convert_from( value: Expr<PointCollection>, context: &CompileContext ) -> Expr<Self>

Errors

fn can_convert_from(value: &Expr<PointCollection>) -> bool

impl ConvertFrom<Expr<Scalar>> for Bundle

fn convert_from(value: Expr<Scalar>, context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Scalar>) -> bool

impl ConvertFrom<Expr<Scalar>> for Circle

fn convert_from(value: Expr<Scalar>, context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Scalar>) -> bool

impl ConvertFrom<Expr<Scalar>> for Line

fn convert_from(value: Expr<Scalar>, context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Scalar>) -> bool

impl ConvertFrom<Expr<Scalar>> for Point

fn convert_from(value: Expr<Scalar>, context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Scalar>) -> bool

impl ConvertFrom<Expr<Scalar>> for PointCollection

fn convert_from(value: Expr<Scalar>, context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Scalar>) -> bool

impl ConvertFrom<Expr<Scalar>> for Scalar

fn convert_from(value: Expr<Scalar>, _context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Scalar>) -> bool

impl ConvertFrom<Expr<Unknown>> for Bundle

fn convert_from(value: Expr<Unknown>, _context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Unknown>) -> bool

impl ConvertFrom<Expr<Unknown>> for Circle

fn convert_from(value: Expr<Unknown>, _context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Unknown>) -> bool

impl ConvertFrom<Expr<Unknown>> for Line

fn convert_from(value: Expr<Unknown>, _context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Unknown>) -> bool

impl ConvertFrom<Expr<Unknown>> for Point

fn convert_from(value: Expr<Unknown>, _context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Unknown>) -> bool

impl ConvertFrom<Expr<Unknown>> for PointCollection

fn convert_from(value: Expr<Unknown>, _context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Unknown>) -> bool

impl ConvertFrom<Expr<Unknown>> for Scalar

fn convert_from(value: Expr<Unknown>, _context: &CompileContext) -> Expr<Self>

Errors

fn can_convert_from(_value: &Expr<Unknown>) -> bool

impl<T: Debug + ?Sized + Displayed> Debug for Expr<T>

where T::Node: Debug,

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

Formats the value using the given formatter.

impl<T: Definition + Displayed> Definition for Expr<T>

fn order(&self, context: &CompileContext) -> usize

Get the complexity order (how much adjustment is done to this entity).

fn contains_entity(&self, entity: usize, context: &CompileContext) -> bool

Check if the object contains an entity

impl<T: Display + Displayed> Display for Expr<T>

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

Formats the value using the given formatter.

impl From<Expr<Bundle>> for AnyExpr

fn from(value: Expr<Bundle>) -> Self

Converts to this type from the input type.

impl From<Expr<Circle>> for AnyExpr

fn from(value: Expr<Circle>) -> Self

Converts to this type from the input type.

impl From<Expr<Line>> for AnyExpr

fn from(value: Expr<Line>) -> Self

Converts to this type from the input type.

impl From<Expr<Point>> for AnyExpr

fn from(value: Expr<Point>) -> Self

Converts to this type from the input type.

impl From<Expr<PointCollection>> for AnyExpr

fn from(value: Expr<PointCollection>) -> Self

Converts to this type from the input type.

impl From<Expr<Scalar>> for AnyExpr

fn from(value: Expr<Scalar>) -> Self

Converts to this type from the input type.

impl From<Expr<Unknown>> for AnyExpr

fn from(value: Expr<Unknown>) -> Self

Converts to this type from the input type.

impl<T: GetValueType + Displayed> GetValueType for Expr<T>

fn get_value_type(&self) -> Type

impl Simplify for Expr<Circle>

fn simplify(&self, context: &CompileContext) -> Self

Simlpifies the expression. WARNING: DOES NOT PRESERVE NODE.

impl Simplify for Expr<Line>

fn simplify(&self, context: &CompileContext) -> Expr<Line>

Simlpifies the expression. WARNING: DOES NOT PRESERVE NODE.

impl Simplify for Expr<Point>

fn simplify(&self, context: &CompileContext) -> Expr<Point>

Simlpifies the expression. WARNING: DOES NOT PRESERVE NODE.