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

java.lang.Object
  javax.swing.undo.UndoableEditSupport
      org.jgraph.graph.DefaultGraphModel
          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