(PHP 4 >= 4.2.0, PHP 5 <= 5.0.5)
dio_seek — Déplace le pointeur interne de fichier
dio_seek() sert à modifier la position du pointeur de fichier dans le fichier.
La ressource de fichier retournée par dio_open() .
La nouvelle position.
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 644. 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
);
?>