Enum Flight 

#[non_exhaustive]
pub enum Flight {
    RecoveryDescent {
        design: String,
        configuration: String,
    },
    WholeFlight {
        design: String,
        configuration: String,
        mode: DragMode,
    },
}

What a case flies.

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.

RecoveryDescent

A descent from a state the reference declares, under the devices the reference declares: the recovery comparison of M1.7a (parachutes, and the descent under them), run through the harness.

Everything about the flight comes from the reference’s own case (the site, the wind, the devices, the state at the first deployment), which is the point: the oracle’s inputs are the case’s, not hpr’s output (Loft lesson L75).

Fields

design: String

The design to fly, by file name under validation/designs/.

configuration: String

Its configuration id.

WholeFlight

A flight from the pad to the ground, in either mode of M2.1 (DragMode). In same-drag mode hpr flies the C_D0(M) table the reference declares, through hpr_sim::Simulation::with_drag_table, so a difference is in the equations of motion, the environment or the motor, not in the drag. In predicted mode it flies the design’s own aerodynamics against a reference that flew the example’s own drag.

The site, the wind, the rail, the drag table and its reference area, and the recovery devices all come from the reference’s own record of what the oracle flew (Loft lesson L75). The harness checks the rest rather than trusting it: the design must be the one the reference names, with the dry mass and reference area it recorded.

Fields

design: String

The design to fly, by file name under validation/designs/.

configuration: String

Its configuration id.

mode: DragMode

Whose drag hpr flies: the reference’s declared table (the default), or its own.

Implementations

impl Flight

pub fn design(&self) -> &str

The design it flies, by file name under validation/designs/.

Trait Implementations

impl Clone for Flight

fn clone(&self) -> Flight

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Flight

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Flight

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Flight

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Flight