ptolemy.backtrack.eclipse.plugin.preferences

Class PreferenceInitializer

java.lang.Object

org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer

ptolemy.backtrack.eclipse.plugin.preferences.PreferenceInitializer

public class PreferenceInitializer
extends org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer

Initializer for the default values of backtracking preferences.

Since:

Ptolemy II 5.1

Version:

$Id$

Author:

Thomas Feng

Pt.AcceptedRating:

Red (tfeng)

Pt.ProposedRating:

Red (tfeng)

Constructor Summary

Constructors

Constructor and Description
PreferenceInitializer()

Method Summary

Modifier and Type	Method and Description
void	initializeDefaultPreferences() Initialize backtracking preferences with default values.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PreferenceInitializer

public PreferenceInitializer()

Method Detail

initializeDefaultPreferences

public void initializeDefaultPreferences()

Initialize backtracking preferences with default values.

Specified by:

initializeDefaultPreferences in class org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer