org.processmining.processtree.editor.propertypanel

Class PropertyPanel

java.lang.Object

org.processmining.processtree.editor.propertypanel.PropertyPanel

public class PropertyPanel
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
PropertyPanel(ProcessTree tree, java.awt.Dimension dimPropertyPanel)

Method Summary

Modifier and Type	Method and Description
javax.swing.JComponent	getComponent()
void	mousePressed(java.util.UUID id)
void	setGraphPanel(GraphPanel graphPanel)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PropertyPanel

public PropertyPanel(ProcessTree tree,
                     java.awt.Dimension dimPropertyPanel)

Method Detail

setGraphPanel

public void setGraphPanel(GraphPanel graphPanel)

getComponent

public javax.swing.JComponent getComponent()

mousePressed

public void mousePressed(java.util.UUID id)