BasicBlock basicBlock = edge.getDest(); if (basicBlock.isExceptionHandler() && fact.isValid()) {     CodeExceptionGen exceptionGen = basicBlock.getExceptionGen(); TypedFrame tmpFact = createFact(); tmpFact.copyFrom(fact); tmpFact.clearStack(); tmpFact.pushValue(exceptionGen.getCatchType()); fact = tmpFact; }
	public void meetInto(TypedFrame fact, Edge edge, TypedFrame result) throws DataflowAnalysisException {		result.mergeWith(fact);	}