HOL-master/examples/lassie/sempre/src/edu/stanford/nlp/sempre/test/GrammarValidityTest.java
package edu.stanford.nlp.sempre.test;

import edu.stanford.nlp.sempre.*;

import org.testng.annotations.Test;

import fig.basic.LogInfo;

import java.util.*;
import java.nio.file.*;

import static org.testng.AssertJUnit.assertEquals;

/**
 * Attempt to load all grammars to test for validity.
 *
 * @author Yushi Wang
 */

public class GrammarValidityTest {
  private String[] dataPaths = new String[] {"data/", "freebase/", "tables/", "regex/", "overnight/"};

  @Test(groups = {"grammar"})
  public void readGrammars() {
    try {
      List<String> successes = new ArrayList<>(), failures = new ArrayList<>();
      for (String dataPath : dataPaths) {
        Files.walk(Paths.get(dataPath)).forEach(filePath -> {
          try {
            if (filePath.toString().toLowerCase().endsWith(".grammar")) {
              Grammar test = new Grammar();
              LogInfo.logs("Reading grammar file: %s", filePath.toString());
              test.read(filePath.toString());
              LogInfo.logs("Finished reading", filePath.toString());
              successes.add(filePath.toString());
            }
          }
          catch (Exception ex) {
            failures.add(filePath.toString());
          }
        });
      }
      LogInfo.begin_track("Following grammar tests passed:");
      for (String path : successes)
        LogInfo.logs("%s", path);
      LogInfo.end_track();
      LogInfo.begin_track("Following grammar tests failed:");
      for (String path : failures)
        LogInfo.logs("%s", path);
      LogInfo.end_track();
      assertEquals(0, failures.size());
    }
    catch (Exception ex) {
      LogInfo.logs(ex.toString());
    }
  }
}
