---

TransitionResult.java

package gov.nasa.arc.ase.jpf;

public class TransitionResult {
  static public int atomicLevel = 0;
  static boolean notified = false;
  static boolean random = false;
  static boolean assertViolation = false;

  static public void assertionViolation(boolean b) {
    assertViolation = b;
  }  
  static public void clearAtomic() {
    if (atomicLevel > 0)
      atomicLevel--;
  }  
  static public void clearNotified() {
    notified = false;
  }  
  static public void clearRandom() {
    random = false;
  }  
  static public void clearViolation() {
    assertViolation = false;
  }  
  static public int getAtomicLevel() {
    return atomicLevel;
  }  
  static public void initialize() {
    clearNotified();
    clearRandom();
  }  
  static public boolean isAssertionViolated() {
    return assertViolation;
  }  
  static public boolean isAtomic() {
    return atomicLevel > 0;
  }  
  static public boolean isNotified() {
    return notified;
  }  
  static public boolean isRandom() {
    return random;
  }  
  static public void resetAtomic() {
    atomicLevel = 0;
  }  
  static public void setAtomic() {
    atomicLevel++;
  }  
  static public void setNotified() {
    notified = true;
  }  
  static public void setRandom() {
    random = true;
  }  
}

---