1
1
mirror of https://github.com/github/semantic.git synced 2024-12-23 14:54:16 +03:00
semantic/test/Data/Syntax/Assignment/Spec.hs

103 lines
4.9 KiB
Haskell
Raw Normal View History

2017-04-21 23:12:56 +03:00
{-# LANGUAGE DataKinds #-}
2017-04-07 19:21:45 +03:00
module Data.Syntax.Assignment.Spec where
2017-04-21 23:12:56 +03:00
import Data.ByteString.Char8 as B (words, length)
import Data.Record
2017-04-07 19:21:45 +03:00
import Data.Syntax.Assignment
2017-04-21 23:12:56 +03:00
import Info
import Prologue
2017-04-21 23:12:56 +03:00
import Source hiding (source, length)
import Test.Hspec
2017-04-18 18:06:24 +03:00
import Text.Parser.TreeSitter.Language (Symbol(..), SymbolType(..))
spec :: Spec
2017-04-06 20:36:54 +03:00
spec = do
2017-04-07 21:47:31 +03:00
describe "Applicative" $ do
2017-04-07 16:45:23 +03:00
it "matches in sequence" $
2017-05-01 17:01:59 +03:00
runAssignment ((,) <$> red <*> red) (startingState "helloworld" [Rose (rec Red 0 5) [], Rose (rec Red 5 10) []]) `shouldBe` Result [] (Just (AssignmentState 10 (Info.SourcePos 1 11) (Source "") [], (Out "hello", Out "world")))
2017-04-07 21:47:23 +03:00
describe "Alternative" $ do
it "attempts multiple alternatives" $
2017-05-01 17:01:59 +03:00
runAssignment (green <|> red) (startingState "hello" [Rose (rec Red 0 5) []]) `shouldBe` Result [] (Just (AssignmentState 5 (Info.SourcePos 1 6) (Source "") [], Out "hello"))
2017-04-07 21:47:23 +03:00
2017-04-07 16:45:23 +03:00
it "matches repetitions" $
2017-04-21 23:12:56 +03:00
let s = "colourless green ideas sleep furiously"
w = words s
(_, nodes) = foldl (\ (i, prev) word -> (i + B.length word + 1, prev <> [Rose (rec Red i (i + B.length word)) []])) (0, []) w in
2017-05-01 17:01:59 +03:00
runAssignment (many red) (startingState s nodes) `shouldBe` Result [] (Just (AssignmentState (B.length s) (Info.SourcePos 1 (succ (B.length s))) (Source "") [], Out <$> w))
2017-04-07 16:44:13 +03:00
2017-04-07 16:48:21 +03:00
it "matches one-or-more repetitions against one or more input nodes" $
2017-05-01 17:01:59 +03:00
runAssignment (some red) (startingState "hello" [Rose (rec Red 0 5) []]) `shouldBe` Result [] (Just (AssignmentState 5 (Info.SourcePos 1 6) (Source "") [], [Out "hello"]))
2017-04-07 16:48:21 +03:00
2017-04-19 20:11:09 +03:00
describe "symbol" $ do
2017-04-07 21:50:57 +03:00
it "matches nodes with the same symbol" $
2017-05-01 17:01:59 +03:00
snd <$> runAssignment red (startingState "hello" [Rose (rec Red 0 5) []]) `shouldBe` Result [] (Just (Out "hello"))
2017-04-07 21:50:57 +03:00
it "does not advance past the current node" $
2017-05-01 17:01:59 +03:00
fst <$> runAssignment (symbol Red) (startingState "hi" [ Rose (rec Red 0 2) [] ]) `shouldBe` Result [] (Just (AssignmentState 0 (Info.SourcePos 1 1) (Source "hi") [ Rose (rec Red 0 2) [] ]))
2017-04-19 23:00:44 +03:00
describe "source" $ do
it "produces the nodes source" $
2017-05-01 17:01:59 +03:00
assignAll source (Source "hi") [ Rose (rec Red 0 2) [] ] `shouldBe` Result [] (Just "hi")
it "advances past the current node" $
2017-05-01 17:01:59 +03:00
fst <$> runAssignment source (startingState "hi" [ Rose (rec Red 0 2) [] ]) `shouldBe` Result [] (Just (AssignmentState 2 (Info.SourcePos 1 3) (Source "") []))
describe "children" $ do
it "advances past the current node" $
2017-05-01 17:01:59 +03:00
fst <$> runAssignment (children (pure (Out ""))) (startingState "a" [Rose (rec Red 0 1) []]) `shouldBe` Result [] (Just (AssignmentState 1 (Info.SourcePos 1 2) (Source "") []))
it "matches if its subrule matches" $
2017-05-01 17:01:59 +03:00
() <$ runAssignment (children red) (startingState "a" [Rose (rec Blue 0 1) [Rose (rec Red 0 1) []]]) `shouldBe` Result [] (Just ())
it "does not match if its subrule does not match" $
2017-05-01 17:01:59 +03:00
(runAssignment (children red) (startingState "a" [Rose (rec Blue 0 1) [Rose (rec Green 0 1) []]])) `shouldBe` Result [ Error (Info.SourcePos 1 1) [Red] (Just Green) ] Nothing
2017-04-10 17:35:39 +03:00
it "matches nested children" $ do
runAssignment
2017-04-19 23:00:44 +03:00
(symbol Red *> children (symbol Green *> children (symbol Blue *> source)))
(startingState "1" [ Rose (rec Red 0 1) [ Rose (rec Green 0 1) [ Rose (rec Blue 0 1) [] ] ] ])
2017-04-10 17:35:39 +03:00
`shouldBe`
2017-05-01 17:01:59 +03:00
Result [] (Just (AssignmentState 1 (Info.SourcePos 1 2) (Source "") [], "1"))
2017-04-10 17:35:39 +03:00
it "continues after children" $ do
runAssignment
2017-04-19 23:00:44 +03:00
(many (symbol Red *> children (symbol Green *> source)
<|> symbol Blue *> source))
(startingState "BC" [ Rose (rec Red 0 1) [ Rose (rec Green 0 1) [] ]
2017-04-24 17:44:37 +03:00
, Rose (rec Blue 1 2) [] ])
`shouldBe`
2017-05-01 17:01:59 +03:00
Result [] (Just (AssignmentState 2 (Info.SourcePos 1 3) (Source "") [], ["B", "C"]))
it "matches multiple nested children" $ do
runAssignment
2017-04-19 23:00:44 +03:00
(symbol Red *> children (many (symbol Green *> children (symbol Blue *> source))))
(startingState "12" [ Rose (rec Red 0 2) [ Rose (rec Green 0 1) [ Rose (rec Blue 0 1) [] ]
2017-04-24 17:44:37 +03:00
, Rose (rec Green 1 2) [ Rose (rec Blue 1 2) [] ] ] ])
`shouldBe`
2017-05-01 17:01:59 +03:00
Result [] (Just (AssignmentState 2 (Info.SourcePos 1 3) (Source "") [], ["1", "2"]))
2017-04-21 23:12:56 +03:00
rec :: symbol -> Int -> Int -> Record '[symbol, Range, SourceSpan]
rec symbol start end = symbol :. Range start end :. Info.SourceSpan (Info.SourcePos 1 (succ start)) (Info.SourcePos 1 (succ end)) :. Nil
startingState :: ByteString -> [AST grammar] -> AssignmentState grammar
startingState = AssignmentState 0 (Info.SourcePos 1 1) . Source
2017-04-07 19:36:14 +03:00
data Grammar = Red | Green | Blue
deriving (Enum, Eq, Show)
2017-04-07 19:36:14 +03:00
2017-04-18 18:06:24 +03:00
instance Symbol Grammar where
symbolType _ = Regular
2017-04-07 19:36:14 +03:00
data Out = Out ByteString
deriving (Eq, Show)
2017-04-21 23:12:56 +03:00
red :: Assignment (Node Grammar) Out
2017-04-19 23:00:44 +03:00
red = Out <$ symbol Red <*> source
2017-04-07 19:36:14 +03:00
2017-04-21 23:12:56 +03:00
green :: Assignment (Node Grammar) Out
2017-04-19 23:00:44 +03:00
green = Out <$ symbol Green <*> source
2017-04-07 19:36:14 +03:00
2017-04-21 23:12:56 +03:00
blue :: Assignment (Node Grammar) Out
2017-04-19 23:00:44 +03:00
blue = Out <$ symbol Blue <*> source