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