org.eclipse.cdt.internal.ui.preferences.formatter
Class FormatterProfileStore

java.lang.Object
  extended by org.eclipse.cdt.internal.ui.preferences.formatter.ProfileStore
      extended by org.eclipse.cdt.internal.ui.preferences.formatter.FormatterProfileStore

public class FormatterProfileStore
extends ProfileStore


Field Summary
 
Fields inherited from class org.eclipse.cdt.internal.ui.preferences.formatter.ProfileStore
ENCODING
 
Constructor Summary
FormatterProfileStore(IProfileVersioner profileVersioner)
           
 
Method Summary
static void checkCurrentOptionsVersion()
           
 java.util.List readProfiles(org.eclipse.core.runtime.preferences.IScopeContext scope)
          
 
Methods inherited from class org.eclipse.cdt.internal.ui.preferences.formatter.ProfileStore
readProfilesFromFile, readProfilesFromString, writeProfiles, writeProfilesToFile
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FormatterProfileStore

public FormatterProfileStore(IProfileVersioner profileVersioner)
Method Detail

readProfiles

public java.util.List readProfiles(org.eclipse.core.runtime.preferences.IScopeContext scope)
                            throws org.eclipse.core.runtime.CoreException

Overrides:
readProfiles in class ProfileStore
Returns:
Returns the collection of profiles currently stored in the preference store or null if the loading failed. The elements are of type ProfileManager.CustomProfile and are all updated to the latest version.
Throws:
org.eclipse.core.runtime.CoreException

checkCurrentOptionsVersion

public static void checkCurrentOptionsVersion()