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

Instances

Eq a => Eq (Analysis a)

Methods

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

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

Data a => Data (Analysis a)

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)

Methods

showsPrec :: Int -> Analysis a -> ShowS

show :: Analysis a -> String

showList :: [Analysis a] -> ShowS

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.

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

Instances

Eq NameType

Methods

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

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

Data NameType

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

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

Methods

showsPrec :: Int -> NameType -> ShowS

show :: NameType -> String

showList :: [NameType] -> ShowS

data IDType

Constructors

IDType

Fields

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

Instances

Eq IDType

Methods

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

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

Data IDType

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

Show IDType

Methods

showsPrec :: Int -> IDType -> ShowS

show :: IDType -> String

showList :: [IDType] -> ShowS

data ConstructType

Constructors

CTFunction

CTSubroutine

CTVariable

CTArray

CTParameter

Instances

Eq ConstructType

Methods

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

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

Data ConstructType

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

Show ConstructType

Methods

showsPrec :: Int -> ConstructType -> ShowS

show :: ConstructType -> String

showList :: [ConstructType] -> ShowS

data BaseType

Constructors

TypeInteger

TypeReal

TypeDoublePrecision

TypeComplex

TypeDoubleComplex

TypeLogical

TypeCharacter

TypeCustom String

Instances

Eq BaseType

Methods

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

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

Data BaseType

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

Show BaseType

Methods

showsPrec :: Int -> BaseType -> ShowS

show :: BaseType -> String

showList :: [BaseType] -> ShowS

Generic BaseType

Associated Types

type Rep BaseType :: * -> *

Methods

from :: BaseType -> Rep BaseType x

to :: Rep BaseType x -> BaseType

Out BaseType

Methods

docPrec :: Int -> BaseType -> Doc

doc :: BaseType -> Doc

docList :: [BaseType] -> Doc

Pretty BaseType

Methods

pprint' :: FortranVersion -> BaseType -> Doc

type Rep BaseType

type Rep BaseType = D1 (MetaData "BaseType" "Language.Fortran.AST" "fortran-src-0.1.0.3-91DD86MnaFR2VbfFJIGSH6" False) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "TypeInteger" PrefixI False) U1) (C1 (MetaCons "TypeReal" PrefixI False) U1)) ((:+:) (C1 (MetaCons "TypeDoublePrecision" PrefixI False) U1) (C1 (MetaCons "TypeComplex" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "TypeDoubleComplex" PrefixI False) U1) (C1 (MetaCons "TypeLogical" PrefixI False) U1)) ((:+:) (C1 (MetaCons "TypeCharacter" PrefixI False) U1) (C1 (MetaCons "TypeCustom" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))))

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

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

Set of names found in the parts of an AST that are the target of an assignment statement.

blockVarUses :: 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 BBGr a = Gr (BB a) ()

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 c. Data d => c (d -> c) -> d -> c c) -> (forall g. g -> c g) -> Gr a b -> c (Gr a b)

gunfold :: (forall c r. Data c => c (c -> 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 c. Data c => c -> c) -> 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)