Class ControlFlowInstructionVisitor

java.lang.Object

edu.berkeley.cs.jqf.instrument.tracing.DefaultInstructionVisitor

edu.berkeley.cs.jqf.instrument.tracing.ControlFlowInstructionVisitor

All Implemented Interfaces:

IVisitor

public class ControlFlowInstructionVisitor
extends DefaultInstructionVisitor

This is an instruction visitor that has additional convenience methods for visiting control-flow instructions.

Additional control-flow groups include conditional jumps, method exits (such as various returns or exceptional exit) and method invocations.

Constructor Summary

Constructors

Constructor	Description
ControlFlowInstructionVisitor()

Method Summary

Modifier and Type	Method	Description
void	visitARETURN(ARETURN inst)
void	visitConditionalBranch(Instruction inst)
void	visitDRETURN(DRETURN inst)
void	visitFRETURN(FRETURN inst)
void	visitIF_ACMPEQ(IF_ACMPEQ inst)
void	visitIF_ACMPNE(IF_ACMPNE inst)
void	visitIF_ICMPEQ(IF_ICMPEQ inst)
void	visitIF_ICMPGE(IF_ICMPGE inst)
void	visitIF_ICMPGT(IF_ICMPGT inst)
void	visitIF_ICMPLE(IF_ICMPLE inst)
void	visitIF_ICMPLT(IF_ICMPLT inst)
void	visitIF_ICMPNE(IF_ICMPNE inst)
void	visitIFEQ(IFEQ inst)
void	visitIFGE(IFGE inst)
void	visitIFGT(IFGT inst)
void	visitIFLE(IFLE inst)
void	visitIFLT(IFLT inst)
void	visitIFNE(IFNE inst)
void	visitIFNONNULL(IFNONNULL inst)
void	visitIFNULL(IFNULL inst)
void	visitInvokeInstruction(InvokeInstruction inst)
void	visitINVOKEINTERFACE(INVOKEINTERFACE inst)
void	visitINVOKESPECIAL(INVOKESPECIAL inst)
void	visitINVOKESTATIC(INVOKESTATIC inst)
void	visitINVOKEVIRTUAL(INVOKEVIRTUAL inst)
void	visitIRETURN(IRETURN inst)
void	visitLRETURN(LRETURN inst)
void	visitMETHOD_THROW(METHOD_THROW inst)
void	visitRETURN(RETURN inst)
void	visitReturnOrMethodThrow(Instruction inst)

Methods inherited from class edu.berkeley.cs.jqf.instrument.tracing.DefaultInstructionVisitor

