Struct StabilityPolicy 

pub struct StabilityPolicy {
    pub allow: Vec<String>,
    pub experimental: Vec<String>,
}

A project’s stability policy: what is experimental, and what it allows.

Fields

allow: Vec<String>

The [unstable] allow entries, in manifest order.

experimental: Vec<String>

The experimental item paths; an item under one is experimental too. firstparty::experimental_items unless a test supplies its own.

Implementations

impl StabilityPolicy

pub fn for_project( project_root: Option<&Path>, overlay: &HashMap<PathBuf, String>, ) -> Self

The policy for the project at project_root, reading [unstable] from the overlay’s bynk.toml or the one on disk. No project root (a single-file or in-memory build) allows nothing.

pub fn permissive() -> Self

A policy under which nothing is experimental: for a first-party unit’s own bodies, whose dependencies are the library’s business.

pub fn is_experimental(&self, path: &str) -> bool

Whether path is experimental.

pub fn blocks(&self, path: &str) -> bool

Whether using path here is refused: it is experimental and no allow entry covers it.

pub fn check(&self, path: &str, span: Span) -> Option<CompileError>

The error for a use of path at span, when Self::blocks refuses it.

pub fn manifest_diagnostics(&self) -> Vec<CompileError>

The diagnostics for the [unstable] allow entries themselves, which callers attribute to the project’s bynk.toml (MANIFEST): an error for one that names no first-party item, and a warning for one that reaches nothing experimental (stable now, so it can go; never an error, so stabilising an item breaks no build).

pub fn blocked_imports( &self, imported_from: &HashMap<String, String>, ) -> HashMap<String, String>

The names a unit imports that are experimental and not allowed, mapped to their item paths: imported_from is name → providing unit, so the path is unit.name. Decided once per unit, where provenance is known, and carried to every check built from it.

Trait Implementations

impl Clone for StabilityPolicy

fn clone(&self) -> StabilityPolicy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StabilityPolicy

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

Formats the value using the given formatter.

impl Default for StabilityPolicy

fn default() -> Self

Blocks nothing. A check input built without crate::resolver::ResolvedCommons::with_stability (a suite case body, resolve_recovering) is under neither rule, so the default must fail open: a default that knew the experimental items but no allow would refuse them while ignoring the project’s opt-in. The real policy is built only by StabilityPolicy::for_project.

impl PartialEq for StabilityPolicy

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for StabilityPolicy

impl StructuralPartialEq for StabilityPolicy