cz.cuni.mff.ksi.jinfer.autoeditor
Class AutoEditor

java.lang.Object
  cz.cuni.mff.ksi.jinfer.autoeditor.AutoEditor

public final class AutoEditor
extends Object

Contains static function for displaying visualized Automaton in NB GUI.

Method Summary

static void	closeTab() Closes the AutoEditor tab.
static boolean	drawComponentAndWaitForGUI(AbstractComponent component) Draws component in the AutoEditor tab.
static void	drawComponentAsync(AbstractComponent component) Asynchronously draws component in the AutoEditor tab.

Methods inherited from class java.lang.Object

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

Method Detail

drawComponentAsync

public static void drawComponentAsync(AbstractComponent component)

Asynchronously draws component in the AutoEditor tab. This function is asynchronous, which means that the drawing is not done in a thread which this function is executed in. So this function can return before the drawing is done.

Parameters:

component - Component with initialized instance of Visualizer.

drawComponentAndWaitForGUI

public static boolean drawComponentAndWaitForGUI(AbstractComponent component)
                                          throws InterruptedException

Draws component in the AutoEditor tab. 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.

closeTab

public static void closeTab()

Closes the AutoEditor tab.