Trait predicates_core::reflection::PredicateReflection

pub trait PredicateReflection: Display {
    fn parameters<'a>(&'a self) -> Box<dyn Iterator<Item = Parameter<'a>> + 'a> { ... }
    fn children<'a>(&'a self) -> Box<dyn Iterator<Item = Child<'a>> + 'a> { ... }
}

Introspect the state of a Predicate.

Provided methods

fn parameters<'a>(&'a self) -> Box<dyn Iterator<Item = Parameter<'a>> + 'a>

Parameters of the current Predicate.

fn children<'a>(&'a self) -> Box<dyn Iterator<Item = Child<'a>> + 'a>

Nested Predicates of the current Predicate.

Implementors