Struct Ir 

pub struct Ir {
    pub format_version: FormatVersion,
    pub modules: Vec<Module>,
}

A complete IR file: a format version and the modules of one target build.

Fields

format_version: FormatVersion

The IR format version.

modules: Vec<Module>

The modules of the build.

Implementations

impl Ir

pub fn validate(&self) -> Result<(), ValidationErrors>

Checks every module’s type references and type-table invariants.

Parsing doesn’t run this. It reports every problem and leaves it to the caller to decide which are fatal.

Errors

ValidationErrors listing every problem, if there are any.

impl Ir

pub fn from_json_slice(bytes: &[u8]) -> Result<Self>

Parses IR from JSON bytes.

The version is read first, so a file of another major version fails with Error::UnsupportedVersion instead of a structural error.

Errors

• Error::UnsupportedVersion if the major version isn’t SUPPORTED_MAJOR.
• Error::Json if the bytes aren’t valid IR JSON.

pub fn from_json_str(text: &str) -> Result<Self>

Parses IR from a JSON string, like from_json_slice.

Errors

Same as from_json_slice.

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

Serializes the IR to compact JSON.

Errors

Error::Json if serialization fails.

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

Serializes the IR to pretty-printed JSON.

Errors

Error::Json if serialization fails.

Trait Implementations

impl Clone for Ir

fn clone(&self) -> Ir

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Ir

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Ir

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl JsonSchema for Ir

fn schema_name() -> Cow<'static, str>

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn inline_schema() -> bool

Whether JSON Schemas generated for this type should be included directly in parent schemas, rather than being re-used where possible using the $ref keyword.

impl PartialEq for Ir

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Ir

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 Ir