Class NonImplicitExceptionDominatorsAnalysis

  • All Implemented Interfaces:
    DataflowAnalysis<java.util.BitSet>

    public class NonImplicitExceptionDominatorsAnalysis
    extends DominatorsAnalysis
    DominatorsAnalysis variant in which implicit exception edges are ignored. Implicit exception edges represent the control flow due to the emission of unchecked exceptions, so the analysis only considers control flow resulting from normal control structures and checked exceptions.
    • Constructor Detail

      • NonImplicitExceptionDominatorsAnalysis

        public NonImplicitExceptionDominatorsAnalysis​(CFG cfg,
                                                      DepthFirstSearch dfs)
        Constructor.
        Parameters:
        cfg - the CFG to compute dominator relationships for
        dfs - the DepthFirstSearch on the CFG