org.eclipse.cdt.internal.ui.preferences.formatter
Class ProfileManager.BuiltInProfile
java.lang.Object
org.eclipse.cdt.internal.ui.preferences.formatter.ProfileManager.Profile
org.eclipse.cdt.internal.ui.preferences.formatter.ProfileManager.BuiltInProfile
- All Implemented Interfaces:
- java.lang.Comparable
- Enclosing class:
- ProfileManager
public static final class ProfileManager.BuiltInProfile
- extends ProfileManager.Profile
Represents a built-in profile. The state of a built-in profile
cannot be changed after instantiation.
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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
compareTo
public final int compareTo(java.lang.Object o)
isProfileToSave
public boolean isProfileToSave()
- Specified by:
isProfileToSave
in class ProfileManager.Profile
isBuiltInProfile
public boolean isBuiltInProfile()
- Overrides:
isBuiltInProfile
in class ProfileManager.Profile
getVersion
public int getVersion()
- Specified by:
getVersion
in class ProfileManager.Profile