Manuel PHP

dio_seek

(PHP 4 >= 4.2.0, PHP 5 <= 5.0.5)

dio_seek — Déplace le pointeur interne de fichier

Description

int dio_seek ( resource $fd , int $pos [, int $whence ] )

dio_seek() sert à modifier la position du pointeur de fichier dans le fichier.

Liste de paramètres

fd

La ressource de fichier retournée par dio_open().

pos

La nouvelle position.

whence

Spécifie comment la position pos devrait être interprétée :

  • SEEK_SET (défaut) - Spécifie que pos est spécifié à partir du début du fichier.

  • SEEK_CUR - Spécifie que pos est un nombre de caractères à partir de la position courante dans le fichier. Ce nombre peut être positif ou négatif.

  • SEEK_END - Spécifie que pos est un nombre de caractères à partir de la fin du fichier. Une valeur négative spécifie une position à l'intérieur du domaine courant du fichier; une valeur positive spécifie une position passée de la fin courante. Si vous spécifiez une position après la fin et que vous y écriviez des données, vous allez agrandir le fichier avec des zéros jusqu'à cette position.

Valeurs de retour

Exemples

Example#1 Positionnement dans un fichier

  1. <?php
  2.  
  3. $fd = dio_open('/dev/ttyS0', O_RDWR);  
  4.  
  5. dio_seek($fd, 10, SEEK_SET);  
  6. // la position est maintenant à 10 caractères depuis le début du fichier
  7.  
  8. dio_seek($fd, -2, SEEK_CUR);  
  9. // la position est maintenant à 8 caractères depuis le début du fichier
  10.  
  11. dio_seek($fd, -5, SEEK_END);  
  12. // la position est maintenant à 5 caractères depuis la fin du fichier
  13.  
  14. dio_seek($fd, 10, SEEK_END);  
  15. // la position est maintenant à 10 caractères après la fin du fichier.
  16. // Les 10 caractères entre la fin du fichier et la position courante sont
  17. // complétés par des zéros.
  18.  
  19. dio_close($fd);  
  20. ?> 


Remonter Remonter
L'éditeur javascript - CSS - Gentoo - Tutoriaux PHP - Tutoriels PHP - Breizh Blog