Struct WcetHintResolution 

pub struct WcetHintResolution {
    pub hints: WcetHints,
    pub resolved: Vec<(String, String)>,
    pub diagnostics: Vec<WcetHintKeyDiagnostic>,
}

(#1063) The outcome of resolving a --wcet-hints file against the module’s key assignments: the re-keyed hints map (keyed by COMPILE name, the key the backend’s per-function verifier looks up), which original keys resolved to which function, and a named diagnostic for every entry that was NOT consumed.

Fields

hints: WcetHints

The hints, re-keyed by compile name, ready for the backend.

resolved: Vec<(String, String)>

(original key, compile_name) for every entry that resolved.

diagnostics: Vec<WcetHintKeyDiagnostic>

One STRUCTURED record per entry that was NOT consumed — the driver prints each (Display = the human detail) AND carries them into the sidecar’s WcetHintsOutcome. An ignored-because-unmatched hint and a rejected hint look identical to a $? check; the named reason is the difference (#1063 increment 2: the reason must reach the MACHINE, not only stderr).

Trait Implementations

impl Clone for WcetHintResolution

fn clone(&self) -> WcetHintResolution

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WcetHintResolution

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

Formats the value using the given formatter.

impl Eq for WcetHintResolution

impl PartialEq for WcetHintResolution

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for WcetHintResolution