Struct puffin::trace::InputAction

pub struct InputAction<PT: ProtocolTypes> {
    pub precomputations: Vec<Precomputation<PT>>,
    pub recipe: Term<PT>,
}

Provide inputs to the Agent.

The InputAction evaluates the recipe term and injects the newly produced message into the inbound channel of the Agent referenced through the corresponding Steps by calling add_to_inbound(...) and then drives the state machine forward.

Fields

precomputations: Vec<Precomputation<PT>>

recipe: Term<PT>

Implementations

impl<PT: ProtocolTypes> InputAction<PT>

Processes messages in the inbound channel. Uses the recipe field to evaluate to a rustls Message or a MultiMessage.

pub fn new_step(agent: AgentName, recipe: Term<PT>) -> Step<PT>

fn execute<PB>( &self, agent_name: AgentName, ctx: &mut TraceContext<PB>, ) -> Result<(), Error>

where PB: ProtocolBehavior<ProtocolTypes = PT>,

Trait Implementations

impl<PT: Clone + ProtocolTypes> Clone for InputAction<PT>

fn clone(&self) -> InputAction<PT>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<PT: Debug + ProtocolTypes> Debug for InputAction<PT>

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

Formats the value using the given formatter.

impl<'de, PT> Deserialize<'de> for InputAction<PT>

where PT: ProtocolTypes,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<PT: ProtocolTypes> Display for InputAction<PT>

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

Formats the value using the given formatter.

impl<PT: Hash + ProtocolTypes> Hash for InputAction<PT>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<PT> Serialize for InputAction<PT>

where PT: ProtocolTypes,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.