Class GChandler


  • public class GChandler
    extends java.lang.Object
    Classe qui gère l'affichage du Graphe de couverture.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private javax.swing.JFrame frame  
      private org.jgrapht.ListenableGraph<java.lang.String,​org.jgrapht.graph.DefaultEdge> g  
      private org.jgrapht.ext.JGraphXAdapter<java.lang.String,​org.jgrapht.graph.DefaultEdge> jgxAdapter  
      private java.util.List<Node> liste_nodes  
    • Constructor Summary

      Constructors 
      Constructor Description
      GChandler​(javax.swing.JFrame frame, java.util.List<Node> liste_nodes)
      Constructeur du GChandler, qui nous permet d'afficher le GMA/Graphe de couverture dans la fenêtre dans laquelle il est appelé
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void init()
      Visualiser le GMA/ Graphe de couverture
      • Methods inherited from class java.lang.Object

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

      • frame

        private final javax.swing.JFrame frame
      • jgxAdapter

        private final org.jgrapht.ext.JGraphXAdapter<java.lang.String,​org.jgrapht.graph.DefaultEdge> jgxAdapter
      • g

        private final org.jgrapht.ListenableGraph<java.lang.String,​org.jgrapht.graph.DefaultEdge> g
      • liste_nodes

        private final java.util.List<Node> liste_nodes
    • Constructor Detail

      • GChandler

        public GChandler​(javax.swing.JFrame frame,
                         java.util.List<Node> liste_nodes)
        Constructeur du GChandler, qui nous permet d'afficher le GMA/Graphe de couverture dans la fenêtre dans laquelle il est appelé
        Parameters:
        frame - Fenêtre d'appel
        liste_nodes - Liste des noeuds du GMA
    • Method Detail

      • init

        public void init()
        Visualiser le GMA/ Graphe de couverture