Safe Haskell	None
Language	Haskell2010

Language.Fortran.Analysis

Contents

Orphan instances

Description

Common data structures and functions supporting analysis of the AST.

Synopsis

initAnalysis :: Functor b => b a -> b (Analysis a)
stripAnalysis :: Functor b => b (Analysis a) -> b a
data Analysis a = Analysis {
- prevAnnotation :: a
- uniqueName :: Maybe String
- sourceName :: Maybe String
- bBlocks :: Maybe (BBGr (Analysis a))
- insLabel :: Maybe Int
- moduleEnv :: Maybe ModEnv
- idType :: Maybe IDType
- allLhsVarsAnn :: [Name]
- constExp :: Maybe Constant
}
data Constant
- = ConstInt Integer
- | ConstUninterpInt String
- | ConstUninterpReal String
- | ConstBinary BinaryOp Constant Constant
- | ConstUnary UnaryOp Constant
varName :: Expression (Analysis a) -> String
srcName :: Expression (Analysis a) -> String
lvVarName :: LValue (Analysis a) -> String
lvSrcName :: LValue (Analysis a) -> String
isNamedExpression :: Expression a -> Bool
genVar :: Analysis a -> SrcSpan -> String -> Expression (Analysis a)
puName :: ProgramUnit (Analysis a) -> ProgramUnitName
puSrcName :: ProgramUnit (Analysis a) -> ProgramUnitName
blockRhsExprs :: Data a => Block a -> [Expression a]
rhsExprs :: (Data a, Data (b a)) => b a -> [Expression a]
type ModEnv = Map String (String, NameType)
data NameType
- = NTSubprogram
- | NTVariable
- | NTIntrinsic
data IDType = IDType {
- idVType :: Maybe BaseType
- idCType :: Maybe ConstructType
}
data ConstructType
- = CTFunction
- | CTSubroutine
- | CTExternal
- | CTVariable
- | CTArray [(Maybe Int, Maybe Int)]
- | CTParameter
- | CTIntrinsic
data BaseType
- = TypeInteger
- | TypeReal
- | TypeDoublePrecision
- | TypeComplex
- | TypeDoubleComplex
- | TypeLogical
- | TypeCharacter (Maybe CharacterLen) (Maybe String)
- | TypeCustom String
- | ClassStar
- | ClassCustom String
- | TypeByte
lhsExprs :: forall a b. (Data a, Data (b a)) => b a -> [Expression a]
isLExpr :: Expression a -> Bool
allVars :: forall a b. (Data a, Data (b (Analysis a))) => b (Analysis a) -> [Name]
analyseAllLhsVars :: forall a. Data a => ProgramFile (Analysis a) -> ProgramFile (Analysis a)
analyseAllLhsVars1 :: (Annotated f, Data (f (Analysis a)), Data a) => f (Analysis a) -> f (Analysis a)
allLhsVars :: Data a => Block (Analysis a) -> [Name]
blockVarUses :: forall a. Data a => Block (Analysis a) -> [Name]
blockVarDefs :: Data a => Block (Analysis a) -> [Name]
type BB a = [Block a]
type BBNode = Int
data BBGr a = BBGr {
- bbgrGr :: Gr (BB a) ()
- bbgrEntries :: [Node]
- bbgrExits :: [Node]
}
bbgrMap :: (Gr (BB a) () -> Gr (BB b) ()) -> BBGr a -> BBGr b
bbgrMapM :: Monad m => (Gr (BB a1) () -> m (Gr (BB a2) ())) -> BBGr a1 -> m (BBGr a2)
bbgrEmpty :: BBGr a
type TransFunc f g a = (f (Analysis a) -> f (Analysis a)) -> g (Analysis a) -> g (Analysis a)
type TransFuncM m f g a = (f (Analysis a) -> m (f (Analysis a))) -> g (Analysis a) -> m (g (Analysis a))

Documentation

initAnalysis :: Functor b => b a -> b (Analysis a) Source #

