oracle.ide.config
Class PlatformProperties

java.lang.Object
  java.util.Dictionary
      java.util.Hashtable
          java.util.Properties
              oracle.ide.util.OrderedProperties
                  oracle.ide.config.PlatformProperties

All Implemented Interfaces:

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

public final class PlatformProperties

extends OrderedProperties

This class is used internally by the framework to overload IDE properties with platform specific values.

See Also:

Serialized Form

Field Summary

Fields inherited from class java.util.Properties

defaults

Method Summary

static PlatformProperties	getInstance()
static void	setForceLoad(java.lang.String s)

Methods inherited from class oracle.ide.util.OrderedProperties

keysAndData, load, put, remove, save, store

Methods inherited from class java.util.Properties

getProperty, getProperty, list, list, propertyNames, setProperty

Methods inherited from class java.util.Hashtable

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

Methods inherited from class java.lang.Object

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

Method Detail

getInstance

public static PlatformProperties getInstance()

setForceLoad

public static void setForceLoad(java.lang.String s)