com.ibm.wala.cast.ir.ssa.analysis

Interface LiveAnalysis.Result

Enclosing class:

LiveAnalysis

public static interface LiveAnalysis.Result

Method Summary

Modifier and Type	Method and Description
com.ibm.wala.util.intset.BitVector	getLiveBefore(int instr)
boolean	isLiveEntry(com.ibm.wala.ssa.ISSABasicBlock bb, int valueNumber)
boolean	isLiveExit(com.ibm.wala.ssa.ISSABasicBlock bb, int valueNumber)

Method Detail

isLiveEntry

boolean isLiveEntry(com.ibm.wala.ssa.ISSABasicBlock bb,
                    int valueNumber)

isLiveExit

boolean isLiveExit(com.ibm.wala.ssa.ISSABasicBlock bb,
                   int valueNumber)

getLiveBefore

com.ibm.wala.util.intset.BitVector getLiveBefore(int instr)