Struct Transformation

pub struct Transformation {
    pub name: Token,
    pub loc: FileLocation,
    pub auxiliary: AuxiliaryVerb,
    pub verb: Reference<(Token, Token), VerbDefinitionTarget>,
    pub inputs: Vec<Reference<Subject, VariableTarget>>,
    pub outputs: Vec<Reference<Subject, VariableTarget>>,
    pub subclauses: DesignClauses,
    pub stringency: Stringency,
}

Transformation requirement or constraint.

Fields

name: Token

Transformation’s name or label.

loc: FileLocation

Complete transformation’s textual location.

auxiliary: AuxiliaryVerb

Transformation’s auxiliary verb.

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

Transformation’s verb and preposition.

inputs: Vec<Reference<Subject, VariableTarget>>

Transformation’s input flows.

outputs: Vec<Reference<Subject, VariableTarget>>

Transformation’s output flows.

subclauses: DesignClauses

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

stringency: Stringency

Whether this is a requirement or a constraint.

Trait Implementations

impl Clone for Transformation

fn clone(&self) -> Transformation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Transformation

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

Formats the value using the given formatter.

impl Default for Transformation

fn default() -> Transformation

Returns the “default value” for a type.

impl Display for Transformation

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

Formats the value using the given formatter.

impl<'a> FetchTarget<'a, Transformation> for TransformationTarget

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

Fetch the map reference containing the targeted item.

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

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