Package com.ibm.wala.analysis.stackMachine

Class AbstractIntStackMachine.BasicStackFlowProvider.BasicStackMachineVisitor

java.lang.Object

com.ibm.wala.shrike.shrikeBT.IInstruction.Visitor

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

Enclosing class:

AbstractIntStackMachine.BasicStackFlowProvider

protected class AbstractIntStackMachine.BasicStackFlowProvider.BasicStackMachineVisitor
extends IInstruction.Visitor

Update the machine state to account for an instruction

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	BasicStackMachineVisitor()

Method Summary

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

Methods inherited from class com.ibm.wala.shrike.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 Details

BasicStackMachineVisitor

protected BasicStackMachineVisitor()

Method Details

visitArrayLength

public void visitArrayLength(ArrayLengthInstruction instruction)

Overrides:

visitArrayLength in class IInstruction.Visitor

visitArrayLoad

public void visitArrayLoad(IArrayLoadInstruction instruction)

Overrides:

visitArrayLoad in class IInstruction.Visitor

visitArrayStore

public void visitArrayStore(IArrayStoreInstruction instruction)

Overrides:

visitArrayStore in class IInstruction.Visitor

visitBinaryOp

public void visitBinaryOp(IBinaryOpInstruction instruction)

Overrides:

visitBinaryOp in class IInstruction.Visitor

visitComparison

public void visitComparison(IComparisonInstruction instruction)

Overrides:

visitComparison in class IInstruction.Visitor

visitConditionalBranch

public void visitConditionalBranch(IConditionalBranchInstruction instruction)

Overrides:

visitConditionalBranch in class IInstruction.Visitor

visitConstant

public void visitConstant(ConstantInstruction instruction)

Overrides:

visitConstant in class IInstruction.Visitor

visitConversion

public void visitConversion(IConversionInstruction instruction)

Overrides:

visitConversion in class IInstruction.Visitor

visitDup

public void visitDup(DupInstruction instruction)

Overrides:

visitDup in class IInstruction.Visitor

visitGet

public void visitGet(IGetInstruction instruction)

Overrides:

visitGet in class IInstruction.Visitor

popN

protected void popN(IInstruction instruction)

visitInstanceof

public void visitInstanceof(IInstanceofInstruction instruction)

Overrides:

visitInstanceof in class IInstruction.Visitor

visitInvoke

public void visitInvoke(IInvokeInstruction instruction)

Overrides:

visitInvoke in class IInstruction.Visitor

visitMonitor

public void visitMonitor(MonitorInstruction instruction)

Overrides:

visitMonitor in class IInstruction.Visitor

visitLocalLoad

public void visitLocalLoad(ILoadInstruction instruction)

Overrides:

visitLocalLoad in class IInstruction.Visitor

visitLocalStore

public void visitLocalStore(IStoreInstruction instruction)

Overrides:

visitLocalStore in class IInstruction.Visitor

visitNew

public void visitNew(NewInstruction instruction)

Overrides:

visitNew in class IInstruction.Visitor

visitPop

public void visitPop(PopInstruction instruction)

Overrides:

visitPop in class IInstruction.Visitor

visitPut

public void visitPut(IPutInstruction instruction)

Overrides:

visitPut in class IInstruction.Visitor

visitShift

public void visitShift(IShiftInstruction instruction)

Overrides:

visitShift in class IInstruction.Visitor

visitSwap

public void visitSwap(SwapInstruction instruction)

Overrides:

visitSwap in class IInstruction.Visitor

visitSwitch

public void visitSwitch(SwitchInstruction instruction)

Overrides:

visitSwitch in class IInstruction.Visitor

visitThrow

public void visitThrow(ThrowInstruction instruction)

Overrides:

visitThrow in class IInstruction.Visitor

visitUnaryOp

public void visitUnaryOp(IUnaryOpInstruction instruction)

Overrides:

visitUnaryOp in class IInstruction.Visitor