camfort-1.2.0: CamFort - Cambridge Fortran infrastructure
Safe HaskellSafe-Inferred
LanguageHaskell2010

Camfort.Specification.Stencils.CheckFrontend

Synopsis

Stencil checking

stencilChecking :: ProgramFile SA -> StencilsAnalysis CheckResult Source #

Validation Results

data CheckResult Source #

Instances

Instances details
Show CheckResult Source # 
Instance details

Defined in Camfort.Specification.Stencils.CheckFrontend

Methods

showsPrec :: Int -> CheckResult -> ShowS #

show :: CheckResult -> String #

showList :: [CheckResult] -> ShowS #

ExitCodeOfReport CheckResult Source # 
Instance details

Defined in Camfort.Specification.Stencils.CheckFrontend

Methods

exitCodeOf :: CheckResult -> Int Source #

exitCodeOfSet :: [CheckResult] -> Int Source #

Describe CheckResult Source # 
Instance details

Defined in Camfort.Specification.Stencils.CheckFrontend

Methods

describe :: CheckResult -> Text Source #

describeBuilder :: CheckResult -> Builder Source #

NFData CheckResult Source # 
Instance details

Defined in Camfort.Specification.Stencils.CheckFrontend

Methods

rnf :: CheckResult -> () #

Eq CheckResult Source # 
Instance details

Defined in Camfort.Specification.Stencils.CheckFrontend

Methods

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

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

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 #