{
public:
File() = default;
- File(FILE* file);
+ explicit File(FILE* file);
File(const std::string& path, const char* mode);
File(File&& other) noexcept;
~File();
-// Copyright (C) 2020-2022 Joel Rosdahl and other contributors
+// Copyright (C) 2020-2023 Joel Rosdahl and other contributors
//
// See doc/AUTHORS.adoc for a complete list of contributors.
//
class Statistics
{
public:
- Statistics(const StatisticsCounters& counters);
+ explicit Statistics(const StatisticsCounters& counters);
// Return machine-readable strings representing the statistics counters.
std::vector<std::string> get_statistics_ids() const;
-// Copyright (C) 2021 Joel Rosdahl and other contributors
+// Copyright (C) 2021-2023 Joel Rosdahl and other contributors
//
// See doc/AUTHORS.adoc for a complete list of contributors.
//
class StatsLog
{
public:
- StatsLog(const std::string& path);
+ explicit StatsLog(const std::string& path);
StatisticsCounters read() const;
void log_result(const std::string& input_file,