summaryrefslogtreecommitdiff
path: root/combinator_test.go
diff options
context:
space:
mode:
Diffstat (limited to 'combinator_test.go')
-rw-r--r--combinator_test.go215
1 files changed, 215 insertions, 0 deletions
diff --git a/combinator_test.go b/combinator_test.go
new file mode 100644
index 0000000..8c0bab0
--- /dev/null
+++ b/combinator_test.go
@@ -0,0 +1,215 @@
+package parsec
+
+import (
+ "testing"
+
+ "github.com/stretchr/testify/require"
+)
+
+func TestNil(t *testing.T) {
+ p := Pointer{"hello world", 0}
+
+ node, p2 := Nil(p)
+ require.Equal(t, nil, node)
+ require.Equal(t, p, p2)
+}
+
+func TestAnd(t *testing.T) {
+ p := Pointer{"hello world", 0}
+
+ t.Run("matches sequence", func(t *testing.T) {
+ node, p2 := And("hello", WS, "world")(p)
+ require.Equal(t, NewSequence(0, NewToken(0, "hello"), NewToken(6, "world")), node)
+ require.Equal(t, 0, p2.Remaining())
+ })
+
+ t.Run("returns errors", func(t *testing.T) {
+ e, p3 := And("hello", WS, "there")(p)
+ require.Equal(t, NewError(6, "Expected there"), e)
+ require.Equal(t, 0, p3.pos)
+ })
+
+ t.Run("No parsers", func(t *testing.T) {
+ assertNilParser(t, And())
+ })
+}
+
+func TestAny(t *testing.T) {
+ p := Pointer{"hello world!", 0}
+
+ t.Run("Matches any", func(t *testing.T) {
+ node, p2 := Any("hello", "world")(p)
+ require.Equal(t, NewToken(0, "hello"), node)
+ require.Equal(t, 5, p2.pos)
+ })
+
+ t.Run("Returns longest error", func(t *testing.T) {
+ err, p2 := Any(
+ Exact("nope"),
+ And(Exact("hello"), WS, Exact("world"), Exact(".")),
+ And(Exact("hello"), WS, Exact("brother")),
+ )(p)
+ require.Equal(t, NewError(11, "Expected ."), err)
+ require.Equal(t, 0, p2.pos)
+ })
+
+ t.Run("Accepts nil matches", func(t *testing.T) {
+ node, p2 := Any(Exact("ffffff"), WS)(p)
+ require.Equal(t, nil, node)
+ require.Equal(t, 0, p2.pos)
+ })
+
+ t.Run("No parsers", func(t *testing.T) {
+ assertNilParser(t, Any())
+ })
+}
+
+func TestKleene(t *testing.T) {
+ p := Pointer{"a,b,c,d,e,", 0}
+
+ t.Run("Matches sequence with sep", func(t *testing.T) {
+ node, p2 := Kleene(CharRun("abcdefg"), Exact(","))(p)
+ require.Equal(t, NewSequence(0,
+ NewToken(0, "a"),
+ NewToken(2, "b"),
+ NewToken(4, "c"),
+ NewToken(6, "d"),
+ NewToken(8, "e"),
+ ), node)
+ require.Equal(t, 10, p2.pos)
+ })
+
+ t.Run("Matches sequence without sep", func(t *testing.T) {
+ node, p2 := Kleene(Any(CharRun("abcdefg"), Exact(",")))(p)
+ require.Equal(t, NewSequence(0,
+ NewToken(0, "a"),
+ NewToken(1, ","),
+ NewToken(2, "b"),
+ NewToken(3, ","),
+ NewToken(4, "c"),
+ NewToken(5, ","),
+ NewToken(6, "d"),
+ NewToken(7, ","),
+ NewToken(8, "e"),
+ NewToken(9, ","),
+ ), node)
+ require.Equal(t, 10, p2.pos)
+ })
+
+ t.Run("Stops on error", func(t *testing.T) {
+ node, p2 := Kleene(CharRun("abc"), Exact(","))(p)
+ require.Equal(t, NewSequence(0,
+ NewToken(0, "a"),
+ NewToken(2, "b"),
+ NewToken(4, "c"),
+ ), node)
+ require.Equal(t, 6, p2.pos)
+ require.Equal(t, "d,e,", p2.Get())
+ })
+}
+
+func TestMany(t *testing.T) {
+ p := Pointer{"a,b,c,d,e,", 0}
+
+ t.Run("Matches sequence with sep", func(t *testing.T) {
+ node, p2 := Many(CharRun("abcdefg"), Exact(","))(p)
+ require.Equal(t, NewSequence(0,
+ NewToken(0, "a"),
+ NewToken(2, "b"),
+ NewToken(4, "c"),
+ NewToken(6, "d"),
+ NewToken(8, "e"),
+ ), node)
+ require.Equal(t, 10, p2.pos)
+ })
+
+ t.Run("Matches sequence without sep", func(t *testing.T) {
+ node, p2 := Many(Any(CharRun("abcdefg"), Exact(",")))(p)
+ require.Equal(t, NewSequence(0,
+ NewToken(0, "a"),
+ NewToken(1, ","),
+ NewToken(2, "b"),
+ NewToken(3, ","),
+ NewToken(4, "c"),
+ NewToken(5, ","),
+ NewToken(6, "d"),
+ NewToken(7, ","),
+ NewToken(8, "e"),
+ NewToken(9, ","),
+ ), node)
+ require.Equal(t, 10, p2.pos)
+ })
+
+ t.Run("Stops on error", func(t *testing.T) {
+ node, p2 := Many(CharRun("abc"), Exact(","))(p)
+ require.Equal(t, NewSequence(0,
+ NewToken(0, "a"),
+ NewToken(2, "b"),
+ NewToken(4, "c"),
+ ), node)
+ require.Equal(t, 6, p2.pos)
+ require.Equal(t, "d,e,", p2.Get())
+ })
+
+ t.Run("Returns error if nothing matches", func(t *testing.T) {
+ node, p2 := Many(CharRun("def"), Exact(","))(p)
+ require.Equal(t, NewError(0, "Expected some of def"), node)
+ require.Equal(t, 0, p2.pos)
+ require.Equal(t, "a,b,c,d,e,", p2.Get())
+ })
+}
+
+func TestKleeneUntil(t *testing.T) {
+ p := Pointer{"a,b,c,d,e,fg", 0}
+
+ t.Run("Matches sequence with sep", func(t *testing.T) {
+ node, p2 := KleeneUntil(CharRun("abcde"), CharRun("d"), Exact(","))(p)
+ require.Equal(t, NewSequence(0,
+ NewToken(0, "a"),
+ NewToken(2, "b"),
+ NewToken(4, "c"),
+ ), node)
+ require.Equal(t, 6, p2.pos)
+ })
+
+ t.Run("Breaks if separator does not match", func(t *testing.T) {
+ node, p2 := KleeneUntil(Char("abcdefg"), Char("y"), Exact(","))(p)
+ require.Equal(t, NewSequence(0,
+ NewToken(0, "a"),
+ NewToken(2, "b"),
+ NewToken(4, "c"),
+ NewToken(6, "d"),
+ NewToken(8, "e"),
+ NewToken(10, "f"),
+ ), node)
+ require.Equal(t, 11, p2.pos)
+ })
+}
+
+func TestManyUntil(t *testing.T) {
+ p := Pointer{"a,b,c,d,e,", 0}
+
+ t.Run("Matches sequence until", func(t *testing.T) {
+ node, p2 := ManyUntil(CharRun("abcdefg"), Char("d"), Exact(","))(p)
+ require.Equal(t, NewSequence(0,
+ NewToken(0, "a"),
+ NewToken(2, "b"),
+ NewToken(4, "c"),
+ ), node)
+ require.Equal(t, 6, p2.pos)
+ })
+
+ t.Run("Returns error until matches early", func(t *testing.T) {
+ node, p2 := ManyUntil(CharRun("abc"), Exact("a"), Exact(","))(p)
+ require.Equal(t, NewError(0, "Unexpected input"), node)
+ require.Equal(t, 0, p2.pos)
+ require.Equal(t, "a,b,c,d,e,", p2.Get())
+ })
+}
+
+func assertNilParser(t *testing.T, parser Parser) {
+ p := Pointer{"fff", 0}
+ node, p2 := parser(p)
+ require.Equal(t, nil, node)
+ require.Equal(t, p, p2)
+}