Enum SubClause

pub enum SubClause<Id>
where
    Id: Eq + PartialEq + Clone + Hash,
{
    Always,
    HasAttrValue(Id, Attribute, AttrValue),
    HasState(Id, State),
    IsMounted(Id),
    Not(Box<SubClause<Id>>),
    And(Box<SubClause<Id>>, Box<SubClause<Id>>),
    Or(Box<SubClause<Id>>, Box<SubClause<Id>>),
}

A subclause indicates the condition that must be satisfied in order to forward ev to target. Usually clauses are single conditions, but there are also some special condition, to create “ligatures”, which are:

• SubClause::Not: Negates inner condition
• SubClause::And: the AND of the two clauses must be true
• SubClause::Or: the OR of the two clauses must be true

Variants

Always

Always forward event to component

HasAttrValue(Id, Attribute, AttrValue)

Forward event if target component has provided attribute with the provided value If the attribute doesn’t exist on component, result is always false.

HasState(Id, State)

Forward event if target component has provided state

IsMounted(Id)

Forward event if target component is mounted

Not(Box<SubClause<Id>>)

Forward event if the inner clause is false

And(Box<SubClause<Id>>, Box<SubClause<Id>>)

Forward event if both the inner clauses are true

Or(Box<SubClause<Id>>, Box<SubClause<Id>>)

Forward event if at least one of the inner clauses is true

Implementations

impl<Id> SubClause<Id>

where Id: Eq + PartialEq + Clone + Hash,

pub fn not(clause: Self) -> Self

Shortcut for SubClause::Not without specifying Box::new(...)

pub fn and(a: Self, b: Self) -> Self

Shortcut for SubClause::And without specifying Box::new(...)

pub fn or(a: Self, b: Self) -> Self

Shortcut for SubClause::Or without specifying Box::new(...)

Trait Implementations

impl<Id> Debug for SubClause<Id>

where Id: Eq + PartialEq + Clone + Hash + Debug,

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

Formats the value using the given formatter.

impl<Id> PartialEq for SubClause<Id>

where Id: Eq + PartialEq + Clone + Hash + PartialEq,

fn eq(&self, other: &SubClause<Id>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<Id> StructuralPartialEq for SubClause<Id>

where Id: Eq + PartialEq + Clone + Hash,