Skip to main content

ValidationPass

vil_validate::traits

Trait ValidationPass 

Source 
pub trait ValidationPass {
    // Required methods
    fn name(&self) -> &'static str;
    fn run(&self, ir: &WorkflowIR) -> ValidationReport;
}
Expand description

Contract for a validation pass.

Required Methods§

Source

fn name(&self) -> &'static str

Short name identifying this pass (e.g. “LayoutLegalityPass”).

Source

fn run(&self, ir: &WorkflowIR) -> ValidationReport

Run validation against the entire workflow IR.

Implementors§