pub struct ExactSp3Request { /* private fields */ }Expand description
Requested identity fields needed to validate decompressed SP3 content.
This source-independent request is useful to acquisition resolvers whose
candidates are defined by an official archive convention but are not catalog
entries. ExactSp3Request::from_identity supplies the same values from a
full ProductIdentity.
Implementations§
Source§impl ExactSp3Request
impl ExactSp3Request
Sourcepub fn new(
date: ProductDate,
issue: Option<&str>,
span: &str,
sample: &str,
) -> Result<Self, ExactSp3ValidationError>
pub fn new( date: ProductDate, issue: Option<&str>, span: &str, sample: &str, ) -> Result<Self, ExactSp3ValidationError>
Build and validate a source-independent exact SP3 request.
Sourcepub fn from_identity(
identity: &ProductIdentity,
) -> Result<Self, ExactSp3ValidationError>
pub fn from_identity( identity: &ProductIdentity, ) -> Result<Self, ExactSp3ValidationError>
Build a request from a complete catalog identity.
Sourcepub fn with_expected_agency(
self,
agency: &str,
) -> Result<Self, ExactSp3ValidationError>
pub fn with_expected_agency( self, agency: &str, ) -> Result<Self, ExactSp3ValidationError>
Require the producing-agency code declared on SP3 header line 1.
Agency codes are one to four upper-case ASCII alphanumeric characters,
matching the SP3 A4 field and official IGS producer codes.
Sourcepub fn date(&self) -> ProductDate
pub fn date(&self) -> ProductDate
Requested filename date.
For requests built with Self::new, this is also the required first
content date. Self::from_identity may apply a cataloged historical
content-start convention while retaining this filename date.
Sourcepub fn issue(&self) -> Option<&str>
pub fn issue(&self) -> Option<&str>
Optional requested HHMM filename issue/epoch token.
No issue means midnight. As with Self::date, a catalog-derived
request may require a historical content start before this epoch.
Sourcepub fn format_version(&self) -> Option<&str>
pub fn format_version(&self) -> Option<&str>
Optional content revision inherited from a resolved product identity.
Sourcepub fn expected_agency(&self) -> Option<&str>
pub fn expected_agency(&self) -> Option<&str>
Producing-agency code required from SP3 header line 1, when constrained.
Trait Implementations§
Source§impl Clone for ExactSp3Request
impl Clone for ExactSp3Request
Source§fn clone(&self) -> ExactSp3Request
fn clone(&self) -> ExactSp3Request
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl Debug for ExactSp3Request
impl Debug for ExactSp3Request
impl Eq for ExactSp3Request
Source§impl PartialEq for ExactSp3Request
impl PartialEq for ExactSp3Request
impl StructuralPartialEq for ExactSp3Request
Auto Trait Implementations§
impl Freeze for ExactSp3Request
impl RefUnwindSafe for ExactSp3Request
impl Send for ExactSp3Request
impl Sync for ExactSp3Request
impl Unpin for ExactSp3Request
impl UnsafeUnpin for ExactSp3Request
impl UnwindSafe for ExactSp3Request
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
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 moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
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 moreSource§impl<T> Pointable for T
impl<T> Pointable for T
impl<T> Scalar for T
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
self to the equivalent element of its superset.