private CachedExceptionSet computeBlockExceptionSet ( BasicBlock basicBlock , TypeFrame result ) throws DataflowAnalysisException { ExceptionSet exceptionSet = computeThrownExceptionTypes ( basicBlock ) ; TypeFrame copyOfResult = createFact ( ) ; copy ( result , copyOfResult ) ; CachedExceptionSet cachedExceptionSet = new CachedExceptionSet ( copyOfResult , exceptionSet ) ; thrownExceptionSetMap . put ( basicBlock , cachedExceptionSet ) ; return cachedExceptionSet ; }
Compute the set of exceptions that can be thrown from the given basic block . This should only be called if the existing cached exception set is out of date .