Commit 9760a9fa authored by stancakapost's avatar stancakapost
Browse files

bug fixes

parent 86359c50

tools/STF475Tools/src/CoverageLister.java

+13 −8
Original line number Original line Diff line number Diff line
@@ -10,6 +10,7 @@ import java.util.Properties; 




public class CoverageLister {

public class CoverageLister {





  public static Properties config = new Properties();

  public static Properties references = new Properties();

  public static Properties references = new Properties();

	public static ArrayList<String> foo = new ArrayList<String>();

	public static ArrayList<String> foo = new ArrayList<String>();

	public static HashSet<String> atsDirectories = new HashSet<String>();

	public static HashSet<String> atsDirectories = new HashSet<String>();
@@ -37,11 +38,15 @@ public class CoverageLister { 
	

	

	public void run() {

	public void run() {

	  try {

	  try {

	    FileUtils.loadConfig(config);

	    FileUtils.loadReferences(references);

	    FileUtils.loadReferences(references);

			FileUtils.visitAllFiles(new File("/Users/bst/repos/ConformanceSTF/ATS/"), atsFiles);

	  } catch (IOException e) {

	  } catch (IOException e) {

			e.printStackTrace();

	    System.err.println("[ERROR] Cannot load config file or config file is incomplete.");

	    return;

	  }

	  }

    String atsPath = config.get("ATSPath").toString();

    System.out.println("Scanning files in "+atsPath+"...");

	  FileUtils.visitAllFiles(new File(atsPath), atsFiles);





		for (int i=0; i < atsFiles.size(); i++) {

		for (int i=0; i < atsFiles.size(); i++) {

			atsDirectories.add(atsFiles.get(i).getParentFile().getName());

			atsDirectories.add(atsFiles.get(i).getParentFile().getName());
@@ -52,7 +57,7 @@ public class CoverageLister { 
		while (it.hasNext()) {

		while (it.hasNext()) {

			String entry = it.next();

			String entry = it.next();

			String[] parts = entry.split("_");

			String[] parts = entry.split("_");

			String clause = clausePreparer(parts[0]);

			String clause = clausePreparer(parts[1]);

			coveredClauses.add(clause);

			coveredClauses.add(clause);

//			System.out.println(clause);

//			System.out.println(clause);

		}

		}