---

Source.java

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

import gov.nasa.arc.ase.util.Debug;
import java.io.File;
import java.io.BufferedReader;
import java.io.FileReader;
import java.io.IOException;
import java.io.FileNotFoundException;
import java.util.Hashtable;
//#ifdef JDK11


//#else JDK11
import java.util.ArrayList;
import java.util.List;
//#endif JDK11

public class Source {
  private static Hashtable sources = new Hashtable();
  private List program;
  private String name;

  public Source(String fname) {
    name = fname;
    program = loadSource(fname);
  }  
  private static boolean exists(String filename) {
    try{
      new FileReader(filename);
      return true;
    } catch(FileNotFoundException e) {
      return false;
    }
  }  
  public String get(int line) {
    if(program == null)
      return "-- missing source file --";

    if(line <= 0 || line > program.size())
      return "-- invalid line number --";

    return (String)program.get(line-1);
  }  
  public static Source getSource(String fname) {
    Source s = (Source)sources.get(fname);

    if(s == null)
      sources.put(fname, s = new Source(fname));

    return s;
  }  
  private List loadFile(String fname) {
    try {
      BufferedReader in = new BufferedReader(new FileReader(fname));
      List l = new ArrayList();
      String line;

      while((line = in.readLine()) != null)
    l.add(line);

      return l;
    } catch(IOException e) {
      return null;
    }
  }  
  private List loadSource(String fname) {
    for(int i = 0, l = ClassPath.length(); i < l; i++) {
      String filename = ClassPath.get(i) + File.separator + fname;
      if(exists(filename))
    return loadFile(filename);
    }

    if(exists(fname))
      return loadFile(fname);

    return null;
  }  
  public static String locateSourceFile(String fname) {
    for(int i = 0, l = ClassPath.length(); i < l; i++) {
      String filename = ClassPath.get(i) + File.separator + fname;
      if(exists(filename))
    return filename;
    }

    if(exists(fname))
      return fname;

    return null;
  }  
}

---