Class ResultFormatFactory


  • public class ResultFormatFactory
    extends java.lang.Object
    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      private ResultFormatFactory()  
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static ResultFormat getInstance​(ResultFormatType type, java.io.PrintStream out)
      Get the instance of ResultFormat of given type which write the result to out.
      static ResultFormat getInstance​(ResultFormatType type, java.lang.String file)
      Get the instance of ResultFormat of given type which writes the result to file
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • ResultFormatFactory

        private ResultFormatFactory()
    • Method Detail

      • getInstance

        public static ResultFormat getInstance​(ResultFormatType type,
                                               java.lang.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,
                                               java.io.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.