Java in a Nutshell, 5th Edition [Electronic resources] نسخه متنی

اینجــــا یک کتابخانه دیجیتالی است

با بیش از 100000 منبع الکترونیکی رایگان به زبان فارسی ، عربی و انگلیسی

Java in a Nutshell, 5th Edition [Electronic resources] - نسخه متنی

| نمايش فراداده ، افزودن یک نقد و بررسی
افزودن به کتابخانه شخصی
ارسال به دوستان
جستجو در متن کتاب
بیشتر
تنظیمات قلم

فونت

اندازه قلم

+ - پیش فرض

حالت نمایش

روز نیمروز شب
جستجو در لغت نامه
بیشتر
لیست موضوعات
توضیحات
افزودن یادداشت جدید


Package java.util.prefs

Java 1.4

The java.util.prefs
package contains classes and interfaces for managing persistant

user and
system-wide preferences for Java applications and classes. Most
applications will use only the Preferences class
itself. Some will also use the event objects and listener interfaces
defined by this package, and some may need to explicitly catch the
types of exceptions defined by this package. Application programmers
never need to use the PreferencesFactory interface
or the AbstractPreferences class, which are
intended for Preferences implementors only.

To use the Preferences class, first use a static
method to obtain an appropriate Preferences object
or objects, and then use a get( ) method to query
a preference value or a put( ) method to set a
preference value. The code below shows a typical usage. See the
Preferences class for details.

import java.util.prefs.Preferences;
public class TextEditor {
// some constants that define default values for preferences
public static final int WIDTH_DEFAULT = 80;
public static final String DICTIONARY_DEFAULT = ";
// Fields to be initialized from preference values
public int width; // Screen width in columns
public String dictionary; // Dictionary name for spell-checking
public void initPrefs( ) {
// Get Preferences objects for user and system preferences for this package
Preferences userprefs = Preferences.userNodeForPackage(TextEditor.class);
Preferences sysprefs = Preferences.systemNodeForPackage(TextEditor.class);
// Look up preference values. Note that we always pass a default value
width = userprefs.getInt("width", WIDTH_DEFAULT);
// Look up a user preference using a system preference as the default
dictionary = userprefs.get("dictionary",
sysprefs.get("dictionary",
DICTIONARY_DEFAULT));
}
}


Interfaces


public interface

NodeChangeListener extends java.util.EventListener;
public interface

PreferenceChangeListener extends java.util.EventListener;
public interface

PreferencesFactory ;

Events


public class

NodeChangeEvent extends java.util.EventObject;
public class

PreferenceChangeEvent extends java.util.EventObject;

Other Classes


public abstract class

Preferences ;
public abstract class

AbstractPreferences extends Preferences;

Exceptions


public class

BackingStoreException extends Exception;
public class

InvalidPreferencesFormatException extends Exception;


    / 1191