Struct WcetHintsOutcome 

pub struct WcetHintsOutcome {
    pub resolved: Vec<WcetResolvedHint>,
    pub diagnostics: Vec<WcetHintKeyDiagnostic>,
}

(#1063 increment 2) The top-level hints object of the sidecar: the machine-readable outcome of --wcet-hints resolution. Present in the sidecar IFF a hints file was passed, so a consumer can tell apart (a) no hints file (object absent), (b) hints consumed (resolved non-empty), and (c) hints supplied but ALL refused before reaching any function (resolved empty, diagnostics non-empty) — three states that were previously identical in the JSON (and to $?: the compile exits 0 in all three). Additive to synth-wcet-v1: absent for every compile without --wcet-hints, so existing sidecars are byte-identical and a consumer that ignores unknown fields is unaffected.

Fields

resolved: Vec<WcetResolvedHint>

One entry per hints-file key that resolved to a function.

diagnostics: Vec<WcetHintKeyDiagnostic>

One entry per hints-file key that was NOT consumed (never reached a verifier). Merits-level rejections stay per-function (hint_rejections); this array is only the keys that never got there.

Trait Implementations

impl Clone for WcetHintsOutcome

fn clone(&self) -> WcetHintsOutcome

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WcetHintsOutcome

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

Formats the value using the given formatter.

impl Default for WcetHintsOutcome

fn default() -> WcetHintsOutcome

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for WcetHintsOutcome

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for WcetHintsOutcome

impl PartialEq for WcetHintsOutcome

fn eq(&self, other: &WcetHintsOutcome) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for WcetHintsOutcome

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 WcetHintsOutcome