com.aptana.ide.ui.editors.preferences.formatter
Class ProfileManager.BuiltInProfile

java.lang.Object
  com.aptana.ide.ui.editors.preferences.formatter.ProfileManager.Profile
      com.aptana.ide.ui.editors.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.

Constructor Summary

ProfileManager.BuiltInProfile(java.lang.String ID, java.lang.String name, java.util.Map settings, int order, int currentVersion, java.lang.String profileKind)

Method Summary

int	compareTo(java.lang.Object o)
java.lang.String	getID()
java.lang.String	getName()
java.util.Map	getSettings()
int	getVersion()
boolean	isBuiltInProfile()
boolean	isProfileToSave()
ProfileManager.Profile	rename(java.lang.String name, ProfileManager manager)
void	setSettings(java.util.Map settings)

Methods inherited from class com.aptana.ide.ui.editors.preferences.formatter.ProfileManager.Profile

hasEqualSettings, isSharedProfile

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ProfileManager.BuiltInProfile

public ProfileManager.BuiltInProfile(java.lang.String ID,
                                     java.lang.String name,
                                     java.util.Map settings,
                                     int order,
                                     int currentVersion,
                                     java.lang.String profileKind)

Parameters:

ID -

name -

settings -

order -

currentVersion -

profileKind -

Method Detail

getName

public java.lang.String getName()

Specified by:

getName in class ProfileManager.Profile

Returns:

String

See Also:

ProfileManager.Profile.getName()

rename

public ProfileManager.Profile rename(java.lang.String name,
                                     ProfileManager manager)

Specified by:

rename in class ProfileManager.Profile

Returns:

Profile

See Also:

ProfileManager.Profile.rename(java.lang.String, com.aptana.ide.ui.editors.preferences.formatter.ProfileManager)

getSettings

public java.util.Map getSettings()

Specified by:

getSettings in class ProfileManager.Profile

Returns:

Map

See Also:

ProfileManager.Profile.getSettings()

setSettings

public void setSettings(java.util.Map settings)

Specified by:

setSettings in class ProfileManager.Profile

See Also:

ProfileManager.Profile.setSettings(java.util.Map)

getID

public java.lang.String getID()

Specified by:

getID in class ProfileManager.Profile

Returns:

id

See Also:

ProfileManager.Profile.getID()

compareTo

public final int compareTo(java.lang.Object o)

See Also:

Comparable.compareTo(java.lang.Object)

isProfileToSave

public boolean isProfileToSave()

Specified by:

isProfileToSave in class ProfileManager.Profile

Returns:

boolean

See Also:

ProfileManager.Profile.isProfileToSave()

isBuiltInProfile

public boolean isBuiltInProfile()

Overrides:

isBuiltInProfile in class ProfileManager.Profile

Returns:

is built in

See Also:

ProfileManager.Profile.isBuiltInProfile()

getVersion

public int getVersion()

Specified by:

getVersion in class ProfileManager.Profile

Returns:

version

See Also:

ProfileManager.Profile.getVersion()