package jas2.util;
import java.util.Properties;
import java.awt.Rectangle;
import java.io.*;
/**
 * This class is used to store user prorerties.  There is one instance for the application.  The
 * UserProperties object used is available from the Application object using a getUserProperties()
 * method.
 *  @see Application
 *  @see Application#getUserProperties()
 *  @author Tony Johnson
 *  @author Jonas Gifford
 */
public class UserProperties extends Properties
{
	/**
	 * The Application object will create an instance for the application and save it just before
	 * the application closes.  Therefore, you should not have to use the constructor yourself.  The
	 * UserProperties object used is available from the Application object using a getUserProperties()
	 * method.
	 *  @see Application
	 *  @see Application#getUserProperties()
	 */
	public UserProperties()
	{
		try
		{
			final InputStream input = new FileInputStream(custFile);
			load(input);
			input.close();

			// Ignore personal customization files from early releases

			if (getFloat("property-version",0)<0.9) clear();
			
		}
		catch (IOException x) {}
		setFloat("property-version",0.91f);
      theUserProperties = this;
	}
   // Constructor for use while migrating to freehep framework
   protected UserProperties(Properties def)
   {
      super(def);
      theUserProperties = this;
   }
	/**
	 * @param key the key used to store this property
	 * @param def a default in case the property cannot be retrieved
	 */
	public Rectangle getRectangle(final String key, final Rectangle def)
	{
		try
		{
			final Rectangle result = new Rectangle();
			result.x = getInteger(key.concat("-x"));
			result.y = getInteger(key.concat("-y"));
			result.width = getInteger(key.concat("-w"));
			result.height = getInteger(key.concat("-h"));
			return result;
		}
		catch (Exception e)
		{
			return def;
		}
	}

	/**
	 * @param key the key used to store this property
	 * @param rect the value to store
	 */
	public void setRectangle(final String key, final Rectangle rect)
	{
		put(key.concat("-x"), String.valueOf(rect.x));
		put(key.concat("-y"), String.valueOf(rect.y));
		put(key.concat("-w"), String.valueOf(rect.width));
		put(key.concat("-h"), String.valueOf(rect.height));
	}

	/**
	 * @param key the key used to store this property
	 * @param def a default in case the property cannot be retrieved
	 */
	public java.awt.Color getColor(final String key, final java.awt.Color def)
	{
		try
		{
			return new java.awt.Color(getInteger(key.concat("-r")), getInteger(key.concat("-g")),
				getInteger(key.concat("-b")));
		}
		catch (Exception e)
		{
			return def;
		}
	}

	/**
	 * @param key the key used to store this property
	 * @param c the value to store
	 */
	public void setColor(final String key, final java.awt.Color c)
	{
		put(key.concat("-r"), String.valueOf(c.getRed()));
		put(key.concat("-g"), String.valueOf(c.getGreen()));
		put(key.concat("-b"), String.valueOf(c.getBlue()));
	}

	/**
	 * @param key the key used to store this property
	 * @param def a default in case the property cannot be retrieved
	 */
	public String[] getStringArray(final String key, final String[] def)
	{
		try
		{
			final String[] result = new String[getInteger(key +"-length")];
			for (int i = 0; i < result.length; i++)
				result[i] = getProperty(key +"-"+ i);
			return result;
		}
		catch (Exception e)
		{
			return def;
		}
	}

	/**
	 * @param key the key used to store this property
	 * @param sa the value to store
	 */
	public void setStringArray(final String key, String[] sa)
	{
		if (sa == null)
			sa = new String[0];
			// just output an array of size zero
		put( key +"-length", String.valueOf(sa.length) );
		for (int i = 0; i < sa.length; i++)
			put(key +"-"+ i, sa[i]);
	}

	/**
	 * @param key the key used to store this property
	 * @param def a default in case the property cannot be retrieved
	 */
	public String getString(final String key, final String def)
	{
		try
		{
			final String s = getProperty(key);
			return s == null ? def : s;
		}
		catch (Exception e)
		{
			return def;
		}
	}

	/**
	 * @param key the key used to store this property
	 * @param s the value to store
	 */
	public void setString(final String key, String s)
	{
		if (s == null) s="";
		put(key, s);
	}

	/**
	 * @param key the key used to store this property
	 * @param def a default in case the property cannot be retrieved
	 */
	public boolean getBoolean(final String key, final boolean def)
	{
		final String value = getProperty(key);
		return value==null ? def : Boolean.valueOf(value).booleanValue();
	}

	/**
	 * @param key the key used to store this property
	 * @param value the value to store
	 */
	public void setBoolean(final String key, final boolean value)
	{
		put(key,String.valueOf(value));
	}

	/**
	 * @exception NumberFormatException if the property retrieved cannot be converted to int
	 * @param key the key used to store this property
	 */
	public int getInteger(final String key) throws NumberFormatException
	{
		return Integer.valueOf(getProperty(key)).intValue();
	}

