com.ibm.wala.analysis.stackMachine

Class AbstractIntStackMachine.BasicStackFlowProvider.BasicStackMachineVisitor

java.lang.Object

com.ibm.wala.shrikeBT.IInstruction.Visitor

com.ibm.wala.analysis.stackMachine.AbstractIntStackMachine.BasicStackFlowProvider.BasicStackMachineVisitor

Enclosing class:

AbstractIntStackMachine.BasicStackFlowProvider

protected class AbstractIntStackMachine.BasicStackFlowProvider.BasicStackMachineVisitor
extends com.ibm.wala.shrikeBT.IInstruction.Visitor

Update the machine state to account for an instruction

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	BasicStackMachineVisitor()

Method Summary

Modifier and Type	Method and Description
protected void	popN(com.ibm.wala.shrikeBT.IInstruction instruction)
void	visitArrayLength(com.ibm.wala.shrikeBT.ArrayLengthInstruction instruction)
void	visitArrayLoad(com.ibm.wala.shrikeBT.IArrayLoadInstruction instruction)
void	visitArrayStore(com.ibm.wala.shrikeBT.IArrayStoreInstruction instruction)
void	visitBinaryOp(com.ibm.wala.shrikeBT.IBinaryOpInstruction instruction)
void	visitComparison(com.ibm.wala.shrikeBT.IComparisonInstruction instruction)
void	visitConditionalBranch(com.ibm.wala.shrikeBT.IConditionalBranchInstruction instruction)
void	visitConstant(com.ibm.wala.shrikeBT.ConstantInstruction instruction)
void	visitConversion(com.ibm.wala.shrikeBT.IConversionInstruction instruction)
void	visitDup(com.ibm.wala.shrikeBT.DupInstruction instruction)
void	visitGet(com.ibm.wala.shrikeBT.IGetInstruction instruction)
void	visitInstanceof(com.ibm.wala.shrikeBT.IInstanceofInstruction instruction)
void	visitInvoke(com.ibm.wala.shrikeBT.IInvokeInstruction instruction)
void	visitLocalLoad(com.ibm.wala.shrikeBT.ILoadInstruction instruction)
void	visitLocalStore(com.ibm.wala.shrikeBT.IStoreInstruction instruction)
void	visitMonitor(com.ibm.wala.shrikeBT.MonitorInstruction instruction)
void	visitNew(com.ibm.wala.shrikeBT.NewInstruction instruction)
void	visitPop(com.ibm.wala.shrikeBT.PopInstruction instruction)
void	visitPut(com.ibm.wala.shrikeBT.IPutInstruction instruction)
void	visitShift(com.ibm.wala.shrikeBT.IShiftInstruction instruction)
void	visitSwap(com.ibm.wala.shrikeBT.SwapInstruction instruction)
void	visitSwitch(com.ibm.wala.shrikeBT.SwitchInstruction instruction)
void	visitThrow(com.ibm.wala.shrikeBT.ThrowInstruction instruction)
void	visitUnaryOp(com.ibm.wala.shrikeBT.IUnaryOpInstruction instruction)

Methods inherited from class com.ibm.wala.shrikeBT.IInstruction.Visitor

visitCheckCast, visitGoto, visitLoadIndirect, visitReturn, visitStoreIndirect

Methods inherited from class java.lang.Object

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

Constructor Detail

BasicStackMachineVisitor

protected BasicStackMachineVisitor()

Method Detail

visitArrayLength

public void visitArrayLength(com.ibm.wala.shrikeBT.ArrayLengthInstruction instruction)

Overrides:

visitArrayLength in class com.ibm.wala.shrikeBT.IInstruction.Visitor

visitArrayLoad

public void visitArrayLoad(com.ibm.wala.shrikeBT.IArrayLoadInstruction instruction)

Overrides:

visitArrayLoad in class com.ibm.wala.shrikeBT.IInstruction.Visitor

visitArrayStore

public void visitArrayStore(com.ibm.wala.shrikeBT.IArrayStoreInstruction instruction)

Overrides:

visitArrayStore in class com.ibm.wala.shrikeBT.IInstruction.Visitor

visitBinaryOp

public void visitBinaryOp(com.ibm.wala.shrikeBT.IBinaryOpInstruction instruction)

