From: jprocter <jprocter@compbio.dundee.ac.uk>
Date: Wed, 9 Nov 2011 14:19:53 +0000 (+0000)
Subject: (JAL-986) getter for integer user preference properties
X-Git-Tag: Archived_Release_2_7~18^2~4
X-Git-Url: http://source.jalview.org/gitweb/?p=jalview.git;a=commitdiff_plain;h=5ea5ca37682bd82ddf4c8499288256684d0f6f1f

(JAL-986) getter for integer user preference properties
---

diff --git a/src/jalview/bin/Cache.java b/src/jalview/bin/Cache.java
index ba1d0a8..aa1a022 100755
--- a/src/jalview/bin/Cache.java
+++ b/src/jalview/bin/Cache.java
@@ -802,4 +802,24 @@ public class Cache
     }
     return null;
   }
+
+  /**
+   * get and parse a property as an integer. send any parsing problems to System.err
+   * @param property
+   * @return null or Integer
+   */
+  public static Integer getIntegerProperty(String property)
+  {
+    String val=getProperty(property);
+    if (val!=null && (val=val.trim()).length()>0)
+    {
+      try {
+        return Integer.valueOf(val);
+      } catch (NumberFormatException x)
+      {
+        System.err.println("Invalid integer in property '"+property+"' (value was '"+val+"')");
+      }
+    }
+    return null;
+  }
 }