verf.mdverif.sg
Class MDVerifSG

java.lang.Object
  extended by java.awt.Component
      extended by java.awt.Container
          extended by javax.swing.JComponent
              extended by javax.swing.JPanel
                  extended by verf.mdverif.sg.MDVerifSG
All Implemented Interfaces:
java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible

public class MDVerifSG
extends javax.swing.JPanel

Separation graph managing class.

Author:
Bc. Marek Gach
See Also:
Serialized Form

Nested Class Summary
 
Nested classes/interfaces inherited from class javax.swing.JPanel
javax.swing.JPanel.AccessibleJPanel
 
Nested classes/interfaces inherited from class javax.swing.JComponent
javax.swing.JComponent.AccessibleJComponent
 
Nested classes/interfaces inherited from class java.awt.Container
java.awt.Container.AccessibleAWTContainer
 
Nested classes/interfaces inherited from class java.awt.Component
java.awt.Component.AccessibleAWTComponent, java.awt.Component.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy
 
Field Summary
static int BFS_LIMIT
           
 
Fields inherited from class javax.swing.JComponent
accessibleContext, 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
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
MDVerifSG()
           
 
Method Summary
 void addNode(MDVerifSGNode node)
           
 void addTrans(MDVerifSGTrans trans)
           
 java.lang.Integer computeDistance(MDVerifSGNode node1, MDVerifSGNode node2)
           
 boolean containsNode(MDVerifSGNode node)
           
 java.util.Vector getAllSuccesors(MDVerifSGNode root)
          Allows to get succesors using tree edges
 java.util.Vector getAllSuccesors(MDVerifSGNode root, boolean isomorphic, boolean tree)
          Allows to get succesors using tree edges
 java.util.Vector getAllTrans()
          Allows to get all transitions.
 javax.swing.JPanel getPanel()
           
 java.util.Vector getSuccesors(MDVerifSGNode root)
          Allows to get succesors using tree edges
 int getTotalIsomorphicTransCount()
           
 int getTotalTransCount()
           
 int getTotalTreeTransCount()
           
 int getTotalUnreachableTransCount()
           
 void initComponent()
           
 int max_distance(MDVerifSGNode node1, MDVerifSGNode node2)
           
 int min_distance(MDVerifSGNode node1, MDVerifSGNode node2)
           
 void paint(java.awt.Graphics g)
           
 void printInfo()
           
 void reinit()
           
 void removeNode(MDVerifSGNode node)
          Removes node from SG together with all its transitions.
 void update(java.awt.Graphics g)
           
 
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, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paintBorder, paintComponent, paintChildren, paintImmediately, paintImmediately, print, printAll, printBorder, printComponent, printChildren, 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
 
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, transferFocusBackward, transferFocusDownCycle, validate, validateTree
 
Methods inherited from class java.awt.Component
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, 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, hide, checkImage, checkImage, 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, transferFocusUpCycle
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

BFS_LIMIT

public static final int BFS_LIMIT
See Also:
Constant Field Values
Constructor Detail

MDVerifSG

public MDVerifSG()
Method Detail

getPanel

public javax.swing.JPanel getPanel()

reinit

public void reinit()

initComponent

public void initComponent()

max_distance

public int max_distance(MDVerifSGNode node1,
                        MDVerifSGNode node2)

min_distance

public int min_distance(MDVerifSGNode node1,
                        MDVerifSGNode node2)

update

public void update(java.awt.Graphics g)
Overrides:
update in class javax.swing.JComponent

paint

public void paint(java.awt.Graphics g)
Overrides:
paint in class javax.swing.JComponent

addNode

public void addNode(MDVerifSGNode node)

addTrans

public void addTrans(MDVerifSGTrans trans)

containsNode

public boolean containsNode(MDVerifSGNode node)

getSuccesors

public java.util.Vector getSuccesors(MDVerifSGNode root)
Allows to get succesors using tree edges

Parameters:
root - parent mode for succesors.
Returns:
Vector of succesors

getAllSuccesors

public java.util.Vector getAllSuccesors(MDVerifSGNode root)
Allows to get succesors using tree edges

Parameters:
root - Parent node for succesors.
Returns:
Returns all succesor of specified SG node.

getAllSuccesors

public java.util.Vector getAllSuccesors(MDVerifSGNode root,
                                        boolean isomorphic,
                                        boolean tree)
Allows to get succesors using tree edges

Parameters:
root - Parent node for succesors.
Returns:
Vector containing nodes reachable using tree edges.

printInfo

public void printInfo()

computeDistance

public java.lang.Integer computeDistance(MDVerifSGNode node1,
                                         MDVerifSGNode node2)

removeNode

public void removeNode(MDVerifSGNode node)
Removes node from SG together with all its transitions.

Parameters:
node - Node which is going to be removed.

getTotalTransCount

public int getTotalTransCount()

getTotalIsomorphicTransCount

public int getTotalIsomorphicTransCount()

getTotalTreeTransCount

public int getTotalTreeTransCount()

getTotalUnreachableTransCount

public int getTotalUnreachableTransCount()

getAllTrans

public java.util.Vector getAllTrans()
Allows to get all transitions.

Returns:
Vector of all transtions.