cz.cuni.mff.ksi.jinfer.functionalDependencies.newRepairer
Class RepairPickerUserInteractive

java.lang.Object
  cz.cuni.mff.ksi.jinfer.functionalDependencies.newRepairer.RepairPickerUserInteractive

All Implemented Interfaces:

NamedModule, RepairPicker

public class RepairPickerUserInteractive
extends Object
implements RepairPicker

Implementation of the RepairPicker representing user selection picker.

Field Summary

static String

NAME

Constructor Summary

RepairPickerUserInteractive()

Method Summary

static boolean	drawComponentAndWaitForGUI(RepairPickerComponent component) Draws component in the Repair picker window.
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

NAME

public static final String NAME

See Also:

Constant Field Values

Constructor Detail

RepairPickerUserInteractive

public RepairPickerUserInteractive()

Method Detail

getRepair

public RepairCandidate getRepair(RXMLTree tree)
                          throws InterruptedException

Description copied from interface: RepairPicker

Get the repair candidate that will be applied to the XML tree.

Specified by:

getRepair in interface RepairPicker

Parameters:

tree - Tree to be the repair candidate applied.

Returns:

RepairCandidate to be applied.

Throws:

InterruptedException

getName

public String getName()

Description copied from interface: NamedModule

Returns a user friendly yet unique name of the module.

Specified by:

getName in interface NamedModule

Returns:

Unique module name.

getDisplayName

public String getDisplayName()

Description copied from interface: NamedModule

Returns a user friendly name of the module. This name is not neccessary unique.

Specified by:

getDisplayName in interface NamedModule

Returns:

Displayable module name.

getModuleDescription

public String getModuleDescription()

Description copied from interface: NamedModule

Returns the information about this module's inner workings. Most of the time will be equal to a call to NamedModule.getDisplayName(), but if the module for example consists of more sub-modules, their names should be listed here.

Specified by:

getModuleDescription in interface NamedModule

Returns:

String describing inner structure of the module.

drawComponentAndWaitForGUI

public static boolean drawComponentAndWaitForGUI(RepairPickerComponent component)
                                          throws InterruptedException

Draws component in the Repair picker window. This function is synchronous. It returns when drawn component signals it.

Parameters:

component - Component with initialized instance of Visualizer.

Returns:

Value of true if the component signaled return, false if waiting was interrupted by another thread.

Throws:

InterruptedException - If the AutoEditor tab was closed.