cz.cuni.mff.ksi.jinfer.base.interfaces
Interface PropertiesPanelProvider

All Known Implementing Classes:

AutomatonMergingStatePropertiesPanelProviderImpl, AutomatonSimplifierChainedPropertiesPanelProviderImpl, CleanerChainedPropertiesPanelProviderImpl, CombinedPropertiesPanelProviderImpl, DefectiveMDLPropertiesPanelProviderImpl, FullscanPropertiesPanetProviderImpl, GreedyMDLPropertiesPanelProviderImpl, GreedyPropertiesPanelProviderImpl, KHContextPropertiesPanelProviderImpl, KHgramsPropertiesPanelProviderImpl, LayoutPropertiesPanelProviderImpl, ProjectPropertiesPanelProvider, PropertiesPanelProviderImpl, PropertiesPanelProviderImpl, PropertiesPanelProviderImpl, PropertiesPanelProviderImpl, PropertiesPanelProviderImpl, PropertiesPanelProviderImpl, SKStringsPropertiesPanelProviderImpl, StateRemovalOrderedPropertiesPanelProviderImpl, StateRemovalPropertiesPanelProviderImpl, TwoStepPropertiesPanelProviderImpl, WeightedPropertiesPanetProviderImpl

public interface PropertiesPanelProvider

PropertiesPanelProvider creates visual representation of one Project properties category, and manages communication between Project properties and this panel.

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.

Method Detail

getPanel

AbstractPropertiesPanel getPanel(Properties properties)

Gets a panel for category.

Parameters:

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

Returns:

Panel for category.

getName

String getName()

Gets a programmatic name of category.

Returns:

Programmatic name of category.

getDisplayName

String getDisplayName()

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

Returns:

Display name of category.

getPriority

int getPriority()

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.

Returns:

priority to sort by.

getParent

String getParent()

Get Id of parent category for this category.

Returns:

Id of parent category.

getSubCategories

List<VirtualCategoryPanel> getSubCategories()

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

Returns:

List of VirtualCategoryPanel of all children virtual categories.