|
jInfer | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.skstrings.SKStringsFactory
public class SKStringsFactory
Factory for SKStrings
.
Field Summary | |
---|---|
static String |
DISPLAY_NAME
Name presented to user. |
static String |
NAME
Canonical name. |
static String |
PROPERTIES_K
|
static String |
PROPERTIES_K_DEFAULT
|
static String |
PROPERTIES_S
|
static String |
PROPERTIES_S_DEFAULT
|
static String |
PROPERTIES_STRATEGY
|
static String |
PROPERTIES_STRATEGY_DEFAULT
|
Constructor Summary | |
---|---|
SKStringsFactory()
|
Method Summary | ||
---|---|---|
|
create()
Create MergeConditionTester |
|
List<String> |
getCapabilities()
Returns the list of capabilities (strings) of this module. |
|
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. |
|
String |
getUserModuleDescription()
Text to be displayed to user in properties panel as a moderate description of module. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final String NAME
public static final String DISPLAY_NAME
public static final String PROPERTIES_S
public static final String PROPERTIES_S_DEFAULT
public static final String PROPERTIES_K
public static final String PROPERTIES_K_DEFAULT
public static final String PROPERTIES_STRATEGY
public static final String PROPERTIES_STRATEGY_DEFAULT
Constructor Detail |
---|
public SKStringsFactory()
Method Detail |
---|
public <T> MergeConditionTester<T> create()
MergeConditionTesterFactory
MergeConditionTester
create
in interface MergeConditionTesterFactory
T
- type of symbol of automaton to work with (alphabet)
public String getName()
NamedModule
getName
in interface NamedModule
public String getModuleDescription()
NamedModule
NamedModule.getDisplayName()
, but if the
module for example consists of more sub-modules, their names should be
listed here.
getModuleDescription
in interface NamedModule
public List<String> getCapabilities()
Capabilities
getCapabilities
in interface Capabilities
public String getUserModuleDescription()
UserModuleDescription
getUserModuleDescription
in interface UserModuleDescription
public String getDisplayName()
NamedModule
getDisplayName
in interface NamedModule
|
jInfer | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |