{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE DoAndIfThenElse #-}

module Main
where

import Control.Concurrent ( threadDelay )
import Control.Exception.Base ( bracket )
import Control.Monad ( when )
import Data.List ( isPrefixOf )
import Data.Maybe ( isNothing )
import Data.Monoid ( (<>) )
import Network (
  connectTo,
  PortID (PortNumber) )
import System.Console.CmdArgs ( def )
import System.Directory ( doesFileExist )
import System.Exit ( ExitCode(..), exitWith )
import System.FilePath ( (</>) )
import System.IO (
  BufferMode (NoBuffering),
  Handle,
  hClose,
  hGetChar,
  hGetLine,
  hPutStr,
  hSetBuffering,
  stderr,
  stdout )
import System.IO.Error ( catchIOError )
import System.Timeout ( timeout )

import CommandLine ( get_args )
import Configuration ( Configuration(..), merge_optional )
import ExitCodes (
  exit_no_feed_hosts,
  exit_no_password,
  exit_no_username )
import Logging (
  init_logging,
  log_debug,
  log_error,
  log_info,
  log_warning )
import qualified OptionalConfiguration as OC (
  OptionalConfiguration(..),
  from_rc )
import Terminal (
  display_debug,
  display_error,
  display_info,
  display_sent,
  display_warning )
import TSN.FeedHosts ( FeedHosts(..) )
import TSN.Xml ( parse_xmlfid )


-- | Warning! This does not automatically append a newline. The output
-- is displayed/logged as-is, for, you know, debug purposes.
report_debug :: String -> IO ()
report_debug s = do
  display_debug s
  log_debug s

report_error :: String -> IO ()
report_error s = do
  display_error $ "ERROR: " ++ s
  log_error s

report_info :: String -> IO ()
report_info s = do
  display_info s
  log_info s

-- | Warning! This does not automatically append a newline.
report_sent :: String -> IO ()
report_sent s = do
  display_sent s
  log_debug s

report_warning :: String -> IO ()
report_warning s = do
  display_warning $ "WARNING: " ++ s
  log_warning s


-- | Receive a single line of text from a Handle, and send it to the
--   debug log.
--
recv_line :: Handle -> IO String
recv_line h = do
  line <- hGetLine h
  report_debug (line ++ "\n")
  return line


-- | Takes a Configuration, and an XML document (as a String). The XML
--   document is written to the output directory, as specified by the
--   Configuration.
--
--   This can fail, but we don't purposefully throw any exceptions. If
--   something goes wrong, we would rather log it and keep going.
--
save_document :: Configuration -> String -> IO ()
save_document cfg doc =
  case maybe_path of
    Nothing ->
      report_error "Document missing XML_File_ID element."
    Just path -> do
      already_exists <- doesFileExist path
      when already_exists $ do
        let msg = "File " ++ path ++ " already exists, overwriting."
        report_warning msg
      writeFile path doc
      report_info $ "Wrote file: " ++ path ++ "."
  where
    xmlfid = fmap show (parse_xmlfid doc)
    filename = fmap (++ ".xml") xmlfid
    maybe_path = fmap ((output_directory cfg) </>) filename


-- | Loop forever, writing the buffer to file whenever a </message>
--   tag is seen. This is the low-level "loop forever" function that
--   we stay in as long as we are connected to one feed.
--
--   The documentation at
--   <http://www.sportsnetworkdata.com/feeds/xml-levels.asp> states
--   that \<message\> will always be the root element of the XML
--   documents, and \</message\> will be the final line transmitted
--   for a given document. We therefore rely on this to simplify
--   processing.
--
loop :: Configuration -> Handle -> [String] -> IO ()
loop !cfg !h !buffer = do
  line <- recv_line h
  let new_buffer = line : buffer

  -- Use isPrefixOf to avoid line-ending issues. Hopefully they won't
  -- send invalid junk (on the same line) after closing the root
  -- element.
  if "</message>" `isPrefixOf` line
  then do
    -- The buffer is in reverse (newest first) order, though, so we
    -- have to reverse it first. We then concatenate all of its lines
    -- into one big string.
    let document = concat $ reverse new_buffer
    save_document cfg document
    loop cfg h [] -- Empty the buffer before looping again.
  else
    -- Append line to the head of the buffer and loop.
    loop cfg h new_buffer


log_in :: Configuration -> Handle -> IO ()
log_in cfg h = do
  prompt1 <- recv_prompt h

  if prompt1 /= username_prompt then
    report_error "Didn't receive username prompt."
  else do
    send_line h (username cfg)
    prompt2 <- recv_prompt h

    if prompt2 /= password_prompt then
      report_error "Didn't receive password prompt."
    else do
      send_line h (password cfg)
      _ <- recv_line h -- "The Sports Network"
      return ()
  where
    username_prompt = "Username: "
    password_prompt = "Password: "

    send_line :: Handle -> String -> IO ()
    send_line h' s = do
      let line = s ++ "\r\n"
      hPutStr h' line
      display_sent line

    recv_chars :: Int -> Handle -> IO String
    recv_chars n h' = do
      s <- sequence [ hGetChar h' | _ <- [1..n] ]
      report_debug s
      return s

    recv_prompt :: Handle -> IO String
    recv_prompt = recv_chars 10


connect_and_loop :: Configuration -> String -> IO ()
connect_and_loop cfg host = do
  report_info $ "Connecting to " ++ host ++ "..."
  bracket acquire_handle release_handle action
  return ()
  where
    five_seconds :: Int
    five_seconds = 5000000

    acquire_handle = connectTo host (PortNumber 4500)
    release_handle = hClose
    action h = do
      -- No buffering anywhere.
      hSetBuffering h NoBuffering

      -- The feed is often unresponsive after we send out username. It
      -- happens in a telnet session, too (albeit less frequently?),
      -- so there might be a bug on their end.
      --
      -- If we dump the packets with tcpdump, it looks like their
      -- software is getting confused: they send us some XML in
      -- the middle of the log-in procedure.
      --
      -- On the other hand, the documentation at
      -- <http://www.sportsnetworkdata.com/feeds/xml-levels.asp>
      -- states that you can only make one connection per username to
      -- a given host. So maybe they're simply rejecting the username
      -- in an unfriendly fashion. In any case, the easiest fix is to
      -- disconnect and try again.
      --
      login_worked <- timeout five_seconds $ log_in cfg h
      case login_worked of
        Nothing -> report_info "Login timed out (5s)."
        Just _ ->  loop cfg h []


-- | A wrapper around threadDelay which takes seconds instead of
--   microseconds as its argument.
--
thread_sleep :: Int -> IO ()
thread_sleep seconds = do
  let microseconds = seconds * (10 ^ (6 :: Int))
  threadDelay microseconds


-- | The entry point of the program.
main :: IO ()
main = do
  rc_cfg <- OC.from_rc
  cmd_cfg <- get_args

  -- Merge the config file options with the command-line ones,
  -- prefering the command-line ones.
  let opt_config = rc_cfg <> cmd_cfg

  -- Update a default config with any options that have been set in
  -- either the config file or on the command-line.  We initialize
  -- logging before the missing parameter checks below so that we can
  -- log the errors.
  let cfg = (def :: Configuration) `merge_optional` opt_config
  init_logging (syslog cfg)

  -- Check the optional config for missing required options. This is
  -- necessary because if the user specifies an empty list of
  -- hostnames in e.g. the config file, we want to bail rather than
  -- fall back on the default list (which was merged from a default
  -- Configuration above).
  when (null $ get_feed_hosts (OC.feed_hosts opt_config)) $ do
    report_error "No feed hosts supplied."
    exitWith (ExitFailure exit_no_feed_hosts)

  when (isNothing (OC.password opt_config)) $ do
    report_error "No password supplied."
    exitWith (ExitFailure exit_no_password)

  when (isNothing (OC.username opt_config)) $ do
    report_error "No username supplied."
    exitWith (ExitFailure exit_no_username)

  -- This may be superstition (and I believe stderr is unbuffered),
  -- but it can't hurt.
  hSetBuffering stderr NoBuffering
  hSetBuffering stdout NoBuffering

  -- Begin connecting to our feed hosts, starting with the first one.
  round_robin cfg 0

  where
    -- | This is the top-level "loop forever" function. If an
    --   exception is thrown, it will propagate up to this point, where
    --   it will be logged and ignored in style.
    --
    --   Afterwards, we recurse (call ourself) again to loop more forevers.
    --
    round_robin :: Configuration -> Int -> IO ()
    round_robin cfg feed_host_idx = do
      let hosts = get_feed_hosts $ feed_hosts cfg
      let host = hosts !! feed_host_idx
      catchIOError (connect_and_loop cfg host) (report_error . show)
      thread_sleep 5 -- Wait 5s before attempting to reconnect.
      round_robin cfg $ (feed_host_idx + 1) `mod` (length hosts)