Extension SDK 10.1.2


oracle.ide.config
Class PlatformProperties

java.lang.Object
  extended byjava.util.Dictionary
      extended byjava.util.Hashtable
          extended byjava.util.Properties
              extended byoracle.ide.util.OrderedProperties
                  extended byoracle.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)

Extension SDK


Copyright © 1997, 2004, Oracle. All rights reserved.