"char_type_end_of_file( Char " )
Holds true if Char represents a file that has been completely read..