Package qilin.core.builder

Class ExceptionHandler

java.lang.Object

qilin.core.builder.ExceptionHandler

public class ExceptionHandler
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
protected PAG	pag
protected PTA	pta
protected final Map<Node,Collection<ExceptionThrowSite>>	throwNodeToSites

Constructor Summary

Constructors

Constructor	Description
ExceptionHandler(PTA pta)

Method Summary

Modifier and Type	Method	Description
boolean	addThrowSite(Node throwNode, ExceptionThrowSite ets)
void	dispatch(AllocNode throwObj, ExceptionThrowSite site)
void	exceptionDispatch(PointsToSetInternal p2set, ExceptionThrowSite site)
Collection<ExceptionThrowSite>	throwSitesLookUp(VarNode throwNode)

Methods inherited from class java.lang.Object

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

Field Details

throwNodeToSites

protected final Map<Node,Collection<ExceptionThrowSite>> throwNodeToSites

pta

protected PTA pta

pag

protected PAG pag

Constructor Details

ExceptionHandler

public ExceptionHandler(PTA pta)

Method Details

throwSitesLookUp

public Collection<ExceptionThrowSite> throwSitesLookUp(VarNode throwNode)

addThrowSite

public boolean addThrowSite(Node throwNode,
 ExceptionThrowSite ets)

exceptionDispatch

public void exceptionDispatch(PointsToSetInternal p2set,
 ExceptionThrowSite site)

dispatch

public void dispatch(AllocNode throwObj,
 ExceptionThrowSite site)