oracle.jdeveloper.audit.service

Class ProfileRepository

java.lang.Object

oracle.jdeveloper.audit.service.ProfileRepository

public class ProfileRepository
extends java.lang.Object

A persistent repository of profiles by name. The repository is maintained in a directory in the IDE system directory. The file names are controlled here; the profile names are stored within the files and extracted when needed.

Field Summary

Fields

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 Summary

Constructors

Constructor and Description
ProfileRepository(java.util.Map<java.lang.String,ProfileDefinition> definitions, ExtensionBeanFactory factory, java.net.URL directory)

Method Summary

Methods

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.

Methods inherited from class java.lang.Object

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

Field Detail

AUDIT_RULES

public static final java.lang.String AUDIT_RULES

The id of the default profile used as the initial default for the Build | Audit command.

See Also:

Constant Field Values

CODE_ASSIST_RULES

public static final java.lang.String CODE_ASSIST_RULES

The id of the default profile used as the initial default for the Build | Audit command.

See Also:

Constant Field Values

COMPILE_RULES

public static final java.lang.String COMPILE_RULES

See Also:

Constant Field Values

Constructor Detail

ProfileRepository

public ProfileRepository(java.util.Map<java.lang.String,ProfileDefinition> definitions,
                 ExtensionBeanFactory factory,
                 java.net.URL directory)

Method Detail

getDefaultRepository

public static ProfileRepository getDefaultRepository()

Gets the default profile repository.

getProfiles

public java.util.List<Profile> getProfiles()

Gets the profiles in this repository.

Returns:

A list of profiles.

exists

public boolean exists(java.lang.String name)

Gets whether this repository has a profile with a specified name.

Parameters:

name - The case-insensitive name of the profile.

getProfile

public Profile getProfile(java.lang.String name)

Gets a profile with a specified name from this repository.

Parameters:

name - The case-insensitive name of the profile.

getProfile

public 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.

Parameters:

name - The case-insensitive name of the profile.

id - A creation key supplied to the constructor of a default profile.

getDefaultProfile

public Profile getDefaultProfile(java.lang.String id)

Gets the default profile with a specified id from this repository.

Parameters:

id - The id of a registered default profile.

Returns:

the default profile, or null if no profile matches the id.

save

public void save(Profile profile)
          throws java.io.IOException

Saves a profile to a profile file.

Parameters:

profile - The profile to save.

Throws:

java.io.IOException

delete

public void delete(Profile profile)

Deletes a profile.

Parameters:

profile - The profile to delete.

close

public void close()

Closes this repository.

defaultIdeProfileDirectory

public static java.net.URL defaultIdeProfileDirectory()

profileDirectoryForSystemDirectory

public static java.net.URL profileDirectoryForSystemDirectory(java.net.URL system)

normalizeProfileName

public static java.lang.String normalizeProfileName(java.lang.String name)

sanitizeFileName

public static java.lang.String sanitizeFileName(java.lang.String name)