Skip to main content

ProfileFinding

Enum ProfileFinding 

Source
#[non_exhaustive]
pub enum ProfileFinding {
Show 13 variants NotLowered(GeomError), TooFewSegments { contour: ContourRef, count: usize, }, UnsupportedSegment { contour: ContourRef, segment: usize, kind: &'static str, }, DegenerateSegment { contour: ContourRef, segment: usize, reason: &'static str, }, Gap { contour: ContourRef, segment: usize, gap: f64, }, DegenerateRing { contour: ContourRef, error: OverlayError, }, SelfContact { contour: ContourRef, segments: [usize; 2], at: DVec2, }, BoundaryOverlap { contours: [ContourRef; 2], }, HoleOutsideOuter { hole: usize, }, DisconnectedInterior { contours: Vec<ContourRef>, }, Polygon(ArcPolygonDefect), HolesOverlap { holes: [usize; 2], }, Clearance { segments: [(ContourRef, usize); 2], lower_bound: f64, undecided: bool, },
}
Expand description

Why a profile is not valid as the exact path would build it.

Variants (Non-exhaustive)§

This enum is marked as non-exhaustive
Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.
§

NotLowered(GeomError)

The profile does not lower to a contour (family or dimensions); nothing else was checked.

§

TooFewSegments

The segments lower to fewer than two ring vertices (a polyline or a full circle is a whole ring by itself); count is the segments.

Fields

§contour: ContourRef
§count: usize
§

UnsupportedSegment

A segment family the exact lowering refuses (ellipse, B-spline, …), or an arc of more than a whole turn: kind names it.

Fields

§contour: ContourRef
§segment: usize
§kind: &'static str
§

DegenerateSegment

Degenerate frame or empty parameter range.

Fields

§contour: ContourRef
§segment: usize
§reason: &'static str
§

Gap

The end of segment and the start of the next ((segment + 1) % n, so n - 1 is the closing joint) are gap apart, beyond the slack.

Fields

§contour: ContourRef
§segment: usize
§gap: f64
§

DegenerateRing

A validate_arc_ring refusal of the lowered ring.

Fields

§contour: ContourRef
§

SelfContact

Two segments of one contour share a point other than the joint between consecutive ones. segments are segment indices, ascending; both name one segment when a single arc touches itself. at is the first such point, rounded once.

Fields

§contour: ContourRef
§segments: [usize; 2]
§

BoundaryOverlap

Two contours share a stretch of boundary. contours ascending.

Fields

§contours: [ContourRef; 2]
§

HoleOutsideOuter

Part of a hole lies outside the outer contour.

Fields

§hole: usize
§

DisconnectedInterior

Contacts between contours cut the interior into separate pieces. contours ascending, every contour of the cut component.

Fields

§contours: Vec<ContourRef>
§

Polygon(ArcPolygonDefect)

A defect of the arc polygon check this version does not map to a finding of its own, such as NestingUndecided: nesting could not be decided, so the profile is not valid.

§

HolesOverlap

Two holes’ interiors meet. holes ascending.

Fields

§holes: [usize; 2]
§

Clearance

Two segments are closer than the requested clearance (ExactProfileValidator::validate_with): their distance has a local minimum strictly between zero and it away from their meeting points, or they form an exact cusp (they meet and leave in the same direction). The neighbourhood of a meeting point at a nonzero angle (a narrow wedge) is not reported. segments are (contour, segment) pairs, ascending. lower_bound is a certified lower bound on their distance; undecided is false when the exact test proved the distance is below the clearance and true when it could not decide and the pair is reported rather than cleared.

Fields

§segments: [(ContourRef, usize); 2]
§lower_bound: f64
§undecided: bool

Trait Implementations§

Source§

impl Clone for ProfileFinding

Source§

fn clone(&self) -> ProfileFinding

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for ProfileFinding

Source§

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

Formats the value using the given formatter. Read more
Source§

impl PartialEq for ProfileFinding

Source§

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

Equality operator ==. Read more
1.0.0 (const: unstable) · Source§

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

Inequality operator !=. Read more
Source§

impl StructuralPartialEq for ProfileFinding

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
§

impl<T> Pointable for T

§

const ALIGN: usize

The alignment of pointer.
§

type Init = T

The type for initializers.
§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.