ppe
Class ParamHt

java.lang.Object
  extended by java.util.AbstractMap<K,V>
      extended by java.util.HashMap<java.lang.String,java.lang.String>
          extended by ppe.ParamHt
All Implemented Interfaces:
java.io.Serializable, java.lang.Cloneable, java.util.Map<java.lang.String,java.lang.String>

public class ParamHt
extends java.util.HashMap<java.lang.String,java.lang.String>

A hash table of string param values keyed by param names. Keys are stored as lowercase. This class contains the methods for reading param files and parsing argv. This class does not check or interpret params in any way - that is the responsibility of concrete subclasses of AbstractParams that use this class as a source of param values.

See Also:
Serialized Form

Nested Class Summary
static class ParamHt.ParamName
           
 
Nested classes/interfaces inherited from class java.util.AbstractMap
java.util.AbstractMap.SimpleEntry<K,V>, java.util.AbstractMap.SimpleImmutableEntry<K,V>
 
Field Summary
 java.io.File configFile
           
 
Constructor Summary
ParamHt(java.lang.String[] argv)
           
 
Method Summary
static java.lang.String getDefaultConfigFilePath()
           
 java.lang.String getValue(java.lang.String key)
           
 java.lang.String setValue(java.lang.String key, java.lang.String value)
           
 void updateParams()
           
 
Methods inherited from class java.util.HashMap
clear, clone, containsKey, containsValue, entrySet, get, isEmpty, keySet, put, putAll, remove, size, values
 
Methods inherited from class java.util.AbstractMap
equals, hashCode, toString
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface java.util.Map
equals, hashCode
 

Field Detail

configFile

public java.io.File configFile
Constructor Detail

ParamHt

public ParamHt(java.lang.String[] argv)
        throws InaccessibleFileException,
               java.io.IOException
Throws:
InaccessibleFileException
java.io.IOException
Method Detail

updateParams

public void updateParams()

getValue

public java.lang.String getValue(java.lang.String key)

setValue

public java.lang.String setValue(java.lang.String key,
                                 java.lang.String value)

getDefaultConfigFilePath

public static java.lang.String getDefaultConfigFilePath()