Camfort.Analysis.Simple

Documentation

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

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

data ImplicitNoneReport

Constructors

ImplicitNoneReport [PULoc]

list of program units identified as needing implicit none

Instances

Generic ImplicitNoneReport

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

Defined in Camfort.Analysis.Simple

Methods

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

sconcat :: NonEmpty ImplicitNoneReport -> ImplicitNoneReport

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

Monoid ImplicitNoneReport

Defined in Camfort.Analysis.Simple

Methods

mempty :: ImplicitNoneReport

mappend :: ImplicitNoneReport -> ImplicitNoneReport -> ImplicitNoneReport

mconcat :: [ImplicitNoneReport] -> ImplicitNoneReport

NFData ImplicitNoneReport

Defined in Camfort.Analysis.Simple

Methods

rnf :: ImplicitNoneReport -> ()

Describe ImplicitNoneReport

Defined in Camfort.Analysis.Simple

Methods

describe :: ImplicitNoneReport -> Text

describeBuilder :: ImplicitNoneReport -> Builder

ExitCodeOfReport ImplicitNoneReport

Defined in Camfort.Analysis.Simple

Methods

exitCodeOf :: ImplicitNoneReport -> Int

exitCodeOfSet :: [ImplicitNoneReport] -> Int

type Rep ImplicitNoneReport

Defined in Camfort.Analysis.Simple

type Rep ImplicitNoneReport

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

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

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

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