edu.umd.cs.findbugs.ba
Class TargetEnumeratingVisitor

java.lang.Object
  org.apache.bcel.generic.EmptyVisitor
      edu.umd.cs.findbugs.ba.TargetEnumeratingVisitor

All Implemented Interfaces:

EdgeTypes, org.apache.bcel.generic.Visitor

public class TargetEnumeratingVisitor
extends org.apache.bcel.generic.EmptyVisitor
implements EdgeTypes

Visitor to find all of the targets of an instruction whose InstructionHandle is given. Note that we don't consider exception edges.

Author:

David Hovemeyer, Chadd Williams

Field Summary

Fields inherited from interface edu.umd.cs.findbugs.ba.EdgeTypes

BACKEDGE_SOURCE_EDGE, BACKEDGE_TARGET_EDGE, CHECKED_EXCEPTIONS_FLAG, EXIT_EDGE, EXPLICIT_EXCEPTIONS_FLAG, FALL_THROUGH_EDGE, GOTO_EDGE, HANDLED_EXCEPTION_EDGE, IFCMP_EDGE, JSR_EDGE, RET_EDGE, RETURN_EDGE, START_EDGE, SWITCH_DEFAULT_EDGE, SWITCH_EDGE, UNHANDLED_EXCEPTION_EDGE, UNKNOWN_EDGE

Constructor Summary

TargetEnumeratingVisitor(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen constPoolGen)
Constructor.

Method Summary

boolean	instructionIsExit() Is the analyzed instruction an exit (call to System.exit())?
boolean	instructionIsReturn() Is the analyzed instruction a method return?
boolean	instructionIsThrow() Is the analyzed instruction an explicit throw?
boolean	isEndOfBasicBlock() Is the instruction the end of a basic block?
java.util.Iterator<Target>	targetIterator() Iterate over Target objects representing control flow targets and their edge types.
void	visitATHROW(org.apache.bcel.generic.ATHROW ins)
void	visitGotoInstruction(org.apache.bcel.generic.GotoInstruction ins)
void	visitIfInstruction(org.apache.bcel.generic.IfInstruction ins)
void	visitINVOKESTATIC(org.apache.bcel.generic.INVOKESTATIC ins)
void	visitReturnInstruction(org.apache.bcel.generic.ReturnInstruction ins)
void	visitSelect(org.apache.bcel.generic.Select ins)

Methods inherited from class org.apache.bcel.generic.EmptyVisitor

visitAALOAD, visitAASTORE, visitACONST_NULL, visitAllocationInstruction, visitALOAD, visitANEWARRAY, visitARETURN, visitArithmeticInstruction, visitArrayInstruction, visitARRAYLENGTH, visitASTORE, visitBALOAD, visitBASTORE, visitBIPUSH, visitBranchInstruction, visitBREAKPOINT, visitCALOAD, visitCASTORE, visitCHECKCAST, visitConstantPushInstruction, visitConversionInstruction, visitCPInstruction, visitD2F, visitD2I, visitD2L, visitDADD, visitDALOAD, visitDASTORE, visitDCMPG, visitDCMPL, visitDCONST, visitDDIV, visitDLOAD, visitDMUL, visitDNEG, visitDREM, visitDRETURN, visitDSTORE, visitDSUB, visitDUP_X1, visitDUP_X2, visitDUP, visitDUP2_X1, visitDUP2_X2, visitDUP2, visitExceptionThrower, visitF2D, visitF2I, visitF2L, visitFADD, visitFALOAD, visitFASTORE, visitFCMPG, visitFCMPL, visitFCONST, visitFDIV, visitFieldInstruction, visitFieldOrMethod, visitFLOAD, visitFMUL, visitFNEG, visitFREM, visitFRETURN, visitFSTORE, visitFSUB, visitGETFIELD, visitGETSTATIC, visitGOTO_W, visitGOTO, visitI2B, visitI2C, visitI2D, visitI2F, visitI2L, visitI2S, visitIADD, visitIALOAD, visitIAND, visitIASTORE, visitICONST, visitIDIV, visitIF_ACMPEQ, visitIF_ACMPNE, visitIF_ICMPEQ, visitIF_ICMPGE, visitIF_ICMPGT, visitIF_ICMPLE, visitIF_ICMPLT, visitIF_ICMPNE, visitIFEQ, visitIFGE, visitIFGT, visitIFLE, visitIFLT, visitIFNE, visitIFNONNULL, visitIFNULL, visitIINC, visitILOAD, visitIMPDEP1, visitIMPDEP2, visitIMUL, visitINEG, visitINSTANCEOF, visitInvokeInstruction, visitINVOKEINTERFACE, visitINVOKESPECIAL, visitINVOKEVIRTUAL, visitIOR, visitIREM, visitIRETURN, visitISHL, visitISHR, visitISTORE, visitISUB, visitIUSHR, visitIXOR, visitJSR_W, visitJSR, visitJsrInstruction, visitL2D, visitL2F, visitL2I, visitLADD, visitLALOAD, visitLAND, visitLASTORE, visitLCMP, visitLCONST, visitLDC, visitLDC2_W, visitLDIV, visitLLOAD, visitLMUL, visitLNEG, visitLoadClass, visitLoadInstruction, visitLocalVariableInstruction, visitLOOKUPSWITCH, visitLOR, visitLREM, visitLRETURN, visitLSHL, visitLSHR, visitLSTORE, visitLSUB, visitLUSHR, visitLXOR, visitMONITORENTER, visitMONITOREXIT, visitMULTIANEWARRAY, visitNEW, visitNEWARRAY, visitNOP, visitPOP, visitPOP2, visitPopInstruction, visitPushInstruction, visitPUTFIELD, visitPUTSTATIC, visitRET, visitRETURN, visitSALOAD, visitSASTORE, visitSIPUSH, visitStackConsumer, visitStackInstruction, visitStackProducer, visitStoreInstruction, visitSWAP, visitTABLESWITCH, visitTypedInstruction, visitUnconditionalBranch, visitVariableLengthInstruction

