Uses of Class
org.eclipse.cdt.internal.ui.preferences.formatter.ProfileManager.KeySet

Packages that use ProfileManager.KeySet
org.eclipse.cdt.internal.ui.preferences.formatter   
 

Uses of ProfileManager.KeySet in org.eclipse.cdt.internal.ui.preferences.formatter
 

Methods in org.eclipse.cdt.internal.ui.preferences.formatter with parameters of type ProfileManager.KeySet
static boolean ProfileManager.hasProjectSpecificSettings(org.eclipse.core.runtime.preferences.IScopeContext context, ProfileManager.KeySet[] keySets)
           
 

Constructors in org.eclipse.cdt.internal.ui.preferences.formatter with parameters of type ProfileManager.KeySet
ProfileManager(java.util.List profiles, org.eclipse.core.runtime.preferences.IScopeContext context, PreferencesAccess preferencesAccess, IProfileVersioner profileVersioner, ProfileManager.KeySet[] keySets, java.lang.String profileKey, java.lang.String profileVersionKey)
          Create and initialize a new profile manager.