pub trait ValidationRule: Send + Sync {
// Required methods
fn validate(&self, ir: &IntermediateRepresentation) -> ValidationReport;
fn name(&self) -> &str;
}
Expand description
Validation rule trait
Required Methods§
Sourcefn validate(&self, ir: &IntermediateRepresentation) -> ValidationReport
fn validate(&self, ir: &IntermediateRepresentation) -> ValidationReport
Validate IR against this rule