public class DetailListener
extends java.lang.Object
implements java.awt.event.ActionListener
Constructor and Description |
---|
DetailListener(org.processmining.framework.util.ui.widgets.ProMSplitPane splitPanel,
org.processmining.plugins.DataConformance.Alignment align,
org.processmining.plugins.declareminer.visualizing.DeclareMap declareModel) |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent arg0) |
void |
showIt() |