From d21851ca8efb6037f768c25b9db7e4ba6aa18970 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 31 Jan 2012 14:45:06 +0000 Subject: [PATCH] Add clearBuiltModel to Prism API. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4529 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/Prism.java | 16 +++++++++++++--- 1 file changed, 13 insertions(+), 3 deletions(-) diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java index 7d70cfdd..77fbf33d 100644 --- a/prism/src/prism/Prism.java +++ b/prism/src/prism/Prism.java @@ -1317,7 +1317,7 @@ public class Prism implements PrismSettingsListener // Store PRISM model currentModulesFile = modulesFile; // Reset dependent info - currentModelType = currentModulesFile.getModelType(); + currentModelType = currentModulesFile == null ? null : currentModulesFile.getModelType(); currentModel = null; } @@ -1350,7 +1350,7 @@ public class Prism implements PrismSettingsListener currentModulesFile = modulesFile; currentModel = model; // Reset dependent info - currentModelType = currentModulesFile.getModelType(); + currentModelType = currentModulesFile == null ? null : currentModulesFile.getModelType(); } /** @@ -1365,7 +1365,7 @@ public class Prism implements PrismSettingsListener currentModulesFile = null; currentModel = model; // Reset dependent info - currentModelType = currentModel.getModelType(); + currentModelType = currentModel == null ? null : currentModel.getModelType(); } /** @@ -2334,6 +2334,16 @@ public class Prism implements PrismSettingsListener tmpLog.close(); } + /** + * Clear the built model (free/deallocate memory etc) + */ + public void clearBuiltModel() + { + if (currentModel != null) + currentModel.clear(); + loadBuiltModel(null); + } + /** * Clear up and close down. */