Uses of Class
korat.instrumentation.bytecode.BytecodeInstruction

Packages that use BytecodeInstruction
korat.instrumentation.bytecode   
 

Uses of BytecodeInstruction in korat.instrumentation.bytecode
 

Methods in korat.instrumentation.bytecode with parameters of type BytecodeInstruction
 void BytecodeVisitor.postVisit(BytecodeInstruction instr)
          This method should be invoked immediately after calling any of the visit methods.
 void StackTracerVisitor.postVisit(BytecodeInstruction instr)
           
 void VisitorSupport.postVisit(BytecodeInstruction instr)
           
 void BytecodeVisitor.preVisit(BytecodeInstruction instr)
          This method should be invoked just before calling any of the visit methods.
 void StackTracerVisitor.preVisit(BytecodeInstruction instr)
           
 void VisitorSupport.preVisit(BytecodeInstruction instr)
           
private  void StackTracerVisitor.setConsumedBy(OperandStack.StackElem elem, BytecodeInstruction instr)
           
 void ArrayBytecodesVisitor.visitAALOAD(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitAALOAD(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitAALOAD(BytecodeInstruction instr)
           
 void VisitorSupport.visitAALOAD(BytecodeInstruction instr)
           
 void ArrayBytecodesVisitor.visitAASTORE(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitAASTORE(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitAASTORE(BytecodeInstruction instr)
           
 void VisitorSupport.visitAASTORE(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitACONST_NULL(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitACONST_NULL(BytecodeInstruction instr)
           
 void VisitorSupport.visitACONST_NULL(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitALOAD_0(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitALOAD_0(BytecodeInstruction instr)
           
 void VisitorSupport.visitALOAD_0(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitALOAD_1(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitALOAD_1(BytecodeInstruction instr)
           
 void VisitorSupport.visitALOAD_1(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitALOAD_2(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitALOAD_2(BytecodeInstruction instr)
           
 void VisitorSupport.visitALOAD_2(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitALOAD_3(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitALOAD_3(BytecodeInstruction instr)
           
 void VisitorSupport.visitALOAD_3(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitALOAD(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitALOAD(BytecodeInstruction instr)
           
 void VisitorSupport.visitALOAD(BytecodeInstruction instr)
           
 void ArrayBytecodesVisitor.visitANEWARRAY(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitANEWARRAY(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitANEWARRAY(BytecodeInstruction instr)
           
 void VisitorSupport.visitANEWARRAY(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitARETURN(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitARETURN(BytecodeInstruction instr)
           
 void VisitorSupport.visitARETURN(BytecodeInstruction instr)
           
 void ArrayBytecodesVisitor.visitARRAYLENGTH(BytecodeInstruction instr)
          array.length -> __korat_KoratArray_array.getLength()
 void BytecodeVisitor.visitARRAYLENGTH(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitARRAYLENGTH(BytecodeInstruction instr)
           
 void VisitorSupport.visitARRAYLENGTH(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitASTORE_0(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitASTORE_0(BytecodeInstruction instr)
           
 void VisitorSupport.visitASTORE_0(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitASTORE_1(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitASTORE_1(BytecodeInstruction instr)
           
 void VisitorSupport.visitASTORE_1(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitASTORE_2(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitASTORE_2(BytecodeInstruction instr)
           
 void VisitorSupport.visitASTORE_2(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitASTORE_3(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitASTORE_3(BytecodeInstruction instr)
           
 void VisitorSupport.visitASTORE_3(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitASTORE(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitASTORE(BytecodeInstruction instr)
           
 void VisitorSupport.visitASTORE(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitATHROW(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitATHROW(BytecodeInstruction instr)
           
 void VisitorSupport.visitATHROW(BytecodeInstruction instr)
           
 void ArrayBytecodesVisitor.visitBALOAD(BytecodeInstruction instr)
          byteArray[i] -> __korat_KoratArray_byteArray.get(i)
 void BytecodeVisitor.visitBALOAD(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitBALOAD(BytecodeInstruction instr)
           
 void VisitorSupport.visitBALOAD(BytecodeInstruction instr)
           
 void ArrayBytecodesVisitor.visitBASTORE(BytecodeInstruction instr)
          byteArray[i] = x -> __korat_KoratArray_byteArray.set(i, x)
 void BytecodeVisitor.visitBASTORE(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitBASTORE(BytecodeInstruction instr)
           
 void VisitorSupport.visitBASTORE(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitBIPUSH(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitBIPUSH(BytecodeInstruction instr)
           
 void VisitorSupport.visitBIPUSH(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitBREAKPOINT(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitBREAKPOINT(BytecodeInstruction instr)
           
 void VisitorSupport.visitBREAKPOINT(BytecodeInstruction instr)
           
 void ArrayBytecodesVisitor.visitCALOAD(BytecodeInstruction instr)
          charArray[i] -> __korat_KoratArray_charArray.get(i)
 void BytecodeVisitor.visitCALOAD(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitCALOAD(BytecodeInstruction instr)
           
 void VisitorSupport.visitCALOAD(BytecodeInstruction instr)
           
 void ArrayBytecodesVisitor.visitCASTORE(BytecodeInstruction instr)
          charArray[i] = x -> __korat_KoratArray_charArray.set(i, x)
 void BytecodeVisitor.visitCASTORE(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitCASTORE(BytecodeInstruction instr)
           
 void VisitorSupport.visitCASTORE(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitCHECKCAST(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitCHECKCAST(BytecodeInstruction instr)
           
 void VisitorSupport.visitCHECKCAST(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitD2F(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitD2F(BytecodeInstruction instr)
           
 void VisitorSupport.visitD2F(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitD2I(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitD2I(BytecodeInstruction instr)
           
 void VisitorSupport.visitD2I(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitD2L(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitD2L(BytecodeInstruction instr)
           
 void VisitorSupport.visitD2L(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitDADD(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitDADD(BytecodeInstruction instr)
           
 void VisitorSupport.visitDADD(BytecodeInstruction instr)
           
 void ArrayBytecodesVisitor.visitDALOAD(BytecodeInstruction instr)
          doubleArray[i] -> __korat_KoratArray_doubleArray.get(i)
 void BytecodeVisitor.visitDALOAD(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitDALOAD(BytecodeInstruction instr)
           
 void VisitorSupport.visitDALOAD(BytecodeInstruction instr)
           
 void ArrayBytecodesVisitor.visitDASTORE(BytecodeInstruction instr)
          doubleArray[i] = x -> __korat_KoratArray_doubleArray.set(i, x)
 void BytecodeVisitor.visitDASTORE(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitDASTORE(BytecodeInstruction instr)
           
 void VisitorSupport.visitDASTORE(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitDCMPG(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitDCMPG(BytecodeInstruction instr)
           
 void VisitorSupport.visitDCMPG(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitDCMPL(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitDCMPL(BytecodeInstruction instr)
           
 void VisitorSupport.visitDCMPL(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitDCONST_0(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitDCONST_0(BytecodeInstruction instr)
           
 void VisitorSupport.visitDCONST_0(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitDCONST_1(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitDCONST_1(BytecodeInstruction instr)
           
 void VisitorSupport.visitDCONST_1(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitDDIV(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitDDIV(BytecodeInstruction instr)
           
 void VisitorSupport.visitDDIV(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitDLOAD_0(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitDLOAD_0(BytecodeInstruction instr)
           
 void VisitorSupport.visitDLOAD_0(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitDLOAD_1(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitDLOAD_1(BytecodeInstruction instr)
           
 void VisitorSupport.visitDLOAD_1(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitDLOAD_2(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitDLOAD_2(BytecodeInstruction instr)
           
 void VisitorSupport.visitDLOAD_2(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitDLOAD_3(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitDLOAD_3(BytecodeInstruction instr)
           
 void VisitorSupport.visitDLOAD_3(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitDLOAD(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitDLOAD(BytecodeInstruction instr)
           
 void VisitorSupport.visitDLOAD(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitDMUL(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitDMUL(BytecodeInstruction instr)
           
 void VisitorSupport.visitDMUL(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitDNEG(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitDNEG(BytecodeInstruction instr)
           
 void VisitorSupport.visitDNEG(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitDREM(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitDREM(BytecodeInstruction instr)
           
 void VisitorSupport.visitDREM(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitDRETURN(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitDRETURN(BytecodeInstruction instr)
           
 void VisitorSupport.visitDRETURN(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitDSTORE_0(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitDSTORE_0(BytecodeInstruction instr)
           
 void VisitorSupport.visitDSTORE_0(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitDSTORE_1(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitDSTORE_1(BytecodeInstruction instr)
           
 void VisitorSupport.visitDSTORE_1(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitDSTORE_2(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitDSTORE_2(BytecodeInstruction instr)
           
 void VisitorSupport.visitDSTORE_2(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitDSTORE_3(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitDSTORE_3(BytecodeInstruction instr)
           
 void VisitorSupport.visitDSTORE_3(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitDSTORE(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitDSTORE(BytecodeInstruction instr)
           
 void VisitorSupport.visitDSTORE(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitDSUB(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitDSUB(BytecodeInstruction instr)
           
 void VisitorSupport.visitDSUB(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitDUP_X1(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitDUP_X1(BytecodeInstruction instr)
           
 void VisitorSupport.visitDUP_X1(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitDUP_X2(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitDUP_X2(BytecodeInstruction instr)
           
 void VisitorSupport.visitDUP_X2(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitDUP(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitDUP(BytecodeInstruction instr)
           
 void VisitorSupport.visitDUP(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitDUP2_X1(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitDUP2_X1(BytecodeInstruction instr)
           
 void VisitorSupport.visitDUP2_X1(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitDUP2_X2(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitDUP2_X2(BytecodeInstruction instr)
           
 void VisitorSupport.visitDUP2_X2(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitDUP2(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitDUP2(BytecodeInstruction instr)
           
 void VisitorSupport.visitDUP2(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitF2D(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitF2D(BytecodeInstruction instr)
           
 void VisitorSupport.visitF2D(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitF2I(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitF2I(BytecodeInstruction instr)
           
 void VisitorSupport.visitF2I(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitF2L(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitF2L(BytecodeInstruction instr)
           
 void VisitorSupport.visitF2L(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitFADD(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitFADD(BytecodeInstruction instr)
           
 void VisitorSupport.visitFADD(BytecodeInstruction instr)
           
 void ArrayBytecodesVisitor.visitFALOAD(BytecodeInstruction instr)
          floatArray[i] -> __korat_KoratArray_floatArray.get(i)
 void BytecodeVisitor.visitFALOAD(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitFALOAD(BytecodeInstruction instr)
           
 void VisitorSupport.visitFALOAD(BytecodeInstruction instr)
           
 void ArrayBytecodesVisitor.visitFASTORE(BytecodeInstruction instr)
          floatArray[i] = x -> __korat_KoratArray_floatArray.set(i, x)
 void BytecodeVisitor.visitFASTORE(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitFASTORE(BytecodeInstruction instr)
           
 void VisitorSupport.visitFASTORE(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitFCMPG(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitFCMPG(BytecodeInstruction instr)
           
 void VisitorSupport.visitFCMPG(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitFCMPL(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitFCMPL(BytecodeInstruction instr)
           
 void VisitorSupport.visitFCMPL(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitFCONST_0(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitFCONST_0(BytecodeInstruction instr)
           
 void VisitorSupport.visitFCONST_0(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitFCONST_1(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitFCONST_1(BytecodeInstruction instr)
           
 void VisitorSupport.visitFCONST_1(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitFCONST_2(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitFCONST_2(BytecodeInstruction instr)
           
 void VisitorSupport.visitFCONST_2(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitFDIV(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitFDIV(BytecodeInstruction instr)
           
 void VisitorSupport.visitFDIV(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitFLOAD_0(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitFLOAD_0(BytecodeInstruction instr)
           
 void VisitorSupport.visitFLOAD_0(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitFLOAD_1(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitFLOAD_1(BytecodeInstruction instr)
           
 void VisitorSupport.visitFLOAD_1(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitFLOAD_2(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitFLOAD_2(BytecodeInstruction instr)
           
 void VisitorSupport.visitFLOAD_2(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitFLOAD_3(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitFLOAD_3(BytecodeInstruction instr)
           
 void VisitorSupport.visitFLOAD_3(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitFLOAD(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitFLOAD(BytecodeInstruction instr)
           
 void VisitorSupport.visitFLOAD(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitFMUL(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitFMUL(BytecodeInstruction instr)
           
 void VisitorSupport.visitFMUL(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitFNEG(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitFNEG(BytecodeInstruction instr)
           
 void VisitorSupport.visitFNEG(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitFREM(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitFREM(BytecodeInstruction instr)
           
 void VisitorSupport.visitFREM(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitFRETURN(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitFRETURN(BytecodeInstruction instr)
           
 void VisitorSupport.visitFRETURN(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitFSTORE_0(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitFSTORE_0(BytecodeInstruction instr)
           
 void VisitorSupport.visitFSTORE_0(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitFSTORE_1(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitFSTORE_1(BytecodeInstruction instr)
           
 void VisitorSupport.visitFSTORE_1(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitFSTORE_2(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitFSTORE_2(BytecodeInstruction instr)
           
 void VisitorSupport.visitFSTORE_2(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitFSTORE_3(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitFSTORE_3(BytecodeInstruction instr)
           
 void VisitorSupport.visitFSTORE_3(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitFSTORE(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitFSTORE(BytecodeInstruction instr)
           
 void VisitorSupport.visitFSTORE(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitFSUB(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitFSUB(BytecodeInstruction instr)
           
 void VisitorSupport.visitFSUB(BytecodeInstruction instr)
           
 void ArrayBytecodesVisitor.visitGETFIELD(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitGETFIELD(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitGETFIELD(BytecodeInstruction instr)
           
 void VisitorSupport.visitGETFIELD(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitGETSTATIC(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitGETSTATIC(BytecodeInstruction instr)
           
 void VisitorSupport.visitGETSTATIC(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitGOTO_W(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitGOTO_W(BytecodeInstruction instr)
           
 void VisitorSupport.visitGOTO_W(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitGOTO(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitGOTO(BytecodeInstruction instr)
           
 void VisitorSupport.visitGOTO(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitI2B(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitI2B(BytecodeInstruction instr)
           
 void VisitorSupport.visitI2B(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitI2C(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitI2C(BytecodeInstruction instr)
           
 void VisitorSupport.visitI2C(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitI2D(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitI2D(BytecodeInstruction instr)
           
 void VisitorSupport.visitI2D(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitI2F(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitI2F(BytecodeInstruction instr)
           
 void VisitorSupport.visitI2F(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitI2L(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitI2L(BytecodeInstruction instr)
           
 void VisitorSupport.visitI2L(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitI2S(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitI2S(BytecodeInstruction instr)
           
 void VisitorSupport.visitI2S(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitIADD(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIADD(BytecodeInstruction instr)
           
 void VisitorSupport.visitIADD(BytecodeInstruction instr)
           
 void ArrayBytecodesVisitor.visitIALOAD(BytecodeInstruction instr)
          intArray[i] -> __korat_KoratArray_intArray.get(i)
 void BytecodeVisitor.visitIALOAD(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIALOAD(BytecodeInstruction instr)
           
 void VisitorSupport.visitIALOAD(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitIAND(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIAND(BytecodeInstruction instr)
           
 void VisitorSupport.visitIAND(BytecodeInstruction instr)
           
 void ArrayBytecodesVisitor.visitIASTORE(BytecodeInstruction instr)
          intArray[i] = x -> __korat_KoratArray_intArray.set(i, x)
 void BytecodeVisitor.visitIASTORE(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIASTORE(BytecodeInstruction instr)
           
 void VisitorSupport.visitIASTORE(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitICONST_0(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitICONST_0(BytecodeInstruction instr)
           
 void VisitorSupport.visitICONST_0(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitICONST_1(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitICONST_1(BytecodeInstruction instr)
           
 void VisitorSupport.visitICONST_1(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitICONST_2(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitICONST_2(BytecodeInstruction instr)
           
 void VisitorSupport.visitICONST_2(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitICONST_3(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitICONST_3(BytecodeInstruction instr)
           
 void VisitorSupport.visitICONST_3(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitICONST_4(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitICONST_4(BytecodeInstruction instr)
           
 void VisitorSupport.visitICONST_4(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitICONST_5(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitICONST_5(BytecodeInstruction instr)
           
 void VisitorSupport.visitICONST_5(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitICONST_M1(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitICONST_M1(BytecodeInstruction instr)
           
 void VisitorSupport.visitICONST_M1(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitIDIV(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIDIV(BytecodeInstruction instr)
           
 void VisitorSupport.visitIDIV(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitIF_ACMPEQ(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIF_ACMPEQ(BytecodeInstruction instr)
           
 void VisitorSupport.visitIF_ACMPEQ(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitIF_ACMPNE(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIF_ACMPNE(BytecodeInstruction instr)
           
 void VisitorSupport.visitIF_ACMPNE(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitIF_ICMPEQ(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIF_ICMPEQ(BytecodeInstruction instr)
           
 void VisitorSupport.visitIF_ICMPEQ(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitIF_ICMPGE(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIF_ICMPGE(BytecodeInstruction instr)
           
 void VisitorSupport.visitIF_ICMPGE(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitIF_ICMPGT(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIF_ICMPGT(BytecodeInstruction instr)
           
 void VisitorSupport.visitIF_ICMPGT(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitIF_ICMPLE(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIF_ICMPLE(BytecodeInstruction instr)
           
 void VisitorSupport.visitIF_ICMPLE(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitIF_ICMPLT(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIF_ICMPLT(BytecodeInstruction instr)
           
 void VisitorSupport.visitIF_ICMPLT(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitIF_ICMPNE(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIF_ICMPNE(BytecodeInstruction instr)
           
 void VisitorSupport.visitIF_ICMPNE(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitIFEQ(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIFEQ(BytecodeInstruction instr)
           
 void VisitorSupport.visitIFEQ(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitIFGE(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIFGE(BytecodeInstruction instr)
           
 void VisitorSupport.visitIFGE(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitIFGT(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIFGT(BytecodeInstruction instr)
           
 void VisitorSupport.visitIFGT(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitIFLE(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIFLE(BytecodeInstruction instr)
           
 void VisitorSupport.visitIFLE(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitIFLT(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIFLT(BytecodeInstruction instr)
           
 void VisitorSupport.visitIFLT(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitIFNE(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIFNE(BytecodeInstruction instr)
           
 void VisitorSupport.visitIFNE(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitIFNONNULL(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIFNONNULL(BytecodeInstruction instr)
           
 void VisitorSupport.visitIFNONNULL(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitIFNULL(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIFNULL(BytecodeInstruction instr)
           
 void VisitorSupport.visitIFNULL(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitIINC(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIINC(BytecodeInstruction instr)
           
 void VisitorSupport.visitIINC(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitILOAD_0(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitILOAD_0(BytecodeInstruction instr)
           
 void VisitorSupport.visitILOAD_0(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitILOAD_1(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitILOAD_1(BytecodeInstruction instr)
           
 void VisitorSupport.visitILOAD_1(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitILOAD_2(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitILOAD_2(BytecodeInstruction instr)
           
 void VisitorSupport.visitILOAD_2(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitILOAD_3(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitILOAD_3(BytecodeInstruction instr)
           
 void VisitorSupport.visitILOAD_3(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitILOAD(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitILOAD(BytecodeInstruction instr)
           
 void VisitorSupport.visitILOAD(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitIMPDEP1(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIMPDEP1(BytecodeInstruction instr)
           
 void VisitorSupport.visitIMPDEP1(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitIMPDEP2(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIMPDEP2(BytecodeInstruction instr)
           
 void VisitorSupport.visitIMPDEP2(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitIMUL(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIMUL(BytecodeInstruction instr)
           
 void VisitorSupport.visitIMUL(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitINEG(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitINEG(BytecodeInstruction instr)
           
 void VisitorSupport.visitINEG(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitINSTANCEOF(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitINSTANCEOF(BytecodeInstruction instr)
           
 void VisitorSupport.visitINSTANCEOF(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitINVOKEINTERFACE(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitINVOKEINTERFACE(BytecodeInstruction instr)
           
 void VisitorSupport.visitINVOKEINTERFACE(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitINVOKESPECIAL(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitINVOKESPECIAL(BytecodeInstruction instr)
           
 void VisitorSupport.visitINVOKESPECIAL(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitINVOKESTATIC(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitINVOKESTATIC(BytecodeInstruction instr)
           
 void VisitorSupport.visitINVOKESTATIC(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitINVOKEVIRTUAL(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitINVOKEVIRTUAL(BytecodeInstruction instr)
           
 void VisitorSupport.visitINVOKEVIRTUAL(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitIOR(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIOR(BytecodeInstruction instr)
           
 void VisitorSupport.visitIOR(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitIREM(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIREM(BytecodeInstruction instr)
           
 void VisitorSupport.visitIREM(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitIRETURN(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIRETURN(BytecodeInstruction instr)
           
 void VisitorSupport.visitIRETURN(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitISHL(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitISHL(BytecodeInstruction instr)
           
 void VisitorSupport.visitISHL(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitISHR(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitISHR(BytecodeInstruction instr)
           
 void VisitorSupport.visitISHR(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitISTORE_0(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitISTORE_0(BytecodeInstruction instr)
           
 void VisitorSupport.visitISTORE_0(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitISTORE_1(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitISTORE_1(BytecodeInstruction instr)
           
 void VisitorSupport.visitISTORE_1(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitISTORE_2(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitISTORE_2(BytecodeInstruction instr)
           
 void VisitorSupport.visitISTORE_2(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitISTORE_3(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitISTORE_3(BytecodeInstruction instr)
           
 void VisitorSupport.visitISTORE_3(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitISTORE(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitISTORE(BytecodeInstruction instr)
           
 void VisitorSupport.visitISTORE(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitISUB(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitISUB(BytecodeInstruction instr)
           
 void VisitorSupport.visitISUB(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitIUSHR(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIUSHR(BytecodeInstruction instr)
           
 void VisitorSupport.visitIUSHR(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitIXOR(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitIXOR(BytecodeInstruction instr)
           
 void VisitorSupport.visitIXOR(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitJSR_W(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitJSR_W(BytecodeInstruction instr)
           
 void VisitorSupport.visitJSR_W(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitJSR(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitJSR(BytecodeInstruction instr)
           
 void VisitorSupport.visitJSR(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitL2D(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitL2D(BytecodeInstruction instr)
           
 void VisitorSupport.visitL2D(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitL2F(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitL2F(BytecodeInstruction instr)
           
 void VisitorSupport.visitL2F(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitL2I(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitL2I(BytecodeInstruction instr)
           
 void VisitorSupport.visitL2I(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLADD(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLADD(BytecodeInstruction instr)
           
 void VisitorSupport.visitLADD(BytecodeInstruction instr)
           
 void ArrayBytecodesVisitor.visitLALOAD(BytecodeInstruction instr)
          longArray[i] -> __korat_KoratArray_longArray.get(i)
 void BytecodeVisitor.visitLALOAD(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLALOAD(BytecodeInstruction instr)
           
 void VisitorSupport.visitLALOAD(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLAND(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLAND(BytecodeInstruction instr)
           
 void VisitorSupport.visitLAND(BytecodeInstruction instr)
           
 void ArrayBytecodesVisitor.visitLASTORE(BytecodeInstruction instr)
          longArray[i] = x -> __korat_KoratArray_longArray.set(i, x)
 void BytecodeVisitor.visitLASTORE(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLASTORE(BytecodeInstruction instr)
           
 void VisitorSupport.visitLASTORE(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLCMP(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLCMP(BytecodeInstruction instr)
           
 void VisitorSupport.visitLCMP(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLCONST_0(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLCONST_0(BytecodeInstruction instr)
           
 void VisitorSupport.visitLCONST_0(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLCONST_1(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLCONST_1(BytecodeInstruction instr)
           
 void VisitorSupport.visitLCONST_1(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLDC_W(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLDC_W(BytecodeInstruction instr)
           
 void VisitorSupport.visitLDC_W(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLDC(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLDC(BytecodeInstruction instr)
           
 void VisitorSupport.visitLDC(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLDC2_W(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLDC2_W(BytecodeInstruction instr)
           
 void VisitorSupport.visitLDC2_W(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLDIV(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLDIV(BytecodeInstruction instr)
           
 void VisitorSupport.visitLDIV(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLLOAD_0(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLLOAD_0(BytecodeInstruction instr)
           
 void VisitorSupport.visitLLOAD_0(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLLOAD_1(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLLOAD_1(BytecodeInstruction instr)
           
 void VisitorSupport.visitLLOAD_1(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLLOAD_2(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLLOAD_2(BytecodeInstruction instr)
           
 void VisitorSupport.visitLLOAD_2(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLLOAD_3(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLLOAD_3(BytecodeInstruction instr)
           
 void VisitorSupport.visitLLOAD_3(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLLOAD(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLLOAD(BytecodeInstruction instr)
           
 void VisitorSupport.visitLLOAD(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLMUL(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLMUL(BytecodeInstruction instr)
           
 void VisitorSupport.visitLMUL(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLNEG(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLNEG(BytecodeInstruction instr)
           
 void VisitorSupport.visitLNEG(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLOOKUPSWITCH(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLOOKUPSWITCH(BytecodeInstruction instr)
           
 void VisitorSupport.visitLOOKUPSWITCH(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLOR(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLOR(BytecodeInstruction instr)
           
 void VisitorSupport.visitLOR(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLREM(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLREM(BytecodeInstruction instr)
           
 void VisitorSupport.visitLREM(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLRETURN(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLRETURN(BytecodeInstruction instr)
           
 void VisitorSupport.visitLRETURN(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLSHL(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLSHL(BytecodeInstruction instr)
           
 void VisitorSupport.visitLSHL(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLSHR(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLSHR(BytecodeInstruction instr)
           
 void VisitorSupport.visitLSHR(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLSTORE_0(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLSTORE_0(BytecodeInstruction instr)
           
 void VisitorSupport.visitLSTORE_0(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLSTORE_1(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLSTORE_1(BytecodeInstruction instr)
           
 void VisitorSupport.visitLSTORE_1(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLSTORE_2(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLSTORE_2(BytecodeInstruction instr)
           
 void VisitorSupport.visitLSTORE_2(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLSTORE_3(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLSTORE_3(BytecodeInstruction instr)
           
 void VisitorSupport.visitLSTORE_3(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLSTORE(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLSTORE(BytecodeInstruction instr)
           
 void VisitorSupport.visitLSTORE(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLSUB(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLSUB(BytecodeInstruction instr)
           
 void VisitorSupport.visitLSUB(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLUSHR(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLUSHR(BytecodeInstruction instr)
           
 void VisitorSupport.visitLUSHR(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitLXOR(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitLXOR(BytecodeInstruction instr)
           
 void VisitorSupport.visitLXOR(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitMONITORENTER(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitMONITORENTER(BytecodeInstruction instr)
           
 void VisitorSupport.visitMONITORENTER(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitMONITOREXIT(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitMONITOREXIT(BytecodeInstruction instr)
           
 void VisitorSupport.visitMONITOREXIT(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitMULTIANEWARRAY(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitMULTIANEWARRAY(BytecodeInstruction instr)
           
 void VisitorSupport.visitMULTIANEWARRAY(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitNEW(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitNEW(BytecodeInstruction instr)
           
 void VisitorSupport.visitNEW(BytecodeInstruction instr)
           
 void ArrayBytecodesVisitor.visitNEWARRAY(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitNEWARRAY(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitNEWARRAY(BytecodeInstruction instr)
           
 void VisitorSupport.visitNEWARRAY(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitNOP(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitNOP(BytecodeInstruction instr)
           
 void VisitorSupport.visitNOP(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitPOP(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitPOP(BytecodeInstruction instr)
           
 void VisitorSupport.visitPOP(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitPOP2(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitPOP2(BytecodeInstruction instr)
           
 void VisitorSupport.visitPOP2(BytecodeInstruction instr)
           
 void ArrayBytecodesVisitor.visitPUTFIELD(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitPUTFIELD(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitPUTFIELD(BytecodeInstruction instr)
           
 void VisitorSupport.visitPUTFIELD(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitPUTSTATIC(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitPUTSTATIC(BytecodeInstruction instr)
           
 void VisitorSupport.visitPUTSTATIC(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitRET(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitRET(BytecodeInstruction instr)
           
 void VisitorSupport.visitRET(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitRETURN(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitRETURN(BytecodeInstruction instr)
           
 void VisitorSupport.visitRETURN(BytecodeInstruction instr)
           
 void ArrayBytecodesVisitor.visitSALOAD(BytecodeInstruction instr)
          shortArray[i] -> __korat_KoratArray_shortArray.get(i)
 void BytecodeVisitor.visitSALOAD(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitSALOAD(BytecodeInstruction instr)
           
 void VisitorSupport.visitSALOAD(BytecodeInstruction instr)
           
 void ArrayBytecodesVisitor.visitSASTORE(BytecodeInstruction instr)
          shortArray[i] = x -> __korat_KoratArray_shortArray.set(i, x)
 void BytecodeVisitor.visitSASTORE(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitSASTORE(BytecodeInstruction instr)
           
 void VisitorSupport.visitSASTORE(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitSIPUSH(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitSIPUSH(BytecodeInstruction instr)
           
 void VisitorSupport.visitSIPUSH(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitSWAP(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitSWAP(BytecodeInstruction instr)
           
 void VisitorSupport.visitSWAP(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitTABLESWITCH(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitTABLESWITCH(BytecodeInstruction instr)
           
 void VisitorSupport.visitTABLESWITCH(BytecodeInstruction instr)
           
 void BytecodeVisitor.visitWIDE(BytecodeInstruction instr)
           
 void StackTracerVisitor.visitWIDE(BytecodeInstruction instr)
           
 void VisitorSupport.visitWIDE(BytecodeInstruction instr)