Différences

Ci-dessous, les différences entre deux révisions de la page.

--- personnel:estpresent [2019/04/11 10:38]
thbogusz
+++ personnel:estpresent [2019/04/11 13:50] (Version actuelle)
thbogusz
@@ Ligne 1: / Ligne 1: @@
 ====== EstPrésent ======
 <code java>
-class Visiteur{
+class AVisiteur{
 ...
@@ Ligne 11: / Ligne 11: @@
 *
 */
-public boolean void estPrésent( Visiteur lv ){
+public boolean void estPrésent( Visiteur autreVisiteur ){
-  LocalTime heureEntréeLV = lv.getHeureEntrée();
+  LocalTime heureEntréeAV = autreAVisiteur.getHeureEntrée();
-  LocalTile heureSortieLV = lv.getHeureSortie();
+  LocalTile heureSortieAV = autreAVisiteur.getHeureSortie();
-  // heureEntréeLV E [heureEntrée:heureSortie]
+  // heureEntréeAV E [heureEntrée:heureSortie]
+  if ( heureEntréeAV.compareTo(heureEntrée) >= 0 &
+       ( heureSortie == null || heureEntréeAV.compareTo(heureSortie) <= 0 )
-  if ( heureEntréeLV.compareTo(heureEntrée) >= 0 &
-       ( heureSortie == null || heureEntréeLV.compareTo(heureSortie) <= 0 )
          return true;
   }
   // heureSortie E [heureEntrée:heureSortie]
-     if ( (heureentréeLV.compareTo(heureEntrée) < 0 ) &
+     if ( (heureentréeAV.compareTo(heureEntrée) < 0 ) &
-        ( heureSortieLV == null || heureSortieLV.compareTo(heureEntrée ) > 0 )) {
+        ( heureSortieAV == null || heureSortieAV.compareTo(heureEntrée ) > 0 )) {
          return true;
   }

plum.sio