|
jInfer | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectcz.cuni.mff.ksi.jinfer.functionalDependencies.newRepairer.RepairPickerImpl
public class RepairPickerImpl
Implementation of the RepairPicker representing picker which choose
repair candidate with the lowest weight.
| Field Summary | |
|---|---|
static String |
NAME
|
| Constructor Summary | |
|---|---|
RepairPickerImpl()
|
|
| Method Summary | |
|---|---|
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. |
RepairCandidate |
getRepair(RXMLTree tree)
Get the repair candidate that will be applied to the XML tree. |
| 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
| Constructor Detail |
|---|
public RepairPickerImpl()
| Method Detail |
|---|
public RepairCandidate getRepair(RXMLTree tree)
RepairPicker
getRepair in interface RepairPickertree - Tree to be the repair candidate applied.
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 | |||||||||