org.processmining.plugins.declareminer.visualizing
Class ModelView

java.lang.Object
  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()