Package org.svvrl.goal.gui.action

Class MSContainmentAction

java.lang.Object

javax.swing.AbstractAction

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

org.svvrl.goal.gui.action.EditableAction<FSA,java.lang.Void>

org.svvrl.goal.gui.action.MSContainmentAction

All Implemented Interfaces:

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

public class MSContainmentAction
extends EditableAction<FSA,java.lang.Void>

This is an action that tests if an automaton is contained in another automaton based on incremental Muller-Schupp 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
MSContainmentAction(Window win)	Constructs this action with an owner window.

Method Summary

Modifier and Type	Method	Description
java.lang.Void	execute(ProgressDialog dialog)	Performs the main part of this action.
java.lang.String	getToolTip()	Returns the tooltip text of this action.
boolean	isApplicable(Tab tab)	Returns true if this action is applicable to a specified tab.
protected boolean	isProgressBarRequired()	Returns true if the progress bar should be displayed.
void	preProcess(ProgressDialog dialog)	Performs the pre-process of this action.

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, getMnemonic, getOutput, getProgressBarTitle, getSmallIcon, getWindow, isHideProgressBarAfterExecution, isSelected, postProcess, 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

MSContainmentAction

public MSContainmentAction(Window win)

Constructs this action with an owner window.

Parameters:

win - the owner window of this action

Method Details

isApplicable

public boolean isApplicable(Tab tab)

Description copied from class: WindowAction

Returns true if this action is applicable to a specified tab. By default, this action is applicable to any tab.

Overrides:

isApplicable in class EditableAction<FSA,java.lang.Void>

Parameters:

tab - a tab

Returns:

true if this action is applicable to tab

getToolTip

public java.lang.String getToolTip()

Description copied from class: WindowAction

Returns the tooltip text of this action.

Specified by:

getToolTip in class WindowAction<java.lang.Void>

Returns:

the tooltip text of this action

isProgressBarRequired

protected boolean isProgressBarRequired()

Description copied from class: WindowAction

Returns true if the progress bar should be displayed. By default, the progress bar is not displayed.

Overrides:

isProgressBarRequired in class WindowAction<java.lang.Void>

Returns:

true if the progress bar should be displayed

preProcess

public void preProcess(ProgressDialog dialog) throws java.lang.Exception

Description copied from class: WindowAction

Performs the pre-process of this action. This method is mainly used to check the validity of the input.

Overrides:

preProcess in class EditableAction<FSA,java.lang.Void>

Parameters:

dialog - a progress dialog

Throws:

java.lang.Exception - if there is an error during the pre-process

execute

public java.lang.Void execute(ProgressDialog dialog) throws ExecutionException, FinishedException

Description copied from class: WindowAction

Performs the main part of this action.

Specified by:

execute in class WindowAction<java.lang.Void>

Parameters:

dialog - a progress dialog

Returns:

the output of this action

Throws:

ExecutionException - if there is an error during the execution

FinishedException - if the execution of this action is finished