All Downloads are FREE. Search and download functionalities are using the official Maven repository.

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

Go to download

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

There is a newer version: 2.0
Show newest version
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;
  }
}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy