"code_type_end_of_file( Code " )
Holds true if Code represents a file that has been completely read..