edu.umd.cs.findbugs.ba.type2
Class BetterTypeFrameModelingVisitor

java.lang.Object
  edu.umd.cs.findbugs.ba.AbstractFrameModelingVisitor<Type,BetterTypeFrame>
      edu.umd.cs.findbugs.ba.type2.BetterTypeFrameModelingVisitor

All Implemented Interfaces:

org.apache.bcel.generic.Visitor

public class BetterTypeFrameModelingVisitor
extends AbstractFrameModelingVisitor<Type,BetterTypeFrame>

Dataflow analysis to determine types for slots in Java stack frames, using a TypeRepository to create the type objects (rather than BCEL's Type classes).

This is still experimental.

Author:

David Hovemeyer

See Also:

TypeRepository

Field Summary

Fields inherited from class edu.umd.cs.findbugs.ba.AbstractFrameModelingVisitor

cpg

Constructor Summary

BetterTypeFrameModelingVisitor(TypeRepository typeRepository, org.apache.bcel.generic.MethodGen methodGen)

Method Summary

protected void	consumeStack(org.apache.bcel.generic.Instruction ins) Consume stack.
Type	getDefaultValue() Produce a "default" value.
void	modelNormalInstruction(org.apache.bcel.generic.Instruction ins, int numWordsConsumed, int numWordsProduced) This is overridden only to ensure that we don't rely on the base class to handle instructions that produce stack operands.
protected void	pushReturnType(org.apache.bcel.generic.InvokeInstruction ins) Helper for pushing the return type of an invoke instruction.
protected void	pushValue(Type type) Work around some weirdness in BCEL (inherited from JVM Spec 1): BCEL considers long and double types to consume two slots on the stack.
protected void	pushValue(org.apache.bcel.generic.TypedInstruction ins) Temporary hack to ease conversion from BCEL types to TypeRepository types.
void	visitAALOAD(org.apache.bcel.generic.AALOAD obj)
void	visitACONST_NULL(org.apache.bcel.generic.ACONST_NULL obj)
void	visitANEWARRAY(org.apache.bcel.generic.ANEWARRAY obj)
void	visitARRAYLENGTH(org.apache.bcel.generic.ARRAYLENGTH obj)
void	visitBALOAD(org.apache.bcel.generic.BALOAD obj)
void	visitBIPUSH(org.apache.bcel.generic.BIPUSH obj)
void	visitCALOAD(org.apache.bcel.generic.CALOAD obj)
void	visitCHECKCAST(org.apache.bcel.generic.CHECKCAST obj)
void	visitD2F(org.apache.bcel.generic.D2F obj)
void	visitD2I(org.apache.bcel.generic.D2I obj)
void	visitD2L(org.apache.bcel.generic.D2L obj)
void	visitDADD(org.apache.bcel.generic.DADD obj)
void	visitDALOAD(org.apache.bcel.generic.DALOAD obj)
void	visitDCMPG(org.apache.bcel.generic.DCMPG obj)
void	visitDCMPL(org.apache.bcel.generic.DCMPL obj)
void	visitDCONST(org.apache.bcel.generic.DCONST obj)
void	visitDDIV(org.apache.bcel.generic.DDIV obj)
void	visitDMUL(org.apache.bcel.generic.DMUL obj)
void	visitDNEG(org.apache.bcel.generic.DNEG obj)
void	visitDREM(org.apache.bcel.generic.DREM obj)
void	visitDSUB(org.apache.bcel.generic.DSUB obj)
void	visitF2D(org.apache.bcel.generic.F2D obj)
void	visitF2I(org.apache.bcel.generic.F2I obj)
void	visitF2L(org.apache.bcel.generic.F2L obj)
void	visitFADD(org.apache.bcel.generic.FADD obj)
void	visitFALOAD(org.apache.bcel.generic.FALOAD obj)
void	visitFCMPG(org.apache.bcel.generic.FCMPG obj)
void	visitFCMPL(org.apache.bcel.generic.FCMPL obj)
void	visitFCONST(org.apache.bcel.generic.FCONST obj)
void	visitFDIV(org.apache.bcel.generic.FDIV obj)
void	visitFMUL(org.apache.bcel.generic.FMUL obj)
void	visitFNEG(org.apache.bcel.generic.FNEG obj)
void	visitFREM(org.apache.bcel.generic.FREM obj)
void	visitFSUB(org.apache.bcel.generic.FSUB obj)
void	visitGETFIELD(org.apache.bcel.generic.GETFIELD obj)
void	visitGETSTATIC(org.apache.bcel.generic.GETSTATIC obj)
void	visitI2B(org.apache.bcel.generic.I2B obj)
void	visitI2C(org.apache.bcel.generic.I2C obj)
void	visitI2D(org.apache.bcel.generic.I2D obj)
void	visitI2F(org.apache.bcel.generic.I2F obj)
void	visitI2L(org.apache.bcel.generic.I2L obj)
void	visitI2S(org.apache.bcel.generic.I2S obj)
void	visitIADD(org.apache.bcel.generic.IADD obj)
void	visitIALOAD(org.apache.bcel.generic.IALOAD obj)
void	visitIAND(org.apache.bcel.generic.IAND obj)
void	visitICONST(org.apache.bcel.generic.ICONST obj)
void	visitIDIV(org.apache.bcel.generic.IDIV obj)
void	visitIINC(org.apache.bcel.generic.IINC obj)
void	visitIMUL(org.apache.bcel.generic.IMUL obj)
void	visitINEG(org.apache.bcel.generic.INEG obj)
void	visitINSTANCEOF(org.apache.bcel.generic.INSTANCEOF obj)
void	visitINVOKEINTERFACE(org.apache.bcel.generic.INVOKEINTERFACE obj)
void	visitINVOKESPECIAL(org.apache.bcel.generic.INVOKESPECIAL obj)
void	visitINVOKESTATIC(org.apache.bcel.generic.INVOKESTATIC obj)
void	visitINVOKEVIRTUAL(org.apache.bcel.generic.INVOKEVIRTUAL obj)
void	visitIOR(org.apache.bcel.generic.IOR obj)
void	visitIREM(org.apache.bcel.generic.IREM obj)
void	visitISHL(org.apache.bcel.generic.ISHL obj)
void	visitISHR(org.apache.bcel.generic.ISHR obj)
void	visitISUB(org.apache.bcel.generic.ISUB obj)
void	visitIUSHR(org.apache.bcel.generic.IUSHR obj)
void	visitIXOR(org.apache.bcel.generic.IXOR obj)
void	visitJSR_W(org.apache.bcel.generic.JSR_W obj)
void	visitJSR(org.apache.bcel.generic.JSR obj)
void	visitL2D(org.apache.bcel.generic.L2D obj)
void	visitL2F(org.apache.bcel.generic.L2F obj)
void	visitL2I(org.apache.bcel.generic.L2I obj)
void	visitLADD(org.apache.bcel.generic.LADD obj)
void	visitLALOAD(org.apache.bcel.generic.LALOAD obj)
void	visitLAND(org.apache.bcel.generic.LAND obj)
void	visitLCMP(org.apache.bcel.generic.LCMP obj)
void	visitLCONST(org.apache.bcel.generic.LCONST obj)
void	visitLDC(org.apache.bcel.generic.LDC obj)
void	visitLDC2_W(org.apache.bcel.generic.LDC2_W obj)
void	visitLDIV(org.apache.bcel.generic.LDIV obj)
void	visitLMUL(org.apache.bcel.generic.LMUL obj)
void	visitLNEG(org.apache.bcel.generic.LNEG obj)
void	visitLOR(org.apache.bcel.generic.LOR obj)
void	visitLREM(org.apache.bcel.generic.LREM obj)
void	visitLSHL(org.apache.bcel.generic.LSHL obj)
void	visitLSHR(org.apache.bcel.generic.LSHR obj)
void	visitLSUB(org.apache.bcel.generic.LSUB obj)
void	visitLUSHR(org.apache.bcel.generic.LUSHR obj)
void	visitLXOR(org.apache.bcel.generic.LXOR obj)
void	visitMULTIANEWARRAY(org.apache.bcel.generic.MULTIANEWARRAY obj)
void	visitNEW(org.apache.bcel.generic.NEW obj)
void	visitNEWARRAY(org.apache.bcel.generic.NEWARRAY obj)
void	visitRET(org.apache.bcel.generic.RET obj)
void	visitSALOAD(org.apache.bcel.generic.SALOAD obj)
void	visitSIPUSH(org.apache.bcel.generic.SIPUSH obj)

Methods inherited from class edu.umd.cs.findbugs.ba.AbstractFrameModelingVisitor

analyzeInstruction, getCPG, getFrame, getLocation, getNumWordsConsumed, getNumWordsProduced, handleLoadInstruction, handleNormalInstruction, handleStoreInstruction, modelInstruction, setFrameAndLocation, visitAASTORE, visitAllocationInstruction, visitALOAD, visitARETURN, visitArithmeticInstruction, visitArrayInstruction, visitASTORE, visitATHROW, visitBASTORE, visitBranchInstruction, visitBREAKPOINT, visitCASTORE, visitConstantPushInstruction, visitConversionInstruction, visitCPInstruction, visitDASTORE, visitDLOAD, visitDRETURN, visitDSTORE, visitDUP_X1, visitDUP_X2, visitDUP, visitDUP2_X1, visitDUP2_X2, visitDUP2, visitExceptionThrower, visitFASTORE, visitFieldInstruction, visitFieldOrMethod, visitFLOAD, visitFRETURN, visitFSTORE, visitGOTO_W, visitGOTO, visitGotoInstruction, visitIASTORE, visitIF_ACMPEQ, visitIF_ACMPNE, visitIF_ICMPEQ, visitIF_ICMPGE, visitIF_ICMPGT, visitIF_ICMPLE, visitIF_ICMPLT, visitIF_ICMPNE, visitIFEQ, visitIFGE, visitIFGT, visitIfInstruction, visitIFLE, visitIFLT, visitIFNE, visitIFNONNULL, visitIFNULL, visitILOAD, visitIMPDEP1, visitIMPDEP2, visitInvokeInstruction, visitIRETURN, visitISTORE, visitJsrInstruction, visitLASTORE, visitLLOAD, visitLoadClass, visitLoadInstruction, visitLocalVariableInstruction, visitLOOKUPSWITCH, visitLRETURN, visitLSTORE, visitMONITORENTER, visitMONITOREXIT, visitNOP, visitPOP, visitPOP2, visitPopInstruction, visitPushInstruction, visitPUTFIELD, visitPUTSTATIC, visitRETURN, visitReturnInstruction, visitSASTORE, visitSelect, 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

BetterTypeFrameModelingVisitor

public BetterTypeFrameModelingVisitor(TypeRepository typeRepository,
                                      org.apache.bcel.generic.MethodGen methodGen)

Method Detail

getDefaultValue

public Type getDefaultValue()

Description copied from class: AbstractFrameModelingVisitor

Produce a "default" value. This is what is pushed onto the stack by the handleNormalInstruction() method for instructions which produce stack values.

Specified by:

getDefaultValue in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

consumeStack

protected void consumeStack(org.apache.bcel.generic.Instruction ins)

Consume stack. This is a convenience method for instructions where the types of popped operands can be ignored.

pushValue

protected void pushValue(Type type)

Work around some weirdness in BCEL (inherited from JVM Spec 1): BCEL considers long and double types to consume two slots on the stack. This method ensures that we push two types for each double or long value.

pushValue

protected void pushValue(org.apache.bcel.generic.TypedInstruction ins)

Temporary hack to ease conversion from BCEL types to TypeRepository types.

pushReturnType

protected void pushReturnType(org.apache.bcel.generic.InvokeInstruction ins)

Helper for pushing the return type of an invoke instruction.

modelNormalInstruction

public void modelNormalInstruction(org.apache.bcel.generic.Instruction ins,
                                   int numWordsConsumed,
                                   int numWordsProduced)

This is overridden only to ensure that we don't rely on the base class to handle instructions that produce stack operands.

Overrides:

modelNormalInstruction in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

Parameters:

ins - the Instruction to model

numWordsConsumed - number of stack words consumed

numWordsProduced - number of stack words produced

visitACONST_NULL

public void visitACONST_NULL(org.apache.bcel.generic.ACONST_NULL obj)

Specified by:

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

Overrides:

visitACONST_NULL in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitDCONST

public void visitDCONST(org.apache.bcel.generic.DCONST obj)

Specified by:

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

Overrides:

visitDCONST in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitFCONST

public void visitFCONST(org.apache.bcel.generic.FCONST obj)

Specified by:

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

Overrides:

visitFCONST in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitICONST

public void visitICONST(org.apache.bcel.generic.ICONST obj)

Specified by:

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

Overrides:

visitICONST in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitLCONST

public void visitLCONST(org.apache.bcel.generic.LCONST obj)

Specified by:

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

Overrides:

visitLCONST in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitLDC

public void visitLDC(org.apache.bcel.generic.LDC obj)

Specified by:

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

Overrides:

visitLDC in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitLDC2_W

public void visitLDC2_W(org.apache.bcel.generic.LDC2_W obj)

Specified by:

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

Overrides:

visitLDC2_W in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitBIPUSH

public void visitBIPUSH(org.apache.bcel.generic.BIPUSH obj)

Specified by:

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

Overrides:

visitBIPUSH in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitSIPUSH

public void visitSIPUSH(org.apache.bcel.generic.SIPUSH obj)

Specified by:

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

Overrides:

visitSIPUSH in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitGETSTATIC

public void visitGETSTATIC(org.apache.bcel.generic.GETSTATIC obj)

Specified by:

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

Overrides:

visitGETSTATIC in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitGETFIELD

public void visitGETFIELD(org.apache.bcel.generic.GETFIELD obj)

Specified by:

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

Overrides:

visitGETFIELD in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitINVOKESTATIC

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

Specified by:

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

Overrides:

visitINVOKESTATIC in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitINVOKESPECIAL

public void visitINVOKESPECIAL(org.apache.bcel.generic.INVOKESPECIAL obj)

Specified by:

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

Overrides:

visitINVOKESPECIAL in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitINVOKEINTERFACE

public void visitINVOKEINTERFACE(org.apache.bcel.generic.INVOKEINTERFACE obj)

Specified by:

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

Overrides:

visitINVOKEINTERFACE in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitINVOKEVIRTUAL

public void visitINVOKEVIRTUAL(org.apache.bcel.generic.INVOKEVIRTUAL obj)

Specified by:

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

Overrides:

visitINVOKEVIRTUAL in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitCHECKCAST

public void visitCHECKCAST(org.apache.bcel.generic.CHECKCAST obj)

Specified by:

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

Overrides:

visitCHECKCAST in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitINSTANCEOF

public void visitINSTANCEOF(org.apache.bcel.generic.INSTANCEOF obj)

Specified by:

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

Overrides:

visitINSTANCEOF in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitFCMPL

public void visitFCMPL(org.apache.bcel.generic.FCMPL obj)

Specified by:

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

Overrides:

visitFCMPL in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitFCMPG

public void visitFCMPG(org.apache.bcel.generic.FCMPG obj)

Specified by:

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

Overrides:

visitFCMPG in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitDCMPL

public void visitDCMPL(org.apache.bcel.generic.DCMPL obj)

Specified by:

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

Overrides:

visitDCMPL in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitDCMPG

public void visitDCMPG(org.apache.bcel.generic.DCMPG obj)

Specified by:

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

Overrides:

visitDCMPG in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitLCMP

public void visitLCMP(org.apache.bcel.generic.LCMP obj)

Specified by:

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

Overrides:

visitLCMP in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitD2F

public void visitD2F(org.apache.bcel.generic.D2F obj)

Specified by:

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

Overrides:

visitD2F in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitD2I

public void visitD2I(org.apache.bcel.generic.D2I obj)

Specified by:

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

Overrides:

visitD2I in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitD2L

public void visitD2L(org.apache.bcel.generic.D2L obj)

Specified by:

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

Overrides:

visitD2L in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitF2D

public void visitF2D(org.apache.bcel.generic.F2D obj)

Specified by:

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

Overrides:

visitF2D in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitF2I

public void visitF2I(org.apache.bcel.generic.F2I obj)

Specified by:

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

Overrides:

visitF2I in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitF2L

public void visitF2L(org.apache.bcel.generic.F2L obj)

Specified by:

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

Overrides:

visitF2L in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitI2B

public void visitI2B(org.apache.bcel.generic.I2B obj)

Specified by:

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

Overrides:

visitI2B in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitI2C

public void visitI2C(org.apache.bcel.generic.I2C obj)

Specified by:

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

Overrides:

visitI2C in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitI2D

public void visitI2D(org.apache.bcel.generic.I2D obj)

Specified by:

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

Overrides:

visitI2D in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitI2F

public void visitI2F(org.apache.bcel.generic.I2F obj)

Specified by:

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

Overrides:

visitI2F in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitI2L

public void visitI2L(org.apache.bcel.generic.I2L obj)

Specified by:

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

Overrides:

visitI2L in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitI2S

public void visitI2S(org.apache.bcel.generic.I2S obj)

Specified by:

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

Overrides:

visitI2S in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitL2D

public void visitL2D(org.apache.bcel.generic.L2D obj)

Specified by:

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

Overrides:

visitL2D in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitL2F

public void visitL2F(org.apache.bcel.generic.L2F obj)

Specified by:

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

Overrides:

visitL2F in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitL2I

public void visitL2I(org.apache.bcel.generic.L2I obj)

Specified by:

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

Overrides:

visitL2I in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitIAND

public void visitIAND(org.apache.bcel.generic.IAND obj)

Specified by:

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

Overrides:

visitIAND in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitLAND

public void visitLAND(org.apache.bcel.generic.LAND obj)

Specified by:

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

Overrides:

visitLAND in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitIOR

public void visitIOR(org.apache.bcel.generic.IOR obj)

Specified by:

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

Overrides:

visitIOR in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitLOR

public void visitLOR(org.apache.bcel.generic.LOR obj)

Specified by:

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

Overrides:

visitLOR in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitIXOR

public void visitIXOR(org.apache.bcel.generic.IXOR obj)

Specified by:

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

Overrides:

visitIXOR in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitLXOR

public void visitLXOR(org.apache.bcel.generic.LXOR obj)

Specified by:

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

Overrides:

visitLXOR in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitISHR

public void visitISHR(org.apache.bcel.generic.ISHR obj)

Specified by:

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

Overrides:

visitISHR in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitIUSHR

public void visitIUSHR(org.apache.bcel.generic.IUSHR obj)

Specified by:

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

Overrides:

visitIUSHR in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitLSHR

public void visitLSHR(org.apache.bcel.generic.LSHR obj)

Specified by:

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

Overrides:

visitLSHR in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitLUSHR

public void visitLUSHR(org.apache.bcel.generic.LUSHR obj)

Specified by:

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

Overrides:

visitLUSHR in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitISHL

public void visitISHL(org.apache.bcel.generic.ISHL obj)

Specified by:

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

Overrides:

visitISHL in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitLSHL

public void visitLSHL(org.apache.bcel.generic.LSHL obj)

Specified by:

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

Overrides:

visitLSHL in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitDADD

public void visitDADD(org.apache.bcel.generic.DADD obj)

Specified by:

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

Overrides:

visitDADD in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitFADD

public void visitFADD(org.apache.bcel.generic.FADD obj)

Specified by:

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

Overrides:

visitFADD in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitIADD

public void visitIADD(org.apache.bcel.generic.IADD obj)

Specified by:

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

Overrides:

visitIADD in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitLADD

public void visitLADD(org.apache.bcel.generic.LADD obj)

Specified by:

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

Overrides:

visitLADD in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitDSUB

public void visitDSUB(org.apache.bcel.generic.DSUB obj)

Specified by:

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

Overrides:

visitDSUB in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitFSUB

public void visitFSUB(org.apache.bcel.generic.FSUB obj)

Specified by:

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

Overrides:

visitFSUB in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitISUB

public void visitISUB(org.apache.bcel.generic.ISUB obj)

Specified by:

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

Overrides:

visitISUB in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitLSUB

public void visitLSUB(org.apache.bcel.generic.LSUB obj)

Specified by:

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

Overrides:

visitLSUB in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitDMUL

public void visitDMUL(org.apache.bcel.generic.DMUL obj)

Specified by:

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

Overrides:

visitDMUL in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitFMUL

public void visitFMUL(org.apache.bcel.generic.FMUL obj)

Specified by:

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

Overrides:

visitFMUL in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitIMUL

public void visitIMUL(org.apache.bcel.generic.IMUL obj)

Specified by:

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

Overrides:

visitIMUL in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitLMUL

public void visitLMUL(org.apache.bcel.generic.LMUL obj)

Specified by:

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

Overrides:

visitLMUL in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitDDIV

public void visitDDIV(org.apache.bcel.generic.DDIV obj)

Specified by:

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

Overrides:

visitDDIV in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitFDIV

public void visitFDIV(org.apache.bcel.generic.FDIV obj)

Specified by:

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

Overrides:

visitFDIV in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitIDIV

public void visitIDIV(org.apache.bcel.generic.IDIV obj)

Specified by:

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

Overrides:

visitIDIV in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitLDIV

public void visitLDIV(org.apache.bcel.generic.LDIV obj)

Specified by:

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

Overrides:

visitLDIV in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitDREM

public void visitDREM(org.apache.bcel.generic.DREM obj)

Specified by:

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

Overrides:

visitDREM in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitFREM

public void visitFREM(org.apache.bcel.generic.FREM obj)

Specified by:

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

Overrides:

visitFREM in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitIREM

public void visitIREM(org.apache.bcel.generic.IREM obj)

Specified by:

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

Overrides:

visitIREM in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitLREM

public void visitLREM(org.apache.bcel.generic.LREM obj)

Specified by:

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

Overrides:

visitLREM in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitIINC

public void visitIINC(org.apache.bcel.generic.IINC obj)

Specified by:

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

Overrides:

visitIINC in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitDNEG

public void visitDNEG(org.apache.bcel.generic.DNEG obj)

Specified by:

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

Overrides:

visitDNEG in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitFNEG

public void visitFNEG(org.apache.bcel.generic.FNEG obj)

Specified by:

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

Overrides:

visitFNEG in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitINEG

public void visitINEG(org.apache.bcel.generic.INEG obj)

Specified by:

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

Overrides:

visitINEG in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitLNEG

public void visitLNEG(org.apache.bcel.generic.LNEG obj)

Specified by:

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

Overrides:

visitLNEG in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitARRAYLENGTH

public void visitARRAYLENGTH(org.apache.bcel.generic.ARRAYLENGTH obj)

Specified by:

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

Overrides:

visitARRAYLENGTH in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitAALOAD

public void visitAALOAD(org.apache.bcel.generic.AALOAD obj)

Specified by:

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

Overrides:

visitAALOAD in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitBALOAD

public void visitBALOAD(org.apache.bcel.generic.BALOAD obj)

Specified by:

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

Overrides:

visitBALOAD in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitCALOAD

public void visitCALOAD(org.apache.bcel.generic.CALOAD obj)

Specified by:

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

Overrides:

visitCALOAD in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitDALOAD

public void visitDALOAD(org.apache.bcel.generic.DALOAD obj)

Specified by:

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

Overrides:

visitDALOAD in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitFALOAD

public void visitFALOAD(org.apache.bcel.generic.FALOAD obj)

Specified by:

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

Overrides:

visitFALOAD in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitIALOAD

public void visitIALOAD(org.apache.bcel.generic.IALOAD obj)

Specified by:

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

Overrides:

visitIALOAD in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitLALOAD

public void visitLALOAD(org.apache.bcel.generic.LALOAD obj)

Specified by:

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

Overrides:

visitLALOAD in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitSALOAD

public void visitSALOAD(org.apache.bcel.generic.SALOAD obj)

Specified by:

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

Overrides:

visitSALOAD in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitNEW

public void visitNEW(org.apache.bcel.generic.NEW obj)

Specified by:

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

Overrides:

visitNEW in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitNEWARRAY

public void visitNEWARRAY(org.apache.bcel.generic.NEWARRAY obj)

Specified by:

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

Overrides:

visitNEWARRAY in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitANEWARRAY

public void visitANEWARRAY(org.apache.bcel.generic.ANEWARRAY obj)

Specified by:

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

Overrides:

visitANEWARRAY in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitMULTIANEWARRAY

public void visitMULTIANEWARRAY(org.apache.bcel.generic.MULTIANEWARRAY obj)

Specified by:

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

Overrides:

visitMULTIANEWARRAY in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitJSR

public void visitJSR(org.apache.bcel.generic.JSR obj)

Specified by:

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

Overrides:

visitJSR in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitJSR_W

public void visitJSR_W(org.apache.bcel.generic.JSR_W obj)

Specified by:

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

Overrides:

visitJSR_W in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>

visitRET

public void visitRET(org.apache.bcel.generic.RET obj)

Specified by:

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

Overrides:

visitRET in class AbstractFrameModelingVisitor<Type,BetterTypeFrame>