Outils pour utilisateurs

Outils du site


personnel:estpresent

Ceci est une ancienne révision du document !


EstPrésent

class Visiteur{
 
...
/*
*
* True si lv est présent au même moment 
* que le visiteur courant
*
*
*/
public boolean void estPrésent( Visiteur lv ){
  LocalTime heureEntréeLV = lv.getHeureEntrée();
  LocalTile heureSortieLV = lv.getHeureSortie();
 
 
  // heureEntréeLV E [heureEntrée:heureSortie]
 
 
  if ( heureEntréeLV.compareTo(heureEntrée) >= 0 &
       ( heureSortie == null || heureEntréLV.compareTo(heureSortie) <= 0 )
         return true;
  }
 
  // heureSortie E [heureEntrée:heureSortie]
     if ( (heureentréeLV.compareTo(heureEntrée) < 0 ) &
        ( heureEntréeLV.compareTo(heureEntrée ) < 0 & heureSortieLV.compareTo(heureEntrée) >=0 {
         return true;
  }
 
  return false;
 
}
 
 
 
}
personnel/estpresent.1554923114.txt.gz · Dernière modification: 2019/04/10 21:05 de thbogusz