| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Camfort.Specification.Stencils.CheckFrontend
- stencilChecking :: ProgramFile (Analysis A) -> CheckResult
- data CheckResult
- checkFailure :: CheckResult -> Maybe CheckError
- checkWarnings :: CheckResult -> Maybe CheckWarning
- existingStencils :: CheckResult -> [(Specification, SrcSpan, Variable)]
Stencil checking
stencilChecking :: ProgramFile (Analysis A) -> CheckResult Source #
Validation Results
data CheckResult Source #
Instances
checkFailure :: CheckResult -> Maybe CheckError Source #
Retrieve the checks for invalid stencils from a CheckResult. Result is
Nothing if there are no invalid checks.
checkWarnings :: CheckResult -> Maybe CheckWarning Source #
Helpers
existingStencils :: CheckResult -> [(Specification, SrcSpan, Variable)] Source #