X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=TranslatorTypes.hs;h=99784409cc5bba03904df86098c719f4c81e5257;hb=a8d7c5bd4b745860f321d4315bff0b9efa3cb05c;hp=60d12ebb0c53fd387dd1772861dea48567918cb2;hpb=214ca86120b26ebc5c478b56107e52b894e46b34;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git diff --git a/TranslatorTypes.hs b/TranslatorTypes.hs index 60d12eb..9978440 100644 --- a/TranslatorTypes.hs +++ b/TranslatorTypes.hs @@ -5,16 +5,24 @@ module TranslatorTypes where import qualified Control.Monad.State as State -import qualified HscTypes import qualified Data.Map as Map -import Flatten + +import qualified HscTypes + +import FlattenTypes +import VHDLTypes +import HsValueMap -- | A map from a HsFunction identifier to various stuff we collect about a -- function along the way. type FuncMap = Map.Map HsFunction FuncData + -- | Some stuff we collect about a function along the way. -type FuncData = (Maybe FlatFunction) +data FuncData = FuncData { + flatFunc :: Maybe FlatFunction, + entity :: Maybe Entity +} data VHDLSession = VHDLSession { coreMod :: HscTypes.CoreModule, -- The current module @@ -26,7 +34,7 @@ data VHDLSession = VHDLSession { addFunc :: HsFunction -> VHDLState () addFunc hsfunc = do fs <- State.gets funcs -- Get the funcs element from the session - let fs' = Map.insert hsfunc (Nothing) fs -- Insert function + let fs' = Map.insert hsfunc (FuncData Nothing Nothing) fs -- Insert function State.modify (\x -> x {funcs = fs' }) -- | Find the given function in the current session @@ -35,6 +43,26 @@ getFunc hsfunc = do fs <- State.gets funcs -- Get the funcs element from the session return $ Map.lookup hsfunc fs +-- | Gets all functions from the current session +getFuncs :: VHDLState [(HsFunction, FuncData)] +getFuncs = do + fs <- State.gets funcs -- Get the funcs element from the session + return $ Map.toList fs + +-- | Sets the FlatFunction for the given HsFunction in the given setting. +setFlatFunc :: HsFunction -> FlatFunction -> VHDLState () +setFlatFunc hsfunc flatfunc = do + fs <- State.gets funcs -- Get the funcs element from the session + let fs'= Map.adjust (\d -> d { flatFunc = Just flatfunc }) hsfunc fs + State.modify (\x -> x {funcs = fs' }) + +-- | Modify all functions in the map using the given function +modFuncs :: (HsFunction -> FuncData -> FuncData) -> VHDLState () +modFuncs f = do + fs <- State.gets funcs -- Get the funcs element from the session + let fs' = Map.mapWithKey f fs + State.modify (\x -> x {funcs = fs' }) + getModule :: VHDLState HscTypes.CoreModule getModule = State.gets coreMod -- Get the coreMod element from the session