Lines Matching refs:FILE_IN

49      FILE_IN : FILE_TYPE;  variable
63           CREATE (FILE_IN, OUT_FILE, LEGAL_FILE_NAME);
79           PUT (FILE_IN, CHAR);
81      NEW_PAGE (FILE_IN);
83      PUT (FILE_IN, CHAR);
85      CLOSE (FILE_IN);
88           OPEN (FILE_IN, IN_FILE, LEGAL_FILE_NAME);
96      SET_INPUT (FILE_IN);
101      IF END_OF_FILE /= END_OF_FILE (FILE_IN) THEN
105      WHILE NOT END_OF_PAGE (FILE_IN)
114      IF END_OF_FILE /= END_OF_FILE (FILE_IN) THEN
126           DELETE (FILE_IN);