camfort-1.0.1: 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 #

Methods

from :: ImplicitNoneReport -> Rep ImplicitNoneReport x #

to :: Rep ImplicitNoneReport x -> ImplicitNoneReport #

Semigroup ImplicitNoneReport Source # 
Instance details

Defined in Camfort.Analysis.Simple

Methods

(<>) :: ImplicitNoneReport -> ImplicitNoneReport -> ImplicitNoneReport #

sconcat :: NonEmpty ImplicitNoneReport -> ImplicitNoneReport #

stimes :: Integral b => b -> ImplicitNoneReport -> ImplicitNoneReport #

Monoid ImplicitNoneReport Source # 
Instance details

Defined in Camfort.Analysis.Simple

Methods

mempty :: ImplicitNoneReport #

mappend :: ImplicitNoneReport -> ImplicitNoneReport -> ImplicitNoneReport #

mconcat :: [ImplicitNoneReport] -> ImplicitNoneReport #

NFData ImplicitNoneReport Source # 
Instance details

Defined in Camfort.Analysis.Simple

Methods

rnf :: ImplicitNoneReport -> () #

Describe ImplicitNoneReport Source # 
Instance details

Defined in Camfort.Analysis.Simple

Methods

describe :: ImplicitNoneReport -> Text Source #

describeBuilder :: ImplicitNoneReport -> Builder Source #

ExitCodeOfReport ImplicitNoneReport Source # 
Instance details

Defined in Camfort.Analysis.Simple

Methods

exitCodeOf :: ImplicitNoneReport -> Int Source #

exitCodeOfSet :: [ImplicitNoneReport] -> Int Source #

type Rep ImplicitNoneReport Source # 
Instance details

Defined in Camfort.Analysis.Simple

type Rep ImplicitNoneReport

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 #