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 IInstruction.Visitor
Update the machine state to account for an instruction
-
-
Constructor Summary
Constructors Modifier Constructor Description protected
BasicStackMachineVisitor()
-
Method Summary
-
Methods inherited from class com.ibm.wala.shrikeBT.IInstruction.Visitor
visitCheckCast, visitGoto, visitLoadIndirect, visitReturn, visitStoreIndirect
-
-
-
-
Method Detail
-
visitArrayLength
public void visitArrayLength(ArrayLengthInstruction instruction)
- Overrides:
visitArrayLength
in classIInstruction.Visitor
- See Also:
IInstruction.Visitor.visitArrayLength(ArrayLengthInstruction)
-
visitArrayLoad
public void visitArrayLoad(IArrayLoadInstruction instruction)
- Overrides:
visitArrayLoad
in classIInstruction.Visitor
- See Also:
IInstruction.Visitor.visitArrayLoad(IArrayLoadInstruction)
-
visitArrayStore
public void visitArrayStore(IArrayStoreInstruction instruction)
- Overrides:
visitArrayStore
in classIInstruction.Visitor
- See Also:
IInstruction.Visitor.visitArrayStore(IArrayStoreInstruction)
-
visitBinaryOp
public void visitBinaryOp(IBinaryOpInstruction instruction)
- Overrides:
visitBinaryOp
in classIInstruction.Visitor
- See Also:
IInstruction.Visitor.visitBinaryOp(IBinaryOpInstruction)
-
visitComparison
public void visitComparison(IComparisonInstruction instruction)
- Overrides:
visitComparison
in classIInstruction.Visitor
- See Also:
IInstruction.Visitor.visitComparison(IComparisonInstruction)
-
visitConditionalBranch
public void visitConditionalBranch(IConditionalBranchInstruction instruction)
- Overrides:
visitConditionalBranch
in classIInstruction.Visitor
- See Also:
IInstruction.Visitor.visitConditionalBranch(IConditionalBranchInstruction)
-
visitConstant
public void visitConstant(ConstantInstruction instruction)
- Overrides:
visitConstant
in classIInstruction.Visitor
- See Also:
IInstruction.Visitor.visitConstant(ConstantInstruction)
-
visitConversion
public void visitConversion(IConversionInstruction instruction)
- Overrides:
visitConversion
in classIInstruction.Visitor
- See Also:
IInstruction.Visitor.visitConversion(IConversionInstruction)
-
visitDup
public void visitDup(DupInstruction instruction)
- Overrides:
visitDup
in classIInstruction.Visitor
- See Also:
IInstruction.Visitor.visitDup(DupInstruction)
-
visitGet
public void visitGet(IGetInstruction instruction)
- Overrides:
visitGet
in classIInstruction.Visitor
- See Also:
IInstruction.Visitor.visitGet(IGetInstruction)
-
popN
protected void popN(IInstruction instruction)
-
visitInstanceof
public void visitInstanceof(IInstanceofInstruction instruction)
- Overrides:
visitInstanceof
in classIInstruction.Visitor
- See Also:
IInstruction.Visitor.visitInstanceof(IInstanceofInstruction)
-
visitInvoke
public void visitInvoke(IInvokeInstruction instruction)
- Overrides:
visitInvoke
in classIInstruction.Visitor
- See Also:
IInstruction.Visitor.visitInvoke(IInvokeInstruction)
-
visitMonitor
public void visitMonitor(MonitorInstruction instruction)
- Overrides:
visitMonitor
in classIInstruction.Visitor
- See Also:
IInstruction.Visitor.visitMonitor(MonitorInstruction)
-
visitLocalLoad
public void visitLocalLoad(ILoadInstruction instruction)
- Overrides:
visitLocalLoad
in classIInstruction.Visitor
- See Also:
IInstruction.Visitor.visitLocalLoad(ILoadInstruction)
-
visitLocalStore
public void visitLocalStore(IStoreInstruction instruction)
- Overrides:
visitLocalStore
in classIInstruction.Visitor
- See Also:
IInstruction.Visitor.visitLocalStore(IStoreInstruction)
-
visitNew
public void visitNew(NewInstruction instruction)
- Overrides:
visitNew
in classIInstruction.Visitor
- See Also:
IInstruction.Visitor.visitNew(NewInstruction)
-
visitPop
public void visitPop(PopInstruction instruction)
- Overrides:
visitPop
in classIInstruction.Visitor
- See Also:
IInstruction.Visitor.visitPop(PopInstruction)
-
visitPut
public void visitPut(IPutInstruction instruction)
- Overrides:
visitPut
in classIInstruction.Visitor
- See Also:
IInstruction.Visitor.visitPut(IPutInstruction)
-
visitShift
public void visitShift(IShiftInstruction instruction)
- Overrides:
visitShift
in classIInstruction.Visitor
- See Also:
IInstruction.Visitor.visitShift(IShiftInstruction)
-
visitSwap
public void visitSwap(SwapInstruction instruction)
- Overrides:
visitSwap
in classIInstruction.Visitor
- See Also:
IInstruction.Visitor.visitSwap(SwapInstruction)
-
visitSwitch
public void visitSwitch(SwitchInstruction instruction)
- Overrides:
visitSwitch
in classIInstruction.Visitor
- See Also:
IInstruction.Visitor.visitSwitch(SwitchInstruction)
-
visitThrow
public void visitThrow(ThrowInstruction instruction)
- Overrides:
visitThrow
in classIInstruction.Visitor
- See Also:
IInstruction.Visitor.visitThrow(ThrowInstruction)
-
visitUnaryOp
public void visitUnaryOp(IUnaryOpInstruction instruction)
- Overrides:
visitUnaryOp
in classIInstruction.Visitor
- See Also:
IInstruction.Visitor.visitUnaryOp(IUnaryOpInstruction)
-
-