Package com.ibm.wala.shrike.shrikeBT.analysis

Class Analyzer.TypeVisitor

java.lang.Object

com.ibm.wala.shrike.shrikeBT.IInstruction.Visitor

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

Enclosing class:

Analyzer

public abstract static class Analyzer.TypeVisitor
extends IInstruction.Visitor

Constructor Summary

Constructors

Constructor	Description
TypeVisitor()

Method Summary

Modifier and Type	Method	Description
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.shrike.shrikeBT.IInstruction.Visitor

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

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeVisitor

public 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()