Skip to main content

PropertyChangeTrigger

Struct PropertyChangeTrigger 

Source
pub struct PropertyChangeTrigger<E, P>
where E: Entity, P: Property<E>,
{ /* private fields */ }
Expand description

Trigger criterion for writes to an entity property with particular previous and/or current values.

PropertyChangeTrigger observes PropertyChangeEvent for a specific entity/property pair and emits when a property write matches its configured previous value, current value, or both.

§Construction

PropertyChangeTrigger::<E, P>::from(from)
PropertyChangeTrigger::<E, P>::to(to)
PropertyChangeTrigger::<E, P>::from_to(from, to)
PropertyChangeTrigger::<E, P>::from(from).once()
PropertyChangeTrigger::<E, P>::from(from).repeating()

§Observation

The observation data passed to TriggerCriterion::emit_with is PropertyChangeTriggerEvent. It contains the entity ID, the previous property value, the current property value, and the selected TriggerMode with which the trigger was created:

pub struct PropertyChangeTriggerEvent<E, P>
where
    E: Entity,
    P: Property<E>,
{
    pub entity_id: EntityId<E>,
    pub previous: P,
    pub current: P,
    pub mode: TriggerMode,
}

§Semantics

By default, the criterion uses TriggerMode::Repeating and emits for every matching property write. Call PropertyChangeTrigger::once to emit only for the first matching write, or PropertyChangeTrigger::repeating to return to the default repeating behavior.

A from constraint matches event.previous; a to constraint matches event.current; from_to requires both. Property writes are eventful even when the old and new values are equal. For example, PropertyChangeTrigger::to(Alive(false)) can match a write that sets Alive(false) when the entity was already Alive(false), and PropertyChangeTrigger::from_to(Alive(false), Alive(false)) matches that no-op write exactly.

§Example

use ixa::{Context, ContextEntitiesExt, define_entity, define_property, IxaEvent};
use ixa::entity::EntityId;
use ixa::triggers::{ContextTriggersExt, PropertyChangeTrigger, TriggerCriterion};

define_entity!(Person);
define_property!(struct Alive(bool), Person, default_const = Alive(true));

#[derive(IxaEvent)]
struct FirstDeath {
    person: EntityId<Person>
}

let mut context = Context::new();

context.register_trigger(
    PropertyChangeTrigger::from_to(Alive(true), Alive(false))
        .once()
        .emit_with(|observation| FirstDeath {
            person: observation.entity_id
        }),
);

context.subscribe_to_event(|_context, _event: FirstDeath| {
    // respond when a person changes from alive to dead
});

Implementations§

Source§

impl<E, P> PropertyChangeTrigger<E, P>
where E: Entity, P: Property<E>,

Source

pub fn from(from: P) -> Self

Source

pub fn to(to: P) -> Self

Source

pub fn from_to(from: P, to: P) -> Self

Source

pub fn once(self) -> Self

Source

pub fn repeating(self) -> Self

Trait Implementations§

Source§

impl<E, P> TriggerCriterion for PropertyChangeTrigger<E, P>
where E: Entity, P: Property<E>,

Source§

type Observation = PropertyChangeTriggerEvent<E, P>

The data that represents what is observed when the criterion is met. This data is passed to the handler installed for this criterion.
Source§

fn install<F>(self, context: &mut Context, on_match: F)
where F: Fn(&mut Context, Self::Observation) + 'static,

Install the criterion’s monitoring logic in context.
Source§

fn emit_with<Ev, F>(self, make_event: F) -> Trigger<Self, Ev, F>
where Ev: IxaEvent, F: Fn(Self::Observation) -> Ev + 'static,

Bind this criterion to a constructor for a concrete user event.
Source§

fn emit_default<Ev>(self) -> Trigger<Self, Ev, impl Fn(Self::Observation) -> Ev>
where Ev: IxaEvent + Default,

Bind this criterion to a default-valued concrete user event.
Source§

fn emit_value<Ev>( self, event: Ev, ) -> Trigger<Self, Ev, impl Fn(Self::Observation) -> Ev>
where Ev: IxaEvent,

Bind this criterion to a constant concrete user event value.

Auto Trait Implementations§

§

impl<E, P> Freeze for PropertyChangeTrigger<E, P>
where P: Freeze,

§

impl<E, P> RefUnwindSafe for PropertyChangeTrigger<E, P>
where P: RefUnwindSafe,

§

impl<E, P> Send for PropertyChangeTrigger<E, P>
where P: Send,

§

impl<E, P> Sync for PropertyChangeTrigger<E, P>
where P: Sync,

§

impl<E, P> Unpin for PropertyChangeTrigger<E, P>
where P: Unpin,

§

impl<E, P> UnsafeUnpin for PropertyChangeTrigger<E, P>
where P: UnsafeUnpin,

§

impl<E, P> UnwindSafe for PropertyChangeTrigger<E, P>
where P: UnwindSafe,

Blanket Implementations§

Source§

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

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
§

impl<T> ArchivePointee for T

§

type ArchivedMetadata = ()

The archived version of the pointer metadata for this type.
§

fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata, ) -> <T as Pointee>::Metadata

Converts some archived metadata to the pointer metadata for itself.
Source§

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

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

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

Source§

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

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

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

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.

§

impl<T> LayoutRaw for T

§

fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>

Returns the layout of the type.
§

impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
where T: SharedNiching<N1, N2>, N1: Niching<T>, N2: Niching<T>,

§

unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool

Returns whether the given value has been niched. Read more
§

fn resolve_niched(out: Place<NichedOption<T, N1>>)

Writes data to out indicating that a T is niched.
§

impl<T> Pointee for T

§

type Metadata = ()

The metadata type for pointers and references to this type.
Source§

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

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

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

Source§

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

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.