(PHP 4 >= 4.2.0, PHP 5 <= 5.0.5)
dio_seek — Déplace le pointeur interne de fichier
$fd
, int $pos
[, int $whence = SEEK_SET
] )dio_seek() sert à modifier la position du pointeur de fichier dans le fichier.
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.
Exemple #1 Positionnement dans un fichier
<?php
$fd = dio_open('/dev/ttyS0', O_RDWR);
dio_seek($fd, 10, SEEK_SET);
// la position est maintenant à 10 caractères depuis le début du fichier
dio_seek($fd, -2, SEEK_CUR);
// la position est maintenant à 8 caractères depuis le début du fichier
dio_seek($fd, -5, SEEK_END);
// la position est maintenant à 5 caractères depuis la fin du fichier
dio_seek($fd, 10, SEEK_END);
// la position est maintenant à 10 caractères après la fin du fichier.
// Les 10 caractères entre la fin du fichier et la position courante sont
// complétés par des zéros.
dio_close($fd);
?>