Class LogAbstractionGraphPanel

  • All Implemented Interfaces:
    java.awt.event.ActionListener, java.awt.event.ItemListener, java.util.EventListener, javax.swing.event.ChangeListener

    public class LogAbstractionGraphPanel
    extends java.lang.Object
    implements java.awt.event.ItemListener, javax.swing.event.ChangeListener, java.awt.event.ActionListener
    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.text.DecimalFormat FORMAT  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method 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)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • FORMAT

        public static final java.text.DecimalFormat FORMAT
    • Constructor Detail

      • LogAbstractionGraphPanel

        public LogAbstractionGraphPanel​(DirectSuccessionCounter counter,
                                        java.util.Map<java.lang.String,​java.awt.Color> colors)
    • Method Detail

      • getPanel

        public javax.swing.JPanel getPanel()
      • setLayout

        public void setLayout​(com.jgraph.layout.JGraphLayout layout)
      • layout

        public void layout()
      • itemStateChanged

        public void itemStateChanged​(java.awt.event.ItemEvent e)
        Specified by:
        itemStateChanged in interface java.awt.event.ItemListener
      • stateChanged

        public void stateChanged​(javax.swing.event.ChangeEvent e)
        Specified by:
        stateChanged in interface javax.swing.event.ChangeListener
      • actionPerformed

        public void actionPerformed​(java.awt.event.ActionEvent e)
        Specified by:
        actionPerformed in interface java.awt.event.ActionListener