Methods inherited from class java.lang.Object

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

Constructor Detail

TargetEnumeratingVisitor

public TargetEnumeratingVisitor(org.apache.bcel.generic.InstructionHandle handle,
                                org.apache.bcel.generic.ConstantPoolGen constPoolGen)

Constructor.

Parameters:

handle - the handle of the instruction whose targets should be enumerated

constPoolGen - the ConstantPoolGen object for the class

Method Detail

isEndOfBasicBlock

public boolean isEndOfBasicBlock()

Is the instruction the end of a basic block?

instructionIsReturn

public boolean instructionIsReturn()

Is the analyzed instruction a method return?

instructionIsThrow

public boolean instructionIsThrow()

Is the analyzed instruction an explicit throw?

instructionIsExit

public boolean instructionIsExit()

Is the analyzed instruction an exit (call to System.exit())?

targetIterator

public java.util.Iterator<Target> targetIterator()

Iterate over Target objects representing control flow targets and their edge types.

visitGotoInstruction

public void visitGotoInstruction(org.apache.bcel.generic.GotoInstruction ins)

Specified by:

visitGotoInstruction in interface org.apache.bcel.generic.Visitor

Overrides:

visitGotoInstruction in class org.apache.bcel.generic.EmptyVisitor

visitIfInstruction

public void visitIfInstruction(org.apache.bcel.generic.IfInstruction ins)

Specified by:

visitIfInstruction in interface org.apache.bcel.generic.Visitor

Overrides:

visitIfInstruction in class org.apache.bcel.generic.EmptyVisitor

visitSelect

public void visitSelect(org.apache.bcel.generic.Select ins)

Specified by:

visitSelect in interface org.apache.bcel.generic.Visitor

Overrides:

visitSelect in class org.apache.bcel.generic.EmptyVisitor

visitReturnInstruction

public void visitReturnInstruction(org.apache.bcel.generic.ReturnInstruction ins)

Specified by:

visitReturnInstruction in interface org.apache.bcel.generic.Visitor

Overrides:

visitReturnInstruction in class org.apache.bcel.generic.EmptyVisitor

visitATHROW

public void visitATHROW(org.apache.bcel.generic.ATHROW ins)

Specified by:

visitATHROW in interface org.apache.bcel.generic.Visitor

Overrides:

visitATHROW in class org.apache.bcel.generic.EmptyVisitor

visitINVOKESTATIC

public void visitINVOKESTATIC(org.apache.bcel.generic.INVOKESTATIC ins)

Specified by:

visitINVOKESTATIC in interface org.apache.bcel.generic.Visitor

Overrides:

visitINVOKESTATIC in class org.apache.bcel.generic.EmptyVisitor