bipartitle_graph_test_add

Author: ProALgebra

test-shared/src/test/kotlin/solver/corectnessTests/BipartitleGrammarTest/BipartitleGrammar.kt

@@ -0,0 +1,15 @@
+package solver.corectnessTests.BipartitleGrammarTest
+
+
+import org.ucfs.grammar.combinator.Grammar
+import org.ucfs.grammar.combinator.regexp.*
+import org.ucfs.rsm.symbol.Term
+
+class BipartitleGrammar : Grammar() {
+    val A by Nt()
+    val B by Nt((Term("b") * A) or (Term("b")))
+    val S by Nt(A).asStart()
+    init {
+        A /= (Term("a") * B) or (Term("a"))
+    }
+}

test-shared/src/test/kotlin/solver/corectnessTests/BipartitleGrammarTest/BipartitleGrammarTreeCorrectnessTest.kt

@@ -0,0 +1,11 @@
+package solver.corectnessTests.BipartitleGrammarTest
+
+import org.junit.jupiter.api.Test
+import solver.corectnessTests.AbstractCorrectnessTest
+
+class BipartitleGrammarTreeCorrectnessTest : AbstractCorrectnessTest() {
+    @Test
+    override fun checkTreeCorrectnessForGrammar() {
+        runTests(BipartitleGrammar())
+    }
+}