com.xmlmind.xmleditext.profiling

Class SelectedProfile

java.lang.Object

com.xmlmind.xmleditext.profiling.SelectedProfile

public final class SelectedProfile
extends Object

The value of document property ProfileManager.SELECTED_PROFILE_PROPERTY is a SelectedProfile object.

Field Summary

Fields

Modifier and Type	Field and Description
URL	documentURL The URL of the document for which profilingURL has been selected.
boolean	isDefaultURL true if profilingURL has been specified in configuration attribute configuration/profiling/@location false otherwise.
URL	profilingURL The profiling URL.

Constructor Summary

Constructors

Constructor and Description
SelectedProfile(URL documentURL, URL profilingURL, boolean isDefaultURL) Constructs a SelectedProfile.

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object other)
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

documentURL

public final URL documentURL

The URL of the document for which profilingURL has been selected.

profilingURL

public final URL profilingURL

The profiling URL.

• May be null which means: no profiling for document documentURL.
• May be a ".profiles" URL (XML serialization of a ProfileSet) possibly having a fragment specifying the ID of the selected profile.
• May be a ".ditaval" URL.

isDefaultURL

public final boolean isDefaultURL

true if profilingURL has been specified in configuration attribute configuration/profiling/@location false otherwise.

Constructor Detail

SelectedProfile

public SelectedProfile(URL documentURL,
                       URL profilingURL,
                       boolean isDefaultURL)

Constructs a SelectedProfile.

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object other)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object