---

Source.java

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

import de.fub.bytecode.classfile.ClassParser;
import de.fub.bytecode.classfile.JavaClass;
import de.fub.bytecode.Repository;
import gov.nasa.arc.ase.jpf.*;
import gov.nasa.arc.ase.util.Debug;
import java.io.*;
import java.util.*;

public class Source {
  private static Hashtable ht = new Hashtable();
  private static String[] classPath = null;

  private List program = new ArrayList();
  private String name;

  private Source() {
    program = null;
    name = null;
  }  
  private Source(String filename, String name) {
    this.name = name;

    try{
      String line;

      BufferedReader in = new BufferedReader(new FileReader(filename));
      line = in.readLine();
      while(line != null){
    program.add(line);
    line = in.readLine();        
      };
      in.close();
    } catch(IOException e) {
      Debug.println(Debug.WARNING, "warning: file " + filename + " not found");
      program = null;
    }
  }  
  public void dump2file(BufferedWriter file, int thread, int lineno) 
    throws IOException {
      file.write(thread + " ");
      if(name != null)
    file.write(name);
      else
    file.write("<unknown>");
      file.write(" " + lineno + "\n");
    }
  public static boolean exists(String filename) {
    try{
      new FileReader(filename);
      return true;
    } catch(FileNotFoundException e) {
      return false;
    }
  }  
  public String getLine(int thread,int lineno) {
    StringBuffer sb = new StringBuffer();

    sb.append("[" + thread + "] ");

    if(name != null)
      sb.append(name);
    else
      sb.append("<unknown>");

    sb.append("." + lineno + ": ");
    if(program == null)
      sb.append("<source file missing>");
    else if(lineno <= 0 || lineno > program.size())
      sb.append("<source line missing>");
    else
      sb.append(program.get(lineno-1).toString());

    return sb.toString();
  }  
  public static Source getSource(String classname) {
    String filename = getSourceFileName(classname);

    if(ht.containsKey(filename))
      return (Source)ht.get(filename);
    else {
      Source s = new Source(filename, getSourceName(classname));
      ht.put(filename, s);

      return s;
    }
  }  
  public static String getSourceFileName(String classname) {
    JavaClass clazz;

    if(classPath == null) setClassPath();

    if((clazz = Repository.lookupClass(classname)) == null)
      try {
    clazz = new ClassParser(classname).parse();
      } catch(IOException e) {
    Debug.println(Debug.WARNING, "can't load class " + classname);
    throw new IllegalArgumentException(classname);
      }

    String source = clazz.getSourceFileName();
    String filename = clazz.getPackageName().replace('.', '/') + "/" + source;

    for(int i = 0; i < classPath.length; i++)
      if(exists(classPath[i] + "/" + filename))
    return classPath[i] + "/" + filename;

    return "./" + filename;
  }  
  public static String getSourceName(String classname) {
    JavaClass clazz;

    if(classPath == null) setClassPath();

    if((clazz = Repository.lookupClass(classname)) == null)
      try {
    clazz = new ClassParser(classname).parse();
      } catch(IOException e) {
    Debug.println(Debug.WARNING, "can't load class " + classname);
    throw new IllegalArgumentException(classname);
      }

    return clazz.getSourceFileName();
  }  
  public void print() {
    if(name != null)
      Debug.println(Debug.WARNING, name + ":");
    if(program == null)
      Debug.println(Debug.WARNING, "<source file missing>");
    else
      for (int i = 0;i < program.size();i++)
    Debug.println(Debug.WARNING, (i+1) + ": " + program.get(i).toString());
  }  
  public void print(int thread,int lineno){
    Debug.print(Debug.WARNING, "[" + thread + "] ");

    if(name != null)
      Debug.print(Debug.WARNING, name);
    else
      Debug.print(Debug.WARNING, "<unknown>");

    Debug.print(Debug.WARNING, "." + lineno + ": ");
    if(program == null)
      Debug.println(Debug.WARNING, "<source file missing>");
    else if(lineno <= 0 || lineno > program.size())
      Debug.println(Debug.WARNING, "<source line missing>");
    else
      Debug.println(Debug.WARNING, program.get(lineno-1).toString());
  }  
  public static void printSources() {
    for(Enumeration e = ht.elements(); e.hasMoreElements(); )
      ((Source)e.nextElement()).print();
  }  
  private static void setClassPath() {
    StringTokenizer st = new StringTokenizer(System.getProperty("java.class.path"), ":");
    classPath = new String[st.countTokens()];
    for(int i = 0; st.hasMoreTokens(); i++)
      classPath[i] = st.nextToken();
  }  
}

---