Camfort.Specification.Stencils.CheckFrontend

Stencil checking

stencilChecking :: ProgramFile (Analysis A) -> CheckResult

Validation Results

data CheckResult

Instances

Eq CheckResult

Methods

(==) :: CheckResult -> CheckResult -> Bool

(/=) :: CheckResult -> CheckResult -> Bool

Show CheckResult

Methods

showsPrec :: Int -> CheckResult -> ShowS

show :: CheckResult -> String

showList :: [CheckResult] -> ShowS

checkFailure :: CheckResult -> Maybe CheckError

Retrieve the checks for invalid stencils from a CheckResult. Result is Nothing if there are no invalid checks.

checkWarnings :: CheckResult -> Maybe CheckWarning

Helpers

existingStencils :: CheckResult -> [(Specification, SrcSpan, Variable)]