Class FinallyDuplicatesInfoFactory.FinallyDuplicatesInfo

  • Enclosing class:
    FinallyDuplicatesInfoFactory

    public static class FinallyDuplicatesInfoFactory.FinallyDuplicatesInfo
    extends java.lang.Object
    • Constructor Detail

      • FinallyDuplicatesInfo

        public FinallyDuplicatesInfo​(int[] positions,
                                     java.util.List<java.util.SortedMap<java.lang.Integer,​java.lang.Integer>> duplicateBlocks)
      • FinallyDuplicatesInfo

        public FinallyDuplicatesInfo()
    • Method Detail

      • getDuplicates

        public java.util.BitSet getDuplicates​(int pos)
      • getDuplicates

        public java.util.List<Edge> getDuplicates​(CFG cfg,
                                                  Edge edge)
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object