janala.logger.inst.TABLESWITCH 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 TABLESWITCH extends Instruction {
public int min;
public int max;
public int dflt;
public int[] labels;
public TABLESWITCH(int iid, int mid, int min, int max, int dflt, int[] labels) {
super(iid, mid);
this.min = min;
this.max = max;
this.dflt = dflt;
this.labels = labels;
}
public void visit(IVisitor visitor) {
visitor.visitTABLESWITCH(this);
}
@Override
public String toString() {
return "TABLESWITCH iid="
+ iid
+ " mid="
+ mid
+ " min="
+ min
+ " max="
+ max
+ " dflt="
+ dflt
+ " labels="
+ labels;
}
}