{-# LANGUAGE OverloadedStrings #-}
module Runner.ExampleSpec (main, spec) where

import           Prelude ()
import           Prelude.Compat

import           Data.String
import           Test.Hspec
import           Test.Hspec.Core.QuickCheck (modifyMaxSize)
import           Test.QuickCheck

import           Parse
import           Runner.Example

main :: IO ()
main = hspec spec

data Line = PlainLine String | WildCardLines [String]
  deriving (Show, Eq)

instance Arbitrary Line where
    arbitrary = frequency [ (2, PlainLine <$> arbitrary)
                          , (1, WildCardLines . getNonEmpty <$> arbitrary)
                          ]

lineToExpected :: [Line] -> ExpectedResult
lineToExpected = map $ \x -> case x of
                                 PlainLine str -> fromString str
                                 WildCardLines _ -> WildCardLine

lineToActual :: [Line] -> [String]
lineToActual = concatMap $ \x -> case x of
                               PlainLine str -> [str]
                               WildCardLines xs -> xs

spec :: Spec
spec = do
  describe "mkResult" $ do
    it "returns Equal when output matches" $ do
      property $ \xs -> do
        mkResult (map fromString xs) xs `shouldBe` Equal

    it "ignores trailing whitespace" $ do
      mkResult ["foo\t"] ["foo  "] `shouldBe` Equal

    context "with WildCardLine" $ do
      it "matches zero lines" $ do
        mkResult ["foo", WildCardLine, "bar"] ["foo", "bar"]
            `shouldBe` Equal

      it "matches first zero line" $ do
        mkResult [WildCardLine, "foo", "bar"] ["foo", "bar"]
            `shouldBe` Equal

      it "matches final zero line" $ do
        mkResult ["foo", "bar", WildCardLine] ["foo", "bar"]
            `shouldBe` Equal

      it "matches an arbitrary number of lines" $ do
        mkResult ["foo", WildCardLine, "bar"] ["foo", "baz", "bazoom", "bar"]
            `shouldBe` Equal

      -- See https://github.com/sol/doctest/issues/259
      modifyMaxSize (const 8) $
        it "matches an arbitrary number of lines (quickcheck)" $ do
          property $ \xs -> mkResult (lineToExpected xs) (lineToActual xs)
              `shouldBe` Equal

    context "with WildCardChunk" $ do
      it "matches an arbitrary line chunk" $ do
        mkResult [ExpectedLine ["foo", WildCardChunk, "bar"]] ["foo baz bar"]
            `shouldBe` Equal

      it "matches an arbitrary line chunk at end" $ do
        mkResult [ExpectedLine ["foo", WildCardChunk]] ["foo baz bar"]
            `shouldBe` Equal

      it "does not match at end" $ do
        mkResult [ExpectedLine [WildCardChunk, "baz"]] ["foo baz bar"]
            `shouldBe` NotEqual [
                 "expected: ...baz"
               , " but got: foo baz bar"
               , "                 ^"
               ]

      it "does not match at start" $ do
        mkResult [ExpectedLine ["fuu", WildCardChunk]] ["foo baz bar"]
            `shouldBe` NotEqual [
                 "expected: fuu..."
               , " but got: foo baz bar"
               , "           ^"
               ]

    context "when output does not match" $ do
      it "constructs failure message" $ do
        mkResult ["foo"] ["bar"] `shouldBe` NotEqual [
            "expected: foo"
          , " but got: bar"
          , "          ^"
          ]

      it "constructs failure message for multi-line output" $ do
        mkResult ["foo", "bar"] ["foo", "baz"] `shouldBe` NotEqual [
            "expected: foo"
          , "          bar"
          , " but got: foo"
          , "          baz"
          , "            ^"
          ]

      context "when any output line contains \"unsafe\" characters" $ do
        it "uses show to format output lines" $ do
          mkResult ["foo\160bar"] ["foo bar"] `shouldBe` NotEqual [
              "expected: foo\\160bar"
            , " but got: foo bar"
            , "             ^"
            ]

      it "insert caret after last matching character on different lengths" $ do
        mkResult ["foo"] ["fo"] `shouldBe` NotEqual [
            "expected: foo"
          , " but got: fo"
          , "            ^"
          ]

      it "insert caret after mismatching line for multi-line output" $ do
        mkResult ["foo", "bar", "bat"] ["foo", "baz", "bax"] `shouldBe` NotEqual [
            "expected: foo"
          , "          bar"
          , "          bat"
          , " but got: foo"
          , "          baz"
          , "            ^"
          , "          bax"
          ]

      it "insert caret after mismatching line with the longest match for multi-line wildcard pattern" $ do
        mkResult ["foo", WildCardLine, "bar", "bat"] ["foo", "xxx", "yyy", "baz", "bxx"] `shouldBe` NotEqual [
            "expected: foo"
          , "          ..."
          , "          bar"
          , "          bat"
          , " but got: foo"
          , "          xxx"
          , "          yyy"
          , "          baz"
          , "            ^"
          , "          bxx"
          ]

      it "insert caret after longest match for wildcard" $ do
        mkResult [ExpectedLine ["foo ", WildCardChunk, " bar bat"]] ["foo xxx yyy baz bxx"] `shouldBe` NotEqual [
            "expected: foo ... bar bat"
          , " but got: foo xxx yyy baz bxx"
          , "                        ^"
          ]

      it "show expanded pattern for long matches" $ do
        mkResult [ExpectedLine ["foo ", WildCardChunk, " bar bat"]] ["foo 123456789 123456789 xxx yyy baz bxx"] `shouldBe` NotEqual [
            "expected: foo ... bar bat"
          , " but got: foo 123456789 123456789 xxx yyy baz bxx"
          , "          foo ........................... ba^"
          ]
