Enum Finding 

#[non_exhaustive]
pub enum Finding {
    ObsFatalParse {
        at: FindingRef,
        message: String,
    },
    ObsUnpublishedVersion {
        at: FindingRef,
        version: f64,
    },
    ObsMissingHeader {
        at: FindingRef,
        label: &'static str,
    },
    ObsMissingObsTypes {
        at: FindingRef,
    },
    ObsInvalidObsCode {
        at: FindingRef,
        system: GnssSystem,
        code: String,
    },
    ObsDuplicateObsCode {
        at: FindingRef,
        system: GnssSystem,
        code: String,
    },
    ObsTimeOfFirstMismatch {
        at: FindingRef,
        declared: ObsEpochTime,
        declared_scale: TimeScale,
        observed: ObsEpochTime,
        observed_scale: TimeScale,
    },
    ObsTimeOfLastMismatch {
        at: FindingRef,
        declared: ObsEpochTime,
        declared_scale: TimeScale,
        observed: ObsEpochTime,
        observed_scale: TimeScale,
    },
    ObsIntervalMismatch {
        at: FindingRef,
        declared_s: f64,
        observed_s: f64,
    },
    ObsSatelliteCountMismatch {
        at: FindingRef,
        declared: usize,
        observed: usize,
    },
    ObsPrnObsCountMismatch {
        at: FindingRef,
        satellite: GnssSatelliteId,
        code: String,
        declared: Option<usize>,
        observed: usize,
    },
    ObsGlonassSlotIssue {
        at: FindingRef,
        satellite: GnssSatelliteId,
        issue: &'static str,
    },
    ObsPhaseShiftUndeclaredCode {
        at: FindingRef,
        system: GnssSystem,
        code: String,
    },
    ObsScaleFactorIssue {
        at: FindingRef,
        system: GnssSystem,
        code: Option<String>,
    },
    ObsMarkerTypeIssue {
        at: FindingRef,
        marker_type: String,
    },
    ObsIdentityFieldIssue {
        at: FindingRef,
        label: &'static str,
        value: String,
    },
    ObsImplausibleApproxPosition {
        at: FindingRef,
        radius_m: f64,
    },
    ObsImplausibleAntennaDelta {
        at: FindingRef,
        component: usize,
        value_m: f64,
    },
    ObsEpochOrder {
        at: FindingRef,
        previous: ObsEpochTime,
        current: ObsEpochTime,
    },
    ObsDuplicateEpoch {
        at: FindingRef,
        epoch: ObsEpochTime,
    },
    ObsSkippedRecords {
        at: FindingRef,
        count: usize,
    },
    ObsEpochSatCountMismatch {
        at: FindingRef,
        declared: usize,
        retained: usize,
    },
    ObsEventSpecialRecords {
        at: FindingRef,
        count: usize,
    },
    ObsUnretainedHeader {
        at: FindingRef,
        label: String,
    },
    ObsPseudorangeOutOfRange {
        at: FindingRef,
        code: String,
        value_m: f64,
    },
    ObsLossOfLockOutOfRange {
        at: FindingRef,
        code: String,
        lli: u8,
    },
    ObsEventEpoch {
        at: FindingRef,
        flag: u8,
    },
    ObsEmptySatelliteRecord {
        at: FindingRef,
    },
    ObsEpochGap {
        at: FindingRef,
        gap_s: f64,
        interval_s: f64,
    },
    NavFatalParse {
        at: FindingRef,
        message: String,
    },
    NavLeapSecondsAbsent {
        at: FindingRef,
    },
    NavIonoMalformed {
        at: FindingRef,
        message: String,
    },
    NavDroppedBlock {
        at: FindingRef,
        satellite: String,
        message: String,
    },
    NavDuplicateRecord {
        at: FindingRef,
        satellite: GnssSatelliteId,
        same_payload: bool,
    },
    NavUnsortedRecords {
        at: FindingRef,
    },
    NavImplausibleRecord {
        at: FindingRef,
        satellite: GnssSatelliteId,
        field: &'static str,
        value: f64,
    },
    NavUnhealthyRecords {
        at: FindingRef,
        system: GnssSystem,
        count: usize,
    },
    NavOutOfScopeRecords {
        at: FindingRef,
        class: String,
        count: usize,
    },
}

A typed RINEX lint finding.