Overrides:

visitBinaryOp in class com.ibm.wala.shrikeBT.IInstruction.Visitor

visitComparison

public void visitComparison(com.ibm.wala.shrikeBT.IComparisonInstruction instruction)

Overrides:

visitComparison in class com.ibm.wala.shrikeBT.IInstruction.Visitor

visitConditionalBranch

public void visitConditionalBranch(com.ibm.wala.shrikeBT.IConditionalBranchInstruction instruction)

Overrides:

visitConditionalBranch in class com.ibm.wala.shrikeBT.IInstruction.Visitor

visitConstant

public void visitConstant(com.ibm.wala.shrikeBT.ConstantInstruction instruction)

Overrides:

visitConstant in class com.ibm.wala.shrikeBT.IInstruction.Visitor

visitConversion

public void visitConversion(com.ibm.wala.shrikeBT.IConversionInstruction instruction)

Overrides:

visitConversion in class com.ibm.wala.shrikeBT.IInstruction.Visitor

visitDup

public void visitDup(com.ibm.wala.shrikeBT.DupInstruction instruction)

Overrides:

visitDup in class com.ibm.wala.shrikeBT.IInstruction.Visitor

visitGet

public void visitGet(com.ibm.wala.shrikeBT.IGetInstruction instruction)

Overrides:

visitGet in class com.ibm.wala.shrikeBT.IInstruction.Visitor

popN

protected void popN(com.ibm.wala.shrikeBT.IInstruction instruction)

visitInstanceof

public void visitInstanceof(com.ibm.wala.shrikeBT.IInstanceofInstruction instruction)

Overrides:

visitInstanceof in class com.ibm.wala.shrikeBT.IInstruction.Visitor

visitInvoke

public void visitInvoke(com.ibm.wala.shrikeBT.IInvokeInstruction instruction)

Overrides:

visitInvoke in class com.ibm.wala.shrikeBT.IInstruction.Visitor

visitMonitor

public void visitMonitor(com.ibm.wala.shrikeBT.MonitorInstruction instruction)

Overrides:

visitMonitor in class com.ibm.wala.shrikeBT.IInstruction.Visitor

visitLocalLoad

public void visitLocalLoad(com.ibm.wala.shrikeBT.ILoadInstruction instruction)

Overrides:

visitLocalLoad in class com.ibm.wala.shrikeBT.IInstruction.Visitor

visitLocalStore

public void visitLocalStore(com.ibm.wala.shrikeBT.IStoreInstruction instruction)

Overrides:

visitLocalStore in class com.ibm.wala.shrikeBT.IInstruction.Visitor

visitNew

public void visitNew(com.ibm.wala.shrikeBT.NewInstruction instruction)

Overrides:

visitNew in class com.ibm.wala.shrikeBT.IInstruction.Visitor

visitPop

public void visitPop(com.ibm.wala.shrikeBT.PopInstruction instruction)

Overrides:

visitPop in class com.ibm.wala.shrikeBT.IInstruction.Visitor

visitPut

public void visitPut(com.ibm.wala.shrikeBT.IPutInstruction instruction)

Overrides:

visitPut in class com.ibm.wala.shrikeBT.IInstruction.Visitor

visitShift

public void visitShift(com.ibm.wala.shrikeBT.IShiftInstruction instruction)

Overrides:

visitShift in class com.ibm.wala.shrikeBT.IInstruction.Visitor

visitSwap

public void visitSwap(com.ibm.wala.shrikeBT.SwapInstruction instruction)

Overrides:

visitSwap in class com.ibm.wala.shrikeBT.IInstruction.Visitor

visitSwitch

public void visitSwitch(com.ibm.wala.shrikeBT.SwitchInstruction instruction)

Overrides:

visitSwitch in class com.ibm.wala.shrikeBT.IInstruction.Visitor

visitThrow

public void visitThrow(com.ibm.wala.shrikeBT.ThrowInstruction instruction)

Overrides:

visitThrow in class com.ibm.wala.shrikeBT.IInstruction.Visitor

visitUnaryOp

public void visitUnaryOp(com.ibm.wala.shrikeBT.IUnaryOpInstruction instruction)

Overrides:

visitUnaryOp in class com.ibm.wala.shrikeBT.IInstruction.Visitor