Struct WcetHintKey 

pub struct WcetHintKey {
    pub key: String,
    pub build_local: bool,
}

(#1063) The durable per-function hint-key contract, emitted in the sidecar so a consumer joins against the key --wcet-hints will actually accept instead of re-deriving it from mangled symbols (a by-hand copy of a shipped decision — the drift class this project removes, not adds).

key is chosen by assign_hint_keys, in priority order: the export name; else the name-section name with its non-content-derived mangling components stripped (stable_name_key) when that stripped form is unique in the module; else the raw name-section name; else func_<index> as the last resort. build_local is scry#137’s flag: true means the key is NOT expected to survive an unrelated rebuild (a raw mangled name still carrying its crate disambiguator, or a bare index), so a hints file keyed on it must be regenerated per build.

Fields

key: String

The canonical key a --wcet-hints entry addresses this function by.

build_local: bool

true when the key churns across rebuilds (raw disambiguated mangling, or an index): usable only against the build that emitted this sidecar.

Trait Implementations

impl Clone for WcetHintKey

fn clone(&self) -> WcetHintKey

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WcetHintKey

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for WcetHintKey

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for WcetHintKey

impl PartialEq for WcetHintKey

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for WcetHintKey

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 WcetHintKey