| 
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectorg.jasen.config.JasenPluginConfiguration
Holds the configuration for a single jASEN plugin component.
| Constructor Summary | |
JasenPluginConfiguration()
 | 
|
| Method Summary | |
 int | 
compareTo(Object o)
 | 
 String | 
getCalculator()
Gets the calculator used to compute the result for this plugin  | 
 String | 
getDescription()
Gets the summary description of this plugin.  | 
 String | 
getDisplayName()
Gets the user friendly name of this plugin.  | 
 String | 
getName()
Gets the internal name used to identify this plugin  | 
 String | 
getPriority()
Gets the priority for this plugin.  | 
 String | 
getProperties()
Gets the classpath relative path to the properties file used to configure this plugin  | 
 String | 
getType()
Gets the plugin type.  | 
 void | 
setCalculator(String calculatorClass)
Sets the calculator used to compute the result for this plugin  | 
 void | 
setDescription(String description)
Sets the summary description of this plugin.  | 
 void | 
setDisplayName(String displayName)
Sets the user friendly name of this plugin.  | 
 void | 
setName(String name)
Sets the internal name used to identify this plugin  | 
 void | 
setPriority(String priority)
Sets the priority for this plugin.  | 
 void | 
setProperties(String properties)
Gets the classpath relative path to the properties file used to configure this plugin This file MUST be in the classpath for the application  | 
 void | 
setType(String type)
Sets the plugin type.  | 
| Methods inherited from class java.lang.Object | 
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait | 
| Constructor Detail | 
public JasenPluginConfiguration()
| Method Detail | 
public String getCalculator()
public void setCalculator(String calculatorClass)
calculatorClass - The FQCN of the calculator class as a Stringpublic String getName()
public void setName(String name)
name - A String representation of the namepublic String getType()
public void setType(String type)
type - The FQCN of the plugin class as a Stringpublic String getPriority()
public void setPriority(String priority)
priority - A String representation of an integerpublic String getProperties()
public void setProperties(String properties)
properties - A String which represents either the absolute, or classpath-relative path to the properties filepublic String getDescription()
public void setDescription(String description)
description - The description to set.public String getDisplayName()
public void setDisplayName(String displayName)
displayName - The displayName to set.public int compareTo(Object o)
compareTo in interface Comparable
  | 
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||