home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / REFEXAMP.ARC / FILEPOS.PRO < prev    next >
Encoding:
Text File  |  1988-06-21  |  642 b   |  30 lines
  1. %======================  filepos/3             ===============================
  2. DOMAINS
  3.    FILE = my_file
  4.  
  5. PREDICATES
  6.    repeat
  7.    position
  8.  
  9. GOAL
  10.    makewindow(2, 23, 23, " file position ", 0, 40, 20, 40),
  11.    makewindow(1, 23, 23, " file output ", 0, 0, 20, 40),
  12.    dir("", "*.pro", Filename),
  13.    clearwindow,
  14.    openread(my_file, Filename),
  15.    repeat,
  16.    readdevice(my_file),
  17.    readchar(Str), position,
  18.    write(Str),
  19.    eof(my_file).
  20.  
  21. CLAUSES
  22.    repeat.
  23.    repeat:-repeat.
  24.  
  25.    position:-
  26.       shiftwindow(2),
  27.       filepos(my_file, P1, 0),
  28.       writef("position form start: %", P1), nl,
  29.       shiftwindow(1).
  30.