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

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

Field Summary

protected ProfileManager

fManager

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

hasEqualSettings, isBuiltInProfile, isSharedProfile

Methods inherited from class java.lang.Object

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

Field Detail

fManager

protected ProfileManager fManager

Constructor Detail

ProfileManager.CustomProfile

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

Parameters:

name -

settings -

version -

kind -

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()

setManager

public void setManager(ProfileManager profileManager)

Parameters:

profileManager -

getManager

public ProfileManager getManager()

Returns:

ProfileManager

getVersion

public int getVersion()

Specified by:

getVersion in class ProfileManager.Profile

Returns:

version

See Also:

ProfileManager.Profile.getVersion()

setVersion

public void setVersion(int version)

Parameters:

version -

compareTo

public 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()

getKind

public java.lang.String getKind()

Returns:

String