|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.plugins.declare.visualizing.ModelView
public abstract class ModelView
Field Summary | |
---|---|
protected java.util.List<org.jgraph.graph.DefaultGraphCell> |
cells
|
protected DGraph |
graph
|
Constructor Summary | |
---|---|
ModelView()
|
|
ModelView(ModelView view)
|
Method Summary | |
---|---|
protected void |
addCell(org.jgraph.graph.DefaultGraphCell cell)
addCell |
void |
addEdge(org.jgraph.graph.DefaultGraphCell cell,
org.jgraph.graph.DefaultGraphCell source,
org.jgraph.graph.DefaultGraphCell target)
addEdge |
void |
addEdge(org.jgraph.graph.DefaultGraphCell cell,
javax.swing.tree.TreeNode source,
javax.swing.tree.TreeNode target)
addEdge |
void |
addVertex(org.jgraph.graph.DefaultGraphCell cell)
addVertex |
protected void |
clear()
clear |
void |
clearSelection()
|
protected java.util.List<org.jgraph.graph.DefaultGraphCell> |
getCells()
getCells |
protected java.util.List<org.jgraph.graph.DefaultGraphCell> |
getCells(java.lang.Object object)
getCell |
DGraph |
getGraph()
getGraph |
org.jgraph.graph.GraphModel |
getModel()
getModel |
protected DVertex |
getVertex(org.jgraph.graph.Port port)
getVertex |
java.lang.Object |
getVertexObject(org.jgraph.graph.Port port)
getVertexObject |
protected void |
removeCells(java.lang.Object[] cells)
removeCell |
void |
updateUI()
updateUI |
void |
updateUI(org.jgraph.graph.DefaultGraphCell cell)
updateUI |
protected java.util.List<DVertex> |
vertexCells()
vertexCells |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected transient java.util.List<org.jgraph.graph.DefaultGraphCell> cells
protected transient DGraph graph
Constructor Detail |
---|
public ModelView()
public ModelView(ModelView view)
Method Detail |
---|
public void addVertex(org.jgraph.graph.DefaultGraphCell cell)
cell
- DefaultGraphCellpublic void addEdge(org.jgraph.graph.DefaultGraphCell cell, org.jgraph.graph.DefaultGraphCell source, org.jgraph.graph.DefaultGraphCell target)
cell
- DefaultGraphCellsource
- DefaultGraphCelltarget
- DefaultGraphCellpublic void addEdge(org.jgraph.graph.DefaultGraphCell cell, javax.swing.tree.TreeNode source, javax.swing.tree.TreeNode target)
cell
- DefaultGraphCellsource
- DefaultGraphCelltarget
- DefaultGraphCellprotected void addCell(org.jgraph.graph.DefaultGraphCell cell)
cell
- DefaultGraphCellpublic DGraph getGraph()
public org.jgraph.graph.GraphModel getModel()
protected void removeCells(java.lang.Object[] cells)
cells
- Objectprotected java.util.List<org.jgraph.graph.DefaultGraphCell> getCells(java.lang.Object object)
object
- Object
protected java.util.List<org.jgraph.graph.DefaultGraphCell> getCells()
protected void clear()
public void updateUI()
public void updateUI(org.jgraph.graph.DefaultGraphCell cell)
cell
- DefaultGraphCellprotected DVertex getVertex(org.jgraph.graph.Port port)
port
- Port
public java.lang.Object getVertexObject(org.jgraph.graph.Port port)
port
- Port
protected java.util.List<DVertex> vertexCells()
public void clearSelection()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |