camfort-1.1.0: CamFort - Cambridge Fortran infrastructure
Safe HaskellNone
LanguageHaskell2010

Camfort.Analysis.Simple

Documentation

countVariableDeclarations :: forall a. Data a => ProgramFile a -> PureAnalysis () () VarCountReport Source #

checkImplicitNone :: forall a. Data a => Bool -> ProgramFile a -> PureAnalysis String () ImplicitNoneReport Source #

data ImplicitNoneReport Source #

Constructors

ImplicitNoneReport [PULoc]

list of program units identified as needing implicit none

Instances

Instances details
Generic ImplicitNoneReport Source # 
Instance details

Defined in Camfort.Analysis.Simple

Associated Types

type Rep ImplicitNoneReport :: Type -> Type #

Semigroup ImplicitNoneReport Source # 
Instance details

Defined in Camfort.Analysis.Simple

Monoid ImplicitNoneReport Source # 
Instance details

Defined in Camfort.Analysis.Simple

NFData ImplicitNoneReport Source # 
Instance details

Defined in Camfort.Analysis.Simple

Methods

rnf :: ImplicitNoneReport -> () #

Describe ImplicitNoneReport Source # 
Instance details

Defined in Camfort.Analysis.Simple

ExitCodeOfReport ImplicitNoneReport Source # 
Instance details

Defined in Camfort.Analysis.Simple

type Rep ImplicitNoneReport Source # 
Instance details

Defined in Camfort.Analysis.Simple

checkAllocateStatements :: forall a. Data a => ProgramFile a -> PureAnalysis String () CheckAllocReport Source #

checkFloatingPointUse :: forall a. Data a => ProgramFile a -> PureAnalysis String () CheckFPReport Source #

checkModuleUse :: forall a. Data a => ProgramFile a -> PureAnalysis String () CheckUseReport Source #

checkArrayUse :: forall a. Data a => ProgramFile a -> PureAnalysis String () CheckArrayReport Source #