|
jInfer | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectcz.cuni.mff.ksi.jinfer.basicruledisplayer.BasicRuleDisplayer
public final class BasicRuleDisplayer
Helper class for displaying a list of rules.
| Field Summary |
|---|
| Fields inherited from interface cz.cuni.mff.ksi.jinfer.base.interfaces.RuleDisplayer |
|---|
RULE_DISPLAYER_DEFAULT, RULE_DISPLAYER_PROP |
| Constructor Summary | |
|---|---|
BasicRuleDisplayer()
|
|
| Method Summary | |
|---|---|
void |
createDisplayer(String panelName,
List<Element> rules)
Creates rule displayer window in which rules are displayed. |
String |
getDisplayName()
Returns a user friendly name of the module. |
String |
getModuleDescription()
Returns the information about this module's inner workings. |
String |
getName()
Returns a user friendly yet unique name of the module. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public BasicRuleDisplayer()
| Method Detail |
|---|
public void createDisplayer(String panelName,
List<Element> rules)
RuleDisplayer
createDisplayer in interface RuleDisplayerpanelName - Name of the rule displayer window.rules - Rules to be displayed in rule displayer.public String getName()
NamedModule
getName in interface NamedModulepublic String getDisplayName()
NamedModule
getDisplayName in interface NamedModulepublic String getModuleDescription()
NamedModuleNamedModule.getDisplayName(), but if the
module for example consists of more sub-modules, their names should be
listed here.
getModuleDescription in interface NamedModule
|
jInfer | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||