org.eclipse.ocl.pivot.internal.plugin

Class PivotPreferenceInitializer

java.lang.Object

org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer

org.eclipse.ocl.common.internal.preferences.AnnotatedPreferenceInitializer

org.eclipse.ocl.pivot.internal.plugin.PivotPreferenceInitializer

public class PivotPreferenceInitializer
extends AnnotatedPreferenceInitializer

Class used to initialize default preference values.

Constructor Summary

Constructors

Constructor and Description
PivotPreferenceInitializer()

Method Summary

Modifier and Type	Method and Description
void	initializeDefaultPreferences()

Methods inherited from class org.eclipse.ocl.common.internal.preferences.AnnotatedPreferenceInitializer

putPreference

Methods inherited from class java.lang.Object

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

Constructor Detail

PivotPreferenceInitializer

public PivotPreferenceInitializer()

Method Detail

initializeDefaultPreferences

public void initializeDefaultPreferences()

Specified by:

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