Bug 460

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

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.