cz.cuni.mff.ksi.jinfer.base.utils
Class IDSetSearchHelper

java.lang.Object
  cz.cuni.mff.ksi.jinfer.base.utils.IDSetSearchHelper

public final class IDSetSearchHelper
extends Object

Logic for displaying panel for ID/IDREF attributes search.

Method Summary

static void	generateGraphVizInput(List<Element> grammar, File file) Generates a graph representation of the specified grammar in GraphViz language and writes it to the specified file.
static void	showISSPanelAsync(String panelName, List<Element> grammar) Shows an ISS panel of provided name, based on the provided grammar.

Methods inherited from class java.lang.Object

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

Method Detail

showISSPanelAsync

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

Shows an ISS panel of provided name, based on the provided grammar.

Parameters:

panelName - Title of the panel.

grammar - Grammar to work on.

generateGraphVizInput

public static void generateGraphVizInput(List<Element> grammar,
                                         File file)

Generates a graph representation of the specified grammar in GraphViz language and writes it to the specified file.

Parameters:

grammar - Grammar to create graph representation from.

file - File to write GV representation to.