marf.util
Class OptionProcessor.OptionsHashtable

java.lang.Object
  java.util.Dictionary
      java.util.Hashtable
          marf.util.OptionProcessor.OptionsHashtable

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.util.Map

Enclosing class:

OptionProcessor

protected class OptionProcessor.OptionsHashtable
extends java.util.Hashtable

A hashtable designed for to hold options. TODO: when we drop support for JDK1.4, this should be typechecked for Option type only.

Since:

0.3.0.3

Author:

Serguei Mokhov

See Also:

OptionProcessor.Option, Serialized Form

Constructor Summary

OptionProcessor.OptionsHashtable()
Merely calls the parent's constructor.

Method Summary

Methods inherited from class java.util.Hashtable

clear, clone, contains, containsKey, containsValue, elements, entrySet, equals, get, hashCode, isEmpty, keys, keySet, put, putAll, rehash, remove, size, toString, values

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

OptionProcessor.OptionsHashtable

public OptionProcessor.OptionsHashtable()

Merely calls the parent's constructor.