Package org.svvrl.goal.gui.action

Class ProgressMeasureComplementAction

java.lang.Object

javax.swing.AbstractAction

org.svvrl.goal.gui.action.WindowAction<O>

org.svvrl.goal.gui.action.EditableAction<T,O>

org.svvrl.goal.gui.action.AutomatonOperationAction<FSA,FSA>

org.svvrl.goal.gui.action.AbstractComplementAction<ProgressMeasureConstruction>

org.svvrl.goal.gui.action.ProgressMeasureComplementAction

All Implemented Interfaces:

java.awt.event.ActionListener, java.beans.PropertyChangeListener, java.io.Serializable, java.lang.Cloneable, java.util.EventListener, javax.swing.Action, TabSwitchedListener

public class ProgressMeasureComplementAction
extends AbstractComplementAction<ProgressMeasureConstruction>

This is an action that complements an NBW by rank-based construction.

Author:

Ming-Hsien Tsai

See Also:

Serialized Form

Field Summary

Fields inherited from class org.svvrl.goal.gui.action.WindowAction

event

Fields inherited from class javax.swing.AbstractAction

changeSupport, enabled

Fields inherited from interface javax.swing.Action

ACCELERATOR_KEY, ACTION_COMMAND_KEY, DEFAULT, DISPLAYED_MNEMONIC_INDEX_KEY, LARGE_ICON_KEY, LONG_DESCRIPTION, MNEMONIC_KEY, NAME, SELECTED_KEY, SHORT_DESCRIPTION, SMALL_ICON

Constructor Summary

Constructors

Constructor	Description
ProgressMeasureComplementAction(Window win)	Constructor with an owner window of this action.

Method Summary

Modifier and Type	Method	Description
protected ProgressMeasureConstruction	getConstruction(FSA aut, Properties options)	Returns a new construction instance for complementing an NBW with custom options.
protected java.lang.Class<ProgressMeasureConstruction>	getConstructionClass()	Returns the class of the complementation construction used by this action.
int	getMnemonic()	Returns the mnemonic property of this action.
protected OptionsDialog<Properties>	getOptionsDialog(Window win)	Returns a dialog for configuring the complementation construction used by this action.
java.lang.String	getToolTip()	Returns the tooltip text of this action.

Methods inherited from class org.svvrl.goal.gui.action.AbstractComplementAction

execute, getProgressBarTitle, isApplicable, isProgressBarRequired, preProcess, propertyChange

Methods inherited from class org.svvrl.goal.gui.action.AutomatonOperationAction

getOutput, isApplicable, isInitialStateRequired, postProcess, setAutoLayout, setInitialStateRequired

Methods inherited from class org.svvrl.goal.gui.action.EditableAction

getInput, isReadOnlyApplicable

Methods inherited from class org.svvrl.goal.gui.action.WindowAction

actionPerformed, getAccelerator, getLargeIcon, getSmallIcon, getWindow, isHideProgressBarAfterExecution, isSelected, setHideProgressBarAfterExecution, setProgressBarRequired, tabSwitched

Methods inherited from class javax.swing.AbstractAction

addPropertyChangeListener, clone, firePropertyChange, getKeys, getPropertyChangeListeners, getValue, isEnabled, putValue, removePropertyChangeListener, setEnabled

Methods inherited from class java.lang.Object

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

Methods inherited from interface javax.swing.Action

accept

Constructor Details

ProgressMeasureComplementAction

public ProgressMeasureComplementAction(Window win)

Constructor with an owner window of this action.

Parameters:

win - the owner window of this action

Method Details

getMnemonic

public int getMnemonic()

Description copied from class: WindowAction

Returns the mnemonic property of this action.

Overrides:

getMnemonic in class WindowAction<FSA>

Returns:

the mnemonic property of this action

getToolTip

public java.lang.String getToolTip()

Description copied from class: WindowAction

Returns the tooltip text of this action.

Specified by:

getToolTip in class WindowAction<FSA>

Returns:

the tooltip text of this action

getConstruction

protected ProgressMeasureConstruction getConstruction(FSA aut, Properties options)

Description copied from class: AbstractComplementAction

Returns a new construction instance for complementing an NBW with custom options.

Specified by:

getConstruction in class AbstractComplementAction<ProgressMeasureConstruction>

Parameters:

aut - an NBW to be complemented

options - custom options for the returned construction, or null if there is no options

Returns:

a new construction instance for complementing aut with custom options options

getConstructionClass

protected java.lang.Class<ProgressMeasureConstruction> getConstructionClass()

Description copied from class: AbstractComplementAction

Returns the class of the complementation construction used by this action.

Specified by:

getConstructionClass in class AbstractComplementAction<ProgressMeasureConstruction>

Returns:

the class of the complementation construction used by this action

getOptionsDialog

protected OptionsDialog<Properties> getOptionsDialog(Window win)

Description copied from class: AbstractComplementAction

Returns a dialog for configuring the complementation construction used by this action.

Specified by:

getOptionsDialog in class AbstractComplementAction<ProgressMeasureConstruction>

Parameters:

win - the owner window of the returned dialog

Returns:

a dialog for configuring the complementation construction used by this action, or null if there is no options available