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