gt: 			int left, int right) { /* stub */
context: /**
   * Copyright (C) 2010-2017 Gordon Fraser, Andrea Arcuri and EvoSuite
   * contributors
   *
   * This file is part of EvoSuite.
   *
   * EvoSuite is free software: you can redistribute it and/or modify it
   * under the terms of the GNU Lesser General Public License as published
   * by the Free Software Foundation, either version 3.0 of the License, or
   * (at your option) any later version.
   *
   * EvoSuite is distributed in the hope that it will be useful, but
   * WITHOUT ANY WARRANTY; without even the implied warranty of
   * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
   * Lesser Public License for more details.
   *
   * You should have received a copy of the GNU Lesser General Public
   * License along with EvoSuite. If not, see <http://www.gnu.org/licenses/>.
   */
  package org.evosuite.dse;
  
  import org.evosuite.dse.util.Assertions;
  
  /*
      This class is taken and adapted from the DSC tool developed by Christoph Csallner.
      Link at :
      http://ranger.uta.edu/~csallner/dsc/index.html
   */
  
  /**
   * VM ByteCode instruction listener that does not have access to any shared
   * state of the VM. Still useful for implementing a ByteCode instruction logger.
   * 
   * @author csallner@uta.edu (Christoph Csallner)
   */
  public abstract class AbstractVM implements IVM {
  
  	protected MainConfig conf = MainConfig.get();
  
  	@Override
  	public void CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, int value) { /* stub */
  	}
  
  	@Override
  	public void CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, boolean value) { /* stub */
  	}
  
  	@Override
  	public void CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, short value) { /* stub */
  	}
  
  	@Override
  	public void CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, byte value) { /* stub */
  	}
  
  	@Override
  	public void CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, char value) { /* stub */
  	}
  
  	@Override
  	public void CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, long value) { /* stub */
  	}
  
  	@Override
  	public void CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, float value) { /* stub */
  	}
  
  	@Override
  	public void CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, double value) { /* stub */
  	}
  
  	@Override
  	public void CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, Object value) { /* stub */
  	}
  
  	@Override
  	public void METHOD_BEGIN(int access, String className, String methName,
  			String methDesc) { /* stub */
  	}
  
  	@Override
  	public void METHOD_MAXS(String className, String methName, String methDesc,
  			int maxStack, int maxLocals) {
  		// empty
  	}
  
  	/**
  	 * @param index
  	 *            is the index into the locals. I.e., index increases by two for
  	 *            each category-2 parameter
  	 */
  	@Override
  	public void METHOD_BEGIN_PARAM(int nr, int calleeLocalsIndex, int value) { /* stub */
  	}
  
  	@Override
  	public void METHOD_BEGIN_PARAM(int nr, int calleeLocalsIndex, boolean value) { /* stub */
  	}
  
  	@Override
  	public void METHOD_BEGIN_PARAM(int nr, int calleeLocalsIndex, short value) { /* stub */
  	}
  
  	@Override
  	public void METHOD_BEGIN_PARAM(int nr, int calleeLocalsIndex, byte value) { /* stub */
  	}
  
  	@Override
  	public void METHOD_BEGIN_PARAM(int nr, int calleeLocalsIndex, char value) { /* stub */
  	}
  
  	@Override
  	public void METHOD_BEGIN_PARAM(int nr, int calleeLocalsIndex, long value) { /* stub */
  	}
  
  	@Override
  	public void METHOD_BEGIN_PARAM(int nr, int calleeLocalsIndex, float value) { /* stub */
  	}
  
  	@Override
  	public void METHOD_BEGIN_PARAM(int nr, int calleeLocalsIndex, double value) { /* stub */
  	}
  
  	@Override
  	public void METHOD_BEGIN_PARAM(int nr, int calleeLocalsIndex, Object value) { /* stub */
  	}
  
  	@Override
  	public void METHOD_BEGIN_RECEIVER(Object value) { /* stub */
  	}
  
  	@Override
  	public void SRC_LINE_NUMBER(int lineNr) { /* stub */
  	}
  
  	@Override
  	public void BB_BEGIN() { /* stub */
  	}
  
  	@Override
  	public void HANDLER_BEGIN(int access, String className, String methName,
  			String methDesc) { /* stub */
  	}
  
  	@Override
  	public void CALL_RESULT(String owner, String name, String desc) { /* stub */
  	}
  
  	@Override
  	public void CALL_RESULT(boolean res, String owner, String name, String desc) { /* stub */
  	}
  
  	@Override
  	public void CALL_RESULT(int res, String owner, String name, String desc) { /* stub */
  	}
  
  	@Override
  	public void CALL_RESULT(long res, String owner, String name, String desc) { /* stub */
  	}
  
  	@Override
  	public void CALL_RESULT(double res, String owner, String name, String desc) { /* stub */
  	}
  
  	@Override
  	public void CALL_RESULT(float res, String owner, String name, String desc) { /* stub */
  	}
  
  	@Override
  	public void CALL_RESULT(Object res, String owner, String name, String desc) { /* stub */
  	}
  
  	@Override
  	public void AALOAD(Object receiver, int index) { /* stub */
  	}
  
  	@Override
  	public void AASTORE(Object receiver, int index) { /* stub */
  	}
  
  	@Override
  	public void ACONST_NULL() { /* stub */
  	}
  
  	@Override
  	public void ALOAD(int i) { /* stub */
  	}
  
  	@Override
  	public void ANEWARRAY(int length, String typeName) { /* stub */
  	}
  
  	@Override
  	public void ARETURN() { /* stub */
  	}
  
  	@Override
  	public void ARRAYLENGTH(Object reference) { /* stub */
  	}
  
  	@Override
  	public void ASTORE(int i) { /* stub */
  	}
  
  	@Override
  	public void ATHROW(Throwable throwable) { /* stub */
  	}
  
  	@Override
  	public void BALOAD(Object receiver, int index) { /* stub */
  	}
  
  	@Override
  	public void BASTORE(Object receiver, int index) { /* stub */
  	}
  
  	@Override
  	public void BIPUSH(int value) { /* stub */
  	}
  
  	@Override
  	public void CALOAD(Object receiver, int index) { /* stub */
  	}
  
  	@Override
  	public void CASTORE(Object receiver, int index) { /* stub */
  	}
  
  	@Override
  	public void CHECKCAST(Object reference, String typeName) { /* stub */
  	}
  
  	@Override
  	public void D2F() { /* stub */
  	}
  
  	@Override
  	public void D2I() { /* stub */
  	}
  
  	@Override
  	public void D2L() { /* stub */
  	}
  
  	@Override
  	public void DADD() { /* stub */
  	}
  
  	@Override
  	public void DALOAD(Object receiver, int index) { /* stub */
  	}
  
  	@Override
  	public void DASTORE(Object receiver, int index) { /* stub */
  	}
  
  	@Override
  	public void DCMPG() { /* stub */
  	}
  
  	@Override
  	public void DCMPL() { /* stub */
  	}
  
  	@Override
  	public void DCONST_0() { /* stub */
  	}
  
  	@Override
  	public void DCONST_1() { /* stub */
  	}
  
  	@Override
  	public void DDIV(double rhs) { /* stub */
  	}
  
  	@Override
  	public void DLOAD(int i) { /* stub */
  	}
  
  	@Override
  	public void DMUL() { /* stub */
  	}
  
  	@Override
  	public void DNEG() { /* stub */
  	}
  
  	@Override
  	public void DREM(double rhs) { /* stub */
  	}
  
  	@Override
  	public void DRETURN() { /* stub */
  	}
  
  	@Override
  	public void DSTORE(int i) { /* stub */
  	}
  
  	@Override
  	public void DSUB() { /* stub */
  	}
  
  	@Override
  	public void DUP() { /* stub */
  	}
  
  	@Override
  	public void DUP2() { /* stub */
  	}
  
  	@Override
  	public void DUP2_X1() { /* stub */
  	}
  
  	@Override
  	public void DUP2_X2() { /* stub */
  	}
  
  	@Override
  	public void DUP_X1() { /* stub */
  	}
  
  	@Override
  	public void DUP_X2() { /* stub */
  	}
  
  	@Override
  	public void F2D() { /* stub */
  	}
  
  	@Override
  	public void F2I() { /* stub */
  	}
  
  	@Override
  	public void F2L() { /* stub */
  	}
  
  	@Override
  	public void FADD() { /* stub */
  	}
  
  	@Override
  	public void FALOAD(Object receiver, int index) { /* stub */
  	}
  
  	@Override
  	public void FASTORE(Object receiver, int index) { /* stub */
  	}
  
  	@Override
  	public void FCMPG() { /* stub */
  	}
  
  	@Override
  	public void FCMPL() { /* stub */
  	}
  
  	@Override
  	public void FCONST_0() { /* stub */
  	}
  
  	@Override
  	public void FCONST_1() { /* stub */
  	}
  
  	@Override
  	public void FCONST_2() { /* stub */
  	}
  
  	@Override
  	public void FDIV(float rhs) { /* stub */
  	}
  
  	@Override
  	public void FLOAD(int i) { /* stub */
  	}
  
  	@Override
  	public void FMUL() { /* stub */
  	}
  
  	@Override
  	public void FNEG() { /* stub */
  	}
  
  	@Override
  	public void FREM(float rhs) { /* stub */
  	}
  
  	@Override
  	public void FRETURN() { /* stub */
  	}
  
  	@Override
  	public void FSTORE(int i) { /* stub */
  	}
  
  	@Override
  	public void FSUB() { /* stub */
  	}
  
  	@Override
  	public void GETFIELD(Object receiver, String owner, String name, String desc) { /* stub */
  	}
  
  	@Override
  	public void GETSTATIC(String owner, String name, String desc) { /* stub */
  	}
  
  	@Override
  	public void GOTO() { /* stub */
  	}
  
  	@Override
  	public void GOTO_W() { /* stub */
  	}
  
  	@Override
  	public void I2B() { /* stub */
  	}
  
  	@Override
  	public void I2C() { /* stub */
  	}
  
  	@Override
  	public void I2D() { /* stub */
  	}
  
  	@Override
  	public void I2F() { /* stub */
  	}
  
  	@Override
  	public void I2L() { /* stub */
  	}
  
  	@Override
  	public void I2S() { /* stub */
  	}
  
  	@Override
  	public void IADD() { /* stub */
  	}
  
  	@Override
  	public void IALOAD(Object receiver, int index) { /* stub */
  	}
  
  	@Override
  	public void IAND() { /* stub */
  	}
  
  	@Override
  	public void IASTORE(Object receiver, int index) { /* stub */
  	}
  
  	@Override
  	public void ICONST_0() { /* stub */
  	}
  
  	@Override
  	public void ICONST_1() { /* stub */
  	}
  
  	@Override
  	public void ICONST_2() { /* stub */
  	}
  
  	@Override
  	public void ICONST_3() { /* stub */
  	}
  
  	@Override
  	public void ICONST_4() { /* stub */
  	}
  
  	@Override
  	public void ICONST_5() { /* stub */
  	}
  
  	@Override
  	public void ICONST_M1() { /* stub */
  	}
  
  	@Override
  	public void IDIV(int rhs) { /* stub */
  	}
  
  	@Override
  	public void IFEQ(String className, String methNane, int branchIndex, int p) { /* stub */
  	}
  
  	@Override
  	public void IFGE(String className, String methNane, int branchIndex, int p) { /* stub */
  	}
  
  	@Override
  	public void IFGT(String className, String methNane, int branchIndex, int p) { /* stub */
  	}
  
  	@Override
  	public void IFLE(String className, String methNane, int branchIndex, int p) { /* stub */
  	}
  
  	@Override
  	public void IFLT(String className, String methNane, int branchIndex, int p) { /* stub */
  	}
  
  	@Override
  	public void IFNE(String className, String methNane, int branchIndex, int p) { /* stub */
  	}
  
  	@Override
  	public void IFNONNULL(String className, String methNane, int branchIndex,
  			Object p) { /* stub */
  	}
  
  	@Override
  	public void IFNULL(String className, String methNane, int branchIndex,
  			Object p) { /* stub */
  	}
  
  	@Override
  	public void IF_ACMPEQ(String className, String methNane, int branchIndex,
  			Object left, Object right) { /* stub */
  	}
  
  	@Override
  	public void IF_ACMPNE(String className, String methNane, int branchIndex,
  			Object left, Object right) { /* stub */
  	}
  
  	@Override
  	public void IF_ICMPEQ(String className, String methNane, int branchIndex,
  			int left, int right) { /* stub */
  	}
  
  	@Override
  	public void IF_ICMPGE(String className, String methNane, int branchIndex,
  			int left, int right) { /* stub */
  	}
  
  	@Override
  	public void IF_ICMPGT(String className, String methNane, int branchIndex,
  