From d0d8077e325d0e73e63d5207f1c485dd8ad45a4b Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 19 Sep 2013 11:20:40 +0000 Subject: [PATCH] Avoid unnecessary creation of PrismSettings object in PrismComponent (was slowing down computations that require frequent creation of ECComputer classes). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7433 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/PrismComponent.java | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/prism/src/prism/PrismComponent.java b/prism/src/prism/PrismComponent.java index 9db8a943..3578ffb8 100644 --- a/prism/src/prism/PrismComponent.java +++ b/prism/src/prism/PrismComponent.java @@ -52,9 +52,9 @@ public class PrismComponent /** * PRISM settings object. - * Defaults to a fresh PrismSettings() object containing PRISM defaults. + * Defaults to null to avoid delays when it will be copied from a parent object. */ - protected PrismSettings settings = new PrismSettings(); + protected PrismSettings settings = null; // Constructors @@ -63,6 +63,8 @@ public class PrismComponent */ public PrismComponent() { + // Create a fresh PrismSettings() object containing PRISM defaults. + settings = new PrismSettings(); } /**