Package eu.telecomsudparis.csc4102.util

Record Class IntervalleInstants

java.lang.Object
java.lang.Record
eu.telecomsudparis.csc4102.util.IntervalleInstants
Record Components:
instantDebut - l'instant de début.
instantFin - l'instant de fin.
public record IntervalleInstants(Instant instantDebut, Instant instantFin) extends Record
Classe représentant un intervalle d'instants. L'instant de début est avant l'instant de fin ; l'instant de début peut être Instant.MIN ; l'instant de fin peut être Instant.MAX.

  • Constructor Details

    • IntervalleInstants

      public IntervalleInstants(Instant instantDebut, Instant instantFin)
      vérifie des post-conditions sur la construction d'un intervalle.
      Parameters:
      instantDebut - l'instant de début.
      instantFin - l'instant de fin.

  • Method Details

    • getInstantDebut

      public Instant getInstantDebut()
      obtient l'instant de début de l'intervalle.
      Returns:
      l'instant de début.

    • getInstantFin

      public Instant getInstantFin()
      obtient l'instant de fin de l'intervalle.
      Returns:
      l'instant de fin.

    • calculerDuree

      public Duration calculerDuree()
      calcule la durée de l'intervalle.
      Returns:
      la durée

    • instantEstDansIntervalleInstants

      public boolean instantEstDansIntervalleInstants(Instant instantATester)
      retourne vrai si l'instant proposé est dans cet intervalle, les bornes étant incluses.
      Parameters:
      instantATester - l'instant à tester.
      Returns:
      vrai si dans cet intervalle.

    • intervalleInstantsSIntersectent

      public boolean intervalleInstantsSIntersectent(IntervalleInstants intervalle)
      retourne vrai si les deux intervalles proposées s'intersectent, les bornes étant incluses dans l'intersection.
      Parameters:
      intervalle - le second intervalle.
      Returns:
      vrai si les deux intervalles s'intersectent.

    • hashCode

      public int hashCode()
      Returns a hash code value for this object. The value is derived from the hash code of each of the record components.
      Specified by:
      hashCode in class Record
      Returns:
      a hash code value for this object

    • equals

      public boolean equals(Object obj)
      Indicates whether some other object is "equal to" this one. The objects are equal if the other object is of the same class and if all the record components are equal. All components in this record class are compared with Objects::equals(Object,Object).
      Specified by:
      equals in class Record
      Parameters:
      obj - the object with which to compare
      Returns:
      true if this object is the same as the obj argument; false otherwise.

    • toString

      public String toString()
      Returns a string representation of this record class. The representation contains the name of the class, followed by the name and value of each of the record components.
      Specified by:
      toString in class Record
      Returns:
      a string representation of this object

    • instantDebut

      public Instant instantDebut()
      Returns the value of the instantDebut record component.
      Returns:
      the value of the instantDebut record component

    • instantFin

      public Instant instantFin()
      Returns the value of the instantFin record component.
      Returns:
      the value of the instantFin record component