saealib.core.CompilationRule#

class saealib.core.CompilationRule(*args, **kwargs)[source]#

Bases: Protocol

Common metadata and application boundary for compiler rules.

Methods

__init__

apply

Apply this rule to the current rule context.

Method Details

CompilationRule.__init__(*args, **kwargs)#
CompilationRule.apply(context)[source]#

Apply this rule to the current rule context.

Parameters:

context (RuleContext)

Return type:

VerificationResult | ResolutionResult