---

PathScheduler.java

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

import gov.nasa.arc.ase.jpf.iSystemState;
import gov.nasa.arc.ase.jpf.iThreadInfo;
import gov.nasa.arc.ase.jpf.JPFErrorException;

public class PathScheduler extends Scheduler {
  private JVMPath path;
  private int position;

  public PathScheduler(iSystemState ss, JVMPath p) {
    initialize(ss);
    position = 0;
    path = p;
  }  
  public PathScheduler(PathScheduler ps) {
    path = ps.path;
    position = ps.position;
    ss = null;
  }  
  public Object clone() {
    return new PathScheduler(this);
  }  
  public int getRandom() {
    if(position < path.size())
      return path.get(position).random;
    else
      return 0;
  }  
  public int getThread() {
    if(position < path.size())
      return path.get(position).thread;
    else
      return 0;
  }  
  public void initialize(iSystemState ss) {
    this.ss = (SystemState)ss;
    position++;
  }  
  public iThreadInfo locateThread(iSystemState ss) {
    if(position < path.size())
      return ss.getThreadInfo(getThread());
    else
      return null;
  }  
  public void next() {
  }  
  public int random(int max) {
    return getRandom();
  }  
}

---