Package com.tech.app.models

Class Transition

  • All Implemented Interfaces:
    java.io.Serializable
    public class Transition
extends java.lang.Object
implements java.io.Serializable
    Cette classe permet de créer l'objet Transition.
    See Also:
    Serialized Form

    • Field Summary

      Fields 
      Modifier and Type Field Description
      private java.util.List<Arc> children  
      java.awt.geom.Rectangle2D.Float forme  
      int HEIGHT  
      private java.lang.String label  
      private int LARGE_SIDE  
      private int MIN_SIDE  
      private java.lang.String name  
      private java.util.List<Arc> parents  
      private int position  
      int WIDTH  
      private double x  
      private double y  

    • Constructor Summary

      Constructors 
      Constructor Description
      Transition​(java.lang.String name)
      Constructeur d'une transition en (0,0)
      Transition​(java.lang.String name, double x, double y)
      Constructeur d'une transition.
      Transition​(java.lang.String name, double x, double y, java.lang.String label, int position)  
      Transition​(java.lang.String name, double x, double y, java.util.ArrayList<Arc> children)
      Constructeur d'une transition.
      Transition​(java.lang.String name, double x, double y, java.util.ArrayList<Arc> children, java.util.ArrayList<Arc> parents, java.lang.String label, int position)
      Constructeur d'une Transisiton.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void addChildren​(Arc a)
      Méthode qui permet d'ajouter un arc à la liste des arcs enfants de la transition.
      void addChildren​(Place p)
      Méthode qui permet d'ajouter un arc à la liste des arcs enfants de la transition.
      void addChildren​(java.util.ArrayList<Arc> arcs)
      Méthode qui permet d'ajouter une liste d'arcs à la liste des arcs enfants de la transition.
      void addLabel​(java.lang.String label)
      Méthode qui permet d'ajouter un label à la transition
      void addParent​(Arc a)
      Méthode qui permet d'ajouter un arc à la liste des arcs parents de la transition.
      void addParent​(Place p)
      Méthode qui permet d'ajouter un arc à la liste des arcs parents de la transition.
      void addParents​(java.util.ArrayList<Arc> arcs)
      Méthode qui permet d'ajouter une liste d'arcs à la liste des arcs parents de la transition.
      void addPosition​(int convert)
      Méthode qui permet de donner la position du label de la transition.
      void changeOrientation​(int index)
      Méthode qui permet de changer l'orientation de la transition.
      void draw​(java.awt.Graphics g)
      Méthode qui permet d'afficher une transition et ses arcs (on appelle draw de la classe Arc).
      void drawChildren​(java.awt.Graphics g)
      Méthode qui permet d'afficher les arcs enfants de la transition.
      void drawParents​(java.awt.Graphics g)
      Méthode qui permet d'afficher les arcs parents de la transition.
      boolean estFranchissable()
      Méthode qui permet de savoir si une transition est franchissable.
      java.util.List<Arc> getChildren()
      Méthode qui permet de récupérer la liste des arcs enfants de la transition.
      java.lang.String getLabel()
      Méthode qui permet de récupérer le label de la transition.
      java.lang.String getName()
      Méthode qui permet de récupérer le nom de la transition.
      java.util.List<Arc> getParents()
      Méthode qui permet de récupérer la liste des arcs parents de la transition.
      int getPosition()
      Méthode qui permet de récupérer la position du label de la transition.
      double getX()
      Méthode qui permet de récupérer la coordonnée x de la transition.
      double getY()
      Méthode qui permet de récupérer la coordonnée y de la transition.
      void removeChildren​(Arc a)
      Méthode qui permet de retirer un arc de la liste des arcs enfants de la transition.
      void removeParent​(Arc a)
      Méthode qui permet de retirer un arc de la liste des arcs parents de la transition.
      void resetlabel()
      Méthode qui permet de retirer le label de la transition.
      void resetPosition()
      Méthode qui permet de remettre la position du label à 1
      java.lang.String toString()
      Méthode qui permet d'afficher les caractéristiques de la transition.
      void updatePosition​(double x, double y)
      Méthode qui permet de mettre à jour les coordonnées de la transition et de ses arcs (on appelle updatePosition de la classe Arc).

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • name

        private final java.lang.String name

      • x

        private double x

      • y

        private double y

      • children

        private final java.util.List<Arc> children

      • parents

        private final java.util.List<Arc> parents

      • label

        private java.lang.String label

      • position

        private int position

      • WIDTH

        public int WIDTH

      • HEIGHT

        public int HEIGHT

      • forme

        public java.awt.geom.Rectangle2D.Float forme

    • Constructor Detail

      • Transition

        public Transition​(java.lang.String name,
                  double x,
                  double y,
                  java.util.ArrayList<Arc> children,
                  java.util.ArrayList<Arc> parents,
                  java.lang.String label,
                  int position)
        Constructeur d'une Transisiton.
        Parameters:
        name - : nom de la transition.
        x - : coordonnée x de la transition.
        y - : coordonnée y de la transition.
        children - : Liste des arcs enfants de la transition.
        parents - : Liste des arcs parents de la transition.
        label - : label de la transition.
        position - : position du label.

      • Transition

        public Transition​(java.lang.String name,
                  double x,
                  double y,
                  java.util.ArrayList<Arc> children)
        Constructeur d'une transition.
        Parameters:
        name - : nom de la transition.
        x - : coordonnée x de la transition.
        y - : coordonnée y de la transition.
        children - : Liste des arcs enfants de la transition

      • Transition

        public Transition​(java.lang.String name,
                  double x,
                  double y)
        Constructeur d'une transition.
        Parameters:
        name - : nom de la transition.
        x - : coordonnée x de la transition.
        y - : coordonnée y de la transition.

      • Transition

        public Transition​(java.lang.String name,
                  double x,
                  double y,
                  java.lang.String label,
                  int position)

      • Transition

        public Transition​(java.lang.String name)
        Constructeur d'une transition en (0,0)
        Parameters:
        name - : nom de la transition.

    • Method Detail

      • getName

        public java.lang.String getName()
        Méthode qui permet de récupérer le nom de la transition.
        Returns:
        nom de la transition.

      • getX

        public double getX()
        Méthode qui permet de récupérer la coordonnée x de la transition.
        Returns:
        x.

      • getY

        public double getY()
        Méthode qui permet de récupérer la coordonnée y de la transition.
        Returns:
        y.

      • getChildren

        public java.util.List<Arc> getChildren()
        Méthode qui permet de récupérer la liste des arcs enfants de la transition.
        Returns:
        liste des arcs enfants.

      • getParents

        public java.util.List<Arc> getParents()
        Méthode qui permet de récupérer la liste des arcs parents de la transition.
        Returns:
        liste des arcs parents.

      • addChildren

        public void addChildren​(Place p)
        Méthode qui permet d'ajouter un arc à la liste des arcs enfants de la transition.
        Parameters:
        p - : Place.

      • addChildren

        public void addChildren​(Arc a)
        Méthode qui permet d'ajouter un arc à la liste des arcs enfants de la transition.
        Parameters:
        a - : Arc.

      • addChildren

        public void addChildren​(java.util.ArrayList<Arc> arcs)
        Méthode qui permet d'ajouter une liste d'arcs à la liste des arcs enfants de la transition.
        Parameters:
        arcs - : Liste d'arcs.

      • removeChildren

        public void removeChildren​(Arc a)
        Méthode qui permet de retirer un arc de la liste des arcs enfants de la transition.
        Parameters:
        a - : Arc.

      • addParent

        public void addParent​(Place p)
        Méthode qui permet d'ajouter un arc à la liste des arcs parents de la transition.
        Parameters:
        p - : Place.

      • addParent

        public void addParent​(Arc a)
        Méthode qui permet d'ajouter un arc à la liste des arcs parents de la transition.
        Parameters:
        a - : Arc.

      • addParents

        public void addParents​(java.util.ArrayList<Arc> arcs)
        Méthode qui permet d'ajouter une liste d'arcs à la liste des arcs parents de la transition.
        Parameters:
        arcs - : Liste d'arcs.

      • removeParent

        public void removeParent​(Arc a)
        Méthode qui permet de retirer un arc de la liste des arcs parents de la transition.
        Parameters:
        a - : Arc

      • addLabel

        public void addLabel​(java.lang.String label)
        Méthode qui permet d'ajouter un label à la transition
        Parameters:
        label - : label.

      • getLabel

        public java.lang.String getLabel()
        Méthode qui permet de récupérer le label de la transition.
        Returns:
        String label.

      • resetlabel

        public void resetlabel()
        Méthode qui permet de retirer le label de la transition.

      • addPosition

        public void addPosition​(int convert)
        Méthode qui permet de donner la position du label de la transition.
        Parameters:
        convert - : position.

      • getPosition

        public int getPosition()
        Méthode qui permet de récupérer la position du label de la transition.
        Returns:
        position

      • resetPosition

        public void resetPosition()
        Méthode qui permet de remettre la position du label à 1

      • estFranchissable

        public boolean estFranchissable()
        Méthode qui permet de savoir si une transition est franchissable.
        Returns:
        Vrai ou Faux

      • toString

        public java.lang.String toString()
        Méthode qui permet d'afficher les caractéristiques de la transition. T(nom,x,y,c:[arcs enfants],p:[arcs parents])
        Overrides:
        toString in class java.lang.Object
        Returns:
        caractéristiques de la transition.

      • draw

        public void draw​(java.awt.Graphics g)
        Méthode qui permet d'afficher une transition et ses arcs (on appelle draw de la classe Arc).
        Parameters:
        g - : Graphics.

      • drawParents

        public void drawParents​(java.awt.Graphics g)
        Méthode qui permet d'afficher les arcs parents de la transition.
        Parameters:
        g - : Graphics.

      • drawChildren

        public void drawChildren​(java.awt.Graphics g)
        Méthode qui permet d'afficher les arcs enfants de la transition.
        Parameters:
        g - : Graphics.

      • updatePosition

        public void updatePosition​(double x,
                           double y)
        Méthode qui permet de mettre à jour les coordonnées de la transition et de ses arcs (on appelle updatePosition de la classe Arc).
        Parameters:
        x - : nouvelle coordonnée x.
        y - : nouvelle coordonnée y.

      • changeOrientation

        public void changeOrientation​(int index)
        Méthode qui permet de changer l'orientation de la transition.
        Parameters:
        index - : orientation.