Struct Goal

pub struct Goal {
    pub name: Token,
    pub loc: FileLocation,
    pub active: Reference<Token, ComponentTarget>,
    pub passive: Reference<Token, ComponentTarget>,
    pub auxiliary: AuxiliaryVerb,
    pub verb: Reference<(Token, Token), VerbDefinitionTarget>,
    pub flows: Vec<Reference<Subject, VariableTarget>>,
    pub subclauses: DesignClauses,
    pub stringency: Stringency,
}

Goal requirement or constraint.

Fields

name: Token

Goal’s name or label.

loc: FileLocation

Complete goal’s textual location.

active: Reference<Token, ComponentTarget>

Goal’s active component.

passive: Reference<Token, ComponentTarget>

Goal’s passive component.

auxiliary: AuxiliaryVerb

Goal’s auxiliary verb.

verb: Reference<(Token, Token), VerbDefinitionTarget>

Goal’s verb and preposition.

flows: Vec<Reference<Subject, VariableTarget>>

Goal’s variables that should be passed along as flows.

subclauses: DesignClauses

Goal’s subclauses (should be AND-concatenated).

stringency: Stringency

Whether this is a requirement or a constraint.

Trait Implementations

impl Clone for Goal

fn clone(&self) -> Goal

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Goal

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

Formats the value using the given formatter.

impl Default for Goal

fn default() -> Goal

Returns the “default value” for a type.

impl Display for Goal

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

Formats the value using the given formatter.

impl<'a> FetchTarget<'a, Goal> for GoalTarget

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

Fetch the map reference containing the targeted item.

fn fetch_values_mut( &self, spec: &'a mut Specification, ) -> Result<&'a mut [Goal], 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 Goal

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