public class LogAbstractionGraphPanel
extends java.lang.Object
implements java.awt.event.ItemListener, javax.swing.event.ChangeListener, java.awt.event.ActionListener
| Modifier and Type | Field and Description |
|---|---|
static java.text.DecimalFormat |
FORMAT |
| Constructor and Description |
|---|
LogAbstractionGraphPanel(DirectSuccessionCounter counter,
java.util.Map<java.lang.String,java.awt.Color> colors) |
| Modifier and Type | Method and Description |
|---|---|
void |
actionPerformed(java.awt.event.ActionEvent e) |
javax.swing.JPanel |
getPanel() |
void |
itemStateChanged(java.awt.event.ItemEvent e) |
void |
layout() |
void |
setLayout(com.jgraph.layout.JGraphLayout layout) |
void |
stateChanged(javax.swing.event.ChangeEvent e) |
public LogAbstractionGraphPanel(DirectSuccessionCounter counter, java.util.Map<java.lang.String,java.awt.Color> colors)
public javax.swing.JPanel getPanel()
public void setLayout(com.jgraph.layout.JGraphLayout layout)
public void layout()
public void itemStateChanged(java.awt.event.ItemEvent e)
itemStateChanged in interface java.awt.event.ItemListenerpublic void stateChanged(javax.swing.event.ChangeEvent e)
stateChanged in interface javax.swing.event.ChangeListenerpublic void actionPerformed(java.awt.event.ActionEvent e)
actionPerformed in interface java.awt.event.ActionListener