code_type_end_of_file/1

"code_type_end_of_file( Code " )

Holds true if Code represents a file that has been completely read..