Un fichier Pascal est une séquence de données de même type et de longueur indéfinie.
Ces données sont stockées de manière permanente sur un support physique.
La fin du fichier est repérée par un marqueur de fin de fichier.
Pour tester la fin de fichier, on emploie la fonction booléenne eof (end_of_file) :
eof (fichier) = true si la fin de fichier est atteinte
eof (fichier) = false sinon.
La longueur du fichier est le nombre d'enregistrements du fichier. Elle n'est pas définie lors de la déclaration du fichier.
Un fichier vide est un fichier qui n'a aucun enregistrement.