org.eclipse.ocl.pivot.options

Class OCLinEcorePreferenceInitializer

java.lang.Object

AbstractPreferenceInitializer

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

org.eclipse.ocl.pivot.options.OCLinEcorePreferenceInitializer

public class OCLinEcorePreferenceInitializer
extends AnnotatedPreferenceInitializer

Class used to initialize default preference values.

Constructor Summary

Constructors

Constructor and Description
OCLinEcorePreferenceInitializer()

Method Summary

Modifier and Type	Method and Description
void	initializeDefaultPreferences()

Methods inherited from class java.lang.Object

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

Constructor Detail

OCLinEcorePreferenceInitializer

public OCLinEcorePreferenceInitializer()

Method Detail

initializeDefaultPreferences

public void initializeDefaultPreferences()