setNext, visitAALOAD, visitAASTORE, visitACONST_NULL, visitALOAD, visitANEWARRAY, visitARRAYLENGTH, visitASTORE, visitATHROW, visitBALOAD, visitBASTORE, visitBIPUSH, visitCALOAD, visitCASTORE, visitCHECKCAST, visitD2F, visitD2I, visitD2L, visitDADD, visitDALOAD, visitDASTORE, visitDCMPG, visitDCMPL, visitDCONST_0, visitDCONST_1, visitDDIV, visitDLOAD, visitDMUL, visitDNEG, visitDREM, visitDSTORE, visitDSUB, visitDUP, visitDUP_X1, visitDUP_X2, visitDUP2, visitDUP2_X1, visitDUP2_X2, visitF2D, visitF2I, visitF2L, visitFADD, visitFALOAD, visitFASTORE, visitFCMPG, visitFCMPL, visitFCONST_0, visitFCONST_1, visitFCONST_2, visitFDIV, visitFLOAD, visitFMUL, visitFNEG, visitFREM, visitFSTORE, visitFSUB, visitGETFIELD, visitGETSTATIC, visitGETVALUE_boolean, visitGETVALUE_byte, visitGETVALUE_char, visitGETVALUE_double, visitGETVALUE_float, visitGETVALUE_int, visitGETVALUE_long, visitGETVALUE_Object, visitGETVALUE_short, visitGETVALUE_void, visitGOTO, visitHEAPLOAD, visitI2B, visitI2C, visitI2D, visitI2F, visitI2L, visitI2S, visitIADD, visitIALOAD, visitIAND, visitIASTORE, visitICONST_0, visitICONST_1, visitICONST_2, visitICONST_3, visitICONST_4, visitICONST_5, visitICONST_M1, visitIDIV, visitIINC, visitILOAD, visitIMUL, visitINEG, visitINSTANCEOF, visitINVOKEMETHOD_END, visitINVOKEMETHOD_EXCEPTION, visitIOR, visitIREM, visitISHL, visitISHR, visitISTORE, visitISUB, visitIUSHR, visitIXOR, visitJSR, visitL2D, visitL2F, visitL2I, visitLADD, visitLALOAD, visitLAND, visitLASTORE, visitLCMP, visitLCONST_0, visitLCONST_1, visitLDC_double, visitLDC_float, visitLDC_int, visitLDC_long, visitLDC_Object, visitLDC_String, visitLDIV, visitLLOAD, visitLMUL, visitLNEG, visitLOOKUPSWITCH, visitLOR, visitLREM, visitLSHL, visitLSHR, visitLSTORE, visitLSUB, visitLUSHR, visitLXOR, visitMAKE_SYMBOLIC, visitMETHOD_BEGIN, visitMONITORENTER, visitMONITOREXIT, visitMULTIANEWARRAY, visitNEW, visitNEWARRAY, visitNOP, visitPOP, visitPOP2, visitPUTFIELD, visitPUTSTATIC, visitRET, visitSALOAD, visitSASTORE, visitSIPUSH, visitSPECIAL, visitSWAP, visitTABLESWITCH

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ControlFlowInstructionVisitor

public ControlFlowInstructionVisitor()

Method Details

visitInvokeInstruction

public void visitInvokeInstruction(InvokeInstruction inst)

visitINVOKEINTERFACE

public void visitINVOKEINTERFACE(INVOKEINTERFACE inst)

Specified by:

visitINVOKEINTERFACE in interface IVisitor

Overrides:

visitINVOKEINTERFACE in class DefaultInstructionVisitor

visitINVOKESPECIAL

public void visitINVOKESPECIAL(INVOKESPECIAL inst)

Specified by:

visitINVOKESPECIAL in interface IVisitor

Overrides:

visitINVOKESPECIAL in class DefaultInstructionVisitor

visitINVOKESTATIC

public void visitINVOKESTATIC(INVOKESTATIC inst)

Specified by:

visitINVOKESTATIC in interface IVisitor

Overrides:

visitINVOKESTATIC in class DefaultInstructionVisitor

visitINVOKEVIRTUAL

public void visitINVOKEVIRTUAL(INVOKEVIRTUAL inst)

Specified by:

visitINVOKEVIRTUAL in interface IVisitor

Overrides:

visitINVOKEVIRTUAL in class DefaultInstructionVisitor

visitConditionalBranch

public void visitConditionalBranch(Instruction inst)

visitIFEQ

public void visitIFEQ(IFEQ inst)

Specified by:

visitIFEQ in interface IVisitor

Overrides:

visitIFEQ in class DefaultInstructionVisitor

visitIFGE

public void visitIFGE(IFGE inst)

Specified by:

visitIFGE in interface IVisitor

Overrides:

visitIFGE in class DefaultInstructionVisitor

visitIFGT

public void visitIFGT(IFGT inst)

Specified by:

visitIFGT in interface IVisitor

Overrides:

visitIFGT in class DefaultInstructionVisitor

visitIFLE

public void visitIFLE(IFLE inst)

Specified by:

visitIFLE in interface IVisitor

Overrides:

visitIFLE in class DefaultInstructionVisitor

visitIFLT

public void visitIFLT(IFLT inst)

Specified by:

visitIFLT in interface IVisitor

Overrides:

visitIFLT in class DefaultInstructionVisitor

visitIFNE

public void visitIFNE(IFNE inst)

