fortran-vars-0.4.0: Fortran memory model and other static analysis tools.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Fortran.Vars.SymbolTable.Arrays

Synopsis

Documentation

resolveDims :: SymbolTable -> [DimensionDeclarator a] -> Maybe Dimensions Source #

dimDeclLooksLikeAssumedSize :: DimensionDeclarator a -> Bool Source #

Assumed-size arrays have the special ValStar upper bound (whereas explicit-shape and assumed-shape arrays never do).

dimDeclLooksLikeAssumedShape :: DimensionDeclarator a -> Bool Source #

Assumed-shape arrays have no upper bounds (whereas explicit-shape and assumed-size arrays always do).

evalStaticDimBoundExpr :: SymbolTable -> Expression a -> Either String Int Source #

evalDynamicDimBoundExpr :: SymbolTable -> Expression a -> Either String (Maybe Int) Source #

Returns Right Nothing for dynamic bounds (e.g. which use dummy vars).

resolveDimsExplicitShape :: SymbolTable -> [DimensionDeclarator a] -> Either String [Dim (Maybe Int)] Source #

resolveDimExplicitShape :: SymbolTable -> DimensionDeclarator a -> Either String (Dim (Maybe Int)) Source #

resolveDimsAssumedShape :: SymbolTable -> [DimensionDeclarator a] -> Either String [Maybe Int] Source #

resolveDimsAssumedSize :: SymbolTable -> [DimensionDeclarator a] -> Either String (Maybe [Dim (Maybe Int)], Maybe Int) Source #

resolveDimStar :: SymbolTable -> DimensionDeclarator a -> Either String (Maybe Int) Source #

resolveDimBoundStar :: Maybe (Expression a) -> Either String () Source #