Class ExceptionTransferFunctionProvider
java.lang.Object
com.ibm.wala.analysis.exceptionanalysis.ExceptionTransferFunctionProvider
- All Implemented Interfaces:
ITransferFunctionProvider<CGNode,
BitVectorVariable>
public class ExceptionTransferFunctionProvider
extends Object
implements ITransferFunctionProvider<CGNode,BitVectorVariable>
-
Constructor Summary
ConstructorDescriptionExceptionTransferFunctionProvider
(CGIntraproceduralExceptionAnalysis intraResult, CallGraph cg, Exception2BitvectorTransformer transformer) -
Method Summary
Modifier and TypeMethodDescriptiongetEdgeTransferFunction
(CGNode dst, CGNode src) TODO: perhaps this should go with a Lattice object instead.boolean
boolean
-
Constructor Details
-
ExceptionTransferFunctionProvider
public ExceptionTransferFunctionProvider(CGIntraproceduralExceptionAnalysis intraResult, CallGraph cg, Exception2BitvectorTransformer transformer)
-
-
Method Details
-
hasNodeTransferFunctions
public boolean hasNodeTransferFunctions()- Specified by:
hasNodeTransferFunctions
in interfaceITransferFunctionProvider<CGNode,
BitVectorVariable> - Returns:
- true if this provider provides node transfer functions
-
hasEdgeTransferFunctions
public boolean hasEdgeTransferFunctions()- Specified by:
hasEdgeTransferFunctions
in interfaceITransferFunctionProvider<CGNode,
BitVectorVariable> - Returns:
- true if this provider provides edge transfer functions
-
getMeetOperator
Description copied from interface:ITransferFunctionProvider
TODO: perhaps this should go with a Lattice object instead. TODO: provide an API to allow composition of the meet operator with the flow operator for a given block, as an optimization?- Specified by:
getMeetOperator
in interfaceITransferFunctionProvider<CGNode,
BitVectorVariable>
-
getNodeTransferFunction
- Specified by:
getNodeTransferFunction
in interfaceITransferFunctionProvider<CGNode,
BitVectorVariable> - Returns:
- the transfer function from IN_node -> OUT_node
-
getEdgeTransferFunction
- Specified by:
getEdgeTransferFunction
in interfaceITransferFunctionProvider<CGNode,
BitVectorVariable> - Returns:
- the transfer function from OUT_src -> EDGE_<src,dst>
-