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.ItemListener
public void stateChanged(javax.swing.event.ChangeEvent e)
stateChanged
in interface javax.swing.event.ChangeListener
public void actionPerformed(java.awt.event.ActionEvent e)
actionPerformed
in interface java.awt.event.ActionListener