cachedExceptionSet = new CachedExceptionSet(copyOfResult, exceptionSet); exceptionSetMap.put(basicBlock, cachedExceptionSet);
cachedExceptionSet = new CachedExceptionSet(copyOfResult, exceptionSet); exceptionSetMap.put(basicBlock, cachedExceptionSet); }  return cachedExceptionSet.getExceptionSet();
	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);	}