org.ginsim.servicegui.export.cadp

Class CADPExportConfigPanel

java.lang.Object

java.awt.Component

java.awt.Container

javax.swing.JComponent

javax.swing.JPanel

org.ginsim.gui.utils.dialog.stackdialog.AbstractStackDialogHandler

org.ginsim.servicegui.export.cadp.CADPExportConfigPanel

All Implemented Interfaces:

ImageObserver, MenuContainer, Serializable, Accessible, StackDialogHandler, CompositionSpecificationDialog

public class CADPExportConfigPanel
extends AbstractStackDialogHandler
implements CompositionSpecificationDialog

Main dialog for CADP export

Author:

Nuno D. Mendes

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class javax.swing.JPanel

JPanel.AccessibleJPanel

Nested classes/interfaces inherited from class javax.swing.JComponent

JComponent.AccessibleJComponent

Nested classes/interfaces inherited from class java.awt.Container

Container.AccessibleAWTContainer

Nested classes/interfaces inherited from class java.awt.Component

Component.AccessibleAWTComponent, Component.BaselineResizeBehavior, Component.BltBufferStrategy, Component.FlipBufferStrategy

Field Summary

Fields inherited from class org.ginsim.gui.utils.dialog.stackdialog.AbstractStackDialogHandler

stack

Fields inherited from class javax.swing.JComponent

listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW

Fields inherited from class java.awt.Component

accessibleContext, BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

Constructors

Constructor and Description
CADPExportConfigPanel(CADPExportConfig config, org.ginsim.servicegui.export.cadp.CADPExportAction action)

Method Summary

Modifier and Type	Method and Description
void	addNeighbour(int m, int n)
boolean	areCompatibleStableStatesDiscernible()
boolean	areNeighbours(int m, int n)
void	fireIntegrationFunctionsChanged()
void	fireIntegrationMappingChange()
List<List<byte[]>>	getCompatibleStableStates()
RegulatoryGraph	getGraph()
Collection<Map.Entry<RegulatoryNode,Integer>>	getInfluencedModuleInputs(RegulatoryNode proper, int moduleIndex)
List<RegulatoryNode>	getMappedNodes()
Collection<Map.Entry<RegulatoryNode,Integer>>	getMappedToModuleArguments(RegulatoryNode input, int moduleIndex)
IntegrationFunctionMapping	getMapping()
int	getNumberInstances()
List<List<byte[]>>	getReducedCompatibleStableStates()
List<byte[]>	getStableStates()
boolean	hasNeihgbours(int m)
protected void	init()
boolean	isTrulyMapped(RegulatoryNode node, int m)
void	removeNeighbour(int m, int n)
boolean	run()
void	setAsMapped(RegulatoryNode node)
void	unsetAsMapped(RegulatoryNode node)
void	updateNumberInstances(int instances)

Methods inherited from class org.ginsim.gui.utils.dialog.stackdialog.AbstractStackDialogHandler

close, getDefaultSize, getMainComponent, setStackDialog

Methods inherited from class javax.swing.JPanel

getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI

Methods inherited from class javax.swing.JComponent

addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentGraphics, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getPreferredSize, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, hide, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingOrigin, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, addImpl, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, transferFocusDownCycle, validate, validateTree

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle

Methods inherited from class java.lang.Object

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

Constructor Detail

CADPExportConfigPanel

public CADPExportConfigPanel(CADPExportConfig config,
                             org.ginsim.servicegui.export.cadp.CADPExportAction action)

Method Detail

run

public boolean run()

Specified by:

run in interface StackDialogHandler

init

protected void init()

Specified by:

init in class AbstractStackDialogHandler

getNumberInstances

public int getNumberInstances()

Specified by:

getNumberInstances in interface CompositionSpecificationDialog

updateNumberInstances

public void updateNumberInstances(int instances)

Specified by:

updateNumberInstances in interface CompositionSpecificationDialog

setAsMapped

public void setAsMapped(RegulatoryNode node)

Specified by:

setAsMapped in interface CompositionSpecificationDialog

unsetAsMapped

public void unsetAsMapped(RegulatoryNode node)

Specified by:

unsetAsMapped in interface CompositionSpecificationDialog

getMappedNodes

public List<RegulatoryNode> getMappedNodes()

Specified by:

getMappedNodes in interface CompositionSpecificationDialog

getGraph

public RegulatoryGraph getGraph()

Specified by:

getGraph in interface CompositionSpecificationDialog

addNeighbour

public void addNeighbour(int m,
                         int n)

Specified by:

addNeighbour in interface CompositionSpecificationDialog

removeNeighbour

public void removeNeighbour(int m,
                            int n)

Specified by:

removeNeighbour in interface CompositionSpecificationDialog

hasNeihgbours

public boolean hasNeihgbours(int m)

Specified by:

hasNeihgbours in interface CompositionSpecificationDialog

getMapping

public IntegrationFunctionMapping getMapping()

Specified by:

getMapping in interface CompositionSpecificationDialog

isTrulyMapped

public boolean isTrulyMapped(RegulatoryNode node,
                             int m)

Specified by:

isTrulyMapped in interface CompositionSpecificationDialog

getInfluencedModuleInputs

public Collection<Map.Entry<RegulatoryNode,Integer>> getInfluencedModuleInputs(RegulatoryNode proper,
                                                                               int moduleIndex)

Specified by:

getInfluencedModuleInputs in interface CompositionSpecificationDialog

getMappedToModuleArguments

public Collection<Map.Entry<RegulatoryNode,Integer>> getMappedToModuleArguments(RegulatoryNode input,
                                                                                int moduleIndex)

Specified by:

getMappedToModuleArguments in interface CompositionSpecificationDialog

getStableStates

public List<byte[]> getStableStates()

getCompatibleStableStates

public List<List<byte[]>> getCompatibleStableStates()

areCompatibleStableStatesDiscernible

public boolean areCompatibleStableStatesDiscernible()

getReducedCompatibleStableStates

public List<List<byte[]>> getReducedCompatibleStableStates()

areNeighbours

public boolean areNeighbours(int m,
                             int n)

Specified by:

areNeighbours in interface CompositionSpecificationDialog

fireIntegrationFunctionsChanged

public void fireIntegrationFunctionsChanged()

fireIntegrationMappingChange

public void fireIntegrationMappingChange()

Specified by:

fireIntegrationMappingChange in interface CompositionSpecificationDialog