Class DefaultInstructionVisitor
- java.lang.Object
-
- edu.berkeley.cs.jqf.instrument.tracing.DefaultInstructionVisitor
-
- All Implemented Interfaces:
IVisitor
- Direct Known Subclasses:
ControlFlowInstructionVisitor
public class DefaultInstructionVisitor extends Object implements IVisitor
An implementation of the Janala instruction visitor interface that does nothing for each instruction.
-
-
Constructor Summary
Constructors Constructor Description DefaultInstructionVisitor()
-
Method Summary
-
-
-
Method Detail
-
visitAALOAD
public void visitAALOAD(AALOAD inst)
- Specified by:
visitAALOADin interfaceIVisitor
-
visitAASTORE
public void visitAASTORE(AASTORE inst)
- Specified by:
visitAASTOREin interfaceIVisitor
-
visitACONST_NULL
public void visitACONST_NULL(ACONST_NULL inst)
- Specified by:
visitACONST_NULLin interfaceIVisitor
-
visitALOAD
public void visitALOAD(ALOAD inst)
- Specified by:
visitALOADin interfaceIVisitor
-
visitANEWARRAY
public void visitANEWARRAY(ANEWARRAY inst)
- Specified by:
visitANEWARRAYin interfaceIVisitor
-
visitARETURN
public void visitARETURN(ARETURN inst)
- Specified by:
visitARETURNin interfaceIVisitor
-
visitARRAYLENGTH
public void visitARRAYLENGTH(ARRAYLENGTH inst)
- Specified by:
visitARRAYLENGTHin interfaceIVisitor
-
visitASTORE
public void visitASTORE(ASTORE inst)
- Specified by:
visitASTOREin interfaceIVisitor
-
visitATHROW
public void visitATHROW(ATHROW inst)
- Specified by:
visitATHROWin interfaceIVisitor
-
visitBALOAD
public void visitBALOAD(BALOAD inst)
- Specified by:
visitBALOADin interfaceIVisitor
-
visitBASTORE
public void visitBASTORE(BASTORE inst)
- Specified by:
visitBASTOREin interfaceIVisitor
-
visitBIPUSH
public void visitBIPUSH(BIPUSH inst)
- Specified by:
visitBIPUSHin interfaceIVisitor
-
visitCALOAD
public void visitCALOAD(CALOAD inst)
- Specified by:
visitCALOADin interfaceIVisitor
-
visitCASTORE
public void visitCASTORE(CASTORE inst)
- Specified by:
visitCASTOREin interfaceIVisitor
-
visitCHECKCAST
public void visitCHECKCAST(CHECKCAST inst)
- Specified by:
visitCHECKCASTin interfaceIVisitor
-
visitDALOAD
public void visitDALOAD(DALOAD inst)
- Specified by:
visitDALOADin interfaceIVisitor
-
visitDASTORE
public void visitDASTORE(DASTORE inst)
- Specified by:
visitDASTOREin interfaceIVisitor
-
visitDCMPG
public void visitDCMPG(DCMPG inst)
- Specified by:
visitDCMPGin interfaceIVisitor
-
visitDCMPL
public void visitDCMPL(DCMPL inst)
- Specified by:
visitDCMPLin interfaceIVisitor
-
visitDCONST_0
public void visitDCONST_0(DCONST_0 inst)
- Specified by:
visitDCONST_0in interfaceIVisitor
-
visitDCONST_1
public void visitDCONST_1(DCONST_1 inst)
- Specified by:
visitDCONST_1in interfaceIVisitor
-
visitDLOAD
public void visitDLOAD(DLOAD inst)
- Specified by:
visitDLOADin interfaceIVisitor
-
visitDRETURN
public void visitDRETURN(DRETURN inst)
- Specified by:
visitDRETURNin interfaceIVisitor
-
visitDSTORE
public void visitDSTORE(DSTORE inst)
- Specified by:
visitDSTOREin interfaceIVisitor
-
visitDUP2_X1
public void visitDUP2_X1(DUP2_X1 inst)
- Specified by:
visitDUP2_X1in interfaceIVisitor
-
visitDUP2_X2
public void visitDUP2_X2(DUP2_X2 inst)
- Specified by:
visitDUP2_X2in interfaceIVisitor
-
visitDUP_X1
public void visitDUP_X1(DUP_X1 inst)
- Specified by:
visitDUP_X1in interfaceIVisitor
-
visitDUP_X2
public void visitDUP_X2(DUP_X2 inst)
- Specified by:
visitDUP_X2in interfaceIVisitor
-
visitFALOAD
public void visitFALOAD(FALOAD inst)
- Specified by:
visitFALOADin interfaceIVisitor
-
visitFASTORE
public void visitFASTORE(FASTORE inst)
- Specified by:
visitFASTOREin interfaceIVisitor
-
visitFCMPG
public void visitFCMPG(FCMPG inst)
- Specified by:
visitFCMPGin interfaceIVisitor
-
visitFCMPL
public void visitFCMPL(FCMPL inst)
- Specified by:
visitFCMPLin interfaceIVisitor
-
visitFCONST_0
public void visitFCONST_0(FCONST_0 inst)
- Specified by:
visitFCONST_0in interfaceIVisitor
-
visitFCONST_1
public void visitFCONST_1(FCONST_1 inst)
- Specified by:
visitFCONST_1in interfaceIVisitor
-
visitFCONST_2
public void visitFCONST_2(FCONST_2 inst)
- Specified by:
visitFCONST_2in interfaceIVisitor
-
visitFLOAD
public void visitFLOAD(FLOAD inst)
- Specified by:
visitFLOADin interfaceIVisitor
-
visitFRETURN
public void visitFRETURN(FRETURN inst)
- Specified by:
visitFRETURNin interfaceIVisitor
-
visitFSTORE
public void visitFSTORE(FSTORE inst)
- Specified by:
visitFSTOREin interfaceIVisitor
-
visitGETFIELD
public void visitGETFIELD(GETFIELD inst)
- Specified by:
visitGETFIELDin interfaceIVisitor
-
visitGETSTATIC
public void visitGETSTATIC(GETSTATIC inst)
- Specified by:
visitGETSTATICin interfaceIVisitor
-
visitHEAPLOAD
public void visitHEAPLOAD(HEAPLOAD inst)
- Specified by:
visitHEAPLOADin interfaceIVisitor
-
visitGETVALUE_Object
public void visitGETVALUE_Object(GETVALUE_Object inst)
- Specified by:
visitGETVALUE_Objectin interfaceIVisitor
-
visitGETVALUE_boolean
public void visitGETVALUE_boolean(GETVALUE_boolean inst)
- Specified by:
visitGETVALUE_booleanin interfaceIVisitor
-
visitGETVALUE_byte
public void visitGETVALUE_byte(GETVALUE_byte inst)
- Specified by:
visitGETVALUE_bytein interfaceIVisitor
-
visitGETVALUE_char
public void visitGETVALUE_char(GETVALUE_char inst)
- Specified by:
visitGETVALUE_charin interfaceIVisitor
-
visitGETVALUE_double
public void visitGETVALUE_double(GETVALUE_double inst)
- Specified by:
visitGETVALUE_doublein interfaceIVisitor
-
visitGETVALUE_float
public void visitGETVALUE_float(GETVALUE_float inst)
- Specified by:
visitGETVALUE_floatin interfaceIVisitor
-
visitGETVALUE_int
public void visitGETVALUE_int(GETVALUE_int inst)
- Specified by:
visitGETVALUE_intin interfaceIVisitor
-
visitGETVALUE_long
public void visitGETVALUE_long(GETVALUE_long inst)
- Specified by:
visitGETVALUE_longin interfaceIVisitor
-
visitGETVALUE_short
public void visitGETVALUE_short(GETVALUE_short inst)
- Specified by:
visitGETVALUE_shortin interfaceIVisitor
-
visitGETVALUE_void
public void visitGETVALUE_void(GETVALUE_void inst)
- Specified by:
visitGETVALUE_voidin interfaceIVisitor
-
visitIALOAD
public void visitIALOAD(IALOAD inst)
- Specified by:
visitIALOADin interfaceIVisitor
-
visitIASTORE
public void visitIASTORE(IASTORE inst)
- Specified by:
visitIASTOREin interfaceIVisitor
-
visitICONST_0
public void visitICONST_0(ICONST_0 inst)
- Specified by:
visitICONST_0in interfaceIVisitor
-
visitICONST_1
public void visitICONST_1(ICONST_1 inst)
- Specified by:
visitICONST_1in interfaceIVisitor
-
visitICONST_2
public void visitICONST_2(ICONST_2 inst)
- Specified by:
visitICONST_2in interfaceIVisitor
-
visitICONST_3
public void visitICONST_3(ICONST_3 inst)
- Specified by:
visitICONST_3in interfaceIVisitor
-
visitICONST_4
public void visitICONST_4(ICONST_4 inst)
- Specified by:
visitICONST_4in interfaceIVisitor
-
visitICONST_5
public void visitICONST_5(ICONST_5 inst)
- Specified by:
visitICONST_5in interfaceIVisitor
-
visitICONST_M1
public void visitICONST_M1(ICONST_M1 inst)
- Specified by:
visitICONST_M1in interfaceIVisitor
-
visitIFNONNULL
public void visitIFNONNULL(IFNONNULL inst)
- Specified by:
visitIFNONNULLin interfaceIVisitor
-
visitIFNULL
public void visitIFNULL(IFNULL inst)
- Specified by:
visitIFNULLin interfaceIVisitor
-
visitIF_ACMPEQ
public void visitIF_ACMPEQ(IF_ACMPEQ inst)
- Specified by:
visitIF_ACMPEQin interfaceIVisitor
-
visitIF_ACMPNE
public void visitIF_ACMPNE(IF_ACMPNE inst)
- Specified by:
visitIF_ACMPNEin interfaceIVisitor
-
visitIF_ICMPEQ
public void visitIF_ICMPEQ(IF_ICMPEQ inst)
- Specified by:
visitIF_ICMPEQin interfaceIVisitor
-
visitIF_ICMPGE
public void visitIF_ICMPGE(IF_ICMPGE inst)
- Specified by:
visitIF_ICMPGEin interfaceIVisitor
-
visitIF_ICMPGT
public void visitIF_ICMPGT(IF_ICMPGT inst)
- Specified by:
visitIF_ICMPGTin interfaceIVisitor
-
visitIF_ICMPLE
public void visitIF_ICMPLE(IF_ICMPLE inst)
- Specified by:
visitIF_ICMPLEin interfaceIVisitor
-
visitIF_ICMPLT
public void visitIF_ICMPLT(IF_ICMPLT inst)
- Specified by:
visitIF_ICMPLTin interfaceIVisitor
-
visitIF_ICMPNE
public void visitIF_ICMPNE(IF_ICMPNE inst)
- Specified by:
visitIF_ICMPNEin interfaceIVisitor
-
visitILOAD
public void visitILOAD(ILOAD inst)
- Specified by:
visitILOADin interfaceIVisitor
-
visitINSTANCEOF
public void visitINSTANCEOF(INSTANCEOF inst)
- Specified by:
visitINSTANCEOFin interfaceIVisitor
-
visitINVOKEINTERFACE
public void visitINVOKEINTERFACE(INVOKEINTERFACE inst)
- Specified by:
visitINVOKEINTERFACEin interfaceIVisitor
-
visitINVOKEMETHOD_EXCEPTION
public void visitINVOKEMETHOD_EXCEPTION(INVOKEMETHOD_EXCEPTION inst)
- Specified by:
visitINVOKEMETHOD_EXCEPTIONin interfaceIVisitor
-
visitINVOKESPECIAL
public void visitINVOKESPECIAL(INVOKESPECIAL inst)
- Specified by:
visitINVOKESPECIALin interfaceIVisitor
-
visitINVOKESTATIC
public void visitINVOKESTATIC(INVOKESTATIC inst)
- Specified by:
visitINVOKESTATICin interfaceIVisitor
-
visitINVOKEVIRTUAL
public void visitINVOKEVIRTUAL(INVOKEVIRTUAL inst)
- Specified by:
visitINVOKEVIRTUALin interfaceIVisitor
-
visitIRETURN
public void visitIRETURN(IRETURN inst)
- Specified by:
visitIRETURNin interfaceIVisitor
-
visitISTORE
public void visitISTORE(ISTORE inst)
- Specified by:
visitISTOREin interfaceIVisitor
-
visitIUSHR
public void visitIUSHR(IUSHR inst)
- Specified by:
visitIUSHRin interfaceIVisitor
-
visitLALOAD
public void visitLALOAD(LALOAD inst)
- Specified by:
visitLALOADin interfaceIVisitor
-
visitLASTORE
public void visitLASTORE(LASTORE inst)
- Specified by:
visitLASTOREin interfaceIVisitor
-
visitLCONST_0
public void visitLCONST_0(LCONST_0 inst)
- Specified by:
visitLCONST_0in interfaceIVisitor
-
visitLCONST_1
public void visitLCONST_1(LCONST_1 inst)
- Specified by:
visitLCONST_1in interfaceIVisitor
-
visitLDC_String
public void visitLDC_String(LDC_String inst)
- Specified by:
visitLDC_Stringin interfaceIVisitor
-
visitLDC_double
public void visitLDC_double(LDC_double inst)
- Specified by:
visitLDC_doublein interfaceIVisitor
-
visitLDC_float
public void visitLDC_float(LDC_float inst)
- Specified by:
visitLDC_floatin interfaceIVisitor
-
visitLDC_int
public void visitLDC_int(LDC_int inst)
- Specified by:
visitLDC_intin interfaceIVisitor
-
visitLDC_long
public void visitLDC_long(LDC_long inst)
- Specified by:
visitLDC_longin interfaceIVisitor
-
visitLDC_Object
public void visitLDC_Object(LDC_Object inst)
- Specified by:
visitLDC_Objectin interfaceIVisitor
-
visitLLOAD
public void visitLLOAD(LLOAD inst)
- Specified by:
visitLLOADin interfaceIVisitor
-
visitLOOKUPSWITCH
public void visitLOOKUPSWITCH(LOOKUPSWITCH inst)
- Specified by:
visitLOOKUPSWITCHin interfaceIVisitor
-
visitLRETURN
public void visitLRETURN(LRETURN inst)
- Specified by:
visitLRETURNin interfaceIVisitor
-
visitLSTORE
public void visitLSTORE(LSTORE inst)
- Specified by:
visitLSTOREin interfaceIVisitor
-
visitLUSHR
public void visitLUSHR(LUSHR inst)
- Specified by:
visitLUSHRin interfaceIVisitor
-
visitMONITORENTER
public void visitMONITORENTER(MONITORENTER inst)
- Specified by:
visitMONITORENTERin interfaceIVisitor
-
visitMONITOREXIT
public void visitMONITOREXIT(MONITOREXIT inst)
- Specified by:
visitMONITOREXITin interfaceIVisitor
-
visitMULTIANEWARRAY
public void visitMULTIANEWARRAY(MULTIANEWARRAY inst)
- Specified by:
visitMULTIANEWARRAYin interfaceIVisitor
-
visitNEWARRAY
public void visitNEWARRAY(NEWARRAY inst)
- Specified by:
visitNEWARRAYin interfaceIVisitor
-
visitPUTFIELD
public void visitPUTFIELD(PUTFIELD inst)
- Specified by:
visitPUTFIELDin interfaceIVisitor
-
visitPUTSTATIC
public void visitPUTSTATIC(PUTSTATIC inst)
- Specified by:
visitPUTSTATICin interfaceIVisitor
-
visitRETURN
public void visitRETURN(RETURN inst)
- Specified by:
visitRETURNin interfaceIVisitor
-
visitSALOAD
public void visitSALOAD(SALOAD inst)
- Specified by:
visitSALOADin interfaceIVisitor
-
visitSASTORE
public void visitSASTORE(SASTORE inst)
- Specified by:
visitSASTOREin interfaceIVisitor
-
visitSIPUSH
public void visitSIPUSH(SIPUSH inst)
- Specified by:
visitSIPUSHin interfaceIVisitor
-
visitTABLESWITCH
public void visitTABLESWITCH(TABLESWITCH inst)
- Specified by:
visitTABLESWITCHin interfaceIVisitor
-
visitMETHOD_BEGIN
public void visitMETHOD_BEGIN(METHOD_BEGIN inst)
- Specified by:
visitMETHOD_BEGINin interfaceIVisitor
-
visitMETHOD_THROW
public void visitMETHOD_THROW(METHOD_THROW inst)
- Specified by:
visitMETHOD_THROWin interfaceIVisitor
-
visitINVOKEMETHOD_END
public void visitINVOKEMETHOD_END(INVOKEMETHOD_END inst)
- Specified by:
visitINVOKEMETHOD_ENDin interfaceIVisitor
-
visitMAKE_SYMBOLIC
public void visitMAKE_SYMBOLIC(MAKE_SYMBOLIC inst)
- Specified by:
visitMAKE_SYMBOLICin interfaceIVisitor
-
visitSPECIAL
public void visitSPECIAL(SPECIAL inst)
- Specified by:
visitSPECIALin interfaceIVisitor
-
setNext
public void setNext(Instruction next)
-
-