* @brief Closes the file after reading or writing * @param file pointer to the file to be closed * @returns void */
source not stored for this graph (policy: none)
no test coverage detected