if (TypeAnalysis.ACCURATE_EXCEPTIONS && edge.isExceptionEdge()) {    ExceptionSet exceptionSet = typeDataflow.getAnalysis().getEdgeExceptionSet(edge); if (!exceptionSet.containsExplicitExceptions()) { return; }
if (ClassContext.PRUNE_INFEASIBLE_EXCEPTION_EDGES && !edge.isFlagSet(EdgeTypes.EXPLICIT_EXCEPTIONS_FLAG)) { return;
	public void meetInto(UnconditionalDerefSet fact, Edge edge, UnconditionalDerefSet result) throws DataflowAnalysisException {		// Ignore implicit exceptions		if (TypeAnalysis.ACCURATE_EXCEPTIONS && edge.isExceptionEdge()) {			// Ignore "implicit" exceptions.  These are any runtime			// exceptions not explicitly declared by a called method,			// or thrown by an ATHROW instruction.			ExceptionSet exceptionSet = typeDataflow.getAnalysis().getEdgeExceptionSet(edge); 			if (!exceptionSet.containsExplicitExceptions()) {				return;			}		}				if (result.isTop() || fact.isBottom()) {			copy(fact, result);		} else if (result.isBottom() || fact.isTop()) {			// Nothing to do		} else {			// Meet is intersection			result.and(fact);		}	}