TheCloud/Digital
1
0
Fork 0
mirror of https://github.com/hneemann/Digital.git synced 2025-09-26 22:41:59 -04:00
Code Issues Packages Projects Releases Wiki Activity

removed unused var

Browse Source
This commit is contained in:
hneemann 2017-05-17 22:27:35 +02:00
parent 977f3d889d
commit 5fd30c8d13
1 changed files with 5 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/main/java/de/neemann/digital/draw/gif/GifExporter.java
View File

@ -25,9 +25,8 @@ public class GifExporter {
private final Model model; private final Model model;
private final Circuit circuit; private final Circuit circuit;
private final int frames; private final int frames;
private final int delayms; private final int delayMs;
private final GraphicMinMax minMax; private final GraphicMinMax minMax;
private GifSequenceWriter writer;
/** /**
* Creates a new instance * Creates a new instance
@ -35,13 +34,13 @@ public class GifExporter {
* @param model the mode to use * @param model the mode to use
* @param circuit the circuit to export * @param circuit the circuit to export
* @param frames then number of frames to write to the file * @param frames then number of frames to write to the file
* @param delayms the delay between frames im milliseconds * @param delayMs the delay between frames im milliseconds
*/ */
public GifExporter(Model model, Circuit circuit, int frames, int delayms) { public GifExporter(Model model, Circuit circuit, int frames, int delayMs) {
this.model = model; this.model = model;
this.circuit = circuit; this.circuit = circuit;
this.frames = frames; this.frames = frames;
this.delayms = delayms; this.delayMs = delayMs;
minMax = new GraphicMinMax(); minMax = new GraphicMinMax();
circuit.drawTo(minMax); circuit.drawTo(minMax);
} }
@ -55,7 +54,7 @@ public class GifExporter {
*/ */
public void export(File file) throws IOException, NodeException { public void export(File file) throws IOException, NodeException {
try (ImageOutputStream output = new FileImageOutputStream(file)) { try (ImageOutputStream output = new FileImageOutputStream(file)) {
try (GifSequenceWriter writer = new GifSequenceWriter(output, BufferedImage.TYPE_INT_ARGB, delayms, true)) { try (GifSequenceWriter writer = new GifSequenceWriter(output, BufferedImage.TYPE_INT_ARGB, delayMs, true)) {
for (int i = 0; i < frames; i++) { for (int i = 0; i < frames; i++) {
writer.writeToSequence(createBufferedImage()); writer.writeToSequence(createBufferedImage());