org.eclipse.tptp.platform.llc.ui.internal.preferences
Class CoveragePreferenceInitializer

java.lang.Object
  org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer
      org.eclipse.tptp.platform.llc.ui.internal.preferences.CoveragePreferenceInitializer

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

Class used to initialize default preference values.

Constructor Summary

CoveragePreferenceInitializer()

Method Summary

void	initializeDefaultPreferences()

Methods inherited from class java.lang.Object

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

Constructor Detail

CoveragePreferenceInitializer

public CoveragePreferenceInitializer()

Method Detail

initializeDefaultPreferences

public void initializeDefaultPreferences()

Specified by:

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