Language.Fortran.Analysis

Common data structures and functions supporting analysis of the AST.

Documentation

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

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

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

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

data Analysis a

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

Functor Analysis

Defined in Language.Fortran.Analysis

Methods

fmap :: (a -> b) -> Analysis a -> Analysis b

(<$) :: a -> Analysis b -> Analysis a

Eq a => Eq (Analysis a)

Defined in Language.Fortran.Analysis

Methods

(==) :: Analysis a -> Analysis a -> Bool

(/=) :: Analysis a -> Analysis a -> Bool

Data a => Data (Analysis a)

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 :: (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)

Defined in Language.Fortran.Analysis

Methods

showsPrec :: Int -> Analysis a -> ShowS

show :: Analysis a -> String

showList :: [Analysis a] -> ShowS

Generic (Analysis a)

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)

Defined in Language.Fortran.Analysis

Methods

docPrec :: Int -> Analysis a -> Doc

doc :: Analysis a -> Doc

docList :: [Analysis a] -> Doc

type Rep (Analysis a)

Defined in Language.Fortran.Analysis

type Rep (Analysis a) = D1 (MetaData "Analysis" "Language.Fortran.Analysis" "fortran-src-0.3.0-HYtHVMLWYXtCtJd9jdxIfb" 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

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

Eq Constant

Defined in Language.Fortran.Analysis

Methods

(==) :: Constant -> Constant -> Bool

(/=) :: Constant -> Constant -> Bool

Data Constant

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 :: (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

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

Defined in Language.Fortran.Analysis

Methods

showsPrec :: Int -> Constant -> ShowS

show :: Constant -> String

showList :: [Constant] -> ShowS

Generic Constant

Defined in Language.Fortran.Analysis

Associated Types

type Rep Constant :: Type -> Type

Methods

from :: Constant -> Rep Constant x

to :: Rep Constant x -> Constant

Out Constant

Defined in Language.Fortran.Analysis

Methods

docPrec :: Int -> Constant -> Doc

doc :: Constant -> Doc

docList :: [Constant] -> Doc

Binary Constant

Defined in Language.Fortran.Analysis

Methods

put :: Constant -> Put

get :: Get Constant

putList :: [Constant] -> Put

type Rep Constant

Defined in Language.Fortran.Analysis

type Rep Constant = D1 (MetaData "Constant" "Language.Fortran.Analysis" "fortran-src-0.3.0-HYtHVMLWYXtCtJd9jdxIfb" 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

Obtain either uniqueName or source name from an ExpValue variable.

srcName :: Expression (Analysis a) -> String

Obtain the source name from an ExpValue variable.

lvVarName :: LValue (Analysis a) -> String

Obtain either uniqueName or source name from an LvSimpleVar variable.

lvSrcName :: LValue (Analysis a) -> String

Obtain the source name from an LvSimpleVar variable.

isNamedExpression :: Expression a -> Bool

True iff the expression can be used with varName or srcName

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

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

puName :: ProgramUnit (Analysis a) -> ProgramUnitName

Obtain either ProgramUnit uniqueName or whatever is in the AST.

puSrcName :: ProgramUnit (Analysis a) -> ProgramUnitName

Obtain either ProgramUnit sourceName or whatever is in the AST.

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

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

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

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

type ModEnv = Map String (String, NameType)

data NameType

Constructors

NTSubprogram

NTVariable

NTIntrinsic

Instances

Eq NameType

Defined in Language.Fortran.Analysis

Methods

(==) :: NameType -> NameType -> Bool

(/=) :: NameType -> NameType -> Bool

Data NameType

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 :: (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

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

Defined in Language.Fortran.Analysis

Methods

showsPrec :: Int -> NameType -> ShowS

show :: NameType -> String

showList :: [NameType] -> ShowS

Generic NameType

Defined in Language.Fortran.Analysis

Associated Types

type Rep NameType :: Type -> Type

Methods

from :: NameType -> Rep NameType x

to :: Rep NameType x -> NameType

Out NameType

Defined in Language.Fortran.Analysis

Methods

docPrec :: Int -> NameType -> Doc

doc :: NameType -> Doc

docList :: [NameType] -> Doc

Binary NameType

Defined in Language.Fortran.Analysis

Methods

put :: NameType -> Put

get :: Get NameType

putList :: [NameType] -> Put

type Rep NameType

Defined in Language.Fortran.Analysis

type Rep NameType = D1 (MetaData "NameType" "Language.Fortran.Analysis" "fortran-src-0.3.0-HYtHVMLWYXtCtJd9jdxIfb" 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

Constructors

IDType

Fields

• idVType :: Maybe BaseType
• idCType :: Maybe ConstructType

Instances

Eq IDType

Defined in Language.Fortran.Analysis

Methods

(==) :: IDType -> IDType -> Bool

(/=) :: IDType -> IDType -> Bool

Data IDType

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 :: (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

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

Defined in Language.Fortran.Analysis

Methods

showsPrec :: Int -> IDType -> ShowS

show :: IDType -> String

showList :: [IDType] -> ShowS

Generic IDType

Defined in Language.Fortran.Analysis

Associated Types

type Rep IDType :: Type -> Type

Methods

from :: IDType -> Rep IDType x

to :: Rep IDType x -> IDType

Out IDType

Defined in Language.Fortran.Analysis

Methods

docPrec :: Int -> IDType -> Doc

doc :: IDType -> Doc

docList :: [IDType] -> Doc

Binary IDType

Defined in Language.Fortran.Analysis

Methods

put :: IDType -> Put

get :: Get IDType

putList :: [IDType] -> Put

type Rep IDType

Defined in Language.Fortran.Analysis

type Rep IDType = D1 (MetaData "IDType" "Language.Fortran.Analysis" "fortran-src-0.3.0-HYtHVMLWYXtCtJd9jdxIfb" 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

Constructors

CTFunction

CTSubroutine

CTExternal

CTVariable

CTArray [(Maybe Int, Maybe Int)]

CTParameter

CTIntrinsic

Instances

Eq ConstructType

Defined in Language.Fortran.Analysis

Methods

(==) :: ConstructType -> ConstructType -> Bool

(/=) :: ConstructType -> ConstructType -> Bool

Data ConstructType

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 :: (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

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

Defined in Language.Fortran.Analysis

Methods

showsPrec :: Int -> ConstructType -> ShowS

show :: ConstructType -> String

showList :: [ConstructType] -> ShowS

Generic ConstructType

Defined in Language.Fortran.Analysis

Associated Types

type Rep ConstructType :: Type -> Type

Methods

from :: ConstructType -> Rep ConstructType x

to :: Rep ConstructType x -> ConstructType

Out ConstructType

Defined in Language.Fortran.Analysis

Methods

docPrec :: Int -> ConstructType -> Doc

doc :: ConstructType -> Doc

docList :: [ConstructType] -> Doc

Binary ConstructType

Defined in Language.Fortran.Analysis

Methods

put :: ConstructType -> Put

get :: Get ConstructType

putList :: [ConstructType] -> Put

type Rep ConstructType

Defined in Language.Fortran.Analysis

type Rep ConstructType = D1 (MetaData "ConstructType" "Language.Fortran.Analysis" "fortran-src-0.3.0-HYtHVMLWYXtCtJd9jdxIfb" 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

Constructors

TypeInteger

TypeReal

TypeDoublePrecision

TypeComplex

TypeDoubleComplex

TypeLogical

TypeCharacter (Maybe CharacterLen) (Maybe String)

len and kind, if specified

TypeCustom String

ClassStar

ClassCustom String

TypeByte

Instances

Eq BaseType

Defined in Language.Fortran.AST

Methods

(==) :: BaseType -> BaseType -> Bool

(/=) :: BaseType -> BaseType -> Bool

Data BaseType

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 :: (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

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

Defined in Language.Fortran.AST

Methods

showsPrec :: Int -> BaseType -> ShowS

show :: BaseType -> String

showList :: [BaseType] -> ShowS

Generic BaseType

Defined in Language.Fortran.AST

Associated Types

type Rep BaseType :: Type -> Type

Methods

from :: BaseType -> Rep BaseType x

to :: Rep BaseType x -> BaseType

Out BaseType

Defined in Language.Fortran.AST

Methods

docPrec :: Int -> BaseType -> Doc

doc :: BaseType -> Doc

docList :: [BaseType] -> Doc

Binary BaseType

Defined in Language.Fortran.AST

Methods

put :: BaseType -> Put

get :: Get BaseType

putList :: [BaseType] -> Put

Pretty BaseType

Defined in Language.Fortran.PrettyPrint

Methods

pprint' :: FortranVersion -> BaseType -> Doc

type Rep BaseType

Defined in Language.Fortran.AST

type Rep BaseType = D1 (MetaData "BaseType" "Language.Fortran.AST" "fortran-src-0.3.0-HYtHVMLWYXtCtJd9jdxIfb" 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]

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

Is this an expression capable of assignment?

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

Set of names found in an AST node.

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

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)

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

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]

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

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

Set of names defined by an AST-block.

type BB a = [Block a]

Basic block

type BBNode = Int

data BBGr a

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

Eq a => Eq (BBGr a)

Defined in Language.Fortran.Analysis

Methods

(==) :: BBGr a -> BBGr a -> Bool

(/=) :: BBGr a -> BBGr a -> Bool

Data a => Data (BBGr a)

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 :: (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)

Defined in Language.Fortran.Analysis

Methods

showsPrec :: Int -> BBGr a -> ShowS

show :: BBGr a -> String

showList :: [BBGr a] -> ShowS

Generic (BBGr a)

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)

Defined in Language.Fortran.Analysis

type Rep (BBGr a) = D1 (MetaData "BBGr" "Language.Fortran.Analysis" "fortran-src-0.3.0-HYtHVMLWYXtCtJd9jdxIfb" 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

Call function on the underlying graph

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

Monadically call function on the underlying graph

bbgrEmpty :: BBGr a

Empty basic block graph

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

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))

The type of "transformBiM"-family functions

Orphan instances

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

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 :: (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)