janala.logger.inst.IF_ACMPNE 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;

public class IF_ACMPNE extends Instruction implements ConditionalBranch {
  int label;

  public IF_ACMPNE(int iid, int mid, int label) {
    super(iid, mid);
    this.label = label;
  }

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

  @Override
  public String toString() {
    return "IF_ACMPNE iid=" + iid + " mid=" + mid + " label=" + label;
  }
}