|
TWE 2.4-1 API | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjavax.swing.undo.UndoableEditSupport
org.enhydra.jawe.components.graph.JaWEGraphModel
A process editor implementation of a graph model.
Nested Class Summary | |
static class |
JaWEGraphModel.EmptyIterator
|
class |
JaWEGraphModel.GraphModelEdit
An implementation of GraphModelChange that can be added to the model event. |
class |
JaWEGraphModel.GraphModelLayerEdit
An implementation of GraphViewChange. |
Field Summary | |
protected boolean |
asksAllowsChildren
Indicates whether isLeaf is based on a node's allowsChildren value. |
protected java.util.Iterator |
emptyIterator
Default instance of an empty iterator. |
protected javax.swing.event.EventListenerList |
listenerList
The list of listeners that listen to the model. |
protected java.util.List |
roots
Set that contains all root cells of this model. |
Fields inherited from class javax.swing.undo.UndoableEditSupport |
compoundEdit, listeners, realSource, updateLevel |
Constructor Summary | |
JaWEGraphModel()
Constructs a model that is not an attribute store. |
Method Summary | |
boolean |
acceptsSource(java.lang.Object edge,
java.lang.Object port)
Returns true if port is a valid source
for edge . |
boolean |
acceptsTarget(java.lang.Object edge,
java.lang.Object port)
Returns true if port is a valid target
for edge . |
void |
addGraphModelListener(org.jgraph.event.GraphModelListener l)
Adds a listener for the GraphModelEvent posted after the graph changes. |
void |
cellsChanged(java.lang.Object[] cells)
|
static java.lang.Object |
cloneCell(org.jgraph.graph.GraphModel model,
java.lang.Object cell)
Returns a deep clone of the specified cell, including all children. |
static java.lang.Object[] |
cloneCell(org.jgraph.graph.GraphModel model,
java.lang.Object[] cells)
Returns a deep clone of the specified cells, including all children. |
protected java.lang.Object |
cloneCell(java.lang.Object cellObj,
java.lang.Object parent)
Creates a shallow copy of the cell including a copy of the user object and a reference to the parent (which is a clone of the old parent or null). |
java.util.Map |
cloneCells(java.lang.Object[] cells)
Returns a map of (cell, clone)-pairs for all cells
and their children. |
protected java.lang.Object |
cloneUserObject(java.lang.Object userObject)
Clones the user object. |
protected void |
connect(java.lang.Object edge,
java.lang.Object port,
boolean isSource,
boolean insert)
Connects or disconnects the edge and port in this model based on remove . |
boolean |
contains(java.lang.Object node)
Returns true if node or one of its
ancestors is in the model. |
static boolean |
containsEdgeBetween(org.jgraph.graph.GraphModel model,
java.lang.Object v1,
java.lang.Object v2)
Returns true if the given vertices are conntected by a single edge in this document. |
protected JaWEGraphModel.GraphModelEdit |
createCellEdit(java.util.Map attributes,
org.jgraph.graph.ConnectionSet cs,
org.jgraph.graph.ParentMap pm,
javax.swing.undo.UndoableEdit[] edits,
java.lang.String name)
Returns an edit that represents a change. |
protected JaWEGraphModel.GraphModelEdit |
createEdit(java.lang.Object[] inserted,
java.lang.Object[] removed,
java.util.Map attributes,
org.jgraph.graph.ConnectionSet cs,
org.jgraph.graph.ParentMap pm,
java.lang.String name)
|
protected JaWEGraphModel.GraphModelEdit |
createInsertEdit(java.lang.Object[] cells,
java.util.Map attributeMap,
org.jgraph.graph.ConnectionSet cs,
org.jgraph.graph.ParentMap pm,
javax.swing.undo.UndoableEdit[] edits,
java.lang.String name)
Returns an edit that represents an insert. |
protected JaWEGraphModel.GraphModelLayerEdit |
createLayerEdit(java.lang.Object[] cells,
int layer)
|
protected JaWEGraphModel.GraphModelEdit |
createRemoveAndCellEdit(java.lang.Object[] cells,
java.util.Map attributes,
java.lang.String name)
Returns an edit that represents a remove and a change. |
protected JaWEGraphModel.GraphModelEdit |
createRemoveEdit(java.lang.Object[] cells,
java.lang.String name)
Returns an edit that represents a remove. |
java.util.Iterator |
edges(java.lang.Object port)
Returns an iterator of the edges connected to port .
|
void |
edit(java.util.Map attributes,
org.jgraph.graph.ConnectionSet cs,
org.jgraph.graph.ParentMap pm,
javax.swing.undo.UndoableEdit[] edits)
Applies attributes and the connection changes to
the model. |
void |
editFonts(java.util.Map attributes)
Used for editing font sizes without haveing an undo action set. |
protected void |
fireGraphChanged(java.lang.Object source,
org.jgraph.event.GraphModelEvent.GraphModelChange edit)
|
static java.lang.Object[] |
getAll(org.jgraph.graph.GraphModel model)
Returns all cells of the model in an array. |
static java.util.List |
getAllActivitiesInModel(org.jgraph.graph.GraphModel model)
Gets all existing activities within model. |
static java.util.List |
getAllBubblesInModel(org.jgraph.graph.GraphModel model)
Gets all existing start/end bubbles within model. |
static java.util.List |
getAllCellsInModel(org.jgraph.graph.GraphModel model)
Gets all existing cells within model. |
static java.util.List |
getAllParticipantsInModel(org.jgraph.graph.GraphModel model)
Gets all existing participants within model. |
static java.util.List |
getAllTransitionsInModel(org.jgraph.graph.GraphModel model)
Gets all existing transitions within model. |
org.jgraph.graph.AttributeMap |
getAttributes(java.lang.Object node)
Returns a Map that represents the attributes for
the specified cell. |
java.lang.Object |
getChild(java.lang.Object parent,
int index)
Returns the child of parent at index index in the parent's child array. |
int |
getChildCount(java.lang.Object parent)
Returns the number of children of parent. |
static java.util.List |
getDescendantList(org.jgraph.graph.GraphModel model,
java.lang.Object[] cells)
|
static java.util.List |
getEdges(org.jgraph.graph.GraphModel model,
java.lang.Object[] cells)
Returns the set of all connected edges to cells or their
descendants. |
static java.lang.Object[] |
getEdges(org.jgraph.graph.GraphModel model,
java.lang.Object cell,
boolean incoming)
Returns the incoming or outgoing edges for cell. |
static java.lang.Object[] |
getEdgesBetween(org.jgraph.graph.GraphModel model,
java.lang.Object cell1,
java.lang.Object cell2,
boolean directed)
Returns the edges between two specified ports or two specified vertices. |
org.jgraph.event.GraphModelListener[] |
getGraphModelListeners()
Return an array of all GraphModelListeners that were added to this model. |
static java.lang.Object[] |
getIncomingEdges(org.jgraph.graph.GraphModel model,
java.lang.Object cell)
Returns the incoming edges for cell. |
int |
getIndexOfChild(java.lang.Object parent,
java.lang.Object child)
Returns the index of child in parent. |
int |
getIndexOfRoot(java.lang.Object root)
Returns the index of root in the model.
|
static java.lang.Object |
getOpposite(org.jgraph.graph.GraphModel model,
java.lang.Object edge,
java.lang.Object cell)
|
static java.lang.Object[] |
getOutgoingEdges(org.jgraph.graph.GraphModel model,
java.lang.Object cell)
Returns the outgoing edges for cell. |
java.lang.Object |
getParent(java.lang.Object child)
Returns the parent of child in the model. |
java.lang.Object |
getRootAt(int index)
Returns the root at index index in the model. |
int |
getRootCount()
Returns the number of roots in the model. |
static java.util.Set |
getRootParticipants(org.jgraph.graph.GraphModel model)
Returns the root participants of the specified model as a set. |
static java.lang.Object[] |
getRoots(org.jgraph.graph.GraphModel model)
Returns the roots of the specified model as an array. |
static java.lang.Object[] |
getRoots(org.jgraph.graph.GraphModel model,
java.lang.Object[] cells)
Returns the roots in cells by checking if their parent is
null . |
java.lang.Object |
getSource(java.lang.Object edge)
Returns the source of edge . |
static java.lang.Object |
getSourceVertex(org.jgraph.graph.GraphModel model,
java.lang.Object edge)
Returns the source vertex of the edge by calling getParent on getSource on the specified model. |
java.lang.Object |
getTarget(java.lang.Object edge)
Returns the target of edge . |
static java.lang.Object |
getTargetVertex(org.jgraph.graph.GraphModel model,
java.lang.Object edge)
Returns the target vertex of the edge by calling getParent on getTarget on the specified model. |
static java.lang.Object[] |
getTopmostCells(org.jgraph.graph.GraphModel model,
java.lang.Object[] cells)
|
static java.lang.Object |
getUserObject(java.lang.Object cell)
Deprecated. Use GraphModel.getValue(Object) instead. |
java.lang.Object |
getValue(java.lang.Object cell)
|
protected java.util.Map |
handleAttributes(java.util.Map attributes)
Applies attributes to the cells specified as keys.
|
protected void |
handleConnection(org.jgraph.graph.ConnectionSet.Connection c)
Inserts the specified connection into the model. |
protected org.jgraph.graph.ConnectionSet |
handleConnectionSet(org.jgraph.graph.ConnectionSet cs)
Applies connectionSet to the model. |
protected java.lang.Object[] |
handleInsert(java.lang.Object[] cells)
Inserts cells into the model. |
protected org.jgraph.graph.ParentMap |
handleParentMap(org.jgraph.graph.ParentMap parentMap)
Applies cells to the model. |
protected java.lang.Object[] |
handleRemove(java.lang.Object[] cells)
Removes cells from the model. |
static boolean |
hasAncestorIn(org.jgraph.graph.GraphModel model,
java.util.Set parents,
java.lang.Object child)
Returns true if the specified child has an ancestor in parents. |
void |
insert(java.lang.Object[] pRoots,
java.util.Map pAttributes,
org.jgraph.graph.ConnectionSet pCs,
org.jgraph.graph.ParentMap pPm,
javax.swing.undo.UndoableEdit[] pEdits)
Inserts the roots and connections into the model.
|
void |
insertAndEdit(java.lang.Object[] pRoots,
java.util.Map pAttributes,
org.jgraph.graph.ConnectionSet pCs,
org.jgraph.graph.ParentMap pPm,
javax.swing.undo.UndoableEdit[] pEdits,
java.lang.String pUndoMsg)
Inserts the roots and connections into the model.
|
boolean |
isEdge(java.lang.Object edge)
Returns true if edge is a valid edge. |
static boolean |
isGroup(org.jgraph.graph.GraphModel model,
java.lang.Object cell)
Checks whether the cell has at least one child which is not a port. |
boolean |
isLeaf(java.lang.Object node)
Returns whether the specified node is a leaf node. |
boolean |
isPort(java.lang.Object port)
Returns true if port is a valid
port, possibly supporting edge connection. |
static java.lang.Object[] |
order(org.jgraph.graph.GraphModel model,
java.lang.Object[] cells)
Orders cells so that they reflect the model order. |
private void |
readObject(java.io.ObjectInputStream s)
|
void |
remove(java.lang.Object[] pRoots)
Removes cells from the model.
|
void |
removeAndEdit(java.lang.Object[] pRoots,
java.util.Map pAttributes,
java.lang.String pName)
Removes cells from the model and edits cells given in
a propertyMap . |
void |
removeBubbles(java.lang.Object[] bubbles,
org.jgraph.event.GraphModelListener gml)
Used for editing font sizes without haveing an undo action set. |
void |
removeGraphModelListener(org.jgraph.event.GraphModelListener l)
Removes a listener previously added with addGraphModelListener(). |
static void |
setSourcePort(org.jgraph.graph.GraphModel model,
java.lang.Object edge,
java.lang.Object port)
Helper methods that connects the source of edge to
port in model. |
static void |
setTargetPort(org.jgraph.graph.GraphModel model,
java.lang.Object edge,
java.lang.Object port)
Helper methods that connects the source of edge to
port in model. |
void |
toBack(java.lang.Object[] cells)
Sends cells to back. |
void |
toFront(java.lang.Object[] cells)
Brings cells to front. |
java.lang.Object |
valueForCellChanged(java.lang.Object cell,
java.lang.Object newValue)
Applies the new value to the specified cell. |
Methods inherited from class javax.swing.undo.UndoableEditSupport |
_postEdit, addUndoableEditListener, beginUpdate, createCompoundEdit, endUpdate, getUndoableEditListeners, getUpdateLevel, 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 |
Field Detail |
protected transient javax.swing.event.EventListenerList listenerList
protected transient java.util.Iterator emptyIterator
protected java.util.List roots
protected boolean asksAllowsChildren
Constructor Detail |
public JaWEGraphModel()
Method Detail |
public int getRootCount()
getRootCount
in interface org.jgraph.graph.GraphModel
public java.lang.Object getRootAt(int index)
getRootAt
in interface org.jgraph.graph.GraphModel
public int getIndexOfRoot(java.lang.Object root)
root
in the model.
If root is null
, returns -1.
getIndexOfRoot
in interface org.jgraph.graph.GraphModel
root
- a root in the model, obtained from this data source
null
public boolean contains(java.lang.Object node)
true
if node
or one of its
ancestors is in the model.
contains
in interface org.jgraph.graph.GraphModel
true
if node
is in the modelpublic org.jgraph.graph.AttributeMap getAttributes(java.lang.Object node)
Map
that represents the attributes for
the specified cell. This attributes have precedence over each
view's attributes, regardless of isAttributeStore.
getAttributes
in interface org.jgraph.graph.GraphModel
node
as a Map
public java.lang.Object getValue(java.lang.Object cell)
getValue
in interface org.jgraph.graph.GraphModel
public java.lang.Object getSource(java.lang.Object edge)
edge
. edge must be an object
previously obtained from this data source.
getSource
in interface org.jgraph.graph.GraphModel
Object
that represents the source of edgepublic java.lang.Object getTarget(java.lang.Object edge)
edge
. edge must be an object
previously obtained from this data source.
getTarget
in interface org.jgraph.graph.GraphModel
Object
that represents the target of edgepublic boolean acceptsSource(java.lang.Object edge, java.lang.Object port)
true
if port
is a valid source
for edge
. edge and port must be
objects previously obtained from this data source.
acceptsSource
in interface org.jgraph.graph.GraphModel
true
if port
is a valid source
for edge
.public boolean acceptsTarget(java.lang.Object edge, java.lang.Object port)
true
if port
is a valid target
for edge
. edge and port must be
objects previously obtained from this data source.
acceptsTarget
in interface org.jgraph.graph.GraphModel
true
if port
is a valid target
for edge
.public java.util.Iterator edges(java.lang.Object port)
port
.
port must be a object previously obtained from
this data source. This method never returns null.
edges
in interface org.jgraph.graph.GraphModel
port
- a port in the graph, obtained from this data source
Iterator
that represents the connected edgespublic boolean isEdge(java.lang.Object edge)
true
if edge
is a valid edge.
isEdge
in interface org.jgraph.graph.GraphModel
true
if edge
is a valid edge.public boolean isPort(java.lang.Object port)
true
if port
is a valid
port, possibly supporting edge connection.
isPort
in interface org.jgraph.graph.GraphModel
true
if port
is a valid port.public java.util.Map cloneCells(java.lang.Object[] cells)
cells
and their children. Special care is taken to replace the anchor
references between ports. (Iterative implementation.)
cloneCells
in interface org.jgraph.graph.GraphModel
protected java.lang.Object cloneCell(java.lang.Object cellObj, java.lang.Object parent)
protected java.lang.Object cloneUserObject(java.lang.Object userObject)
object
.
public java.lang.Object getParent(java.lang.Object child)
getParent
in interface org.jgraph.graph.GraphModel
child
- a node in the graph, obtained from this data source
public int getIndexOfChild(java.lang.Object parent, java.lang.Object child)
null
, returns -1.
getIndexOfChild
in interface org.jgraph.graph.GraphModel
parent
- a note in the tree, obtained from this data sourcechild
- the node we are interested in
null
public java.lang.Object getChild(java.lang.Object parent, int index)
getChild
in interface org.jgraph.graph.GraphModel
parent
- a node in the tree, obtained from this data source
public int getChildCount(java.lang.Object parent)
getChildCount
in interface org.jgraph.graph.GraphModel
parent
- a node in the tree, obtained from this data source
public boolean isLeaf(java.lang.Object node)
isLeaf
in interface org.jgraph.graph.GraphModel
node
- the node to check
public void insert(java.lang.Object[] pRoots, java.util.Map pAttributes, org.jgraph.graph.ConnectionSet pCs, org.jgraph.graph.ParentMap pPm, javax.swing.undo.UndoableEdit[] pEdits)
roots
and connections into the model.
Notifies the model- and undo listeners of the change. The passed-in
edits are executed if they implement the
GraphModelEvent.ExecutableGraphChange
interface
in ascending array-order, after execution of the model change.
(Note: The external order is important in a
special case: After insertion on a partial view, ie. one that does not
display all cells of the model, the cell is made visible after
it is inserted into the model. This requires the inserting view
to be able to add the cell to the visible set before it is
inserted into the model.)
Note: The passed-in propertyMap may contains PortViews
which must be turned into Points when stored in the model.
insert
in interface org.jgraph.graph.GraphModel
public void remove(java.lang.Object[] pRoots)
cells
from the model.
Notifies the model- and undo listeners of the change.
remove
in interface org.jgraph.graph.GraphModel
public void edit(java.util.Map attributes, org.jgraph.graph.ConnectionSet cs, org.jgraph.graph.ParentMap pm, javax.swing.undo.UndoableEdit[] edits)
attributes
and the connection changes to
the model. The initial edits
that triggered the call
are considered to be part of this transaction. The passed-in
edits are executed if they implement the
GraphModelEvent.ExecutableGraphChange
interface
in ascending array-order, after execution of the model change.
Notifies the model- and undo listeners of the change.
Note: If only edits
is non-null, the
edits are directly passed to the UndoableEditListeners.
Note: The passed-in propertyMap may contains PortViews
which must be turned into Points when stored in the model.
edit
in interface org.jgraph.graph.GraphModel
public void editFonts(java.util.Map attributes)
public void removeBubbles(java.lang.Object[] bubbles, org.jgraph.event.GraphModelListener gml)
public void insertAndEdit(java.lang.Object[] pRoots, java.util.Map pAttributes, org.jgraph.graph.ConnectionSet pCs, org.jgraph.graph.ParentMap pPm, javax.swing.undo.UndoableEdit[] pEdits, java.lang.String pUndoMsg)
roots
and connections into the model.
Notifies the model- and undo listeners of the change. The passed-in
edits are executed if they implement the
GraphModelEvent.ExecutableGraphChange
interface
in ascending array-order, after execution of the model change.
(Note: The external order is important in a
special case: After insertion on a partial view, ie. one that does not
display all cells of the model, the cell is made visible after
it is inserted into the model. This requires the inserting view
to be able to add the cell to the visible set before it is
inserted into the model.)
Note: The passed-in propertyMap may contains PortViews
which must be turned into Points when stored in the model.
public void removeAndEdit(java.lang.Object[] pRoots, java.util.Map pAttributes, java.lang.String pName)
cells
from the model and edits cells given in
a propertyMap
. If removeChildren
is true
, the children are also removed.
Notifies the model- and undo listeners of the change.
public void toBack(java.lang.Object[] cells)
cells
to back.
toBack
in interface org.jgraph.graph.GraphModel
public void toFront(java.lang.Object[] cells)
cells
to front.
toFront
in interface org.jgraph.graph.GraphModel
protected JaWEGraphModel.GraphModelLayerEdit createLayerEdit(java.lang.Object[] cells, int layer)
protected JaWEGraphModel.GraphModelEdit createInsertEdit(java.lang.Object[] cells, java.util.Map attributeMap, org.jgraph.graph.ConnectionSet cs, org.jgraph.graph.ParentMap pm, javax.swing.undo.UndoableEdit[] edits, java.lang.String name)
protected JaWEGraphModel.GraphModelEdit createRemoveEdit(java.lang.Object[] cells, java.lang.String name)
protected JaWEGraphModel.GraphModelEdit createCellEdit(java.util.Map attributes, org.jgraph.graph.ConnectionSet cs, org.jgraph.graph.ParentMap pm, javax.swing.undo.UndoableEdit[] edits, java.lang.String name)
protected JaWEGraphModel.GraphModelEdit createEdit(java.lang.Object[] inserted, java.lang.Object[] removed, java.util.Map attributes, org.jgraph.graph.ConnectionSet cs, org.jgraph.graph.ParentMap pm, java.lang.String name)
protected JaWEGraphModel.GraphModelEdit createRemoveAndCellEdit(java.lang.Object[] cells, java.util.Map attributes, java.lang.String name)
protected java.lang.Object[] handleInsert(java.lang.Object[] cells)
cells
into the model. Returns
the cells that were inserted (including descendants).
protected java.lang.Object[] handleRemove(java.lang.Object[] cells)
cells
from the model. Returns
the cells that were removed as roots.
protected org.jgraph.graph.ParentMap handleParentMap(org.jgraph.graph.ParentMap parentMap)
cells
to the model. Returns
a parent map that may be used to undo this change.
protected java.util.Map handleAttributes(java.util.Map attributes)
attributes
to the cells specified as keys.
Returns the attributes
to undo the change.
public java.lang.Object valueForCellChanged(java.lang.Object cell, java.lang.Object newValue)
valueForCellChanged
in interface org.jgraph.graph.GraphModel
cell
- newValue
-
protected org.jgraph.graph.ConnectionSet handleConnectionSet(org.jgraph.graph.ConnectionSet cs)
connectionSet
to the model. Returns
a connection set that may be used to undo this change.
protected void handleConnection(org.jgraph.graph.ConnectionSet.Connection c)
protected void connect(java.lang.Object edge, java.lang.Object port, boolean isSource, boolean insert)
remove
. Subclassers should override this to update
connectivity datastructures.
public void addGraphModelListener(org.jgraph.event.GraphModelListener l)
addGraphModelListener
in interface org.jgraph.graph.GraphModel
l
- the listener to addremoveGraphModelListener(org.jgraph.event.GraphModelListener)
public void removeGraphModelListener(org.jgraph.event.GraphModelListener l)
removeGraphModelListener
in interface org.jgraph.graph.GraphModel
l
- the listener to removeaddGraphModelListener(org.jgraph.event.GraphModelListener)
public void cellsChanged(java.lang.Object[] cells)
protected void fireGraphChanged(java.lang.Object source, org.jgraph.event.GraphModelEvent.GraphModelChange edit)
public org.jgraph.event.GraphModelListener[] getGraphModelListeners()
public static java.lang.Object cloneCell(org.jgraph.graph.GraphModel model, java.lang.Object cell)
public static java.lang.Object[] cloneCell(org.jgraph.graph.GraphModel model, java.lang.Object[] cells)
public static void setSourcePort(org.jgraph.graph.GraphModel model, java.lang.Object edge, java.lang.Object port)
edge
to
port
in model.
public static void setTargetPort(org.jgraph.graph.GraphModel model, java.lang.Object edge, java.lang.Object port)
edge
to
port
in model.
public static java.lang.Object getSourceVertex(org.jgraph.graph.GraphModel model, java.lang.Object edge)
public static java.lang.Object getTargetVertex(org.jgraph.graph.GraphModel model, java.lang.Object edge)
public static java.lang.Object getUserObject(java.lang.Object cell)
GraphModel.getValue(Object)
instead.
public static boolean isGroup(org.jgraph.graph.GraphModel model, java.lang.Object cell)
cell
- the cell to check for being a group
public static java.lang.Object[] getAll(org.jgraph.graph.GraphModel model)
public static java.lang.Object[] getRoots(org.jgraph.graph.GraphModel model)
public static java.util.Set getRootParticipants(org.jgraph.graph.GraphModel model)
public static java.lang.Object[] getRoots(org.jgraph.graph.GraphModel model, java.lang.Object[] cells)
cells
by checking if their parent is
null
. This implementation only uses the GraphModel
interface. This method never returns null.
public static java.lang.Object[] getTopmostCells(org.jgraph.graph.GraphModel model, java.lang.Object[] cells)
public static boolean hasAncestorIn(org.jgraph.graph.GraphModel model, java.util.Set parents, java.lang.Object child)
public static java.util.List getDescendantList(org.jgraph.graph.GraphModel model, java.lang.Object[] cells)
public static java.util.List getAllCellsInModel(org.jgraph.graph.GraphModel model)
public static java.util.List getAllParticipantsInModel(org.jgraph.graph.GraphModel model)
public static java.util.List getAllActivitiesInModel(org.jgraph.graph.GraphModel model)
public static java.util.List getAllBubblesInModel(org.jgraph.graph.GraphModel model)
public static java.util.List getAllTransitionsInModel(org.jgraph.graph.GraphModel model)
public static java.lang.Object[] order(org.jgraph.graph.GraphModel model, java.lang.Object[] cells)
public static java.util.List getEdges(org.jgraph.graph.GraphModel model, java.lang.Object[] cells)
cells
or their
descendants. The passed-in cells are never returned as part of the result
set. This can be used on vertices, edges and ports.
public static java.lang.Object getOpposite(org.jgraph.graph.GraphModel model, java.lang.Object edge, java.lang.Object cell)
edge
.public static boolean containsEdgeBetween(org.jgraph.graph.GraphModel model, java.lang.Object v1, java.lang.Object v2)
public static java.lang.Object[] getEdgesBetween(org.jgraph.graph.GraphModel model, java.lang.Object cell1, java.lang.Object cell2, boolean directed)
cell1
must be the source of the
returned edges.
public static java.lang.Object[] getOutgoingEdges(org.jgraph.graph.GraphModel model, java.lang.Object cell)
public static java.lang.Object[] getIncomingEdges(org.jgraph.graph.GraphModel model, java.lang.Object cell)
public static java.lang.Object[] getEdges(org.jgraph.graph.GraphModel model, java.lang.Object cell, boolean incoming)
private void readObject(java.io.ObjectInputStream s) throws java.io.IOException, java.lang.ClassNotFoundException
java.io.IOException
java.lang.ClassNotFoundException
|
TWE 2.4-1 API | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |