| 摘要 |
PURPOSE:To shorten the time interval of inputs as compared to the input of character one by one from a file by inputting the contents of the file to a retrieving buffer in the case of relatively moving a file position from a current position and retrieving a record dividing code in the retrieving buffer. CONSTITUTION:A reading means 2 reads out only a retrieving size 8 from the file 6, and if the whole retrieving size 8 can not be read out, stores the read size in the retrieving size 8. A record dividing code retrieving means 3 retrieves a record dividing code in the retrieving buffer 7 in accordance with relative positioning instruction information 5 and the retrieving size 8 and stores displacement from the current file position to the position to be positioned in correcting size information 9. A correct positioning means 4 changes the current file position only by the correcting size information 9. Consequently, it is unnecessary to input each character from the file and the retrieving time can be saved. |
