Struct Assertion

pub struct Assertion { /* private fields */ }

A link-time assertion. Functions mostly like a Patch.

Implementations

impl Assertion

pub fn source(&self) -> (u32, u32)

Where the assertion was defined. That is, the file stack node ID, and the line number.

pub fn offset(&self) -> u32

The offset within the section’s data where the assertion’s expression shall be computed.

This doesn’t serve much purpose, since assertions only compute an expression, and don’t patch the data. It should be equal to the PC offset.

pub fn err_type(&self) -> AssertionType

The assertion’s error type (warning, error, fatal).

pub fn pc_section_id(&self) -> u32

The ID of the expression’s PC section. See pc_offset for more info.

pub fn pc_offset(&self) -> u32

The expression’s PC offset.

This is separate from the offset, probably as legacy due to assertions inheriting a lot from patches.

pub fn expr(&self) -> &RpnExpr

The assertion’s RPN expression.

pub fn message(&self) -> &[u8]

The assertion’s message. As with all text pulled from object files, this is not guaranteed to be valid UTF-8.

Trait Implementations

impl Debug for Assertion

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

Formats the value using the given formatter.