cz.cuni.mff.ksi.jinfer.iss
Class IDSetSearchImpl

java.lang.Object
  cz.cuni.mff.ksi.jinfer.iss.IDSetSearchImpl

All Implemented Interfaces:

IDSetSearch, NamedModule

public class IDSetSearchImpl
extends Object
implements IDSetSearch

Implementation of the ID Set Search service.

Constructor Summary

IDSetSearchImpl()

Method Summary

String	getDisplayName() Returns a user friendly name of the module.
String	getGraphVizInput(List<Element> grammar) Returns a graph representation of the specified grammar in GraphViz language.
String	getModuleDescription() Returns the information about this module's inner workings.
String	getName() Returns a user friendly yet unique name of the module.
void	showIDSetPanel(String panelName, List<Element> grammar) Shows a panel with tools to search for ID/IDREF attributes in the provided grammar.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

IDSetSearchImpl

public IDSetSearchImpl()

Method Detail

showIDSetPanel

public void showIDSetPanel(String panelName,
                           List<Element> grammar)

Description copied from interface: IDSetSearch

Shows a panel with tools to search for ID/IDREF attributes in the provided grammar.

Specified by:

showIDSetPanel in interface IDSetSearch

Parameters:

panelName - Title of the panel that will be displayed.

grammar - Grammar to work on.

getGraphVizInput

public String getGraphVizInput(List<Element> grammar)

Description copied from interface: IDSetSearch

Returns a graph representation of the specified grammar in GraphViz language. Please see GraphUtils.getGraphVizInput(AMModel) for details.

Specified by:

getGraphVizInput in interface IDSetSearch

Parameters:

grammar - Grammar to create GraphViz input from.

Returns:

String representation of the GraphViz input.

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.