X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=TranslatorTypes.hs;h=99784409cc5bba03904df86098c719f4c81e5257;hb=a8d7c5bd4b745860f321d4315bff0b9efa3cb05c;hp=70ae9b7e922e486cda209a36ca93fd0563dc22dd;hpb=495e75489457be4ea5bfa9692e2b8736047a41ae;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git diff --git a/TranslatorTypes.hs b/TranslatorTypes.hs index 70ae9b7..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 = (FlatFunction) +data FuncData = FuncData { + flatFunc :: Maybe FlatFunction, + entity :: Maybe Entity +} data VHDLSession = VHDLSession { coreMod :: HscTypes.CoreModule, -- The current module @@ -23,10 +31,10 @@ data VHDLSession = VHDLSession { } -- | Add the function to the session -addFunc :: HsFunction -> FlatFunction -> VHDLState () -addFunc hsfunc flatfunc = do +addFunc :: HsFunction -> VHDLState () +addFunc hsfunc = do fs <- State.gets funcs -- Get the funcs element from the session - let fs' = Map.insert hsfunc (flatfunc) 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