public class ProfileRepository
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
AUDIT_RULES
The id of the default profile used as the initial default for the
Build | Audit command.
|
static java.lang.String |
CODE_ASSIST_RULES
The id of the default profile used as the initial default for the
Build | Audit command.
|
static java.lang.String |
COMPILE_RULES |
Constructor and Description |
---|
ProfileRepository(java.util.Map<java.lang.String,ProfileDefinition> definitions,
ExtensionBeanFactory factory,
java.net.URL directory) |
Modifier and Type | Method and Description |
---|---|
void |
close()
Closes this repository.
|
static java.net.URL |
defaultIdeProfileDirectory() |
void |
delete(Profile profile)
Deletes a profile.
|
boolean |
exists(java.lang.String name)
Gets whether this repository has a profile with a specified name.
|
Profile |
getDefaultProfile(java.lang.String id)
Gets the default profile with a specified id from this repository.
|
static ProfileRepository |
getDefaultRepository()
Gets the default profile repository.
|
Profile |
getProfile(java.lang.String name)
Gets a profile with a specified name from this repository.
|
Profile |
getProfile(java.lang.String name,
java.lang.String id)
Gets a profile with a specified name from this repository, or the default
profile with a specified id otherwise.
|
java.util.List<Profile> |
getProfiles()
Gets the profiles in this repository.
|
static java.lang.String |
normalizeProfileName(java.lang.String name) |
static java.net.URL |
profileDirectoryForSystemDirectory(java.net.URL system) |
static java.lang.String |
sanitizeFileName(java.lang.String name) |
void |
save(Profile profile)
Saves a profile to a profile file.
|
public static final java.lang.String AUDIT_RULES
public static final java.lang.String CODE_ASSIST_RULES
public static final java.lang.String COMPILE_RULES
public ProfileRepository(java.util.Map<java.lang.String,ProfileDefinition> definitions, ExtensionBeanFactory factory, java.net.URL directory)
public static ProfileRepository getDefaultRepository()
public java.util.List<Profile> getProfiles()
public boolean exists(java.lang.String name)
name
- The case-insensitive name of the profile.public Profile getProfile(java.lang.String name)
name
- The case-insensitive name of the profile.public Profile getProfile(java.lang.String name, java.lang.String id)
name
- The case-insensitive name of the profile.id
- A creation key supplied to the constructor of a default profile.public Profile getDefaultProfile(java.lang.String id)
id
- The id of a registered default profile.public void save(Profile profile) throws java.io.IOException
profile
- The profile to save.java.io.IOException
public void delete(Profile profile)
profile
- The profile to delete.public void close()
public static java.net.URL defaultIdeProfileDirectory()
public static java.net.URL profileDirectoryForSystemDirectory(java.net.URL system)
public static java.lang.String normalizeProfileName(java.lang.String name)
public static java.lang.String sanitizeFileName(java.lang.String name)