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

Bug 460 - out of memmory exception when exporting huge MSC in raster format
Summary: out of memmory exception when exporting huge MSC in raster format
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: unspecified
Hardware: PC All
: P2 minor
Assignee: Marius Mikučionis
URL:
Depends on:
Blocks:
 
Reported: 2009-02-12 19:21 CET by Marius Mikučionis
Modified: 2009-03-10 09:08 CET (History)
0 users

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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.