com.ibm.wala.shrikeBT.analysis
Class Analyzer.TypeVisitor

java.lang.Object
  com.ibm.wala.shrikeBT.Instruction.Visitor
      com.ibm.wala.shrikeBT.analysis.Analyzer.TypeVisitor

Enclosing class:

Analyzer

public abstract class Analyzer.TypeVisitor
extends Instruction.Visitor

Constructor Summary

Analyzer.TypeVisitor()

Method Summary

abstract void	setState(int index, java.util.List<Analyzer.PathElement> path, java.lang.String[] curStack, java.lang.String[] curLocals)
abstract boolean	shouldContinue()

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

visitArrayLength, visitArrayLoad, visitArrayStore, visitBinaryOp, visitCheckCast, visitComparison, visitConditionalBranch, visitConstant, visitConversion, visitDup, visitGet, visitGoto, visitInstanceof, visitInvoke, visitLocalLoad, visitLocalStore, visitMonitor, visitNew, visitPop, visitPut, visitReturn, visitShift, visitSwap, visitSwitch, visitThrow, visitUnaryOp

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Analyzer.TypeVisitor

public Analyzer.TypeVisitor()

Method Detail

setState

public abstract void setState(int index,
                              java.util.List<Analyzer.PathElement> path,
                              java.lang.String[] curStack,
                              java.lang.String[] curLocals)

shouldContinue

public abstract boolean shouldContinue()