Struct ContingencyResolution 

#[non_exhaustive]
pub struct ContingencyResolution {
    pub cases: Vec<ResolvedCase>,
    pub resolved: usize,
    pub unresolved: usize,
    pub unrecognized_statements: usize,
}

What a whole contingency set bound to.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

cases: Vec<ResolvedCase>

One entry per case of the set, in the set’s order.

resolved: usize

Cases whose every action bound.

unresolved: usize

Cases holding at least one action that did not bind.

unrecognized_statements: usize

Actions the reader kept as text, counted over every case.

Implementations

impl ContingencyResolution

pub fn diagnostics(&self) -> Vec<Diagnostic>

One BUILD.CON.CASE_UNRESOLVED note per unresolved case, naming the case and the first action of it that did not bind.

The notes stop at the reader’s budget: the first case past it records one BUILD.CON.NOTES_TRUNCATED in place of its note and the cases after that record nothing, so a set resolved against the wrong network cannot grow the note list without limit. Every case is still counted.

Trait Implementations

impl Clone for ContingencyResolution

fn clone(&self) -> ContingencyResolution

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ContingencyResolution

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

Formats the value using the given formatter.

impl Default for ContingencyResolution

fn default() -> ContingencyResolution

Returns the “default value” for a type.

impl PartialEq for ContingencyResolution

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