Enum WcetHintKeyReason 

pub enum WcetHintKeyReason {
    Duplicate,
    Ambiguous,
    IndexRefused,
    Unknown,
    SkippedFunction,
}

(#1063 increment 2) The machine reason tag for a --wcet-hints entry that never reached a per-loop/recursion verifier. Serialized as the SAME tag the stderr warning names, so the human and the machine read one vocabulary. (Distinct from WcetHintRejection, which records a hint that DID reach a function’s verifier and was rejected on the merits.)

Variants

Duplicate

Two hints-file entries addressed the same function; the later one (in key order) was not consumed.

Ambiguous

The key is accepted by more than one function in this module.

IndexRefused

An index key (func_<idx>) for a function that carries a real name — refused by design; an index is not an identity (#1063).

Unknown

The key names no function in this module.

SkippedFunction

The key resolved, but the function was skipped by the backend and is not in the output object, so the hint never reached a verifier.

Trait Implementations

impl Clone for WcetHintKeyReason

fn clone(&self) -> WcetHintKeyReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for WcetHintKeyReason

impl Debug for WcetHintKeyReason

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for WcetHintKeyReason

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for WcetHintKeyReason

impl PartialEq for WcetHintKeyReason

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for WcetHintKeyReason

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 WcetHintKeyReason