unbbayes.util.extension
Class PluginCore

java.lang.Object
  org.java.plugin.Plugin
      unbbayes.util.extension.PluginCore

public class PluginCore
extends org.java.plugin.Plugin

Core plugin used by UnBBayes in order to restrict extension point. Plugins extending this core plugin are usually new functionalities (modules) for UnBBayes. A new module is usually a new formalism. This class implements JPF framework (http://jpf.sourceforge.net/)

Author:

Shou Matsumoto

Field Summary

static String	PARAMETER_BUILDER Parameter id for the "builder" parameter: class that instantiates the plugin.
static String	PARAMETER_CATEGORY Parameter id for the "category" parameter: what type of module is this plugin.
static String	PARAMETER_CATEGORY_VALUE_BN This is a possible value for the PARAMETER_CATEGORY: "bn".
static String	PARAMETER_CATEGORY_VALUE_PLUGIN This is a possible value for the PARAMETER_CATEGORY: "sampling".
static String	PARAMETER_CATEGORY_VALUE_SAMPLING This is a possible value for the PARAMETER_CATEGORY: "sampling".
static String	PARAMETER_CATEGORY_VALUE_TOOL This is a possible value for the PARAMETER_CATEGORY: "tool".
static String	PARAMETER_CLASS Parameter id for the "class" parameter: class to be loaded as extension
static String	PARAMETER_DESCRIPTION Parameter id for the "description" parameter: tool tip text
static String	PARAMETER_ICON Parameter id for the "icon" parameter: icon to be used by buttons
static String	PARAMETER_NAME Parameter id for the "name" parameter: name of the new module

Fields inherited from class org.java.plugin.Plugin

log

Constructor Summary

PluginCore()

Method Summary

protected void	doStart()
protected void	doStop()

Methods inherited from class org.java.plugin.Plugin

getDescriptor, getManager, isActive, toString

Methods inherited from class java.lang.Object

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

Field Detail

PARAMETER_CLASS

public static final String PARAMETER_CLASS

Parameter id for the "class" parameter: class to be loaded as extension

See Also:

Constant Field Values

PARAMETER_NAME

public static final String PARAMETER_NAME

Parameter id for the "name" parameter: name of the new module

See Also:

Constant Field Values

PARAMETER_DESCRIPTION

public static final String PARAMETER_DESCRIPTION

Parameter id for the "description" parameter: tool tip text

See Also:

Constant Field Values

PARAMETER_ICON

public static final String PARAMETER_ICON

Parameter id for the "icon" parameter: icon to be used by buttons

See Also:

Constant Field Values

PARAMETER_BUILDER

public static final String PARAMETER_BUILDER

Parameter id for the "builder" parameter: class that instantiates the plugin. @see UnBBayesModuleBuilder

See Also:

Constant Field Values

PARAMETER_CATEGORY

public static final String PARAMETER_CATEGORY

Parameter id for the "category" parameter: what type of module is this plugin. @see UnBBayesModuleBuilder

See Also:

Constant Field Values

PARAMETER_CATEGORY_VALUE_BN

public static final String PARAMETER_CATEGORY_VALUE_BN

This is a possible value for the PARAMETER_CATEGORY: "bn". If set to this, the plugin will be considered as a new BN module

See Also:

Constant Field Values

PARAMETER_CATEGORY_VALUE_TOOL

public static final String PARAMETER_CATEGORY_VALUE_TOOL

This is a possible value for the PARAMETER_CATEGORY: "tool". If set to this, the plugin will be considered as a new tool

See Also:

Constant Field Values

PARAMETER_CATEGORY_VALUE_SAMPLING

public static final String PARAMETER_CATEGORY_VALUE_SAMPLING

This is a possible value for the PARAMETER_CATEGORY: "sampling". If set to this, the plugin will be considered as a sampling module

See Also:

Constant Field Values

PARAMETER_CATEGORY_VALUE_PLUGIN

public static final String PARAMETER_CATEGORY_VALUE_PLUGIN

This is a possible value for the PARAMETER_CATEGORY: "sampling". If set to this, the plugin will be considered as a general module

See Also:

Constant Field Values

Constructor Detail

PluginCore

public PluginCore()

Method Detail

doStart

protected void doStart()
                throws Exception

Specified by:

doStart in class org.java.plugin.Plugin

Throws:

Exception

doStop

protected void doStop()
               throws Exception

Specified by:

doStop in class org.java.plugin.Plugin

Throws:

Exception