---

SafeBlocks.java

package gov.nasa.arc.ase.jpf;

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

public class SafeBlocks {
  private Vector safeList = new Vector();

  public SafeBlocks (BufferedReader in) {  
    boolean fin = false;
    BitSet unSafeLines = new BitSet();
    int beginline;
    int endline;
    char space;
    while (!fin) {
      try {
    String str = in.readLine();
    if (str == null)
      fin = true;
    else {
      // line has format: NUM SPACE NUM
      StringTokenizer str_tok = new StringTokenizer(str," ");
      beginline = Integer.parseInt(str_tok.nextToken());
      endline =   Integer.parseInt(str_tok.nextToken());
      //if (beginline == endline) {
      //  unSafeLines.set(beginline);
      //}
      //else 
      safeList.add(new SafeBlock(beginline,endline));
    }
      } catch (IOException e1) {}
    }
    // purge unsafe lines
    /*
       for(int i = 0; i < safeList.size(); i++) {
       SafeBlock sb = (SafeBlock)safeList.get(i);
       if (unSafeLines.get(sb.endLine)) {
       safeList.add(new SafeBlock(sb.beginLine,sb.endLine-1));
       safeList.removeElement(sb);
       }
       }
     */
  }  
  public boolean isSafe(int line) {
    for(int i = 0; i < safeList.size(); i++) {
      if (((SafeBlock)safeList.get(i)).isSafe(line)) {
// ifdef DEBUG

//#endif DEBUG
    return true;
      }
    }
// ifdef DEBUG

//#endif DEBUG
    return false;    
  }  
}

---