Create analysis annotations for the program, saving the original annotations.

stripAnalysis :: Functor b => b (Analysis a) -> b a Source #

Remove analysis annotations from the program, restoring the original annotations.

data Analysis a Source #

Constructors

Analysis

Fields

prevAnnotation :: a
original annotation
uniqueName :: Maybe String
unique name for function/variable, after variable renaming phase
sourceName :: Maybe String
original name for function/variable found in source text
bBlocks :: Maybe (BBGr (Analysis a))
basic block graph
insLabel :: Maybe Int
unique number for each block during dataflow analysis
moduleEnv :: Maybe ModEnv
idType :: Maybe IDType
allLhsVarsAnn :: [Name]
constExp :: Maybe Constant

Instances

Instances details

Functor Analysis Source #
Instance details Defined in Language.Fortran.Analysis Methods fmap :: (a -> b) -> Analysis a -> Analysis b # (<$) :: a -> Analysis b -> Analysis a #
Eq a => Eq (Analysis a) Source #
Instance details Defined in Language.Fortran.Analysis Methods (==) :: Analysis a -> Analysis a -> Bool # (/=) :: Analysis a -> Analysis a -> Bool #
Data a => Data (Analysis a) Source #
Instance details Defined in Language.Fortran.Analysis Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Analysis a -> c (Analysis a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Analysis a) # toConstr :: Analysis a -> Constr # dataTypeOf :: Analysis a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Analysis a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Analysis a)) # gmapT :: (forall b. Data b => b -> b) -> Analysis a -> Analysis a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Analysis a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Analysis a -> r # gmapQ :: (forall d. Data d => d -> u) -> Analysis a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Analysis a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Analysis a -> m (Analysis a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Analysis a -> m (Analysis a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Analysis a -> m (Analysis a) #
Show a => Show (Analysis a) Source #
Instance details Defined in Language.Fortran.Analysis Methods showsPrec :: Int -> Analysis a -> ShowS # show :: Analysis a -> String # showList :: [Analysis a] -> ShowS #
Generic (Analysis a) Source #
Instance details Defined in Language.Fortran.Analysis Associated Types type Rep (Analysis a) :: Type -> Type # Methods from :: Analysis a -> Rep (Analysis a) x # to :: Rep (Analysis a) x -> Analysis a #
Out (Analysis a) Source #
Instance details Defined in Language.Fortran.Analysis Methods docPrec :: Int -> Analysis a -> Doc doc :: Analysis a -> Doc docList :: [Analysis a] -> Doc
type Rep (Analysis a) Source #
Instance details Defined in Language.Fortran.Analysis type Rep (Analysis a) = D1 ('MetaData "Analysis" "Language.Fortran.Analysis" "fortran-src-0.4.2-inplace" 'False) (C1 ('MetaCons "Analysis" 'PrefixI 'True) (((S1 ('MetaSel ('Just "prevAnnotation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :: S1 ('MetaSel ('Just "uniqueName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String))) :: (S1 ('MetaSel ('Just "sourceName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String)) :: S1 ('MetaSel ('Just "bBlocks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (BBGr (Analysis a)))))) :: ((S1 ('MetaSel ('Just "insLabel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int)) :: S1 ('MetaSel ('Just "moduleEnv") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ModEnv))) :: (S1 ('MetaSel ('Just "idType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe IDType)) :: (S1 ('MetaSel ('Just "allLhsVarsAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Name]) :: S1 ('MetaSel ('Just "constExp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Constant)))))))

data Constant Source #

Information about potential / actual constant expressions.

Constructors

ConstInt Integer	interpreted integer
ConstUninterpInt String	uninterpreted integer
ConstUninterpReal String	uninterpreted real
ConstBinary BinaryOp Constant Constant	binary operation on potential constants
ConstUnary UnaryOp Constant	unary operation on potential constants

Instances

Instances details

Eq Constant Source #
Instance details Defined in Language.Fortran.Analysis Methods (==) :: Constant -> Constant -> Bool # (/=) :: Constant -> Constant -> Bool #
Data Constant Source #
Instance details Defined in Language.Fortran.Analysis Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Constant -> c Constant # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Constant # toConstr :: Constant -> Constr # dataTypeOf :: Constant -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Constant) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Constant) # gmapT :: (forall b. Data b => b -> b) -> Constant -> Constant # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Constant -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Constant -> r # gmapQ :: (forall d. Data d => d -> u) -> Constant -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Constant -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Constant -> m Constant # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Constant -> m Constant # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Constant -> m Constant #
Ord Constant Source #
Instance details Defined in Language.Fortran.Analysis Methods compare :: Constant -> Constant -> Ordering # (<) :: Constant -> Constant -> Bool # (<=) :: Constant -> Constant -> Bool # (>) :: Constant -> Constant -> Bool # (>=) :: Constant -> Constant -> Bool # max :: Constant -> Constant -> Constant # min :: Constant -> Constant -> Constant #
Show Constant Source #
Instance details Defined in Language.Fortran.Analysis Methods showsPrec :: Int -> Constant -> ShowS # show :: Constant -> String # showList :: [Constant] -> ShowS #
Generic Constant Source #
Instance details Defined in Language.Fortran.Analysis Associated Types type Rep Constant :: Type -> Type # Methods from :: Constant -> Rep Constant x # to :: Rep Constant x -> Constant #
Binary Constant Source #
Instance details Defined in Language.Fortran.Analysis Methods put :: Constant -> Put # get :: Get Constant # putList :: [Constant] -> Put #
Out Constant Source #
Instance details Defined in Language.Fortran.Analysis Methods docPrec :: Int -> Constant -> Doc doc :: Constant -> Doc docList :: [Constant] -> Doc
type Rep Constant Source #
Instance details Defined in Language.Fortran.Analysis type Rep Constant = D1 ('MetaData "Constant" "Language.Fortran.Analysis" "fortran-src-0.4.2-inplace" 'False) ((C1 ('MetaCons "ConstInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :+: C1 ('MetaCons "ConstUninterpInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "ConstUninterpReal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: (C1 ('MetaCons "ConstBinary" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BinaryOp) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Constant) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Constant))) :+: C1 ('MetaCons "ConstUnary" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnaryOp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Constant)))))

varName :: Expression (Analysis a) -> String Source #

Obtain either uniqueName or source name from an ExpValue variable.

srcName :: Expression (Analysis a) -> String Source #

Obtain the source name from an ExpValue variable.

lvVarName :: LValue (Analysis a) -> String Source #

Obtain either uniqueName or source name from an LvSimpleVar variable.

lvSrcName :: LValue (Analysis a) -> String Source #

Obtain the source name from an LvSimpleVar variable.

isNamedExpression :: Expression a -> Bool Source #

True iff the expression can be used with varName or srcName

genVar :: Analysis a -> SrcSpan -> String -> Expression (Analysis a) Source #

Generate an ExpValue variable with its source name == to its uniqueName.

puName :: ProgramUnit (Analysis a) -> ProgramUnitName Source #

Obtain either ProgramUnit uniqueName or whatever is in the AST.

puSrcName :: ProgramUnit (Analysis a) -> ProgramUnitName Source #

Obtain either ProgramUnit sourceName or whatever is in the AST.

blockRhsExprs :: Data a => Block a -> [Expression a] Source #

Set of expressions used -- not defined -- by an AST-block.

rhsExprs :: (Data a, Data (b a)) => b a -> [Expression a] Source #

Return list of expressions that are not "left-hand-side" of assignment statements.

type ModEnv = Map String (String, NameType) Source #

data NameType Source #

Constructors

NTSubprogram
NTVariable
NTIntrinsic

Instances

Instances details

Eq NameType Source #
Instance details Defined in Language.Fortran.Analysis Methods (==) :: NameType -> NameType -> Bool # (/=) :: NameType -> NameType -> Bool #
Data NameType Source #
Instance details Defined in Language.Fortran.Analysis Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NameType -> c NameType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NameType # toConstr :: NameType -> Constr # dataTypeOf :: NameType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NameType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NameType) # gmapT :: (forall b. Data b => b -> b) -> NameType -> NameType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NameType -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NameType -> r # gmapQ :: (forall d. Data d => d -> u) -> NameType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> NameType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> NameType -> m NameType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NameType -> m NameType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NameType -> m NameType #
Ord NameType Source #
Instance details Defined in Language.Fortran.Analysis Methods compare :: NameType -> NameType -> Ordering # (<) :: NameType -> NameType -> Bool # (<=) :: NameType -> NameType -> Bool # (>) :: NameType -> NameType -> Bool # (>=) :: NameType -> NameType -> Bool # max :: NameType -> NameType -> NameType # min :: NameType -> NameType -> NameType #
Show NameType Source #
Instance details Defined in Language.Fortran.Analysis Methods showsPrec :: Int -> NameType -> ShowS # show :: NameType -> String # showList :: [NameType] -> ShowS #
Generic NameType Source #
Instance details Defined in Language.Fortran.Analysis Associated Types type Rep NameType :: Type -> Type # Methods from :: NameType -> Rep NameType x # to :: Rep NameType x -> NameType #
Binary NameType Source #
Instance details Defined in Language.Fortran.Analysis Methods put :: NameType -> Put # get :: Get NameType # putList :: [NameType] -> Put #
Out NameType Source #
Instance details Defined in Language.Fortran.Analysis Methods docPrec :: Int -> NameType -> Doc doc :: NameType -> Doc docList :: [NameType] -> Doc
type Rep NameType Source #
Instance details Defined in Language.Fortran.Analysis type Rep NameType = D1 ('MetaData "NameType" "Language.Fortran.Analysis" "fortran-src-0.4.2-inplace" 'False) (C1 ('MetaCons "NTSubprogram" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NTVariable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NTIntrinsic" 'PrefixI 'False) (U1 :: Type -> Type)))

data IDType Source #

Constructors

IDType
Fields idVType :: Maybe BaseType idCType :: Maybe ConstructType

Instances

Instances details

Eq IDType Source #
Instance details Defined in Language.Fortran.Analysis Methods (==) :: IDType -> IDType -> Bool # (/=) :: IDType -> IDType -> Bool #
Data IDType Source #
Instance details Defined in Language.Fortran.Analysis Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IDType -> c IDType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c IDType # toConstr :: IDType -> Constr # dataTypeOf :: IDType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c IDType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c IDType) # gmapT :: (forall b. Data b => b -> b) -> IDType -> IDType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IDType -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IDType -> r # gmapQ :: (forall d. Data d => d -> u) -> IDType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> IDType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> IDType -> m IDType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IDType -> m IDType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IDType -> m IDType #
Ord IDType Source #
Instance details Defined in Language.Fortran.Analysis Methods compare :: IDType -> IDType -> Ordering # (<) :: IDType -> IDType -> Bool # (<=) :: IDType -> IDType -> Bool # (>) :: IDType -> IDType -> Bool # (>=) :: IDType -> IDType -> Bool # max :: IDType -> IDType -> IDType # min :: IDType -> IDType -> IDType #
Show IDType Source #
Instance details Defined in Language.Fortran.Analysis Methods showsPrec :: Int -> IDType -> ShowS # show :: IDType -> String # showList :: [IDType] -> ShowS #
Generic IDType Source #
Instance details Defined in Language.Fortran.Analysis Associated Types type Rep IDType :: Type -> Type # Methods from :: IDType -> Rep IDType x # to :: Rep IDType x -> IDType #
Binary IDType Source #
Instance details Defined in Language.Fortran.Analysis Methods put :: IDType -> Put # get :: Get IDType # putList :: [IDType] -> Put #
Out IDType Source #
Instance details Defined in Language.Fortran.Analysis Methods docPrec :: Int -> IDType -> Doc doc :: IDType -> Doc docList :: [IDType] -> Doc
type Rep IDType Source #
Instance details Defined in Language.Fortran.Analysis type Rep IDType = D1 ('MetaData "IDType" "Language.Fortran.Analysis" "fortran-src-0.4.2-inplace" 'False) (C1 ('MetaCons "IDType" 'PrefixI 'True) (S1 ('MetaSel ('Just "idVType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe BaseType)) :*: S1 ('MetaSel ('Just "idCType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ConstructType))))

data ConstructType Source #

Constructors

CTFunction
CTSubroutine
CTExternal
CTVariable
CTArray [(Maybe Int, Maybe Int)]
CTParameter
CTIntrinsic

Instances

Instances details

Eq ConstructType Source #
Instance details Defined in Language.Fortran.Analysis Methods (==) :: ConstructType -> ConstructType -> Bool # (/=) :: ConstructType -> ConstructType -> Bool #
Data ConstructType Source #
Instance details Defined in Language.Fortran.Analysis Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ConstructType -> c ConstructType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ConstructType # toConstr :: ConstructType -> Constr # dataTypeOf :: ConstructType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ConstructType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ConstructType) # gmapT :: (forall b. Data b => b -> b) -> ConstructType -> ConstructType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ConstructType -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ConstructType -> r # gmapQ :: (forall d. Data d => d -> u) -> ConstructType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ConstructType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ConstructType -> m ConstructType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ConstructType -> m ConstructType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ConstructType -> m ConstructType #
Ord ConstructType Source #
Instance details Defined in Language.Fortran.Analysis Methods compare :: ConstructType -> ConstructType -> Ordering # (<) :: ConstructType -> ConstructType -> Bool # (<=) :: ConstructType -> ConstructType -> Bool # (>) :: ConstructType -> ConstructType -> Bool # (>=) :: ConstructType -> ConstructType -> Bool # max :: ConstructType -> ConstructType -> ConstructType # min :: ConstructType -> ConstructType -> ConstructType #
Show ConstructType Source #
Instance details Defined in Language.Fortran.Analysis Methods showsPrec :: Int -> ConstructType -> ShowS # show :: ConstructType -> String # showList :: [ConstructType] -> ShowS #
Generic ConstructType Source #
Instance details Defined in Language.Fortran.Analysis Associated Types type Rep ConstructType :: Type -> Type # Methods from :: ConstructType -> Rep ConstructType x # to :: Rep ConstructType x -> ConstructType #
Binary ConstructType Source #
Instance details Defined in Language.Fortran.Analysis Methods put :: ConstructType -> Put # get :: Get ConstructType # putList :: [ConstructType] -> Put #
Out ConstructType Source #
Instance details Defined in Language.Fortran.Analysis Methods docPrec :: Int -> ConstructType -> Doc doc :: ConstructType -> Doc docList :: [ConstructType] -> Doc
type Rep ConstructType Source #
Instance details Defined in Language.Fortran.Analysis type Rep ConstructType = D1 ('MetaData "ConstructType" "Language.Fortran.Analysis" "fortran-src-0.4.2-inplace" 'False) ((C1 ('MetaCons "CTFunction" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CTSubroutine" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CTExternal" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "CTVariable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CTArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Maybe Int, Maybe Int)]))) :+: (C1 ('MetaCons "CTParameter" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CTIntrinsic" 'PrefixI 'False) (U1 :: Type -> Type))))

data BaseType Source #

Constructors

TypeInteger
TypeReal
TypeDoublePrecision
TypeComplex
TypeDoubleComplex
TypeLogical
TypeCharacter (Maybe CharacterLen) (Maybe String)	len and kind, if specified
TypeCustom String
ClassStar
ClassCustom String
TypeByte

Instances

Instances details

Eq BaseType Source #
Instance details Defined in Language.Fortran.AST Methods (==) :: BaseType -> BaseType -> Bool # (/=) :: BaseType -> BaseType -> Bool #
Data BaseType Source #
Instance details Defined in Language.Fortran.AST Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BaseType -> c BaseType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BaseType # toConstr :: BaseType -> Constr # dataTypeOf :: BaseType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BaseType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BaseType) # gmapT :: (forall b. Data b => b -> b) -> BaseType -> BaseType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BaseType -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BaseType -> r # gmapQ :: (forall d. Data d => d -> u) -> BaseType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> BaseType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BaseType -> m BaseType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BaseType -> m BaseType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BaseType -> m BaseType #
Ord BaseType Source #
Instance details Defined in Language.Fortran.AST Methods compare :: BaseType -> BaseType -> Ordering # (<) :: BaseType -> BaseType -> Bool # (<=) :: BaseType -> BaseType -> Bool # (>) :: BaseType -> BaseType -> Bool # (>=) :: BaseType -> BaseType -> Bool # max :: BaseType -> BaseType -> BaseType # min :: BaseType -> BaseType -> BaseType #
Show BaseType Source #
Instance details Defined in Language.Fortran.AST Methods showsPrec :: Int -> BaseType -> ShowS # show :: BaseType -> String # showList :: [BaseType] -> ShowS #
Generic BaseType Source #
Instance details Defined in Language.Fortran.AST Associated Types type Rep BaseType :: Type -> Type # Methods from :: BaseType -> Rep BaseType x # to :: Rep BaseType x -> BaseType #
Binary BaseType Source #
Instance details Defined in Language.Fortran.AST Methods put :: BaseType -> Put # get :: Get BaseType # putList :: [BaseType] -> Put #
NFData BaseType Source #
Instance details Defined in Language.Fortran.AST Methods rnf :: BaseType -> () #
Out BaseType Source #
Instance details Defined in Language.Fortran.AST Methods docPrec :: Int -> BaseType -> Doc doc :: BaseType -> Doc docList :: [BaseType] -> Doc
Pretty BaseType Source #
Instance details Defined in Language.Fortran.PrettyPrint Methods pprint' :: FortranVersion -> BaseType -> Doc Source #
type Rep BaseType Source #
Instance details Defined in Language.Fortran.AST type Rep BaseType = D1 ('MetaData "BaseType" "Language.Fortran.AST" "fortran-src-0.4.2-inplace" 'False) (((C1 ('MetaCons "TypeInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TypeReal" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TypeDoublePrecision" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TypeComplex" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TypeDoubleComplex" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "TypeLogical" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TypeCharacter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe CharacterLen)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String))) :+: C1 ('MetaCons "TypeCustom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))) :+: (C1 ('MetaCons "ClassStar" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ClassCustom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "TypeByte" 'PrefixI 'False) (U1 :: Type -> Type)))))

lhsExprs :: forall a b. (Data a, Data (b a)) => b a -> [Expression a] Source #

Return list of expressions used as the left-hand-side of assignment statements (including for-loops and function-calls by reference).

isLExpr :: Expression a -> Bool Source #

Is this an expression capable of assignment?

allVars :: forall a b. (Data a, Data (b (Analysis a))) => b (Analysis a) -> [Name] Source #

Set of names found in an AST node.

analyseAllLhsVars :: forall a. Data a => ProgramFile (Analysis a) -> ProgramFile (Analysis a) Source #

Initiate (lazy) computation of all LHS variables for each node of the AST so that it may be accessed later.

analyseAllLhsVars1 :: (Annotated f, Data (f (Analysis a)), Data a) => f (Analysis a) -> f (Analysis a) Source #

allLhsVars :: Data a => Block (Analysis a) -> [Name] Source #

Set of names found in the parts of an AST that are the target of an assignment statement. allLhsVars :: (Annotated b, Data a, Data (b (Analysis a))) => b (Analysis a) -> [Name]

blockVarUses :: forall a. Data a => Block (Analysis a) -> [Name] Source #

Set of names used -- not defined -- by an AST-block.

blockVarDefs :: Data a => Block (Analysis a) -> [Name] Source #

Set of names defined by an AST-block.

type BB a = [Block a] Source #

Basic block

type BBNode = Int Source #

data BBGr a Source #

Basic block graph.

Constructors

BBGr
Fields bbgrGr :: Gr (BB a) () the underlying graph bbgrEntries :: [Node] the entry node(s) bbgrExits :: [Node] the exit node(s)

Instances

Instances details

Eq a => Eq (BBGr a) Source #
Instance details Defined in Language.Fortran.Analysis Methods (==) :: BBGr a -> BBGr a -> Bool # (/=) :: BBGr a -> BBGr a -> Bool #
Data a => Data (BBGr a) Source #
Instance details Defined in Language.Fortran.Analysis Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BBGr a -> c (BBGr a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (BBGr a) # toConstr :: BBGr a -> Constr # dataTypeOf :: BBGr a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (BBGr a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (BBGr a)) # gmapT :: (forall b. Data b => b -> b) -> BBGr a -> BBGr a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BBGr a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BBGr a -> r # gmapQ :: (forall d. Data d => d -> u) -> BBGr a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> BBGr a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BBGr a -> m (BBGr a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BBGr a -> m (BBGr a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BBGr a -> m (BBGr a) #
Show a => Show (BBGr a) Source #
Instance details Defined in Language.Fortran.Analysis Methods showsPrec :: Int -> BBGr a -> ShowS # show :: BBGr a -> String # showList :: [BBGr a] -> ShowS #
Generic (BBGr a) Source #
Instance details Defined in Language.Fortran.Analysis Associated Types type Rep (BBGr a) :: Type -> Type # Methods from :: BBGr a -> Rep (BBGr a) x # to :: Rep (BBGr a) x -> BBGr a #
type Rep (BBGr a) Source #
Instance details Defined in Language.Fortran.Analysis type Rep (BBGr a) = D1 ('MetaData "BBGr" "Language.Fortran.Analysis" "fortran-src-0.4.2-inplace" 'False) (C1 ('MetaCons "BBGr" 'PrefixI 'True) (S1 ('MetaSel ('Just "bbgrGr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Gr (BB a) ())) :: (S1 ('MetaSel ('Just "bbgrEntries") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Node]) :: S1 ('MetaSel ('Just "bbgrExits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Node]))))

bbgrMap :: (Gr (BB a) () -> Gr (BB b) ()) -> BBGr a -> BBGr b Source #

Call function on the underlying graph

bbgrMapM :: Monad m => (Gr (BB a1) () -> m (Gr (BB a2) ())) -> BBGr a1 -> m (BBGr a2) Source #

Monadically call function on the underlying graph

bbgrEmpty :: BBGr a Source #

Empty basic block graph

type TransFunc f g a = (f (Analysis a) -> f (Analysis a)) -> g (Analysis a) -> g (Analysis a) Source #

The type of "transformBi"-family functions

type TransFuncM m f g a = (f (Analysis a) -> m (f (Analysis a))) -> g (Analysis a) -> m (g (Analysis a)) Source #

The type of "transformBiM"-family functions

Orphan instances

(Typeable a, Typeable b) => Data (Gr a b) Source #

Instance details

Methods

gfoldl :: (forall d b0. Data d => c (d -> b0) -> d -> c b0) -> (forall g. g -> c g) -> Gr a b -> c (Gr a b) #

gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Gr a b) #

toConstr :: Gr a b -> Constr #

dataTypeOf :: Gr a b -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Gr a b)) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Gr a b)) #

gmapT :: (forall b0. Data b0 => b0 -> b0) -> Gr a b -> Gr a b #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Gr a b -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Gr a b -> r #

gmapQ :: (forall d. Data d => d -> u) -> Gr a b -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Gr a b -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Gr a b -> m (Gr a b) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Gr a b -> m (Gr a b) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Gr a b -> m (Gr a b) #