edu.mit.csail.sdg.alloy4
Class OurPNGWriter

java.lang.Object
  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