module BNFC.GetCFSpec where

import Test.Hspec

-- SUT:
import BNFC.GetCF

import BNFC.CF
import qualified BNFC.Abs as Abs

spec :: Spec
spec = do
  describe "transItem" $ do

    it "translate a non-terminal" $
        transItem (Abs.NTerminal (Abs.IdCat (npIdentifier "Foo3")))
            `shouldBe` [Left (CoercCat "Foo" 3)]

    it "translate a terminal" $
        transItem (Abs.Terminal "foobar") `shouldBe` [Right "foobar"]

    it "skips empty terminals" $
        transItem (Abs.Terminal "") `shouldBe` []

    it "splits multiwords terminals" $
        transItem (Abs.Terminal "foo bar") `shouldBe` [Right "foo", Right "bar"]

  describe "checkRule" $ do

    it "returns an error if the rule uses an unknown category" $ do
        let rule  = npRule "Foo"              (Cat "Bar")              [Left (Cat "Baz")] Parsable
            cf = CFG [] mempty [] [] [] [] [rule] mempty
            expected =
                "no production for Baz, appearing in rule\n    Foo. Bar ::= Baz"
        checkRule cf rule `shouldBe` Just expected