Struct ConformanceRunner 

pub struct ConformanceRunner { /* private fields */ }

Executable opt-in conformance suite for application graphs.

Implementations

impl ConformanceRunner

pub fn new(suite: ConformanceSuite) -> Self

Creates a runner from a required-level suite.

pub fn require(self, level: ConformanceLevel) -> Self

Requires a level even if no check has been registered yet.

pub fn check( self, level: ConformanceLevel, invariant: impl Into<String>, run: impl FnMut() -> ConformanceCheckResult + 'static, ) -> Self

Registers an executable conformance check.

pub fn unsupported( self, level: ConformanceLevel, reason: impl Into<String>, ) -> Self

Marks a level unsupported with an explicit reason.

pub fn run(self) -> Result<ConformanceReport, ConformanceFailure>

Runs all checks and returns supported/unsupported level reporting.