edu.mit.csail.sdg.alloy4
Class OurPNGWriter

java.lang.Object
  extended by edu.mit.csail.sdg.alloy4.OurPNGWriter

public final class OurPNGWriter
extends java.lang.Object

Graphical convenience methods for producing PNG files.


Method Summary
static void writePNG(java.awt.image.BufferedImage image, java.lang.String filename, double dpiX, double dpiY)
          Writes the image as a PNG file with the given horizontal and vertical dots-per-inch.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

writePNG

public static void writePNG(java.awt.image.BufferedImage image,
                            java.lang.String filename,
                            double dpiX,
                            double dpiY)
                     throws java.io.IOException
Writes the image as a PNG file with the given horizontal and vertical dots-per-inch.

Throws:
java.io.IOException