org.eclipse.cdt.internal.ui.preferences.formatter
Class ProfileManager.SharedProfile
java.lang.Object
org.eclipse.cdt.internal.ui.preferences.formatter.ProfileManager.Profile
org.eclipse.cdt.internal.ui.preferences.formatter.ProfileManager.CustomProfile
org.eclipse.cdt.internal.ui.preferences.formatter.ProfileManager.SharedProfile
- All Implemented Interfaces:
- java.lang.Comparable
- Enclosing class:
- ProfileManager
public static final class ProfileManager.SharedProfile
- extends ProfileManager.CustomProfile
Constructor Summary |
ProfileManager.SharedProfile(java.lang.String oldName,
java.util.Map options,
int version,
java.lang.String profileKind)
|
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ProfileManager.SharedProfile
public ProfileManager.SharedProfile(java.lang.String oldName,
java.util.Map options,
int version,
java.lang.String profileKind)
rename
public ProfileManager.Profile rename(java.lang.String name,
ProfileManager manager)
- Overrides:
rename
in class ProfileManager.CustomProfile
getID
public java.lang.String getID()
- Overrides:
getID
in class ProfileManager.CustomProfile
compareTo
public final int compareTo(java.lang.Object o)
- Specified by:
compareTo
in interface java.lang.Comparable
- Overrides:
compareTo
in class ProfileManager.CustomProfile
isProfileToSave
public boolean isProfileToSave()
- Overrides:
isProfileToSave
in class ProfileManager.CustomProfile
isSharedProfile
public boolean isSharedProfile()
- Overrides:
isSharedProfile
in class ProfileManager.Profile