org.infai.emo.matcher.editor.preferences
Class PrefernceInitializer

java.lang.Object
  org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer
      org.infai.emo.matcher.editor.preferences.PrefernceInitializer

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

This class initializes the preferences for this plug-in with default-values.

Version:

1.0.0

Author:

Stanley Hillner

See Also:

AbstractPreferenceInitializer

Constructor Summary

PrefernceInitializer()

Method Summary

void	initializeDefaultPreferences() The preferences set here can be changed at Window->Preferences->ModelMatcher.

Methods inherited from class java.lang.Object

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

Constructor Detail

PrefernceInitializer

public PrefernceInitializer()

Method Detail

initializeDefaultPreferences

public void initializeDefaultPreferences()

The preferences set here can be changed at Window->Preferences->ModelMatcher.

Specified by:

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