Struct WcetReport 

pub struct WcetReport {
    pub schema: String,
    pub module: String,
    pub core_class: String,
    pub wait_states: u32,
    pub memory_assumption: String,
    pub functions: Vec<WcetFunction>,
}

The full synth-wcet-v1 sidecar: schema header, precondition, and per-function bounds/declines.

Fields

schema: String

Schema version (synth-wcet-v1).

module: String

The compiled module name (for diagnostics).

core_class: String

The core class the cycle table is written for (e.g. "cortex-m4"). The bound is CONDITIONAL on this core.

wait_states: u32

Assumed instruction-memory wait states (0 for the sound zero-wait table).

memory_assumption: String

Human statement of the memory precondition the bound holds under.

functions: Vec<WcetFunction>

Per-function bound or decline. Complete: one entry per compiled function.

Implementations

impl WcetReport

pub fn new(module: impl Into<String>, core_class: impl Into<String>) -> Self

Start an empty report for module, targeting core_class under the sound zero-wait precondition.

pub fn to_json(&self) -> Result<String>

Serialize to pretty JSON.

pub fn sidecar_path(output: &Path) -> PathBuf

Resolve the sidecar path (<output>.wcet.json) next to the ELF output.

Trait Implementations

impl Clone for WcetReport

fn clone(&self) -> WcetReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WcetReport

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for WcetReport

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for WcetReport

impl PartialEq for WcetReport

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for WcetReport

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 WcetReport