Struct Behavior

pub struct Behavior {
    pub name: Token,
    pub loc: FileLocation,
    pub cases: Map<String, BehaviorCase>,
    pub stringency: Stringency,
}

Behavior requirement or constraint. States how variable values should respond to sets of values for stimuli.

Fields

name: Token

Behavior’s name or label.

loc: FileLocation

Complete behavior’s textual location.

cases: Map<String, BehaviorCase>

All cases as mapping from their names to the case.

stringency: Stringency

Whether this is a requirement or a constraint.

Trait Implementations

impl Clone for Behavior

fn clone(&self) -> Behavior

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Behavior

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

Formats the value using the given formatter.

impl Display for Behavior

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

Formats the value using the given formatter.

impl<'a> FetchTarget<'a, Behavior> for BehaviorTarget

fn fetch_values( &self, spec: &'a Specification, ) -> Result<&'a [Behavior], TargetError<Self>>

Fetch the map reference containing the targeted item.

fn fetch_values_mut( &self, spec: &'a mut Specification, ) -> Result<&'a mut [Behavior], TargetError<Self>>

Fetch the mutable map reference containing the targeted item.

fn index(&self) -> usize

The index to access in the selected map.

fn fetch(&self, spec: &'a Specification) -> Result<&'a V, TargetError<Self>>

Fetch a reference to the target from the specification.

fn fetch_mut( &self, spec: &'a mut Specification, ) -> Result<&'a mut V, TargetError<Self>>

Fetch a mutable reference to the target from the specification.

impl PartialEq for Behavior

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