---

NonScheduler.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;
import gov.nasa.arc.ase.util.Debug;

public class NonScheduler extends Scheduler implements Cloneable {
  public iSystemState ss;

  public NonScheduler(iSystemState ss) {
    initialize(ss);
  }  
  public void backtrackTo(ArrayOffset storing, Object backtrack) {
  }  
  public Object clone() {
    return this;
  }  
  public Object getBacktrackData() {
    return this;
  }  
  public int getRandom() {
    return 0;
  }  
  public int[] getStoringData() {
    return new int[0];
  }  
  public int getThread() {
    return 0;
  }  
  public void initialize(iSystemState ss) {
    this.ss = ss;
  }  
  public iThreadInfo locateThread(iSystemState ss) {
    return null;
  }  
  public void next() {
  }  
  public int random(int max) {
    return 0;
  }  
}

---