Struct loa::semantics::Behaviour

pub struct Behaviour {
    pub receiver_type: Type,
    pub id: Id,
    pub message: BehaviourMessage,
    pub return_type: Type,
}

Fields

receiver_type: Type

id: Id

message: BehaviourMessage

return_type: Type

Methods

impl Behaviour

pub fn selector(&self) -> String

pub fn with_self(self, self_: &Type) -> Behaviour

pub fn return_type(&self) -> Type

pub fn with_applied_message(
    self,
    message: &Node,
    navigator: &Navigator,
    types: &Types
) -> Behaviour

pub fn with_applied_type_arguments(self, map: &HashMap<Id, Type>) -> Behaviour

pub fn to_markdown(&self, navigator: &Navigator) -> String

Trait Implementations

impl Clone for Behaviour

fn clone(&self) -> Behaviour

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Behaviour

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

Formats the value using the given formatter.

impl Display for Behaviour

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

Formats the value using the given formatter.

impl Eq for Behaviour

impl Hash for Behaviour

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, 

Feeds a slice of this type into the given [Hasher].

impl PartialEq<Behaviour> for Behaviour

fn eq(&self, other: &Behaviour) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl StructuralEq for Behaviour

impl StructuralPartialEq for Behaviour