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
-
Method Summary
Modifier and TypeMethodDescriptionprotected 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
-
Constructor Details
-
BasicStackMachineVisitor
protected BasicStackMachineVisitor()
-
-
Method Details
-
visitArrayLength
- Overrides:
visitArrayLength
in classIInstruction.Visitor
-
visitArrayLoad
- Overrides:
visitArrayLoad
in classIInstruction.Visitor
-
visitArrayStore
- Overrides:
visitArrayStore
in classIInstruction.Visitor
-
visitBinaryOp
- Overrides:
visitBinaryOp
in classIInstruction.Visitor
-
visitComparison
- Overrides:
visitComparison
in classIInstruction.Visitor
-
visitConditionalBranch
- Overrides:
visitConditionalBranch
in classIInstruction.Visitor
-
visitConstant
- Overrides:
visitConstant
in classIInstruction.Visitor
-
visitConversion
- Overrides:
visitConversion
in classIInstruction.Visitor
-
visitDup
- Overrides:
visitDup
in classIInstruction.Visitor
-
visitGet
- Overrides:
visitGet
in classIInstruction.Visitor
-
popN
-
visitInstanceof
- Overrides:
visitInstanceof
in classIInstruction.Visitor
-
visitInvoke
- Overrides:
visitInvoke
in classIInstruction.Visitor
-
visitMonitor
- Overrides:
visitMonitor
in classIInstruction.Visitor
-
visitLocalLoad
- Overrides:
visitLocalLoad
in classIInstruction.Visitor
-
visitLocalStore
- Overrides:
visitLocalStore
in classIInstruction.Visitor
-
visitNew
- Overrides:
visitNew
in classIInstruction.Visitor
-
visitPop
- Overrides:
visitPop
in classIInstruction.Visitor
-
visitPut
- Overrides:
visitPut
in classIInstruction.Visitor
-
visitShift
- Overrides:
visitShift
in classIInstruction.Visitor
-
visitSwap
- Overrides:
visitSwap
in classIInstruction.Visitor
-
visitSwitch
- Overrides:
visitSwitch
in classIInstruction.Visitor
-
visitThrow
- Overrides:
visitThrow
in classIInstruction.Visitor
-
visitUnaryOp
- Overrides:
visitUnaryOp
in classIInstruction.Visitor
-