Package org.processmining.objectcentricconstraintchecking.algorithms.editor

Class GraphConfigDialog

  • All Implemented Interfaces:
    java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants
    public class GraphConfigDialog
extends javax.swing.JDialog
    See Also:
    Serialized Form

    • Nested Class Summary

      • Nested classes/interfaces inherited from class javax.swing.JDialog

        javax.swing.JDialog.AccessibleJDialog

      • Nested classes/interfaces inherited from class java.awt.Dialog

        java.awt.Dialog.AccessibleAWTDialog, java.awt.Dialog.ModalExclusionType, java.awt.Dialog.ModalityType

      • Nested classes/interfaces inherited from class java.awt.Window

        java.awt.Window.AccessibleAWTWindow, java.awt.Window.Type

      • 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

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      protected void applyValues()  
      void configAnalysisGraph​(mxGraph graph, mxGraphGenerator generator, java.util.Map<java.lang.String,​java.lang.Object> props)  
      void configureLayout​(mxGraph graph, mxGraphProperties.GraphType graphType, mxAnalysisGraph aGraph)  
      int getEndVertexValue()  
      float getGridSpacing()  
      float getGroupSpacing()  
      int getMaxWeight()  
      int getMinWeight()  
      int getNumBranches()  
      int getNumColumns()  
      int getNumEdges()  
      int getNumNodes()  
      int getNumRows()  
      int getNumVertexesInBranch()  
      int getNumVertexesLeft()  
      int getNumVertexesRight()  
      int getStartVertexValue()  
      int getValence()  
      boolean isAllowMultipleEdges()  
      boolean isAllowSelfLoops()  
      boolean isArrows()  
      boolean isForceConnected()  
      boolean isWeighted()  
      void setAllowMultipleEdges​(boolean allowMultipleEdges)  
      void setAllowSelfLoops​(boolean allowSelfLoops)  
      void setArrows​(boolean arrows)  
      void setEndVertexValue​(int endVertexValue)  
      void setForceConnected​(boolean forceConnected)  
      void setGridSpacing​(float gridSpacing)  
      void setGroupSpacing​(float groupSpacing)  
      void setMaxWeight​(int maxWeight)  
      void setMinWeight​(int minWeight)  
      void setNumBranches​(int numBranches)  
      void setNumColumns​(int numColumns)  
      void setNumEdges​(int numEdges)  
      void setNumNodes​(int numNodes)  
      void setNumRows​(int numRows)  
      void setNumVertexesInBranch​(int numVertexesInBranch)  
      void setNumVertexesLeft​(int numVertexesLeft)  
      void setNumVertexesRight​(int numVertexesRight)  
      void setStartVertexValue​(int startVertexValue)  
      void setValence​(int valence)  
      void setWeighted​(boolean weighted)  

      • Methods inherited from class javax.swing.JDialog

        addImpl, createRootPane, dialogInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getGraphics, getJMenuBar, getLayeredPane, getRootPane, getTransferHandler, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, repaint, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, setTransferHandler, update

      • Methods inherited from class java.awt.Dialog

        addNotify, getModalityType, getTitle, hide, isModal, isResizable, isUndecorated, setBackground, setModal, setModalityType, setOpacity, setResizable, setShape, setTitle, setUndecorated, setVisible, show, toBack

      • Methods inherited from class java.awt.Window

        addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBackground, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getIconImages, getInputContext, getListeners, getLocale, getModalExclusionType, getMostRecentFocusOwner, getOpacity, getOwnedWindows, getOwner, getOwnerlessWindows, getShape, getToolkit, getType, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isAutoRequestFocus, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isOpaque, isShowing, isValidateRoot, pack, paint, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeNotify, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setAutoRequestFocus, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImage, setIconImages, setLocation, setLocation, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, setType, toFront

      • Methods inherited from class java.awt.Container

        add, add, add, add, add, addContainerListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getMousePosition, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, 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, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, requestFocus, requestFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, requestFocusInWindow, resize, resize, revalidate, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setMaximumSize, setMixingCutoutShape, setName, setPreferredSize, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • numNodes

        protected int numNodes
        Number of nodes

      • numEdges

        protected int numEdges
        Number of edges

      • valence

        protected int valence
        Valence

      • numRows

        protected int numRows
        Number of rows for a grid graph

      • numVertexesInBranch

        protected int numVertexesInBranch

      • numColumns

        protected int numColumns
        Number of columns for a grid graph

      • minWeight

        protected int minWeight

      • maxWeight

        protected int maxWeight

      • numVertexesLeft

        protected int numVertexesLeft
        Number of vertexes for the left group in a bipartite graph

      • numVertexesRight

        protected int numVertexesRight
        Number of vertexes for the right group in a bipartite graph

      • startVertexValue

        protected int startVertexValue
        The start vertex (by value) for various algorithms

      • endVertexValue

        protected int endVertexValue
        The end vertex (by value) for various algorithms (mostly pathfinding)

      • numBranches

        protected int numBranches

      • arrows

        protected boolean arrows
        If set, arrowheads are drawn

      • weighted

        protected boolean weighted

      • allowSelfLoops

        protected boolean allowSelfLoops
        If set, self-loops are allowed during graph generation

      • allowMultipleEdges

        protected boolean allowMultipleEdges
        If set, parallel edges are allowed during graph generation

      • forceConnected

        protected boolean forceConnected
        If set, the generated graph will be always connected

      • groupSpacing

        protected float groupSpacing
        Spacing for groups in a bipartite graph

      • gridSpacing

        protected float gridSpacing
        Grid spacing for a grid graph

      • insertGraph

        protected boolean insertGraph

      • maxTreeNodeChildren

        protected javax.swing.JTextField maxTreeNodeChildren

      • numNodesField

        protected javax.swing.JTextField numNodesField

      • numEdgesField

        protected javax.swing.JTextField numEdgesField

      • valenceField

        protected javax.swing.JTextField valenceField

      • numRowsField

        protected javax.swing.JTextField numRowsField

      • numColumnsField

        protected javax.swing.JTextField numColumnsField

      • gridSpacingField

        protected javax.swing.JTextField gridSpacingField

      • numVertexesLeftField

        protected javax.swing.JTextField numVertexesLeftField

      • numVertexesRightField

        protected javax.swing.JTextField numVertexesRightField

      • groupSpacingField

        protected javax.swing.JTextField groupSpacingField

      • arrowsBox

        protected javax.swing.JCheckBox arrowsBox

      • startVertexValueField

        protected javax.swing.JTextField startVertexValueField

      • endVertexValueField

        protected javax.swing.JTextField endVertexValueField

      • selfLoopBox

        protected javax.swing.JCheckBox selfLoopBox

      • multipleEdgeBox

        protected javax.swing.JCheckBox multipleEdgeBox

      • forceConnectedBox

        protected javax.swing.JCheckBox forceConnectedBox

      • weightedBox

        protected javax.swing.JCheckBox weightedBox

      • maxWeightField

        protected javax.swing.JTextField maxWeightField

      • minWeightField

        protected javax.swing.JTextField minWeightField

      • numBranchesField

        protected javax.swing.JTextField numBranchesField

      • numVertexesInBranchField

        protected javax.swing.JTextField numVertexesInBranchField

    • Method Detail

      • getNumVertexesInBranch

        public int getNumVertexesInBranch()

      • setNumVertexesInBranch

        public void setNumVertexesInBranch​(int numVertexesInBranch)

      • getMinWeight

        public int getMinWeight()

      • setMinWeight

        public void setMinWeight​(int minWeight)

      • getMaxWeight

        public int getMaxWeight()

      • setMaxWeight

        public void setMaxWeight​(int maxWeight)

      • getNumBranches

        public int getNumBranches()

      • setNumBranches

        public void setNumBranches​(int numBranches)

      • configAnalysisGraph

        public void configAnalysisGraph​(mxGraph graph,
                                mxGraphGenerator generator,
                                java.util.Map<java.lang.String,​java.lang.Object> props)

      • applyValues

        protected void applyValues()

      • setAllowMultipleEdges

        public void setAllowMultipleEdges​(boolean allowMultipleEdges)

      • setAllowSelfLoops

        public void setAllowSelfLoops​(boolean allowSelfLoops)

      • setArrows

        public void setArrows​(boolean arrows)

      • setEndVertexValue

        public void setEndVertexValue​(int endVertexValue)

      • setForceConnected

        public void setForceConnected​(boolean forceConnected)

      • setGridSpacing

        public void setGridSpacing​(float gridSpacing)

      • setGroupSpacing

        public void setGroupSpacing​(float groupSpacing)

      • setNumColumns

        public void setNumColumns​(int numColumns)
        Parameters:
        insertIntoModel - The insertIntoModel to set.

      • setNumEdges

        public void setNumEdges​(int numEdges)
        Parameters:
        numEdges - The numEdges to set.

      • setNumNodes

        public void setNumNodes​(int numNodes)
        Parameters:
        numNodes - The numNodes to set.

      • setNumRows

        public void setNumRows​(int numRows)

      • setNumVertexesLeft

        public void setNumVertexesLeft​(int numVertexesLeft)

      • setNumVertexesRight

        public void setNumVertexesRight​(int numVertexesRight)

      • setStartVertexValue

        public void setStartVertexValue​(int startVertexValue)

      • setValence

        public void setValence​(int valence)

      • getEndVertexValue

        public int getEndVertexValue()

      • getGridSpacing

        public float getGridSpacing()

      • getGroupSpacing

        public float getGroupSpacing()

      • getNumColumns

        public int getNumColumns()

      • getNumEdges

        public int getNumEdges()

      • getNumNodes

        public int getNumNodes()

      • getNumRows

        public int getNumRows()

      • getNumVertexesLeft

        public int getNumVertexesLeft()

      • getNumVertexesRight

        public int getNumVertexesRight()

      • getStartVertexValue

        public int getStartVertexValue()

      • getValence

        public int getValence()

      • isAllowMultipleEdges

        public boolean isAllowMultipleEdges()

      • isAllowSelfLoops

        public boolean isAllowSelfLoops()

      • isArrows

        public boolean isArrows()

      • isForceConnected

        public boolean isForceConnected()

      • isWeighted

        public boolean isWeighted()

      • setWeighted

        public void setWeighted​(boolean weighted)