Struct CheckContext 

pub struct CheckContext {
    pub candidate: Option<Manifest>,
    pub base: Manifest,
    pub pre: BTreeMap<UnitId, UnitStatus>,
    pub pre_passing: BTreeMap<UnitId, Vec<ProbeId>>,
}

Recorded at Prepared (§12 step 4) for the Checking and revert probe runs: the candidate’s and the base’s manifests, and every unit’s status before.

Fields

candidate: Option<Manifest>

base: Manifest

pre: BTreeMap<UnitId, UnitStatus>

pre_passing: BTreeMap<UnitId, Vec<ProbeId>>

Per unit, the Readiness probes passing before (§9, R07): each must still pass after, whatever the unit’s aggregate status was.

Trait Implementations

impl Clone for CheckContext

fn clone(&self) -> CheckContext

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CheckContext

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

Formats the value using the given formatter.

impl Default for CheckContext

fn default() -> CheckContext

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for CheckContext

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for CheckContext

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for CheckContext

impl StructuralPartialEq for CheckContext