Enum Resolved 

pub enum Resolved {
    Constraint {
        kind: Kind,
        a: On<Geometry>,
        b: On<Geometry>,
    },
    Joint {
        kind: JointKind,
        a: On<Connector>,
        b: On<Connector>,
    },
    Coupling {
        kind: CouplingKind,
        joints: [String; 2],
    },
    Fixed {
        body: String,
    },
}

A mate as a solve takes it, its entities resolved where their parts are: the value of its target (mate). It reads no state, so a part moved does not resolve it again.

Variants

Constraint

Fields

kind: Kind

a: On<Geometry>

b: On<Geometry>

Joint

Fields

kind: JointKind

a: On<Connector>

b: On<Connector>

Coupling

The joints it ties, by their names.

Fields

kind: CouplingKind

joints: [String; 2]

Fixed

The placed part body held where it is.

Fields

body: String

Implementations

impl Resolved

pub fn entities(&self) -> Vec<MateEntity>

The entities it is between: none for a coupling, which is between joints, or for a part held where it is.

Trait Implementations

impl Clone for Resolved

fn clone(&self) -> Resolved

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Resolved

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

Formats the value using the given formatter.

impl HasElements<Resolved> for Resolved

type Element<'a> = &'a Resolved

What an element resolves to: a borrow of it, or what it gives.

fn element(&self, name: &str) -> GeopResult<&Resolved>

The element name, or why there is none.

fn names_target(name: &str) -> bool

Whether the target named name could be one of this type: what tells a pick of an element of it from one of a target of another type with elements of the same kind (ElementReference::from_picked). The singleton’s name, for a singleton; any name, by default.

const SINGLETON: Option<&'static str> = None

The name of the one target of this type a part has, if it has only one — the topology, say: a reference into it is saved as the element’s name alone.

fn undefined() -> Option<&'static Self>

What the target reads as where no step made it, if it reads as anything then — the datums every part starts with. None by default: reading it fails.

impl Kind for Resolved

Read whole.

const NAME: &'static str = "mate"

The kind’s name, as a pick says what it picked: "edge".

impl PartialEq for Resolved

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Resolved

impl Target for Resolved

Each mate’s own.

const CHAIN: bool = false

Whether several steps may produce a target of this type, each from what the steps before left (see crate::reader::Reader::previous): the model, the datums, the parameters’ values, the listings — what a program accumulates. A target that is not a chain — a sketch, a placed part — has one producer, and a second is an error naming both.

const KEEPER: Option<Keeper<Self>> = None

How its values are written to be kept between processes (see crate::kept): none for a target made again in every process — one that is cheap to make, or holds what cannot be written.