org.eclipse.cdt.internal.ui.preferences.formatter
Class ProfileManager.CustomProfile
java.lang.Object
org.eclipse.cdt.internal.ui.preferences.formatter.ProfileManager.Profile
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.
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ProfileManager.CustomProfile
public ProfileManager.CustomProfile(java.lang.String name,
java.util.Map settings,
int version,
java.lang.String kind)
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()