Variants (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.

ObsFatalParse

OBS parse failed before a parsed product existed.

Fields

at: FindingRef

message: String

ObsUnpublishedVersion

OBS version is not one of the published versions covered here.

Fields

at: FindingRef

version: f64

ObsMissingHeader

A mandatory OBS header retained by the current product is absent.

Fields

at: FindingRef

label: &'static str

ObsMissingObsTypes

OBS header has no observation-code table.

Fields

at: FindingRef

ObsInvalidObsCode

OBS code syntax is not valid for this first slice.

Fields

at: FindingRef

system: GnssSystem

code: String

ObsDuplicateObsCode

OBS code is duplicated in one system table.

Fields

at: FindingRef

system: GnssSystem

code: String

ObsTimeOfFirstMismatch

TIME OF FIRST OBS disagrees with the body.

Fields

at: FindingRef

declared: ObsEpochTime

declared_scale: TimeScale

observed: ObsEpochTime

observed_scale: TimeScale

ObsTimeOfLastMismatch

TIME OF LAST OBS disagrees with the body epoch or with the file time system declared by TIME OF FIRST OBS (RINEX 3.05: TIME OF FIRST OBS defines the time system; TIME OF LAST OBS must agree with it).

Fields

at: FindingRef

declared: ObsEpochTime

declared_scale: TimeScale

observed: ObsEpochTime

observed_scale: TimeScale

ObsIntervalMismatch

INTERVAL disagrees with the dominant epoch spacing.

Fields

at: FindingRef

declared_s: f64

observed_s: f64

ObsSatelliteCountMismatch

OF SATELLITES disagrees with the body.

Fields

at: FindingRef

declared: usize

observed: usize

ObsPrnObsCountMismatch

PRN / # OF OBS disagrees with body tallies.

Fields

at: FindingRef

satellite: GnssSatelliteId

code: String

declared: Option<usize>

observed: usize

ObsGlonassSlotIssue

GLONASS observations need a valid slot/frequency table.

Fields

at: FindingRef

satellite: GnssSatelliteId

issue: &'static str

ObsPhaseShiftUndeclaredCode

SYS / PHASE SHIFT names a code absent from SYS / # / OBS TYPES.

Fields

at: FindingRef

system: GnssSystem

code: String

ObsScaleFactorIssue

SYS / SCALE FACTOR is invalid or names an undeclared code.

Fields

at: FindingRef

system: GnssSystem

code: Option<String>

ObsMarkerTypeIssue

MARKER TYPE is not a RINEX Table 8 keyword.

Fields

at: FindingRef

marker_type: String

ObsIdentityFieldIssue

Identity/header field exceeds width or has non-printable ASCII.

Fields

at: FindingRef

label: &'static str

value: String

ObsImplausibleApproxPosition

Approximate position is implausible for a fixed marker.

Fields

at: FindingRef

radius_m: f64

ObsImplausibleAntennaDelta

Antenna height/east/north offset is implausible.

Fields

at: FindingRef

component: usize

value_m: f64

ObsEpochOrder

Epoch times are not strictly increasing.

Fields

at: FindingRef

previous: ObsEpochTime

current: ObsEpochTime

ObsDuplicateEpoch

Two normal epochs carry the same timestamp.

Fields

at: FindingRef

epoch: ObsEpochTime

ObsSkippedRecords

The parser skipped satellite records it could not represent.

Fields

at: FindingRef

count: usize

ObsEpochSatCountMismatch

Epoch record count disagreed with retained satellite records.

Fields

at: FindingRef

declared: usize

retained: usize

ObsEventSpecialRecords

A retained event epoch had special records that are not retained.

Fields

at: FindingRef

count: usize

ObsUnretainedHeader

Header record is outside the retained OBS product.

Fields

at: FindingRef

label: String

ObsPseudorangeOutOfRange

A pseudorange value is outside the configured plausibility window.

Fields

at: FindingRef

code: String

value_m: f64

ObsLossOfLockOutOfRange

LLI digit is outside the three defined bits.

Fields

at: FindingRef

code: String

lli: u8

ObsEventEpoch

Event epoch retained with no special records.

Fields

at: FindingRef

flag: u8

ObsEmptySatelliteRecord

Satellite record has all observation fields blank.

Fields

at: FindingRef

ObsEpochGap

Epoch gap is larger than 1.5 times the dominant interval.

Fields

at: FindingRef

gap_s: f64

interval_s: f64

NavFatalParse

NAV parse failed before a parsed product existed.

Fields

at: FindingRef

message: String

NavLeapSecondsAbsent

NAV header has no LEAP SECONDS record.

Fields

at: FindingRef

NavIonoMalformed

NAV ionospheric correction records are malformed.

Fields

at: FindingRef

message: String

NavDroppedBlock

NAV record block was dropped by lenient parsing.

Fields

at: FindingRef

satellite: String

message: String

NavDuplicateRecord

Duplicate NAV records share an identity.

Fields

at: FindingRef

satellite: GnssSatelliteId

same_payload: bool

NavUnsortedRecords

NAV records are not in canonical order.

Fields

at: FindingRef

NavImplausibleRecord

NAV broadcast fields are outside this slice’s plausibility limits.

Fields

at: FindingRef

satellite: GnssSatelliteId

field: &'static str

value: f64

NavUnhealthyRecords

NAV records include unhealthy satellite records.

Fields

at: FindingRef

system: GnssSystem

count: usize

NavOutOfScopeRecords

NAV records outside the retained/writable scope are present.

Fields

at: FindingRef

class: String

count: usize

Implementations

impl Finding

pub const fn code(&self) -> &'static str

Stable rule identifier.

pub const fn severity(&self) -> Severity

Rule severity.

pub const fn spec_ref(&self) -> &'static str

Standard or policy reference for the rule.

pub const fn at(&self) -> &FindingRef

Finding location.

pub const fn is_repairable(&self) -> bool

Whether this finding can be changed by the repair helpers in this slice.

Trait Implementations

impl Clone for Finding

fn clone(&self) -> Finding

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Finding

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

Formats the value using the given formatter.

impl PartialEq for Finding

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