Struct Relation

pub struct Relation {
    pub name: Token,
    pub loc: FileLocation,
    pub definition: Reference<Token, RelationDefinitionTarget>,
    pub relating: Vec<Reference<Subject, VariableTarget>>,
    pub requiring: Vec<Reference<Subject, VariableTarget>>,
    pub returning: Vec<Reference<Subject, VariableTarget>>,
}

Relation instance.

Fields

name: Token

Relation instance name.

loc: FileLocation

Location of the entire relation instantiation (with arguments).

definition: Reference<Token, RelationDefinitionTarget>

Definition to which this relation instance should adhere.

relating: Vec<Reference<Subject, VariableTarget>>

Actual relating arguments provided.

requiring: Vec<Reference<Subject, VariableTarget>>

Actual requiring arguments provided.

returning: Vec<Reference<Subject, VariableTarget>>

Actual returning arguments provided.

Trait Implementations

impl Clone for Relation

fn clone(&self) -> Relation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Relation

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

Formats the value using the given formatter.

impl Default for Relation

fn default() -> Relation

Returns the “default value” for a type.

impl Display for Relation

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

Formats the value using the given formatter.

impl<'a> FetchTarget<'a, Relation> for RelationTarget

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

Fetch the map reference containing the targeted item.

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

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