|
jInfer | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectcz.cuni.mff.ksi.jinfer.runner.properties.PropertiesPanelProviderImpl
public class PropertiesPanelProviderImpl
Properties panel provider of the Runner module.
| Field Summary | |
|---|---|
static String |
EXPORTER_CATEGORY
|
static String |
EXPORTER_CATEGORY_DISPLAY
|
static String |
IGG_CATEGORY
|
static String |
IGG_CATEGORY_DISPLAY
|
static String |
SIMPLIFIER_CATEGORY
|
static String |
SIMPLIFIER_CATEGORY_DISPLAY
|
| Constructor Summary | |
|---|---|
PropertiesPanelProviderImpl()
|
|
| Method Summary | |
|---|---|
String |
getDisplayName()
Gets display name of category. |
String |
getName()
Gets a programmatic name of category. |
AbstractPropertiesPanel |
getPanel(Properties properties)
Gets a panel for category. |
String |
getParent()
Get Id of parent category for this category. |
int |
getPriority()
Gets priority by which is sorted category in jInfer Project properties. |
List<VirtualCategoryPanel> |
getSubCategories()
Get List of all children virtual categories of this category. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
public static final String EXPORTER_CATEGORY
public static final String EXPORTER_CATEGORY_DISPLAY
public static final String IGG_CATEGORY
public static final String IGG_CATEGORY_DISPLAY
public static final String SIMPLIFIER_CATEGORY
public static final String SIMPLIFIER_CATEGORY_DISPLAY
| Constructor Detail |
|---|
public PropertiesPanelProviderImpl()
| Method Detail |
|---|
public AbstractPropertiesPanel getPanel(Properties properties)
PropertiesPanelProvider
getPanel in interface PropertiesPanelProviderproperties - Properties used to store and load data to panel.
public String getName()
PropertiesPanelProvider
getName in interface PropertiesPanelProviderpublic String getDisplayName()
PropertiesPanelProvider
getDisplayName in interface PropertiesPanelProviderpublic int getPriority()
PropertiesPanelProvider
getPriority in interface PropertiesPanelProviderpublic String getParent()
PropertiesPanelProvider
getParent in interface PropertiesPanelProviderpublic List<VirtualCategoryPanel> getSubCategories()
PropertiesPanelProviderVirtualCategoryPanel
getSubCategories in interface PropertiesPanelProviderVirtualCategoryPanel of all children virtual categories.
|
jInfer | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||