cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.heuristic.properties
Class StateRemovalPropertiesPanelProviderImpl

java.lang.Object
  cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.heuristic.properties.StateRemovalPropertiesPanelProviderImpl

All Implemented Interfaces:

PropertiesPanelProvider

public class StateRemovalPropertiesPanelProviderImpl
extends Object
implements PropertiesPanelProvider

Properties panel provider for module selection category.

Constructor Summary

StateRemovalPropertiesPanelProviderImpl()

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

Constructor Detail

StateRemovalPropertiesPanelProviderImpl

public StateRemovalPropertiesPanelProviderImpl()

Method Detail

getPanel

public AbstractPropertiesPanel getPanel(Properties properties)

Description copied from interface: PropertiesPanelProvider

Gets a panel for category.

Specified by:

getPanel in interface PropertiesPanelProvider

Parameters:

properties - Properties used to store and load data to panel.

Returns:

Panel for category.

getName

public String getName()

Description copied from interface: PropertiesPanelProvider

Gets a programmatic name of category.

Specified by:

getName in interface PropertiesPanelProvider

Returns:

Programmatic name of category.

getDisplayName

public String getDisplayName()

Description copied from interface: PropertiesPanelProvider

Gets display name of category. If priorities of categories are same, categories are sorted by this.

Specified by:

getDisplayName in interface PropertiesPanelProvider

Returns:

Display name of category.

getPriority

public int getPriority()

Description copied from interface: PropertiesPanelProvider

Gets priority by which is sorted category in jInfer Project properties. Higher priority is first. If the priorities of categories are same, categories are sorted by DisplayName.

Specified by:

getPriority in interface PropertiesPanelProvider

Returns:

priority to sort by.

getParent

public String getParent()

Description copied from interface: PropertiesPanelProvider

Get Id of parent category for this category.

Specified by:

getParent in interface PropertiesPanelProvider

Returns:

Id of parent category.

getSubCategories

public List<VirtualCategoryPanel> getSubCategories()

Description copied from interface: PropertiesPanelProvider

Get List of all children virtual categories of this category. Each virtual category is defined by VirtualCategoryPanel

Specified by:

getSubCategories in interface PropertiesPanelProvider

Returns:

List of VirtualCategoryPanel of all children virtual categories.