Struct OneOf 

pub struct OneOf<A, B, C = Disable, D = Disable>(/* private fields */)
where
    A: PredicateOp + 'static,
    B: PredicateOp + 'static,
    C: PredicateOp + 'static,
    D: PredicateOp + 'static;

Logical XOR: exactly one of 2-4 predicates must succeed.

C and D default to Disable.

Examples

use unsynn::*;

let mut tokens = "".to_token_iter();
// Two predicates
assert!(OneOf::<Enable, Disable>::parse(&mut tokens).is_ok());
assert!(OneOf::<Enable, Enable>::parse(&mut tokens).is_err());
// Four predicates
assert!(OneOf::<Enable, Disable, Disable, Disable>::parse(&mut tokens).is_ok());
assert!(OneOf::<Enable, Enable, Disable, Disable>::parse(&mut tokens).is_err());

Trait Implementations

impl<A, B, C, D> Clone for OneOf<A, B, C, D>

where A: Clone + PredicateOp + 'static, B: Clone + PredicateOp + 'static, C: Clone + PredicateOp + 'static, D: Clone + PredicateOp + 'static,

fn clone(&self) -> OneOf<A, B, C, D>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<A, B, C, D> Debug for OneOf<A, B, C, D>

where A: Debug + PredicateOp + 'static, B: Debug + PredicateOp + 'static, C: Debug + PredicateOp + 'static, D: Debug + PredicateOp + 'static,

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

Formats the value using the given formatter.

impl<A, B, C, D> Default for OneOf<A, B, C, D>

where A: PredicateOp, B: PredicateOp, C: PredicateOp, D: PredicateOp, AnyOf<AllOf<A, Not<B>, Not<C>, Not<D>>, AllOf<Not<A>, B, Not<C>, Not<D>>, AllOf<Not<A>, Not<B>, C, Not<D>>, AllOf<Not<A>, Not<B>, Not<C>, D>>: Default,

fn default() -> OneOf<A, B, C, D>

Returns the “default value” for a type.

impl<A, B, C, D> Parser for OneOf<A, B, C, D>

where A: PredicateOp, B: PredicateOp, C: PredicateOp, D: PredicateOp,

fn parser(tokens: &mut TokenIter) -> Result<OneOf<A, B, C, D>, Error>

The actual parsing function that must be implemented. This mutates the tokens iterator directly. It should not be called from user code except for implementing parsers itself and then only when the rules below are followed.

impl<A, B, C, D> ToTokens for OneOf<A, B, C, D>

where A: PredicateOp, B: PredicateOp, C: PredicateOp, D: PredicateOp,

fn to_tokens(&self, tokens: &mut TokenStream)

Write &self to the given TokenStream.

fn to_token_iter(&self) -> TokenIter

Convert &self into a TokenIter object.

fn into_token_iter(self) -> TokenIter

where Self: Sized,

Convert self into a TokenIter object.

fn to_token_stream(&self) -> TokenStream

Convert &self into a TokenStream object.

fn into_token_stream(self) -> TokenStream

where Self: Sized,

Convert self into a TokenStream object.

fn tokens_to_string(&self) -> String

Convert &self into a String object. This is mostly used in the test suite to compare the outputs. When the input is a &str then this parses it and returns a normalized String.

impl<A, B, C, D> PredicateOp for OneOf<A, B, C, D>

where A: PredicateOp, B: PredicateOp, C: PredicateOp, D: PredicateOp,