oracle.ide.config
Class PlatformProperties

java.lang.Object
  java.util.Dictionary<K,V>
      java.util.Hashtable<java.lang.Object,java.lang.Object>
          java.util.Properties
              oracle.ide.util.OrderedProperties
                  oracle.ide.config.PlatformProperties

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.util.Map<java.lang.Object,java.lang.Object>

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, load, loadFromXML, propertyNames, setProperty, store, storeToXML, storeToXML, stringPropertyNames

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)