Replace mode (#22)

backend/team-proj-abbr/data/test_file.txt

@@ -0,0 +1 @@
+Hello world. This file is written to test the expansions of kb_example.csv. We should see that @@hl is expanded to hello. This is a @@thm, which we cannot @@prf. No @@lmm or @@ax can be used, because this is not a scientific theorem.

backend/team-proj-abbr/data/test_file_target.txt

@@ -0,0 +1 @@
+Hello world. This file is written to test the expansions of kb_example.csv. We should see that hello is expanded to hello. This is a theorem, which we cannot proof. No lemma or axiom can be used, because this is not a scientific theorem.

backend/team-proj-abbr/lib-cli/LibCli/Main.hs

@@ -9,8 +9,14 @@ Stability   : experimental
 
 module LibCli.Main where
 
-import qualified LibCli.Spec            as CS (ShortHndr (..), cliModes)
-import qualified System.Console.CmdArgs as CMD
+import           LibCli.Spec             (ShortHndr (input, out))
+import qualified LibCli.Spec             as CS (ShortHndr (..), cliModes)
+import           LibCore.Decoder         (decode)
+import           LibCore.KnowledgeBase   (getKnowledgeBase)
+import           LibCore.Mapper          (mapParseStructure)
+import           LibCore.OutputInterface (returnOutput)
+import           LibCore.Parser          (doParse)
+import qualified System.Console.CmdArgs  as CMD
 
 -----------------------
 -- Command Handlers: --
@@ -19,13 +25,24 @@ import qualified System.Console.CmdArgs as CMD
 -- TODO(tech-debt): define a typeclass for the modes instead of the pattern matching
 -- TODO: (future task) implement the actual handlers with the business logic.
 mockCliHandler :: CS.ShortHndr -> IO ()
-mockCliHandler c@CS.Replace{} = print $ "replacing! --> " ++ show c
+-- mockCliHandler [email protected]{} = print $ "replacing! --> " ++ show c
+mockCliHandler c@CS.Replace{} = replaceMode c
 mockCliHandler c@CS.Expand{}  = print $ "expanding! --> " ++ show c
 mockCliHandler c@CS.List{}    = print $ "listing! --> " ++ show c
 mockCliHandler c@CS.Add{}     = print $ "adding! --> " ++ show c
 mockCliHandler c@CS.Update{}  = print $ "updating! --> " ++ show c
 mockCliHandler c@CS.Delete{}  = print $ "deleting! --> " ++ show c
 
+replaceMode :: ShortHndr -> IO ()
+replaceMode c@CS.Replace {} = do
+    case input c of
+      Nothing -> error "No input file was found"
+      Just f -> do
+          s <- readFile f
+          returnOutput (out c) (decode $ mapParseStructure getKnowledgeBase $ doParse s)
+-- Impossible case because of the mockCliHandler
+replaceMode _ = undefined
+
 ----------------------------
 -- Executable entrypoiny: --
 ----------------------------

backend/team-proj-abbr/lib-core/LibCore/Decoder.hs

@@ -8,7 +8,12 @@ Stability   : experimental
 
 module LibCore.Decoder where
 
+import           LibCore.Models (Keyword (Keyword), Token (DoMap, NoToken))
 import           LibCore.Parser (ParseStructure)
 
 decode :: ParseStructure -> String
-decode = undefined
+decode s = unwords $ map tokenToString s
+
+tokenToString :: Token -> String
+tokenToString (NoToken s)           = s
+tokenToString (DoMap (Keyword k _)) = k

backend/team-proj-abbr/lib-core/LibCore/KnowledgeBase.hs

@@ -8,10 +8,10 @@ Stability   : experimental
 
 module LibCore.KnowledgeBase where
 
-import           Data.Map       (Map)
+import           Data.Map       (Map, empty)
 import           LibCore.Models (Keyword)
 
 type KnowledgeBaseStructure = Map Keyword Keyword
 
 getKnowledgeBase :: KnowledgeBaseStructure
-getKnowledgeBase = undefined
+getKnowledgeBase = empty

backend/team-proj-abbr/lib-core/LibCore/OutputInterface.hs

@@ -8,5 +8,7 @@ Stability   : experimental
 
 module LibCore.OutputInterface where
 
-returnOutput :: String -> IO ()
-returnOutput = undefined
+returnOutput :: Maybe FilePath -> String -> IO ()
+returnOutput f = case f of
+  Nothing -> error "No output file found"
+  Just s  -> writeFile s