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	AbstractIntStackMachine.BasicStackFlowProvider.BasicStackMachineVisitor()

Method Summary

Methods

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

AbstractIntStackMachine.BasicStackFlowProvider.BasicStackMachineVisitor

protected AbstractIntStackMachine.BasicStackFlowProvider.BasicStackMachineVisitor()

Method Detail

visitArrayLength

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

Overrides:

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

See Also:

IInstruction.Visitor.visitArrayLength(ArrayLengthInstruction)

visitArrayLoad

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

Overrides:

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

See Also:

IInstruction.Visitor.visitArrayLoad(IArrayLoadInstruction)

visitArrayStore

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

Overrides:

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

See Also:

IInstruction.Visitor.visitArrayStore(IArrayStoreInstruction)

visitBinaryOp

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

Overrides:

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

See Also:

IInstruction.Visitor.visitBinaryOp(IBinaryOpInstruction)

visitComparison

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

Overrides:

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

See Also:

IInstruction.Visitor.visitComparison(IComparisonInstruction)

visitConditionalBranch

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

Overrides:

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

See Also:

IInstruction.Visitor.visitConditionalBranch(IConditionalBranchInstruction)

visitConstant

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

Overrides:

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

See Also:

IInstruction.Visitor.visitConstant(ConstantInstruction)

visitConversion

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

Overrides:

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

See Also:

IInstruction.Visitor.visitConversion(IConversionInstruction)

visitDup

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

Overrides:

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

See Also:

IInstruction.Visitor.visitDup(DupInstruction)

visitGet

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

Overrides:

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

See Also:

IInstruction.Visitor.visitGet(IGetInstruction)

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

See Also:

IInstruction.Visitor.visitInstanceof(IInstanceofInstruction)

visitInvoke

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

Overrides:

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

See Also:

IInstruction.Visitor.visitInvoke(IInvokeInstruction)

visitMonitor

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

Overrides:

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

See Also:

IInstruction.Visitor.visitMonitor(MonitorInstruction)

visitLocalLoad

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

Overrides:

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

See Also:

IInstruction.Visitor.visitLocalLoad(ILoadInstruction)

visitLocalStore

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

Overrides:

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

See Also:

IInstruction.Visitor.visitLocalStore(IStoreInstruction)

visitNew

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

Overrides:

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

See Also:

IInstruction.Visitor.visitNew(NewInstruction)

visitPop

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

Overrides:

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

See Also:

IInstruction.Visitor.visitPop(PopInstruction)

visitPut

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

Overrides:

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

See Also:

IInstruction.Visitor.visitPut(IPutInstruction)

visitShift

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

Overrides:

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

See Also:

IInstruction.Visitor.visitShift(IShiftInstruction)

visitSwap

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

Overrides:

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

See Also:

IInstruction.Visitor.visitSwap(SwapInstruction)

visitSwitch

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

Overrides:

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

See Also:

IInstruction.Visitor.visitSwitch(SwitchInstruction)

visitThrow

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

Overrides:

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

See Also:

IInstruction.Visitor.visitThrow(ThrowInstruction)

visitUnaryOp

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

Overrides:

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

See Also:

IInstruction.Visitor.visitUnaryOp(IUnaryOpInstruction)