Assertion: file | /r/HasProperty | closed
Facets:
Source sentences:
text: This means that an IS_OPEN test on a file handle after an FCLOSE_ALL call still returns TRUE , even though the file has been closed.
text: This means that antest on a file handle after ancall still returns, even though the file has been closed.
text: Closing a file: When done with a file, it must be closed using the function fclose() .