Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Fortran.Vars.Types.SymbolTable

Description

Only the SymbolTable definitions.

Synopsis

type SymbolTable = Map Name SymbolTableEntry
data SymbolTableEntry
- = SParameter {
  - parType :: Type
  - parVal :: ExpVal
  }
- | SVariable {
  - varType :: Type
  - varLoc :: Location
  }
- | SDummy {
  - dumType :: Type
  }
- | SExternal {
  - extType :: Type
  }
type Location = (MemoryBlockName, Offset)
type MemoryBlockName = Name
type Offset = Int

Documentation

type SymbolTable = Map Name SymbolTableEntry Source #

Symbol table containing all non-intrisic symbols declared in a program

data SymbolTableEntry Source #

An entry in the SymbolTable for some variable

Constructors

SParameter
Fields parType :: Type parVal :: ExpVal
SVariable
Fields varType :: Type varLoc :: Location
SDummy
Fields dumType :: Type
SExternal
Fields extType :: Type

Instances

Instances details

FromJSON SymbolTableEntry Source #
Instance details Defined in Language.Fortran.Vars.Types.SymbolTable Methods parseJSON :: Value -> Parser SymbolTableEntry Source # parseJSONList :: Value -> Parser [SymbolTableEntry] Source #
ToJSON SymbolTableEntry Source #
Instance details Defined in Language.Fortran.Vars.Types.SymbolTable Methods toJSON :: SymbolTableEntry -> Value Source # toEncoding :: SymbolTableEntry -> Encoding Source # toJSONList :: [SymbolTableEntry] -> Value Source # toEncodingList :: [SymbolTableEntry] -> Encoding Source #
Data SymbolTableEntry Source #
Instance details Defined in Language.Fortran.Vars.Types.SymbolTable Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SymbolTableEntry -> c SymbolTableEntry Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SymbolTableEntry Source # toConstr :: SymbolTableEntry -> Constr Source # dataTypeOf :: SymbolTableEntry -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SymbolTableEntry) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SymbolTableEntry) Source # gmapT :: (forall b. Data b => b -> b) -> SymbolTableEntry -> SymbolTableEntry Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SymbolTableEntry -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SymbolTableEntry -> r Source # gmapQ :: (forall d. Data d => d -> u) -> SymbolTableEntry -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> SymbolTableEntry -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SymbolTableEntry -> m SymbolTableEntry Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SymbolTableEntry -> m SymbolTableEntry Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SymbolTableEntry -> m SymbolTableEntry Source #
Generic SymbolTableEntry Source #
Instance details Defined in Language.Fortran.Vars.Types.SymbolTable Associated Types type Rep SymbolTableEntry :: Type -> Type Source # Methods from :: SymbolTableEntry -> Rep SymbolTableEntry x Source # to :: Rep SymbolTableEntry x -> SymbolTableEntry Source #
Show SymbolTableEntry Source #
Instance details Defined in Language.Fortran.Vars.Types.SymbolTable Methods showsPrec :: Int -> SymbolTableEntry -> ShowS Source # show :: SymbolTableEntry -> String Source # showList :: [SymbolTableEntry] -> ShowS Source #
Eq SymbolTableEntry Source #
Instance details Defined in Language.Fortran.Vars.Types.SymbolTable Methods (==) :: SymbolTableEntry -> SymbolTableEntry -> Bool Source # (/=) :: SymbolTableEntry -> SymbolTableEntry -> Bool Source #
Ord SymbolTableEntry Source #
Instance details Defined in Language.Fortran.Vars.Types.SymbolTable Methods compare :: SymbolTableEntry -> SymbolTableEntry -> Ordering Source # (<) :: SymbolTableEntry -> SymbolTableEntry -> Bool Source # (<=) :: SymbolTableEntry -> SymbolTableEntry -> Bool Source # (>) :: SymbolTableEntry -> SymbolTableEntry -> Bool Source # (>=) :: SymbolTableEntry -> SymbolTableEntry -> Bool Source # max :: SymbolTableEntry -> SymbolTableEntry -> SymbolTableEntry Source # min :: SymbolTableEntry -> SymbolTableEntry -> SymbolTableEntry Source #
MonadReader SymbolTable Eval Source #
Instance details Defined in Language.Fortran.Vars.Eval.FortranSrc Methods ask :: Eval SymbolTable Source # local :: (SymbolTable -> SymbolTable) -> Eval a -> Eval a Source # reader :: (SymbolTable -> a) -> Eval a Source #
type Rep SymbolTableEntry Source #
Instance details Defined in Language.Fortran.Vars.Types.SymbolTable type Rep SymbolTableEntry = D1 ('MetaData "SymbolTableEntry" "Language.Fortran.Vars.Types.SymbolTable" "fortran-vars-0.4.0-inplace" 'False) ((C1 ('MetaCons "SParameter" 'PrefixI 'True) (S1 ('MetaSel ('Just "parType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :: S1 ('MetaSel ('Just "parVal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExpVal)) :+: C1 ('MetaCons "SVariable" 'PrefixI 'True) (S1 ('MetaSel ('Just "varType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :: S1 ('MetaSel ('Just "varLoc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location))) :+: (C1 ('MetaCons "SDummy" 'PrefixI 'True) (S1 ('MetaSel ('Just "dumType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)) :+: C1 ('MetaCons "SExternal" 'PrefixI 'True) (S1 ('MetaSel ('Just "extType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))))

type Location = (MemoryBlockName, Offset) Source #

The location of a variable, i.e. the MemoryBlockName that contains it as well as the Offset to its location in memory

type MemoryBlockName = Name Source #

The name of block of memory

type Offset = Int Source #

Memory offset given to a variable in memory