janala.logger.inst.IFNONNULL Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of jqf-instrument Show documentation
Show all versions of jqf-instrument Show documentation
JQF: Feedback-directed Quickcheck for Java - Instrumentation and event generation module
package janala.logger.inst;
public class IFNONNULL extends Instruction implements ConditionalBranch {
int label;
public IFNONNULL(int iid, int mid, int label) {
super(iid, mid);
this.label = label;
}
public void visit(IVisitor visitor) {
visitor.visitIFNONNULL(this);
}
@Override
public String toString() {
return "IFNONNULL iid=" + iid + " mid=" + mid + " label=" + label;
}
}