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

java.lang.Object
  com.ibm.wala.shrikeBT.Instruction.Visitor
      com.ibm.wala.analysis.stackMachine.AbstractIntStackMachine.BasicStackFlowProvider.BasicStackMachineVisitor

Enclosing class:

AbstractIntStackMachine.BasicStackFlowProvider

protected class AbstractIntStackMachine.BasicStackFlowProvider.BasicStackMachineVisitor
extends Instruction.Visitor

Update the machine state to account for an instruction

Constructor Summary

protected

AbstractIntStackMachine.BasicStackFlowProvider.BasicStackMachineVisitor()

Method Summary

protected void	popN(Instruction instruction)
void	visitArrayLength(ArrayLengthInstruction instruction)
void	visitArrayLoad(ArrayLoadInstruction instruction)
void	visitArrayStore(ArrayStoreInstruction instruction)
void	visitBinaryOp(BinaryOpInstruction instruction)
void	visitComparison(ComparisonInstruction instruction)
void	visitConditionalBranch(ConditionalBranchInstruction instruction)
void	visitConstant(ConstantInstruction instruction)
void	visitConversion(ConversionInstruction instruction)
void	visitDup(DupInstruction instruction)
void	visitGet(GetInstruction instruction)
void	visitInstanceof(InstanceofInstruction instruction)
void	visitInvoke(InvokeInstruction instruction)
void	visitLocalLoad(LoadInstruction instruction)
void	visitLocalStore(StoreInstruction instruction)
void	visitMonitor(MonitorInstruction instruction)
void	visitNew(NewInstruction instruction)
void	visitPop(PopInstruction instruction)
void	visitPut(PutInstruction instruction)
void	visitShift(ShiftInstruction instruction)
void	visitSwap(SwapInstruction instruction)
void	visitSwitch(SwitchInstruction instruction)
void	visitThrow(ThrowInstruction instruction)
void	visitUnaryOp(UnaryOpInstruction instruction)

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

visitCheckCast, visitGoto, visitReturn

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(ArrayLengthInstruction instruction)

Overrides:

visitArrayLength in class Instruction.Visitor

See Also:

Instruction.Visitor.visitArrayLength(ArrayLengthInstruction)

visitArrayLoad

public void visitArrayLoad(ArrayLoadInstruction instruction)

Overrides:

visitArrayLoad in class Instruction.Visitor

See Also:

Instruction.Visitor.visitArrayLoad(ArrayLoadInstruction)

visitArrayStore

public void visitArrayStore(ArrayStoreInstruction instruction)

Overrides:

visitArrayStore in class Instruction.Visitor

See Also:

Instruction.Visitor.visitArrayStore(ArrayStoreInstruction)

visitBinaryOp

public void visitBinaryOp(BinaryOpInstruction instruction)

Overrides:

visitBinaryOp in class Instruction.Visitor

See Also:

Instruction.Visitor.visitBinaryOp(BinaryOpInstruction)

visitComparison

public void visitComparison(ComparisonInstruction instruction)

Overrides:

visitComparison in class Instruction.Visitor

See Also:

Instruction.Visitor.visitComparison(ComparisonInstruction)

visitConditionalBranch

public void visitConditionalBranch(ConditionalBranchInstruction instruction)

Overrides:

visitConditionalBranch in class Instruction.Visitor

See Also:

Instruction.Visitor.visitConditionalBranch(ConditionalBranchInstruction)

visitConstant

public void visitConstant(ConstantInstruction instruction)

Overrides:

visitConstant in class Instruction.Visitor

See Also:

Instruction.Visitor.visitConstant(ConstantInstruction)

visitConversion

public void visitConversion(ConversionInstruction instruction)

Overrides:

visitConversion in class Instruction.Visitor

See Also:

Instruction.Visitor.visitConversion(ConversionInstruction)

visitDup

public void visitDup(DupInstruction instruction)

Overrides:

visitDup in class Instruction.Visitor

See Also:

Instruction.Visitor.visitDup(DupInstruction)

visitGet

public void visitGet(GetInstruction instruction)

Overrides:

visitGet in class Instruction.Visitor

See Also:

Instruction.Visitor.visitGet(GetInstruction)

popN

protected void popN(Instruction instruction)

visitInstanceof

public void visitInstanceof(InstanceofInstruction instruction)

Overrides:

visitInstanceof in class Instruction.Visitor

See Also:

Instruction.Visitor.visitInstanceof(InstanceofInstruction)

visitInvoke

public void visitInvoke(InvokeInstruction instruction)

Overrides:

visitInvoke in class Instruction.Visitor

See Also:

Instruction.Visitor.visitInvoke(InvokeInstruction)

visitMonitor

public void visitMonitor(MonitorInstruction instruction)

Overrides:

visitMonitor in class Instruction.Visitor

See Also:

Instruction.Visitor.visitMonitor(MonitorInstruction)

visitLocalLoad

public void visitLocalLoad(LoadInstruction instruction)

Overrides:

visitLocalLoad in class Instruction.Visitor

See Also:

Instruction.Visitor.visitLocalLoad(LoadInstruction)

visitLocalStore

public void visitLocalStore(StoreInstruction instruction)

Overrides:

visitLocalStore in class Instruction.Visitor

See Also:

Instruction.Visitor.visitLocalStore(StoreInstruction)

visitNew

public void visitNew(NewInstruction instruction)

Overrides:

visitNew in class Instruction.Visitor

See Also:

Instruction.Visitor.visitNew(NewInstruction)

visitPop

public void visitPop(PopInstruction instruction)

Overrides:

visitPop in class Instruction.Visitor

See Also:

Instruction.Visitor.visitPop(PopInstruction)

visitPut

public void visitPut(PutInstruction instruction)

Overrides:

visitPut in class Instruction.Visitor

See Also:

Instruction.Visitor.visitPut(PutInstruction)

visitShift

public void visitShift(ShiftInstruction instruction)

Overrides:

visitShift in class Instruction.Visitor

See Also:

Instruction.Visitor.visitShift(ShiftInstruction)

visitSwap

public void visitSwap(SwapInstruction instruction)

Overrides:

visitSwap in class Instruction.Visitor

See Also:

Instruction.Visitor.visitSwap(SwapInstruction)

visitSwitch

public void visitSwitch(SwitchInstruction instruction)

Overrides:

visitSwitch in class Instruction.Visitor

See Also:

Instruction.Visitor.visitSwitch(SwitchInstruction)

visitThrow

public void visitThrow(ThrowInstruction instruction)

Overrides:

visitThrow in class Instruction.Visitor

See Also:

Instruction.Visitor.visitThrow(ThrowInstruction)

visitUnaryOp

public void visitUnaryOp(UnaryOpInstruction instruction)

Overrides:

visitUnaryOp in class Instruction.Visitor

See Also:

Instruction.Visitor.visitUnaryOp(UnaryOpInstruction)