protected ReferenceVariable newInstanceOfImpl(ReferenceVariable cls) {
return pag.nodeFactory().caseNewInstance((VarNode) cls);
}
protected void throwExceptionImpl(AbstractObject obj) {
AllocNode objNode =
pag.makeAllocNode(new Pair("AbstractObject", obj.getType()), obj.getType(), null);
pag.addEdge(objNode, pag.nodeFactory().caseThrow());
}