---

Analyze.java

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

import java.util.*;
import de.fub.bytecode.classfile.*;
import gov.nasa.arc.ase.jpf.*;
import gov.nasa.arc.ase.jpf.jvm.*;
import gov.nasa.arc.ase.util.Debug;

public class Analyze {
//#endif RACE
  public static void debug_info(String msg) {
// ifdef DEBUG_RACE

//#endif DEBUG_RACE
  }  
  public static boolean debug_on() {
    return Debug.getDebugLevel(Debug.RACE) > 0;
  }  
  public static void debugPostAccess(LockStatus lock_status) {
    if (debug_on()) {
      println(" -- After Access: --");
      lock_status.print();
    }
  }  
  public static void debugPreAccess(ThreadInfo th, 
      String className, 
      String fieldName, 
      Ref ref,
      String kind, 
      long value,
      LockStatus lock_status) {
    if (debug_on()) {
      println("---------------------");
      println("Thread : " + th.getThreadReference());
      println(kind 
      + " "
      + className 
      + "[" + ref + "]"
      + "." + fieldName + " = " + value);
      LockSet locks_held  = th.getLockSet();
      locks_held.print();
      lock_status.print();
    }
  }  
// ifdef RACE
  public static boolean on() {  
    return VirtualMachine.options.race;
  }  
  public static void print(String msg) {
    Debug.print(Debug.WARNING, msg);
  }  
  public static void println(String msg) {
    Debug.println(Debug.WARNING, msg);
  }  
}

---