---

Reachability.java

package gov.nasa.arc.ase.jpf.tools;

import java.io.*;
import java.util.*;
import gov.nasa.arc.ase.jpf.*;

public class Reachability {
  public static void main(String[] args) {
    TreeMap map = new TreeMap();
    Vector files = new Vector();
    Vector mappings = new Vector();
    Vector counters = new Vector();
    String lastfile = null;
    Vector lastmapping = null;
    Vector lastcounter = null;

    try {
      BufferedReader r = new BufferedReader(new FileReader(args[0]));
      String line;
      while((line = r.readLine()) != null) {
    StringTokenizer st = new StringTokenizer(line, "/");
    String category = st.nextToken();
    if(category.equals("Reachability")) {
      String file = st.nextToken();
      int lineno = Integer.parseInt(st.nextToken("/:"));
      int count = Integer.parseInt(st.nextToken(": "));
      if(lastfile == null || !file.equals(lastfile)) {
        files.add(lastfile = file);
        mappings.add(lastmapping = new Vector());
        counters.add(lastcounter = new Vector());
      }
      lastmapping.add(new Integer(lineno));
      lastcounter.add(new Integer(count));
    }
      }
    } catch(IOException e) {
      e.printStackTrace();
      System.exit(1);
    }

    for(int i = 0; i < files.size(); i++) {
      String file = (String)files.elementAt(i);
      Vector mapping = (Vector)mappings.elementAt(i);
      Vector counter = (Vector)counters.elementAt(i);

      System.out.println(file + ":");
      try {
    LineNumberReader r = new LineNumberReader(new FileReader(file));
    PrintWriter w = new PrintWriter(new FileWriter(file + ".reachability"));

    String line = r.readLine();
    for(int j = 0; j < mapping.size(); j++) {
      int lineno = ((Integer)mapping.elementAt(j)).intValue();
      int count = ((Integer)counter.elementAt(j)).intValue();
      System.out.println(" " + lineno);
      while(r.getLineNumber() < lineno && line != null) {
        w.println(line);
        line = r.readLine();
      }
      if(line != null) {
        w.println(line + " // " + count);
        line = r.readLine();
      }
    }
    while(line != null) {
      w.println(line);
      line = r.readLine();
    }
    w.close();
      } catch(IOException e) {
    e.printStackTrace();
    System.exit(1);
      }
    }
  }  
}

---