pub struct PrecClimber<R: Clone + 'static> { /* private fields */ }
👎Deprecated since 2.4.0: Use pest::pratt_parser instead (it is an equivalent which also supports unary prefix/suffix operators). While prec_climber is going to be kept in 2.x minor and patch releases, it may be removed in a future major release.
Expand description

List of operators and precedences, which can perform precedence climbing on infix expressions contained in a Pairs. The token pairs contained in the Pairs should start with a primary pair and then alternate between an operator and a primary.

Implementations§

source§

impl<R: RuleType> PrecClimber<R>

source

pub fn new(ops: Vec<Operator<R>>) -> PrecClimber<R>

👎Deprecated since 2.4.0: Use pest::pratt_parser instead (it is an equivalent which also supports unary prefix/suffix operators). While prec_climber is going to be kept in 2.x minor and patch releases, it may be removed in a future major release.

Creates a new PrecClimber from the Operators contained in ops. Every entry in the Vec has precedence index + 1. In order to have operators with same precedence, they need to be chained with | between them.

Examples
PrecClimber::new(vec![
    Operator::new(Rule::plus, Assoc::Left) | Operator::new(Rule::minus, Assoc::Left),
    Operator::new(Rule::times, Assoc::Left) | Operator::new(Rule::divide, Assoc::Left),
    Operator::new(Rule::power, Assoc::Right)
]);
source

pub fn climb<'i, P, F, G, T>(&self, pairs: P, primary: F, infix: G) -> Twhere P: Iterator<Item = Pair<'i, R>>, F: FnMut(Pair<'i, R>) -> T, G: FnMut(T, Pair<'i, R>, T) -> T,

👎Deprecated since 2.4.0: Use pest::pratt_parser instead (it is an equivalent which also supports unary prefix/suffix operators). While prec_climber is going to be kept in 2.x minor and patch releases, it may be removed in a future major release.

Performs the precedence climbing algorithm on the pairs in a similar manner to map-reduce. Primary pairs are mapped with primary and then reduced to one single result with infix.

Panics

Panics will occur when pairs is empty or when the alternating primary, operator, primary order is not respected.

Examples
let primary = |pair| {
    consume(pair, climber)
};
let infix = |lhs: i32, op: Pair<Rule>, rhs: i32| {
    match op.rule() {
        Rule::plus => lhs + rhs,
        Rule::minus => lhs - rhs,
        Rule::times => lhs * rhs,
        Rule::divide => lhs / rhs,
        Rule::power => lhs.pow(rhs as u32),
        _ => unreachable!()
    }
};

let result = climber.climb(pairs, primary, infix);

Trait Implementations§

source§

impl<R: Debug + Clone + 'static> Debug for PrecClimber<R>

source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

§

impl<R> RefUnwindSafe for PrecClimber<R>where R: RefUnwindSafe,

§

impl<R> Send for PrecClimber<R>where R: Send + Sync,

§

impl<R> Sync for PrecClimber<R>where R: Sync,

§

impl<R> Unpin for PrecClimber<R>where R: Unpin,

§

impl<R> UnwindSafe for PrecClimber<R>where R: UnwindSafe + RefUnwindSafe,

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

const: unstable · source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for Twhere U: From<T>,

const: unstable · source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
const: unstable · source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
const: unstable · source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.