com.ibm.wala.analysis.exceptionanalysis

Class ExceptionTransferFunctionProvider

java.lang.Object

com.ibm.wala.analysis.exceptionanalysis.ExceptionTransferFunctionProvider

All Implemented Interfaces:

com.ibm.wala.dataflow.graph.ITransferFunctionProvider<CGNode,com.ibm.wala.fixpoint.BitVectorVariable>

public class ExceptionTransferFunctionProvider
extends java.lang.Object
implements com.ibm.wala.dataflow.graph.ITransferFunctionProvider<CGNode,com.ibm.wala.fixpoint.BitVectorVariable>

Constructor Summary

Constructors

Constructor and Description
ExceptionTransferFunctionProvider(CGIntraproceduralExceptionAnalysis intraResult, CallGraph cg, Exception2BitvectorTransformer transformer)

Method Summary

Modifier and Type	Method and Description
com.ibm.wala.fixpoint.UnaryOperator<com.ibm.wala.fixpoint.BitVectorVariable>	getEdgeTransferFunction(CGNode dst, CGNode src)
com.ibm.wala.dataflow.graph.AbstractMeetOperator<com.ibm.wala.fixpoint.BitVectorVariable>	getMeetOperator()
com.ibm.wala.fixpoint.UnaryOperator<com.ibm.wala.fixpoint.BitVectorVariable>	getNodeTransferFunction(CGNode node)
boolean	hasEdgeTransferFunctions()
boolean	hasNodeTransferFunctions()

Methods inherited from class java.lang.Object

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

Constructor Detail

ExceptionTransferFunctionProvider

public ExceptionTransferFunctionProvider(CGIntraproceduralExceptionAnalysis intraResult,
                                         CallGraph cg,
                                         Exception2BitvectorTransformer transformer)

Method Detail

hasNodeTransferFunctions

public boolean hasNodeTransferFunctions()

Specified by:

hasNodeTransferFunctions in interface com.ibm.wala.dataflow.graph.ITransferFunctionProvider<CGNode,com.ibm.wala.fixpoint.BitVectorVariable>

hasEdgeTransferFunctions

public boolean hasEdgeTransferFunctions()

Specified by:

hasEdgeTransferFunctions in interface com.ibm.wala.dataflow.graph.ITransferFunctionProvider<CGNode,com.ibm.wala.fixpoint.BitVectorVariable>

getMeetOperator

public com.ibm.wala.dataflow.graph.AbstractMeetOperator<com.ibm.wala.fixpoint.BitVectorVariable> getMeetOperator()

Specified by:

getMeetOperator in interface com.ibm.wala.dataflow.graph.ITransferFunctionProvider<CGNode,com.ibm.wala.fixpoint.BitVectorVariable>

getNodeTransferFunction

public com.ibm.wala.fixpoint.UnaryOperator<com.ibm.wala.fixpoint.BitVectorVariable> getNodeTransferFunction(CGNode node)

Specified by:

getNodeTransferFunction in interface com.ibm.wala.dataflow.graph.ITransferFunctionProvider<CGNode,com.ibm.wala.fixpoint.BitVectorVariable>

getEdgeTransferFunction

public com.ibm.wala.fixpoint.UnaryOperator<com.ibm.wala.fixpoint.BitVectorVariable> getEdgeTransferFunction(CGNode dst,
                                                                                                            CGNode src)

Specified by:

getEdgeTransferFunction in interface com.ibm.wala.dataflow.graph.ITransferFunctionProvider<CGNode,com.ibm.wala.fixpoint.BitVectorVariable>