org.eclipse.ocl.examples.pivot.options
Class OCLinEcorePreferenceInitializer

java.lang.Object
  org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer
      org.eclipse.ocl.common.internal.preferences.AnnotatedPreferenceInitializer
          org.eclipse.ocl.examples.pivot.options.OCLinEcorePreferenceInitializer

public class OCLinEcorePreferenceInitializer
extends AnnotatedPreferenceInitializer

Class used to initialize default preference values.

Constructor Summary

OCLinEcorePreferenceInitializer()

Method Summary

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

OCLinEcorePreferenceInitializer

public OCLinEcorePreferenceInitializer()

Method Detail

initializeDefaultPreferences

public void initializeDefaultPreferences()

Specified by:

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