cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.graphviz.options
Class GraphvizLayoutController

java.lang.Object
  org.netbeans.spi.options.OptionsPanelController
      cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.graphviz.options.GraphvizLayoutController

public final class GraphvizLayoutController
extends OptionsPanelController

Options controller of the Graphiz layout binary selection.

Nested Class Summary

Nested classes/interfaces inherited from class org.netbeans.spi.options.OptionsPanelController

OptionsPanelController.ContainerRegistration, OptionsPanelController.SubRegistration, OptionsPanelController.TopLevelRegistration

Field Summary

Fields inherited from class org.netbeans.spi.options.OptionsPanelController

PROP_CHANGED, PROP_HELP_CTX, PROP_VALID

Constructor Summary

GraphvizLayoutController()

Method Summary

void	addPropertyChangeListener(PropertyChangeListener l)
void	applyChanges()
void	cancel()
void	changed() Call to indicate that some field is changed in options panel.
JComponent	getComponent(Lookup masterLookup)
HelpCtx	getHelpCtx()
boolean	isChanged()
boolean	isValid()
void	removePropertyChangeListener(PropertyChangeListener l)
void	update()

Methods inherited from class org.netbeans.spi.options.OptionsPanelController

createAdvanced, getLookup, setCurrentSubcategory

Methods inherited from class java.lang.Object

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

Constructor Detail

GraphvizLayoutController

public GraphvizLayoutController()

Method Detail

update

public void update()

Specified by:

update in class OptionsPanelController

applyChanges

public void applyChanges()

Specified by:

applyChanges in class OptionsPanelController

cancel

public void cancel()

Specified by:

cancel in class OptionsPanelController

isValid

public boolean isValid()

Specified by:

isValid in class OptionsPanelController

isChanged

public boolean isChanged()

Specified by:

isChanged in class OptionsPanelController

getHelpCtx

public HelpCtx getHelpCtx()

Specified by:

getHelpCtx in class OptionsPanelController

getComponent

public JComponent getComponent(Lookup masterLookup)

Specified by:

getComponent in class OptionsPanelController

addPropertyChangeListener

public void addPropertyChangeListener(PropertyChangeListener l)

Specified by:

addPropertyChangeListener in class OptionsPanelController

removePropertyChangeListener

public void removePropertyChangeListener(PropertyChangeListener l)

Specified by:

removePropertyChangeListener in class OptionsPanelController

changed

public void changed()

Call to indicate that some field is changed in options panel.