Class UnionResults


  • public class UnionResults
    extends java.lang.Object
    Compute the union of two sets of bug results, preserving annotations.
    • Constructor Detail

      • UnionResults

        public UnionResults()
    • Method Detail

      • main

        public static void main​(java.lang.String[] argv)
                         throws java.io.IOException
        Throws:
        java.io.IOException
      • iterateArguments

        private static SortedBugCollection iterateArguments​(java.util.List<java.lang.String> arguments,
                                                            int argCount,
                                                            SortedBugCollection results,
                                                            java.util.HashSet<java.lang.String> hashes)
      • readWrappedArguments

        private static java.util.List<java.lang.String> readWrappedArguments​(java.lang.String fileName)
                                                                      throws java.io.IOException
        Throws:
        java.io.IOException