Struct Message 

pub struct Message { /* private fields */ }

Message between actors

Corresponds to Lean: structure Message

Implementations

impl Message

pub fn new( id: MsgId, src: PluginId, dst: PluginId, level: SecurityLevel, body: Vec<u8>, ) -> Self

Create a new message

pub fn id(&self) -> MsgId

Get the message ID

pub fn src(&self) -> PluginId

Get the source plugin

pub fn dst(&self) -> PluginId

Get the destination plugin

pub fn level(&self) -> SecurityLevel

Get the security level

pub fn body(&self) -> &Vec<u8>

Get the message body

pub fn into_body(self) -> Vec<u8>

Consume the message and return the body

Trait Implementations

impl Clone for Message

fn clone(&self) -> Message

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Message

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

Formats the value using the given formatter.

impl PartialEq for Message

fn eq(&self, other: &Message) -> 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 Eq for Message

impl StructuralPartialEq for Message