org.eclipse.tptp.platform.analysis.core.rule
Class RuleDetailProvider

java.lang.Object
  org.eclipse.tptp.platform.analysis.core.rule.RuleDetailProvider

public class RuleDetailProvider
extends java.lang.Object

This class implements the functionality for analysis detail providers. This class is deliberately left undocumented since use of detail providers is actively discouraged.

Field Summary

static java.lang.String	FIELD_CONTENT_FILE Internal use
static java.lang.String	FIELD_PROVIDER_ID Internal use

Constructor Summary

RuleDetailProvider()

Method Summary

java.lang.String	getDetailContent()
java.lang.String	getDetailContentFile()
java.lang.String	getProviderId()
java.lang.String	getProviderNamespace()
void	setDetailContentFile(java.lang.String value)
void	setProviderId(java.lang.String value) Set the id of the analysis provider that is associated with this detail provider
void	setProviderNamespace(java.lang.String value)

Methods inherited from class java.lang.Object

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

Field Detail

FIELD_PROVIDER_ID

public static final java.lang.String FIELD_PROVIDER_ID

Internal use

See Also:

Constant Field Values

FIELD_CONTENT_FILE

public static final java.lang.String FIELD_CONTENT_FILE

Internal use

See Also:

Constant Field Values

Constructor Detail

RuleDetailProvider

public RuleDetailProvider()

Method Detail

getProviderNamespace

public java.lang.String getProviderNamespace()

Returns:

The plugin namespace for thie detail provider

setProviderNamespace

public void setProviderNamespace(java.lang.String value)

Parameters:

value - The plugin namespace associated with this detail provider

setDetailContentFile

public void setDetailContentFile(java.lang.String value)

Parameters:

value - The content file associate with this detail provider

getDetailContentFile

public java.lang.String getDetailContentFile()

Returns:

The content file associate with this detail provider

getDetailContent

public java.lang.String getDetailContent()

Returns:

The content string for this detail provider

getProviderId

public java.lang.String getProviderId()

Returns:

The id of the analysis provider associate with this detail provider

setProviderId

public void setProviderId(java.lang.String value)

Set the id of the analysis provider that is associated with this detail provider

Parameters:

value - The new id for the detail provider