| 123456789101112131415161718192021222324252627282930313233343536373839404142 |
- MODULE essai7;
- (* test minimal de lecture de fichier char par char*)
- FROM IOResult IMPORT ReadResults, ReadResult;
- FROM TextIO IMPORT ReadRestLine, SkipLine, ReadToken, WriteLn, WriteString, ReadChar;
- FROM SeqFile IMPORT OpenRead, OpenWrite, OpenResults, Close, ChanId, read, write;
- IMPORT STextIO, SWholeIO;
- VAR
- theChanId : ChanId;
- theResult : OpenResults;
- BEGIN
- (* principe : on ouvre, on lit les chars les uns après les autres et on les affiche*)
- (* une fois arrivé au bout du fichier, on le ferme *)
- STextIO.WriteString("Hello you all ! ... be ready for the ISO libs tests !");
- STextIO.WriteLn;
- STextIO.WriteString("trying to open a file and display the content,char by char");
- STextIO.WriteLn;
- STextIO.WriteString("trying exeptions ...");
- STextIO.WriteLn;
- (* ouverture du fichier*)
- OpenRead(theChanId, "test126.mod", read, theResult);
- IF theResult = noSuchFile THEN
- STextIO.WriteString("The file doesn't exist ; halting");
- STextIO.WriteLn;
- HALT;
- ELSE
- (* test du résultat*)
- IF theResult=opened THEN
- (*le fichier est ouvert*)
- STextIO.WriteString("file opened!");
- ELSE
- STextIO.WriteString("Error opening the file");
- STextIO.WriteLn;
- END;
- Close(theChanId);
- END;
- END essai7.
|