Package com.ibm.wala.shrikeBT.analysis
Class Analyzer.TypeVisitor
- java.lang.Object
-
- com.ibm.wala.shrikeBT.IInstruction.Visitor
-
- com.ibm.wala.shrikeBT.analysis.Analyzer.TypeVisitor
-
- Enclosing class:
- Analyzer
public abstract class Analyzer.TypeVisitor extends IInstruction.Visitor
-
-
Constructor Summary
Constructors Constructor Description TypeVisitor()
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description abstract void
setState(int index, List<Analyzer.PathElement> path, String[] curStack, String[] curLocals)
abstract boolean
shouldContinue()
-
Methods inherited from class com.ibm.wala.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
-
-
-
-
Method Detail
-
setState
public abstract void setState(int index, List<Analyzer.PathElement> path, String[] curStack, String[] curLocals)
-
shouldContinue
public abstract boolean shouldContinue()
-
-