This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 460

Summary:	out of memmory exception when exporting huge MSC in raster format
Product:	UPPAAL	Reporter:	Marius Mikučionis <marius>
Component:	GUI	Assignee:	Marius Mikučionis <marius>
Status:	ASSIGNED ---
Severity:	minor
Priority:	P2
Version:	unspecified
Hardware:	PC
OS:	All
Architecture:

Description Marius Mikučionis 2009-02-12 19:21:03 CET

If one tries to export huge MSC in raster format (png, jpg, gif), Uppaal fails silently and the export dialog is stuck without results.
The exception can be seen only at the terminal:

Exception occurred during event dispatching:
java.lang.OutOfMemoryError: Java heap space
	at java.awt.image.DataBufferInt.<init>(DataBufferInt.java:41)
	at java.awt.image.Raster.createPackedRaster(Raster.java:458)
	at java.awt.image.DirectColorModel.createCompatibleWritableRaster(DirectColorModel.java:1015)
	at java.awt.image.BufferedImage.<init>(BufferedImage.java:312)
	at org.freehep.graphicsio.ImageGraphics2D.createBufferedImage(ImageGraphics2D.java:268)
	at org.freehep.graphicsio.ImageGraphics2D.init(ImageGraphics2D.java:194)
	at org.freehep.graphicsio.ImageGraphics2D.<init>(ImageGraphics2D.java:180)
	at org.freehep.graphicsio.exportchooser.ImageExportFileType.getGraphics(ImageExportFileType.java:246)

<further Uppaal part is cut out>

The bug is not critical, as other functionality does not seem to be affected, but it would be nice that Uppaal at least acknowledged the problem and suggested a likely solution to increase heap for JVM.