From 9255d29ac8e27bbf2af1b08631cb61d29866a1d4 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 13 Nov 2015 00:13:56 +0000 Subject: [PATCH] Fix some unclosed logs when exporting. [from Steffen Marcker] git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10873 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/ModelExplicit.java | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/prism/src/explicit/ModelExplicit.java b/prism/src/explicit/ModelExplicit.java index 8d6698a7..02c90760 100644 --- a/prism/src/explicit/ModelExplicit.java +++ b/prism/src/explicit/ModelExplicit.java @@ -327,13 +327,15 @@ public abstract class ModelExplicit implements Model @Override public void exportToPrismExplicitTra(String filename) throws PrismException { - exportToPrismExplicitTra(PrismFileLog.create(filename)); + try (PrismFileLog log = PrismFileLog.create(filename)) { + exportToPrismExplicitTra(log); + } } @Override public void exportToPrismExplicitTra(File file) throws PrismException { - exportToPrismExplicitTra(PrismFileLog.create(file.getPath())); + exportToPrismExplicitTra(file.getPath()); } @Override @@ -342,13 +344,15 @@ public abstract class ModelExplicit implements Model @Override public void exportToDotFile(String filename) throws PrismException { - exportToDotFile(PrismFileLog.create(filename), null); + exportToDotFile(filename, null); } @Override public void exportToDotFile(String filename, BitSet mark) throws PrismException { - exportToDotFile(PrismFileLog.create(filename), mark); + try (PrismFileLog log = PrismFileLog.create(filename)) { + exportToDotFile(log, mark); + } } @Override