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

Camfort.Analysis.Simple

Documentation

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

data ImplicitNoneReport Source #

Constructors

ImplicitNoneReport [PULoc]

list of program units identified as needing implicit none

Instances

Instances details
Monoid ImplicitNoneReport Source # 
Instance details

Defined in Camfort.Analysis.Simple

Semigroup ImplicitNoneReport Source # 
Instance details

Defined in Camfort.Analysis.Simple

Generic ImplicitNoneReport Source # 
Instance details

Defined in Camfort.Analysis.Simple

Associated Types

type Rep ImplicitNoneReport :: Type -> Type #

ExitCodeOfReport ImplicitNoneReport Source # 
Instance details

Defined in Camfort.Analysis.Simple

Describe ImplicitNoneReport Source # 
Instance details

Defined in Camfort.Analysis.Simple

NFData ImplicitNoneReport Source # 
Instance details

Defined in Camfort.Analysis.Simple

Methods

rnf :: ImplicitNoneReport -> () #

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 #