org.processmining.plugins.declareminer.visualizing
Class ModelView

java.lang.Object
  extended by org.processmining.plugins.declareminer.visualizing.ModelView
Direct Known Subclasses:
AssignmentModelView

public abstract class ModelView
extends java.lang.Object


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

cells

protected transient java.util.List<org.jgraph.graph.DefaultGraphCell> cells

graph

protected transient DGraph graph
Constructor Detail

ModelView

public ModelView()

ModelView

public ModelView(ModelView view)
Method Detail

addVertex

public void addVertex(org.jgraph.graph.DefaultGraphCell cell)
addVertex

Parameters:
cell - DefaultGraphCell

addEdge

public void addEdge(org.jgraph.graph.DefaultGraphCell cell,
                    org.jgraph.graph.DefaultGraphCell source,
                    org.jgraph.graph.DefaultGraphCell target)
addEdge

Parameters:
cell - DefaultGraphCell
source - DefaultGraphCell
target - DefaultGraphCell

addEdge

public void addEdge(org.jgraph.graph.DefaultGraphCell cell,
                    javax.swing.tree.TreeNode source,
                    javax.swing.tree.TreeNode target)
addEdge

Parameters:
cell - DefaultGraphCell
source - DefaultGraphCell
target - DefaultGraphCell

addCell

protected void addCell(org.jgraph.graph.DefaultGraphCell cell)
addCell

Parameters:
cell - DefaultGraphCell

getGraph

public DGraph getGraph()
getGraph

Returns:
DGraph

getModel

public org.jgraph.graph.GraphModel getModel()
getModel

Returns:
DGraphModel

removeCells

protected void removeCells(java.lang.Object[] cells)
removeCell

Parameters:
cells - Object

getCells

protected java.util.List<org.jgraph.graph.DefaultGraphCell> getCells(java.lang.Object object)
getCell

Parameters:
object - Object
Returns:
DefaultGraphCell

getCells

protected java.util.List<org.jgraph.graph.DefaultGraphCell> getCells()
getCells

Returns:
DefaultGraphCell

clear

protected void clear()
clear


updateUI

public void updateUI()
updateUI


updateUI

public void updateUI(org.jgraph.graph.DefaultGraphCell cell)
updateUI

Parameters:
cell - DefaultGraphCell

getVertex

protected DVertex getVertex(org.jgraph.graph.Port port)
getVertex

Parameters:
port - Port
Returns:
DVertex

getVertexObject

public java.lang.Object getVertexObject(org.jgraph.graph.Port port)
getVertexObject

Parameters:
port - Port
Returns:
ActivityDefinition

vertexCells

protected java.util.List<DVertex> vertexCells()
vertexCells

Returns:
List

clearSelection

public void clearSelection()