Package com.tech.app.models.stepper

Class Stepper

  • public class Stepper
extends java.lang.Object
    Classe qui permet de simuler pas à pas le RdP actuel.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      private java.util.Vector<java.lang.Integer> addVector​(java.util.Vector<java.lang.Integer> v, java.util.Vector<java.util.Vector<java.lang.Integer>> u, int t)
      Méthode qui nous permet de faire une addition entre un vecteur et une colonne d'une matrice.
      void clickToNextMarquage​(java.lang.Object selectedObject)
      Méthode qui permet de passer au marquage suivant en fonction de la transition sur laquelle on clique.
      java.util.List<java.lang.String> getLast20FromSequence()
      Méthode qui permet de récupérer les 20 dernières transitions franchies de la séquence de simulation.
      java.util.List<java.util.Vector<java.lang.Integer>> getMarquagesPasse()
      Méthode qui permet de récupérer la liste des marquages passés.
      java.util.List<java.lang.String> getSequenceTransition()
      Méthode qui permet de récuperer la séquence de simulation
      java.lang.String getSequenceTransitionToString​(java.util.List<java.lang.String> sequenceTransition)
      Méthode qui permet de convertir la sequence de simulation (Liste de string) en un string
      void goToFirstMarquage()
      Méthode qui permet d'aller au premier marquage de la liste de marquage passé.
      void goToLastMarquage()
      Méthode qui permet d'aller au dernier marquage atteint dans la simulation (dernier marquage passé).
      void goToNextMarquage()
      Méthode qui permet d'aller au marquage suivant si le marquage actuel n'est pas le dernier.
      void goToPreviousMarquage()
      Méthode qui permet d'aller au marquage précédent si le marquage actuel n'est pas le premier marquage de la liste marquage passé.
      void randomize()
      Méthode qui permet de passer aléatoirement une transition franchissable.
      void reset()
      Méthode qui permet de réinitialiser le stepper.
      void setShowSequence​(boolean showSequence)
      Méthode qui permet d'afficher la séquence de simulation ou non.
      void setStepperHandler​(StepperHandler stepperHandler)
      Méthode qui permet d'affecter un gestionnaire graphique au stepper.

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Field Detail

      • model

        public final Model model

      • marquagesPasse

        public java.util.List<java.util.Vector<java.lang.Integer>> marquagesPasse

      • sequenceTransition

        public java.util.List<java.lang.String> sequenceTransition

      • showSequence

        public boolean showSequence

      • currentMarquageIndex

        public int currentMarquageIndex

      • lastTransitionFranchieIndex

        public int lastTransitionFranchieIndex

    • Constructor Detail

      • Stepper

        public Stepper​(Model model,
               StepperHandler stepperHandler)
        Constructeur
        Parameters:
        model - : model actuel.
        stepperHandler - : gestionnaire graphique du stepper.

      • Stepper

        public Stepper​(Model model)
        Constructeur
        Parameters:
        model - : model actuel.

    • Method Detail

      • setStepperHandler

        public void setStepperHandler​(StepperHandler stepperHandler)
        Méthode qui permet d'affecter un gestionnaire graphique au stepper.
        Parameters:
        stepperHandler -

      • setShowSequence

        public void setShowSequence​(boolean showSequence)
        Méthode qui permet d'afficher la séquence de simulation ou non. Méthode appelée depuis @StepperToolbar/btnSequenceListener
        Parameters:
        showSequence - : vrai ou faux.

      • getSequenceTransition

        public java.util.List<java.lang.String> getSequenceTransition()
        Méthode qui permet de récuperer la séquence de simulation
        Returns:
        séquence de simulation.

      • getLast20FromSequence

        public java.util.List<java.lang.String> getLast20FromSequence()
        Méthode qui permet de récupérer les 20 dernières transitions franchies de la séquence de simulation.
        Returns:
        20 dernières transitions franchies de la séquence de simulation.

      • getSequenceTransitionToString

        public java.lang.String getSequenceTransitionToString​(java.util.List<java.lang.String> sequenceTransition)
        Méthode qui permet de convertir la sequence de simulation (Liste de string) en un string
        Parameters:
        sequenceTransition - : sequence de simulation
        Returns:
        string

      • addVector

        private java.util.Vector<java.lang.Integer> addVector​(java.util.Vector<java.lang.Integer> v,
                                                      java.util.Vector<java.util.Vector<java.lang.Integer>> u,
                                                      int t)
        Méthode qui nous permet de faire une addition entre un vecteur et une colonne d'une matrice.
        Parameters:
        v - : vecteur
        u - : matrice
        t - : indice de la colonne
        Returns:
        vecteur après addition.

      • clickToNextMarquage

        public void clickToNextMarquage​(java.lang.Object selectedObject)
        Méthode qui permet de passer au marquage suivant en fonction de la transition sur laquelle on clique. L'utilisateur ne peut cliquer que sur une transition franchissable.
        Parameters:
        selectedObject - : transition sur laquelle l'utilisateur a cliqué.

      • getMarquagesPasse

        public java.util.List<java.util.Vector<java.lang.Integer>> getMarquagesPasse()
        Méthode qui permet de récupérer la liste des marquages passés.
        Returns:
        liste des marquages passés.

      • goToLastMarquage

        public void goToLastMarquage()
        Méthode qui permet d'aller au dernier marquage atteint dans la simulation (dernier marquage passé). Appelée depuis @StepperToolbar/btnLastListener.

      • goToNextMarquage

        public void goToNextMarquage()
        Méthode qui permet d'aller au marquage suivant si le marquage actuel n'est pas le dernier. Appelée depuis @StepperToolbar/btnNextListener.

      • goToPreviousMarquage

        public void goToPreviousMarquage()
        Méthode qui permet d'aller au marquage précédent si le marquage actuel n'est pas le premier marquage de la liste marquage passé. Appelée depuis @StepperToolbar/btnPreviousListener.

      • goToFirstMarquage

        public void goToFirstMarquage()
        Méthode qui permet d'aller au premier marquage de la liste de marquage passé. Appelée depuis @StepperToolbar/btnFirstListener.

      • randomize

        public void randomize()
        Méthode qui permet de passer aléatoirement une transition franchissable. Appelée depuis @StepperToolbar/getToolbar.

      • reset

        public void reset()
        Méthode qui permet de réinitialiser le stepper. On remet à 0 les différents index et listes.