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()); }