Enum VersionPolicy 

#[non_exhaustive]
pub enum VersionPolicy {
    Permissive,
    RequirePresent,
    CompatibleMajor {
        majors: Vec<u64>,
    },
}

How super::read_with treats the root /version dataset.

The default is Self::Permissive. Majors accepted by Self::CompatibleMajor are supplied by the caller; this crate does not keep a hidden compatibility matrix. Paper fixtures vendored under tests/fixtures/ embed 0.1.1 / 0.2.0, and super::DEFAULT_NIR_VERSION is 1.0.8 — a typical importer therefore passes [0, 1].

use nir_rs::io::{ReadOptions, VersionPolicy};

let tool = ReadOptions::default();
assert_eq!(tool.version_policy, VersionPolicy::Permissive);

let importer = ReadOptions::default()
    .with_version_policy(VersionPolicy::compatible_major([0, 1]));
assert!(matches!(
    importer.version_policy,
    VersionPolicy::CompatibleMajor { .. }
));

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Permissive

Accept a missing /version or any present string and store it verbatim.

Matches Python nir.read and the default super::read entry point.

RequirePresent

Reject a missing /version. Any present string is stored verbatim without SemVer parsing.

CompatibleMajor

Parse /version as MAJOR.MINOR.PATCH with optional SemVer prerelease (-…) and build (+…) suffixes, and accept only the listed majors.

Construct with Self::compatible_major so the allow-list is explicit. A missing /version is a policy failure.

Parsing

The core must be exactly three decimal components. 1.0, v1.0.0, and 01.0.0 are malformed. Numeric components must not have leading zeros (0 itself is allowed).

Prerelease and build suffixes are parsed, then ignored for the major check: 1.0.0-rc.1+exp.sha has major 1 and is accepted when 1 is listed. They are not stripped from crate::NirGraph::version — the original wire string is stored. An empty suffix (1.0.0- / 1.0.0+) is malformed. Identifiers may contain ASCII alphanumerics and -, separated by ..

Fields

majors: Vec<u64>

Accepted major numbers, for example [0, 1].

Implementations

impl VersionPolicy

pub fn compatible_major(majors: impl IntoIterator<Item = u64>) -> Self

Accept /version strings whose SemVer major is one of majors.

Duplicates are dropped and the list is sorted so std::fmt::Display is stable. An empty list rejects every well-formed version (fail-closed).

Trait Implementations

impl Clone for VersionPolicy

fn clone(&self) -> VersionPolicy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VersionPolicy

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

Formats the value using the given formatter.

impl Default for VersionPolicy

fn default() -> VersionPolicy

Returns the “default value” for a type.

impl Display for VersionPolicy

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

Formats the value using the given formatter.

impl Eq for VersionPolicy

impl PartialEq for VersionPolicy

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for VersionPolicy