private void computeExceptionTypes(BasicBlock basicBlock, TypeFrame result)
private ExceptionSet computeExceptionTypes(BasicBlock basicBlock, TypeFrame result)
	private void computeExceptionTypes(BasicBlock basicBlock, TypeFrame result)		throws ClassNotFoundException, DataflowAnalysisException {		CachedExceptionSet cachedExceptionSet = getCachedExceptionSet(basicBlock);		if (cachedExceptionSet.isUpToDate(result))			return;		ExceptionSet exceptionSet = enumerateExceptionTypes(basicBlock);		TypeFrame copyOfResult = createFact();		copy(result, copyOfResult);		cachedExceptionSet = new CachedExceptionSet(copyOfResult, exceptionSet);		exceptionSetMap.put(basicBlock, cachedExceptionSet);	}