	/**
	 * @param key the key used to store this property
	 * @param def a default in case the property cannot be retrieved
	 */
	public int getInteger(final String key, final int def)
	{
		try
		{
			return Integer.valueOf(getProperty(key)).intValue();
		}
		catch (Exception e)
		{
			return def;
		}
	}

	/**
	 * @param key the key used to store this property
	 * @param f the value to store
	 */
	public void setFloat(final String key, final float f)
	{
		put(key, String.valueOf(f));
	}

	/**
	 * @param key the key used to store this property
	 * @param def a default in case the property cannot be retrieved
	 */
	public float getFloat(final String key, final float def)
	{
		try
		{
			return Float.valueOf(getProperty(key)).floatValue();
		}
		catch (Exception e)
		{
			return def;
		}
	}

	/**
	 * @param key the key used to store this property
	 * @param i the value to store
	 */
	public void setInteger(final String key, final int i)
	{
		put(key, String.valueOf(i));
	}

	/**
	 * Saves the properties.  The application does this for you just before closing, so
	 * you don't have to call this method.
	 */
	public void save() throws IOException
	{
		final OutputStream output = new FileOutputStream(custFile);
		save(output,"Java Analysis Studio Custom Properties");
		output.close();
	}

	/**
	 * This is a utility method for updating a string array of recently used items.
	 * Supply it with an old array and a new item.  If the new item was already in the
	 * old array, then it is simply moved to the beginning.  If it was not in the old
	 * array then it is placed at the front and the other items are shuffled back.
	 * The method will return an array with a maximum size of 4.
	 *  @param oldArray the array to update (may safely be null)
	 *  @param newString the new item to include
	 *  @return the updated array
	 */
	public static String[] updateStringArray(final String[] oldArray, final String newString)
	{
		return updateStringArray(oldArray, newString, 4);
	}

	/**
	 * This is a utility method for updating a string array of recently used items.
	 * Supply it with an old array and a new item.  If the new item was already in the
	 * old array, then it is simply moved to the beginning.  If it was not in the old
	 * array then it is placed at the front and the other items are shuffled back.
	 * The method will return an array with a maximum size defined by the integer
	 * stored by the given key, or 4 if such an integer cannot be found.
	 *  @param oldArray the array to update (may safely be null)
	 *  @param newString the new item to include
	 *  @param lengthKey the key used to find the maximum length of the resulting array
	 *  @return the updated array
	 */
	public String[] updateStringArray(final String[] oldArray, final String newString, final String lengthKey)
	{
		return updateStringArray(oldArray, newString, getInteger(lengthKey, 4));
	}

	/**
	 * This is a utility method for updating a string array of recently used items.
	 * Supply it with an old array and a new item.  If the new item was already in the
	 * old array, then it is simply moved to the beginning.  If it was not in the old
	 * array then it is placed at the front and the other items are shuffled back.
	 * The method will return an array of a maximum size given by the nStored parameter.
	 *  @param oldArray the array to update (may safely be null)
	 *  @param newString the new item to include
	 *  @param nStored the maximum size of the updated array
	 *  @return the updated array
	 */
	public static String[] updateStringArray(String[] oldArray, final String newString, final int nStored)
	// called by either updateRecentClasses or by updateRecentServers
	// (both do basically the same thing so a private method that
	//  contains the essential parts of both is practical)
	{
		if (newString == null) return oldArray;
		if (oldArray != null && oldArray.length > 0)
		{
			if (oldArray[0].equals(newString)) return oldArray;
			/*
			 * If the new String is already at the front, then
			 * there is nothing left to do.
			 */
			for (int i = 1; i < oldArray.length; i++)
			/*
			 * Begin checking from the second element
			 * onwards: is the String already there?
			 */
			{
				if (oldArray[i].equals(newString))
				/*
				 * If it is already there, put
				 * the new one at the front and
				 * shuffle the others backward.
				 */
				{
					while (i > 0)
					{
						oldArray[i] = oldArray[i-1];
						i--;
					}
					oldArray[0] = newString;
					return oldArray;
				}
			}
			if (oldArray.length < nStored)
			{
				final String[] result = new String[oldArray.length + 1];
				result[0] = newString;
				for (int i = 0; i < oldArray.length; i++)
					result[i + 1] = oldArray[i];
				return result;
			}
			else
			{
				for (int i = nStored-1; i > 0; i--)
					oldArray[i] = oldArray[i-1];
				oldArray[0] = newString;
				return oldArray;
			}
		}	
		else
		{
			oldArray = new String[1];
			oldArray[0] = newString;
			return oldArray;
		}
	}
   public static UserProperties getUserProperties()
   {
      return theUserProperties;
   }
	final private String custFile = System.getProperty("user.home").concat(File.separator+"jas.properties");
   private static UserProperties theUserProperties;
}

 

Ads help maintain this website.