Enum Effect

#[non_exhaustive]
pub enum Effect {
    TimeOut(f64),
    Event {
        time: f64,
        process: ProcessId,
    },
    Request(ResourceId),
    Release(ResourceId),
    Push(StoreId),
    Pull(StoreId),
    Wait,
    Trace,
}

The effect is yelded by a process coroutine to interact with the simulation environment.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

TimeOut(f64)

The process that yields this effect will be resumed after the speified time

Event

Yielding this effect it is possible to schedule the specified event

Fields

time: f64

Time interval between the current simulation time and the event schedule

process: ProcessId

Process to execute when the event occur

Request(ResourceId)

This effect is yielded to request a resource

Release(ResourceId)

This effect is yielded to release a resource that is not needed anymore.

Push(StoreId)

This effect is yielded to push into a store

Pull(StoreId)

This effect is yielded to pull out of a store

Wait

Keep the process’ state until it is resumed by another event.

Trace

Logs the event and resume the process immediately.

Trait Implementations

impl Clone for Effect

fn clone(&self) -> Effect

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Effect

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

Formats the value using the given formatter.

impl SimState for Effect

fn get_effect(&self) -> Effect

fn set_effect(&mut self, e: Effect)

fn should_log(&self) -> bool

impl Copy for Effect