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

/**
 * Author: Koushik Sen ([email protected])
 * Date: 6/21/12
 * Time: 5:02 PM
 */
public class MAKE_SYMBOLIC extends Instruction {

  public MAKE_SYMBOLIC() {
    super(-1, -1);
  }

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

  @Override
  public String toString() {
    return "MAKE_SYMBOLIC";
  }
}