janala.logger.inst.SPECIAL Maven / Gradle / Ivy

Show more of this group Show more artifacts with this name
Show all versions of jqf-instrument Show documentation

JQF: Feedback-directed Quickcheck for Java - Instrumentation and event generation module

There is a newer version: 2.0

package janala.logger.inst;

/** A special probe instruction added by the instrumentation. 
  * The int value identifies which branch does the instruction correspond to. 
  */
public class SPECIAL extends Instruction {

  public static final int NON_EXCEPTIONAL = 0;
  public static final int DID_NOT_BRANCH = 1;
  public static final int CALLING_SUPER_OR_THIS = 2;

  public int i;

  public SPECIAL(int i) {
    super(-1, -1);
    this.i = i;
  }

  public void visit(IVisitor visitor) {
    visitor.visitSPECIAL(this);
  }

  @Override
  public String toString() {
    return "SPECIAL i=" + i;
  }
}