org.processmining.plugins.declare.visualizing
Class GraphPane.MyModel

java.lang.Object
  extended by javax.swing.undo.UndoableEditSupport
      extended by org.jgraph.graph.DefaultGraphModel
          extended by org.processmining.plugins.declare.visualizing.GraphPane.MyModel
All Implemented Interfaces:
java.io.Serializable, org.jgraph.graph.GraphModel
Enclosing class:
GraphPane

public static class GraphPane.MyModel
extends org.jgraph.graph.DefaultGraphModel

See Also:
Serialized Form

Nested Class Summary
 
Nested classes/interfaces inherited from class org.jgraph.graph.DefaultGraphModel
org.jgraph.graph.DefaultGraphModel.EmptyIterator, org.jgraph.graph.DefaultGraphModel.GraphModelEdit, org.jgraph.graph.DefaultGraphModel.GraphModelLayerEdit
 
Field Summary
 
Fields inherited from class org.jgraph.graph.DefaultGraphModel
asksAllowsChildren, attributes, emptyIterator, listenerList, removeEmptyGroups, roots, transAddedCells, transEditAttrs, transEditCS, transEditPM, transRemovedCells, updateLevel
 
Fields inherited from class javax.swing.undo.UndoableEditSupport
compoundEdit, listeners, realSource
 
Constructor Summary
GraphPane.MyModel()
           
 
Method Summary
 boolean acceptsSource(java.lang.Object edge, java.lang.Object port)
           
 boolean acceptsTarget(java.lang.Object edge, java.lang.Object port)
           
 
Methods inherited from class org.jgraph.graph.DefaultGraphModel
addGraphModelListener, beginUpdate, cellsChanged, cloneCell, cloneCell, cloneCell, cloneCells, cloneUserObject, connect, contains, containsEdgeBetween, createEdit, createLayerEdit, createRemoveEdit, edges, edit, edit, endUpdate, execute, fireGraphChanged, getAll, getAttributes, getAttributes, getChild, getChildCount, getConnectionSet, getDescendants, getEdges, getEdges, getEdgesBetween, getGraphModelListeners, getIncomingEdges, getIndexOfChild, getIndexOfRoot, getOpposite, getOutgoingEdges, getParent, getRootAt, getRootCount, getRoots, getRoots, getRoots, getRootsAsCollection, getSource, getSourceVertex, getTarget, getTargetVertex, getTopmostCells, getUpdateLevel, getUserObject, getValue, handleAttributes, handleConnection, handleConnectionSet, handleInsert, handleParentMap, handleRemove, hasAncestorIn, insert, isEdge, isGroup, isLeaf, isPort, isRemoveEmptyGroups, isVertex, order, remove, removeGraphModelListener, setParent, setRemoveEmptyGroups, setSourcePort, setTargetPort, toBack, toFront, updateTransaction, valueForCellChanged
 
Methods inherited from class javax.swing.undo.UndoableEditSupport
_postEdit, addUndoableEditListener, createCompoundEdit, getUndoableEditListeners, postEdit, removeUndoableEditListener, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface org.jgraph.graph.GraphModel
addUndoableEditListener, removeUndoableEditListener
 

Constructor Detail

GraphPane.MyModel

public GraphPane.MyModel()
Method Detail

acceptsSource

public boolean acceptsSource(java.lang.Object edge,
                             java.lang.Object port)
Specified by:
acceptsSource in interface org.jgraph.graph.GraphModel
Overrides:
acceptsSource in class org.jgraph.graph.DefaultGraphModel

acceptsTarget

public boolean acceptsTarget(java.lang.Object edge,
                             java.lang.Object port)
Specified by:
acceptsTarget in interface org.jgraph.graph.GraphModel
Overrides:
acceptsTarget in class org.jgraph.graph.DefaultGraphModel