org.eclipse.cdt.internal.ui.preferences.formatter
Class ProfileManager.CustomProfile

java.lang.Object
  extended by org.eclipse.cdt.internal.ui.preferences.formatter.ProfileManager.Profile
      extended by org.eclipse.cdt.internal.ui.preferences.formatter.ProfileManager.CustomProfile
All Implemented Interfaces:
java.lang.Comparable
Direct Known Subclasses:
ProfileManager.SharedProfile
Enclosing class:
ProfileManager

public static class ProfileManager.CustomProfile
extends ProfileManager.Profile

Represents a user-defined profile. A custom profile can be modified after instantiation.


Constructor Summary
ProfileManager.CustomProfile(java.lang.String name, java.util.Map settings, int version, java.lang.String kind)
           
 
Method Summary
 int compareTo(java.lang.Object o)
           
 java.lang.String getID()
           
 java.lang.String getKind()
           
 ProfileManager getManager()
           
 java.lang.String getName()
           
 java.util.Map getSettings()
           
 int getVersion()
           
 boolean isProfileToSave()
           
 ProfileManager.Profile rename(java.lang.String name, ProfileManager manager)
           
 void setManager(ProfileManager profileManager)
           
 void setSettings(java.util.Map settings)
           
 void setVersion(int version)
           
 
Methods inherited from class org.eclipse.cdt.internal.ui.preferences.formatter.ProfileManager.Profile
hasEqualSettings, isBuiltInProfile, isSharedProfile
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ProfileManager.CustomProfile

public ProfileManager.CustomProfile(java.lang.String name,
                                    java.util.Map settings,
                                    int version,
                                    java.lang.String kind)
Method Detail

getName

public java.lang.String getName()
Specified by:
getName in class ProfileManager.Profile

rename

public ProfileManager.Profile rename(java.lang.String name,
                                     ProfileManager manager)
Specified by:
rename in class ProfileManager.Profile

getSettings

public java.util.Map getSettings()
Specified by:
getSettings in class ProfileManager.Profile

setSettings

public void setSettings(java.util.Map settings)
Specified by:
setSettings in class ProfileManager.Profile

getID

public java.lang.String getID()
Specified by:
getID in class ProfileManager.Profile

setManager

public void setManager(ProfileManager profileManager)

getManager

public ProfileManager getManager()

getVersion

public int getVersion()
Specified by:
getVersion in class ProfileManager.Profile

setVersion

public void setVersion(int version)

compareTo

public int compareTo(java.lang.Object o)

isProfileToSave

public boolean isProfileToSave()
Specified by:
isProfileToSave in class ProfileManager.Profile

getKind

public java.lang.String getKind()