Class PNGWriter


  • public class PNGWriter
    extends java.lang.Object
    Creates an .PNG file for a test case.
    Version:
    1.7
    • Constructor Detail

      • PNGWriter

        public PNGWriter()
    • Method Detail

      • write

        public void write​(java.io.File outputDirectory,
                          TestCaseEdit testCase,
                          PrecisionModel precisionModel)
                   throws java.io.IOException
        Throws:
        java.io.IOException
      • createPNGFile

        private void createPNGFile​(java.lang.String filenameNoPath,
                                   Geometry a,
                                   Geometry b,
                                   Geometry result,
                                   int imageWidth,
                                   int imageHeight)
                            throws java.io.FileNotFoundException,
                                   java.io.IOException
        Throws:
        java.io.FileNotFoundException
        java.io.IOException