public class PNGWriter
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private javax.swing.JFrame |
frame |
private GeometryEditPanel |
geometryEditPanel |
private static int |
IMAGE_HEIGHT |
private static int |
IMAGE_WIDTH |
private java.io.File |
outputDirectory |
private static int |
STACK_TRACE_DEPTH |
Constructor and Description |
---|
PNGWriter() |
Modifier and Type | Method and Description |
---|---|
private void |
createPNGFile(java.lang.String filenameNoPath,
Geometry a,
Geometry b,
Geometry result,
int imageWidth,
int imageHeight) |
void |
write(java.io.File outputDirectory,
TestCaseEdit testCase,
PrecisionModel precisionModel) |
private static final int IMAGE_WIDTH
private static final int IMAGE_HEIGHT
private static final int STACK_TRACE_DEPTH
private GeometryEditPanel geometryEditPanel
private javax.swing.JFrame frame
private java.io.File outputDirectory
public void write(java.io.File outputDirectory, TestCaseEdit testCase, PrecisionModel precisionModel) throws java.io.IOException
java.io.IOException