altosuilib: Track open frames, exit when none remain
[fw/altos] / altoslib / AltosPreferencesBackend.java
index 9f2e8f7c9541bf0945fd9291ca37701181fedc44..9131ad39b5d0c72190c5e7967bfa6a2814675a0f 100644 (file)
  * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
  */
 
-package org.altusmetrum.altoslib_10;
+package org.altusmetrum.altoslib_11;
 
-import java.io.File;
+import java.io.*;
+import java.util.*;
+import java.text.*;
 
-public interface AltosPreferencesBackend {
+public abstract class AltosPreferencesBackend {
 
-       public String  getString(String key, String def);
-       public void    putString(String key, String value);
+       public abstract String  getString(String key, String def);
+       public abstract void    putString(String key, String value);
 
-       public int     getInt(String key, int def);
-       public void    putInt(String key, int value);
+       public abstract int     getInt(String key, int def);
+       public abstract void    putInt(String key, int value);
 
-       public double  getDouble(String key, double def);
-       public void    putDouble(String key, double value);
+       public abstract double  getDouble(String key, double def);
+       public abstract void    putDouble(String key, double value);
 
-       public boolean getBoolean(String key, boolean def);
-       public void    putBoolean(String key, boolean value);
+       public abstract boolean getBoolean(String key, boolean def);
+       public abstract void    putBoolean(String key, boolean value);
 
-       public byte[]  getBytes(String key, byte[] def);
-       public void    putBytes(String key, byte[] value);
+       public abstract byte[]  getBytes(String key, byte[] def);
+       public abstract void    putBytes(String key, byte[] value);
 
-       public boolean nodeExists(String key);
-       public AltosPreferencesBackend node(String key);
+       public AltosHashSet     getHashSet(String key) {
+               String  value = getString(key, null);
 
-       public String[] keys();
-       public void    remove(String key);
+               if (value == null)
+                       return null;
+               return AltosHashSet.fromString(value);
+       }
 
-       public void    flush();
+       public void             putHashSet(String key, AltosHashSet h) {
+               putString(key, h.toString());
+       }
 
-       public File homeDirectory();
+       public abstract boolean nodeExists(String key);
+       public abstract AltosPreferencesBackend node(String key);
 
-       public void debug(String format, Object ... arguments);
+       public abstract String[] keys();
+       public abstract void    remove(String key);
+
+       public abstract void    flush();
+
+       public abstract File homeDirectory();
+
+       public abstract void debug(String format, Object ... arguments);
 }