More precise grammar-driver

examples/scala/Makefile

@@ -53,7 +53,7 @@ all : ${OUT}/GrammarParserBase.class ${OUT}/GrammarParser.class ${OUT}/SimplePar
 all : ${OUT}/test_coll_implicit.class ${OUT}/TestCollDriver.class
 all : ${OUT}/test_cycle_implicit.class ${OUT}/TestCycleDriver.class
 all : ${OUT}/test_use_coll_implicit.class ${OUT}/TestUseCollDriver.class
-all : ${OUT}/grammar_implicit.class ${OUT}/GrammarDriver.class
+all : ${OUT}/grammar_implicit.class ${OUT}/FirstDriver.class ${OUT}/FollowDriver.class ${OUT}/NullableDriver.class
 all : ${OUT}/FarrowLv_implicit.class ${OUT}/FarrowLvDriver.class
 all : ${OUT}/FarrowUbd_implicit.class ${OUT}/FarrowUbdDriver.class
 all : ${OUT}/FarrowUbdFiber_implicit.class ${OUT}/FarrowUbdFiberDriver.class
@@ -301,8 +301,14 @@ ${OUT}/grammar_implicit.class : grammar.scala first${IMPL_SUFFIX} follow${IMPL_S
 	${SCALAC} ${SCALACFLAGS} $^
 	@touch $@
 
-${OUT}/GrammarDriver.class : ${OUT}/grammar_implicit.class ${OUT}/GrammarParser.class
-	${SCALAC} ${SCALACFLAGS} grammar-driver.scala
+${OUT}/FirstDriver.class : first-driver.scala ${OUT}/grammar_implicit.class ${OUT}/GrammarParser.class
+	${SCALAC} ${SCALACFLAGS} first-driver.scala
+
+${OUT}/FollowDriver.class : follow-driver.scala ${OUT}/grammar_implicit.class ${OUT}/GrammarParser.class
+	${SCALAC} ${SCALACFLAGS} follow-driver.scala
+
+${OUT}/NullableDriver.class : nullable-driver.scala ${OUT}/grammar_implicit.class ${OUT}/GrammarParser.class
+	${SCALAC} ${SCALACFLAGS} nullable-driver.scala
 
 ${OUT}/TinyParser.class : tiny-parser.handcode.scala ${OUT}/tiny_implicit.class
 	${SCALAC} ${SCALACFLAGS} tiny-parser.handcode.scala

examples/scala/README

@@ -2,7 +2,9 @@
 make EVALUATOR=STATIC ARGS="farrow-lv.program" FarrowLvDriver.run
 make EVALUATOR=STATIC ARGS="farrow-ubd.program" FarrowUbdDriver.run
 make EVALUATOR=STATIC ARGS="farrow-ubd.program" FarrowUbdFiberDriver.run
-make EVALUATOR=STATIC ARGS="grammar.cfg" GrammarDriver.run
+make EVALUATOR=STATIC ARGS="grammar.cfg" FirstDriver.run
+make EVALUATOR=STATIC ARGS="grammar.cfg" FollowDriver.run
+make EVALUATOR=STATIC ARGS="grammar.cfg" NullableDriver.run
 make EVALUATOR=STATIC ARGS="tiny.program" BroadFiberCycleDriver.run
 make EVALUATOR=STATIC ARGS="tiny.program" BelowFiberCycleDriver.run
 make EVALUATOR=STATIC ARGS="tiny.program" BelowSingleFiberCycleDriver.run

examples/scala/compare-evaluators.sh

@@ -103,6 +103,9 @@ TESTS=(
   "NestedUbdDriver|nested-ubd.program"
   "NestedUbdFiberDriver|nested-ubd.program"
   "TestFieldsDriver|tiny.program"
+  "FirstDriver|grammar.cfg"
+  "FollowDriver|grammar.cfg"
+  "NullableDriver|grammar.cfg"
 )
 
 failures=0

examples/scala/first-driver.scala

@@ -0,0 +1,28 @@
+object FirstDriver extends App {
+
+  val symb = new M_SYMBOL("Symbol")
+  symb.finish()
+
+  val ss = new GrammarScanner(new java.io.FileReader(args(0)))
+  val sp = new GrammarParser()
+  sp.reset(ss, args(0))
+  if (!sp.yyparse()) {
+    println("Errors found.\n")
+    System.exit(1)
+  }
+  val grammarTree = sp.getTree()
+
+  val grammar = grammarTree
+  val first = new M_FIRST[grammar.T_Result]("First", grammar.t_Result)
+
+  grammar.finish()
+  first.finish()
+
+  val results = first.v_firstTable.toSeq
+    .map { case (key, value) => (key.name, value.map(_.name).toSeq.sorted) }
+    .sortBy(_._1)
+
+  println("Results:")
+  results
+    .foreach { case (key, value) => println(s"$key: ${value.mkString(", ")}") }
+}

examples/scala/follow-driver.scala

@@ -0,0 +1,28 @@
+object FollowDriver extends App {
+
+  val symb = new M_SYMBOL("Symbol")
+  symb.finish()
+
+  val ss = new GrammarScanner(new java.io.FileReader(args(0)))
+  val sp = new GrammarParser()
+  sp.reset(ss, args(0))
+  if (!sp.yyparse()) {
+    println("Errors found.\n")
+    System.exit(1)
+  }
+  val grammarTree = sp.getTree()
+
+  val grammar = grammarTree
+  val follow = new M_FOLLOW[grammar.T_Result]("Follow", grammar.t_Result)
+
+  grammar.finish()
+  follow.finish()
+
+  val results = follow.v_followTable.toSeq
+    .map { case (key, value) => (key.name, value.map(_.name).toSeq.sorted) }
+    .sortBy(_._1)
+
+  println("Results:")
+  results
+    .foreach { case (key, value) => println(s"$key: ${value.mkString(", ")}") }
+}

examples/scala/nullable-driver.scala

@@ -0,0 +1,28 @@
+object NullableDriver extends App {
+
+  val symb = new M_SYMBOL("Symbol")
+  symb.finish()
+
+  val ss = new GrammarScanner(new java.io.FileReader(args(0)))
+  val sp = new GrammarParser()
+  sp.reset(ss, args(0))
+  if (!sp.yyparse()) {
+    println("Errors found.\n")
+    System.exit(1)
+  }
+  val grammarTree = sp.getTree()
+
+  val grammar = grammarTree
+  val nullable = new M_NULLABLE[grammar.T_Result]("Nullable", grammar.t_Result)
+
+  grammar.finish()
+  nullable.finish()
+
+  val results = nullable.v_nullableTable.toSeq
+    .map { case (key, value) => (key.name, value) }
+    .sortBy(_._1)
+
+  println("Results:")
+  results
+    .foreach { case (key, value) => println(s"$key: $value") }
+}