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:
visitAALOAD
in interfaceIVisitor
-
visitAASTORE
public void visitAASTORE(AASTORE inst)
- Specified by:
visitAASTORE
in interfaceIVisitor
-
visitACONST_NULL
public void visitACONST_NULL(ACONST_NULL inst)
- Specified by:
visitACONST_NULL
in interfaceIVisitor
-
visitALOAD
public void visitALOAD(ALOAD inst)
- Specified by:
visitALOAD
in interfaceIVisitor
-
visitANEWARRAY
public void visitANEWARRAY(ANEWARRAY inst)
- Specified by:
visitANEWARRAY
in interfaceIVisitor
-
visitARETURN
public void visitARETURN(ARETURN inst)
- Specified by:
visitARETURN
in interfaceIVisitor
-
visitARRAYLENGTH
public void visitARRAYLENGTH(ARRAYLENGTH inst)
- Specified by:
visitARRAYLENGTH
in interfaceIVisitor
-
visitASTORE
public void visitASTORE(ASTORE inst)
- Specified by:
visitASTORE
in interfaceIVisitor
-
visitATHROW
public void visitATHROW(ATHROW inst)
- Specified by:
visitATHROW
in interfaceIVisitor
-
visitBALOAD
public void visitBALOAD(BALOAD inst)
- Specified by:
visitBALOAD
in interfaceIVisitor
-
visitBASTORE
public void visitBASTORE(BASTORE inst)
- Specified by:
visitBASTORE
in interfaceIVisitor
-
visitBIPUSH
public void visitBIPUSH(BIPUSH inst)
- Specified by:
visitBIPUSH
in interfaceIVisitor
-
visitCALOAD
public void visitCALOAD(CALOAD inst)
- Specified by:
visitCALOAD
in interfaceIVisitor
-
visitCASTORE
public void visitCASTORE(CASTORE inst)
- Specified by:
visitCASTORE
in interfaceIVisitor
-
visitCHECKCAST
public void visitCHECKCAST(CHECKCAST inst)
- Specified by:
visitCHECKCAST
in interfaceIVisitor
-
visitDALOAD
public void visitDALOAD(DALOAD inst)
- Specified by:
visitDALOAD
in interfaceIVisitor
-
visitDASTORE
public void visitDASTORE(DASTORE inst)
- Specified by:
visitDASTORE
in interfaceIVisitor
-
visitDCMPG
public void visitDCMPG(DCMPG inst)
- Specified by:
visitDCMPG
in interfaceIVisitor
-
visitDCMPL
public void visitDCMPL(DCMPL inst)
- Specified by:
visitDCMPL
in interfaceIVisitor
-
visitDCONST_0
public void visitDCONST_0(DCONST_0 inst)
- Specified by:
visitDCONST_0
in interfaceIVisitor
-
visitDCONST_1
public void visitDCONST_1(DCONST_1 inst)
- Specified by:
visitDCONST_1
in interfaceIVisitor
-
visitDLOAD
public void visitDLOAD(DLOAD inst)
- Specified by:
visitDLOAD
in interfaceIVisitor
-
visitDRETURN
public void visitDRETURN(DRETURN inst)
- Specified by:
visitDRETURN
in interfaceIVisitor
-
visitDSTORE
public void visitDSTORE(DSTORE inst)
- Specified by:
visitDSTORE
in interfaceIVisitor
-
visitDUP2_X1
public void visitDUP2_X1(DUP2_X1 inst)
- Specified by:
visitDUP2_X1
in interfaceIVisitor
-
visitDUP2_X2
public void visitDUP2_X2(DUP2_X2 inst)
- Specified by:
visitDUP2_X2
in interfaceIVisitor
-
visitDUP_X1
public void visitDUP_X1(DUP_X1 inst)
- Specified by:
visitDUP_X1
in interfaceIVisitor
-
visitDUP_X2
public void visitDUP_X2(DUP_X2 inst)
- Specified by:
visitDUP_X2
in interfaceIVisitor
-
visitFALOAD
public void visitFALOAD(FALOAD inst)
- Specified by:
visitFALOAD
in interfaceIVisitor
-
visitFASTORE
public void visitFASTORE(FASTORE inst)
- Specified by:
visitFASTORE
in interfaceIVisitor
-
visitFCMPG
public void visitFCMPG(FCMPG inst)
- Specified by:
visitFCMPG
in interfaceIVisitor
-
visitFCMPL
public void visitFCMPL(FCMPL inst)
- Specified by:
visitFCMPL
in interfaceIVisitor
-
visitFCONST_0
public void visitFCONST_0(FCONST_0 inst)
- Specified by:
visitFCONST_0
in interfaceIVisitor
-
visitFCONST_1
public void visitFCONST_1(FCONST_1 inst)
- Specified by:
visitFCONST_1
in interfaceIVisitor
-
visitFCONST_2
public void visitFCONST_2(FCONST_2 inst)
- Specified by:
visitFCONST_2
in interfaceIVisitor
-
visitFLOAD
public void visitFLOAD(FLOAD inst)
- Specified by:
visitFLOAD
in interfaceIVisitor
-
visitFRETURN
public void visitFRETURN(FRETURN inst)
- Specified by:
visitFRETURN
in interfaceIVisitor
-
visitFSTORE
public void visitFSTORE(FSTORE inst)
- Specified by:
visitFSTORE
in interfaceIVisitor
-
visitGETFIELD
public void visitGETFIELD(GETFIELD inst)
- Specified by:
visitGETFIELD
in interfaceIVisitor
-
visitGETSTATIC
public void visitGETSTATIC(GETSTATIC inst)
- Specified by:
visitGETSTATIC
in interfaceIVisitor
-
visitHEAPLOAD
public void visitHEAPLOAD(HEAPLOAD inst)
- Specified by:
visitHEAPLOAD
in interfaceIVisitor
-
visitGETVALUE_Object
public void visitGETVALUE_Object(GETVALUE_Object inst)
- Specified by:
visitGETVALUE_Object
in interfaceIVisitor
-
visitGETVALUE_boolean
public void visitGETVALUE_boolean(GETVALUE_boolean inst)
- Specified by:
visitGETVALUE_boolean
in interfaceIVisitor
-
visitGETVALUE_byte
public void visitGETVALUE_byte(GETVALUE_byte inst)
- Specified by:
visitGETVALUE_byte
in interfaceIVisitor
-
visitGETVALUE_char
public void visitGETVALUE_char(GETVALUE_char inst)
- Specified by:
visitGETVALUE_char
in interfaceIVisitor
-
visitGETVALUE_double
public void visitGETVALUE_double(GETVALUE_double inst)
- Specified by:
visitGETVALUE_double
in interfaceIVisitor
-
visitGETVALUE_float
public void visitGETVALUE_float(GETVALUE_float inst)
- Specified by:
visitGETVALUE_float
in interfaceIVisitor
-
visitGETVALUE_int
public void visitGETVALUE_int(GETVALUE_int inst)
- Specified by:
visitGETVALUE_int
in interfaceIVisitor
-
visitGETVALUE_long
public void visitGETVALUE_long(GETVALUE_long inst)
- Specified by:
visitGETVALUE_long
in interfaceIVisitor
-
visitGETVALUE_short
public void visitGETVALUE_short(GETVALUE_short inst)
- Specified by:
visitGETVALUE_short
in interfaceIVisitor
-
visitGETVALUE_void
public void visitGETVALUE_void(GETVALUE_void inst)
- Specified by:
visitGETVALUE_void
in interfaceIVisitor
-
visitIALOAD
public void visitIALOAD(IALOAD inst)
- Specified by:
visitIALOAD
in interfaceIVisitor
-
visitIASTORE
public void visitIASTORE(IASTORE inst)
- Specified by:
visitIASTORE
in interfaceIVisitor
-
visitICONST_0
public void visitICONST_0(ICONST_0 inst)
- Specified by:
visitICONST_0
in interfaceIVisitor
-
visitICONST_1
public void visitICONST_1(ICONST_1 inst)
- Specified by:
visitICONST_1
in interfaceIVisitor
-
visitICONST_2
public void visitICONST_2(ICONST_2 inst)
- Specified by:
visitICONST_2
in interfaceIVisitor
-
visitICONST_3
public void visitICONST_3(ICONST_3 inst)
- Specified by:
visitICONST_3
in interfaceIVisitor
-
visitICONST_4
public void visitICONST_4(ICONST_4 inst)
- Specified by:
visitICONST_4
in interfaceIVisitor
-
visitICONST_5
public void visitICONST_5(ICONST_5 inst)
- Specified by:
visitICONST_5
in interfaceIVisitor
-
visitICONST_M1
public void visitICONST_M1(ICONST_M1 inst)
- Specified by:
visitICONST_M1
in interfaceIVisitor
-
visitIFNONNULL
public void visitIFNONNULL(IFNONNULL inst)
- Specified by:
visitIFNONNULL
in interfaceIVisitor
-
visitIFNULL
public void visitIFNULL(IFNULL inst)
- Specified by:
visitIFNULL
in interfaceIVisitor
-
visitIF_ACMPEQ
public void visitIF_ACMPEQ(IF_ACMPEQ inst)
- Specified by:
visitIF_ACMPEQ
in interfaceIVisitor
-
visitIF_ACMPNE
public void visitIF_ACMPNE(IF_ACMPNE inst)
- Specified by:
visitIF_ACMPNE
in interfaceIVisitor
-
visitIF_ICMPEQ
public void visitIF_ICMPEQ(IF_ICMPEQ inst)
- Specified by:
visitIF_ICMPEQ
in interfaceIVisitor
-
visitIF_ICMPGE
public void visitIF_ICMPGE(IF_ICMPGE inst)
- Specified by:
visitIF_ICMPGE
in interfaceIVisitor
-
visitIF_ICMPGT
public void visitIF_ICMPGT(IF_ICMPGT inst)
- Specified by:
visitIF_ICMPGT
in interfaceIVisitor
-
visitIF_ICMPLE
public void visitIF_ICMPLE(IF_ICMPLE inst)
- Specified by:
visitIF_ICMPLE
in interfaceIVisitor
-
visitIF_ICMPLT
public void visitIF_ICMPLT(IF_ICMPLT inst)
- Specified by:
visitIF_ICMPLT
in interfaceIVisitor
-
visitIF_ICMPNE
public void visitIF_ICMPNE(IF_ICMPNE inst)
- Specified by:
visitIF_ICMPNE
in interfaceIVisitor
-
visitILOAD
public void visitILOAD(ILOAD inst)
- Specified by:
visitILOAD
in interfaceIVisitor
-
visitINSTANCEOF
public void visitINSTANCEOF(INSTANCEOF inst)
- Specified by:
visitINSTANCEOF
in interfaceIVisitor
-
visitINVOKEINTERFACE
public void visitINVOKEINTERFACE(INVOKEINTERFACE inst)
- Specified by:
visitINVOKEINTERFACE
in interfaceIVisitor
-
visitINVOKEMETHOD_EXCEPTION
public void visitINVOKEMETHOD_EXCEPTION(INVOKEMETHOD_EXCEPTION inst)
- Specified by:
visitINVOKEMETHOD_EXCEPTION
in interfaceIVisitor
-
visitINVOKESPECIAL
public void visitINVOKESPECIAL(INVOKESPECIAL inst)
- Specified by:
visitINVOKESPECIAL
in interfaceIVisitor
-
visitINVOKESTATIC
public void visitINVOKESTATIC(INVOKESTATIC inst)
- Specified by:
visitINVOKESTATIC
in interfaceIVisitor
-
visitINVOKEVIRTUAL
public void visitINVOKEVIRTUAL(INVOKEVIRTUAL inst)
- Specified by:
visitINVOKEVIRTUAL
in interfaceIVisitor
-
visitIRETURN
public void visitIRETURN(IRETURN inst)
- Specified by:
visitIRETURN
in interfaceIVisitor
-
visitISTORE
public void visitISTORE(ISTORE inst)
- Specified by:
visitISTORE
in interfaceIVisitor
-
visitIUSHR
public void visitIUSHR(IUSHR inst)
- Specified by:
visitIUSHR
in interfaceIVisitor
-
visitLALOAD
public void visitLALOAD(LALOAD inst)
- Specified by:
visitLALOAD
in interfaceIVisitor
-
visitLASTORE
public void visitLASTORE(LASTORE inst)
- Specified by:
visitLASTORE
in interfaceIVisitor
-
visitLCONST_0
public void visitLCONST_0(LCONST_0 inst)
- Specified by:
visitLCONST_0
in interfaceIVisitor
-
visitLCONST_1
public void visitLCONST_1(LCONST_1 inst)
- Specified by:
visitLCONST_1
in interfaceIVisitor
-
visitLDC_String
public void visitLDC_String(LDC_String inst)
- Specified by:
visitLDC_String
in interfaceIVisitor
-
visitLDC_double
public void visitLDC_double(LDC_double inst)
- Specified by:
visitLDC_double
in interfaceIVisitor
-
visitLDC_float
public void visitLDC_float(LDC_float inst)
- Specified by:
visitLDC_float
in interfaceIVisitor
-
visitLDC_int
public void visitLDC_int(LDC_int inst)
- Specified by:
visitLDC_int
in interfaceIVisitor
-
visitLDC_long
public void visitLDC_long(LDC_long inst)
- Specified by:
visitLDC_long
in interfaceIVisitor
-
visitLDC_Object
public void visitLDC_Object(LDC_Object inst)
- Specified by:
visitLDC_Object
in interfaceIVisitor
-
visitLLOAD
public void visitLLOAD(LLOAD inst)
- Specified by:
visitLLOAD
in interfaceIVisitor
-
visitLOOKUPSWITCH
public void visitLOOKUPSWITCH(LOOKUPSWITCH inst)
- Specified by:
visitLOOKUPSWITCH
in interfaceIVisitor
-
visitLRETURN
public void visitLRETURN(LRETURN inst)
- Specified by:
visitLRETURN
in interfaceIVisitor
-
visitLSTORE
public void visitLSTORE(LSTORE inst)
- Specified by:
visitLSTORE
in interfaceIVisitor
-
visitLUSHR
public void visitLUSHR(LUSHR inst)
- Specified by:
visitLUSHR
in interfaceIVisitor
-
visitMONITORENTER
public void visitMONITORENTER(MONITORENTER inst)
- Specified by:
visitMONITORENTER
in interfaceIVisitor
-
visitMONITOREXIT
public void visitMONITOREXIT(MONITOREXIT inst)
- Specified by:
visitMONITOREXIT
in interfaceIVisitor
-
visitMULTIANEWARRAY
public void visitMULTIANEWARRAY(MULTIANEWARRAY inst)
- Specified by:
visitMULTIANEWARRAY
in interfaceIVisitor
-
visitNEWARRAY
public void visitNEWARRAY(NEWARRAY inst)
- Specified by:
visitNEWARRAY
in interfaceIVisitor
-
visitPUTFIELD
public void visitPUTFIELD(PUTFIELD inst)
- Specified by:
visitPUTFIELD
in interfaceIVisitor
-
visitPUTSTATIC
public void visitPUTSTATIC(PUTSTATIC inst)
- Specified by:
visitPUTSTATIC
in interfaceIVisitor
-
visitRETURN
public void visitRETURN(RETURN inst)
- Specified by:
visitRETURN
in interfaceIVisitor
-
visitSALOAD
public void visitSALOAD(SALOAD inst)
- Specified by:
visitSALOAD
in interfaceIVisitor
-
visitSASTORE
public void visitSASTORE(SASTORE inst)
- Specified by:
visitSASTORE
in interfaceIVisitor
-
visitSIPUSH
public void visitSIPUSH(SIPUSH inst)
- Specified by:
visitSIPUSH
in interfaceIVisitor
-
visitTABLESWITCH
public void visitTABLESWITCH(TABLESWITCH inst)
- Specified by:
visitTABLESWITCH
in interfaceIVisitor
-
visitMETHOD_BEGIN
public void visitMETHOD_BEGIN(METHOD_BEGIN inst)
- Specified by:
visitMETHOD_BEGIN
in interfaceIVisitor
-
visitMETHOD_THROW
public void visitMETHOD_THROW(METHOD_THROW inst)
- Specified by:
visitMETHOD_THROW
in interfaceIVisitor
-
visitINVOKEMETHOD_END
public void visitINVOKEMETHOD_END(INVOKEMETHOD_END inst)
- Specified by:
visitINVOKEMETHOD_END
in interfaceIVisitor
-
visitMAKE_SYMBOLIC
public void visitMAKE_SYMBOLIC(MAKE_SYMBOLIC inst)
- Specified by:
visitMAKE_SYMBOLIC
in interfaceIVisitor
-
visitSPECIAL
public void visitSPECIAL(SPECIAL inst)
- Specified by:
visitSPECIAL
in interfaceIVisitor
-
setNext
public void setNext(Instruction next)
-
-