Specified by:

visitIFNE in interface IVisitor

Overrides:

visitIFNE in class DefaultInstructionVisitor

visitIFNONNULL

public void visitIFNONNULL(IFNONNULL inst)

Specified by:

visitIFNONNULL in interface IVisitor

Overrides:

visitIFNONNULL in class DefaultInstructionVisitor

visitIFNULL

public void visitIFNULL(IFNULL inst)

Specified by:

visitIFNULL in interface IVisitor

Overrides:

visitIFNULL in class DefaultInstructionVisitor

visitIF_ACMPEQ

public void visitIF_ACMPEQ(IF_ACMPEQ inst)

Specified by:

visitIF_ACMPEQ in interface IVisitor

Overrides:

visitIF_ACMPEQ in class DefaultInstructionVisitor

visitIF_ACMPNE

public void visitIF_ACMPNE(IF_ACMPNE inst)

Specified by:

visitIF_ACMPNE in interface IVisitor

Overrides:

visitIF_ACMPNE in class DefaultInstructionVisitor

visitIF_ICMPEQ

public void visitIF_ICMPEQ(IF_ICMPEQ inst)

Specified by:

visitIF_ICMPEQ in interface IVisitor

Overrides:

visitIF_ICMPEQ in class DefaultInstructionVisitor

visitIF_ICMPGE

public void visitIF_ICMPGE(IF_ICMPGE inst)

Specified by:

visitIF_ICMPGE in interface IVisitor

Overrides:

visitIF_ICMPGE in class DefaultInstructionVisitor

visitIF_ICMPGT

public void visitIF_ICMPGT(IF_ICMPGT inst)

Specified by:

visitIF_ICMPGT in interface IVisitor

Overrides:

visitIF_ICMPGT in class DefaultInstructionVisitor

visitIF_ICMPLE

public void visitIF_ICMPLE(IF_ICMPLE inst)

Specified by:

visitIF_ICMPLE in interface IVisitor

Overrides:

visitIF_ICMPLE in class DefaultInstructionVisitor

visitIF_ICMPLT

public void visitIF_ICMPLT(IF_ICMPLT inst)

Specified by:

visitIF_ICMPLT in interface IVisitor

Overrides:

visitIF_ICMPLT in class DefaultInstructionVisitor

visitIF_ICMPNE

public void visitIF_ICMPNE(IF_ICMPNE inst)

Specified by:

visitIF_ICMPNE in interface IVisitor

Overrides:

visitIF_ICMPNE in class DefaultInstructionVisitor

visitReturnOrMethodThrow

public void visitReturnOrMethodThrow(Instruction inst)

visitARETURN

public void visitARETURN(ARETURN inst)

Specified by:

visitARETURN in interface IVisitor

Overrides:

visitARETURN in class DefaultInstructionVisitor

visitDRETURN

public void visitDRETURN(DRETURN inst)

Specified by:

visitDRETURN in interface IVisitor

Overrides:

visitDRETURN in class DefaultInstructionVisitor

visitFRETURN

public void visitFRETURN(FRETURN inst)

Specified by:

visitFRETURN in interface IVisitor

Overrides:

visitFRETURN in class DefaultInstructionVisitor

visitIRETURN

public void visitIRETURN(IRETURN inst)

Specified by:

visitIRETURN in interface IVisitor

Overrides:

visitIRETURN in class DefaultInstructionVisitor

visitLRETURN

public void visitLRETURN(LRETURN inst)

Specified by:

visitLRETURN in interface IVisitor

Overrides:

visitLRETURN in class DefaultInstructionVisitor

visitRETURN

public void visitRETURN(RETURN inst)

Specified by:

visitRETURN in interface IVisitor

Overrides:

visitRETURN in class DefaultInstructionVisitor

visitMETHOD_THROW

public void visitMETHOD_THROW(METHOD_THROW inst)

Specified by:

visitMETHOD_THROW in interface IVisitor

Overrides:

visitMETHOD_THROW in class DefaultInstructionVisitor