module Feldspar.Compiler.Frontend.Interactive.Interface where
import Feldspar.Compiler.Compiler
import Feldspar.Compiler.Imperative.FromCore
import Feldspar.Compiler.Backend.C.Options
import qualified Feldspar.NameExtractor as NameExtractor
import Feldspar.Compiler.Backend.C.Library
import Feldspar.Compiler.Imperative.Representation
import Feldspar.Compiler.Backend.C.Plugin.PrettyPrint
import Feldspar.Compiler.Backend.C.Plugin.Locator
import Data.Char
data PrgType = ForType | AssignType | IfType
forPrg = ForType
ifPrg = IfType
assignPrg = AssignType
getProgram :: (Int, Int) -> PrgType -> Module DebugToCSemanticInfo -> IO ()
getProgram (line, col) prgtype prg = res where
res = if find then putStrLn $ myShow code
else putStrLn "Not found appropriate code part!"
(find, code) = case prgtype of
ForType -> getPrgParLoop (line, col) prg
AssignType -> getPrgAssign (line, col) prg
IfType -> getPrgBranch (line, col) prg
compile :: (Compilable t internal) => t -> FilePath -> String -> Options -> IO ()
compile prg fileName functionName opts = do
writeFile cfile $ unlines [ "#include \"" ++ hfile ++ "\""
, sourceCode $ sctccrSource compilationResult
]
writeFile hfile $ withIncludeGuard $ sourceCode $ sctccrHeader compilationResult
where
hfile = makeHFileName fileName
cfile = makeCFileName fileName
compilationResult = compileToCCore Interactive prg (Just fileName) IncludesNeeded
(NameExtractor.OriginalFunctionSignature functionName []) opts
withIncludeGuard code = unlines [ "#ifndef " ++ guardName
, "#define " ++ guardName
, ""
, code
, ""
, "#endif // " ++ guardName
]
guardName = map ((\c -> if c `elem` toBeChanged then '_' else c) . toUpper) hfile
where
toBeChanged = "./\\"
icompile :: (Compilable t internal) => t -> IO ()
icompile prg = icompile' prg "test" defaultOptions
icompile' :: (Compilable t internal) => t -> String -> Options -> IO ()
icompile' prg functionName opts = do
putStrLn "=============== Header ================"
putStrLn $ sourceCode $ sctccrHeader compilationResult
putStrLn "=============== Source ================"
putStrLn $ sourceCode $ sctccrSource compilationResult
where
compilationResult = compileToCCore Interactive prg Nothing IncludesNeeded
(NameExtractor.OriginalFunctionSignature functionName []) opts
icompileWithInfos :: (Compilable t internal) => t -> String -> Options -> SplitCompToCCoreResult
icompileWithInfos prg functionName = compileToCCore Interactive prg Nothing IncludesNeeded
(NameExtractor.OriginalFunctionSignature functionName [])