Class ResultFormatFactory


  • public class ResultFormatFactory
    extends Object
    • Method Detail

      • getInstance

        public static ResultFormat getInstance​(ResultFormatType type,
                                               String file)
        Get the instance of ResultFormat of given type which writes the result to file
        Parameters:
        type - result format type
        file - target file
        Returns:
        result format
      • getInstance

        public static ResultFormat getInstance​(ResultFormatType type,
                                               PrintStream out)
        Get the instance of ResultFormat of given type which write the result to out. It is a user responsibility to initialize and finish the out as appropriate.
        Parameters:
        type - result format type
        out - target out
        Returns:
        result format.