exclusive_output.h

Go to the documentation of this file.

// SPDX-License-Identifier: AGPL-3.0-or-later
// Commercial license available
// © Concepts 1996–2026 Miroslav Šotek. All rights reserved.
// © Code 2020–2026 Miroslav Šotek. All rights reserved.
// ORCID: 0009-0009-3560-0851
// Contact: www.anulum.li | protoscience@anulum.li
// Loop Timing Witness — exclusive native output stream ownership

 
#ifndef WITNESS_EXCLUSIVE_OUTPUT_H
#define WITNESS_EXCLUSIVE_OUTPUT_H
#include <cstdio>
#include "refusal.h"
#include <stdexcept>
 
namespace witness {
enum class OutputFormat {
    text,  
    binary 
};

class ExclusiveOutput {
    std::FILE *file;
 
  public:
    ExclusiveOutput(const char *path, OutputFormat format, const char *error)
        : file(std::fopen(path, format == OutputFormat::binary ? "wbx" : "wx")) {
        if (!file)
            throw witness::RuntimeRefused(error);
    }

    ~ExclusiveOutput() {
        if (file)
            std::fclose(file);
    }
    ExclusiveOutput(const ExclusiveOutput &) = delete;
    ExclusiveOutput &operator=(const ExclusiveOutput &) = delete;
    bool is_open() const noexcept { return file != nullptr; }
    std::FILE *stream(const char *closed_error) const {
        if (!file)
            throw witness::RuntimeRefused(closed_error);
        return file;
    }

    int close(const char *closed_error) {
        auto *owned = stream(closed_error);
        file = nullptr;
        return std::fclose(owned);
    }
};
} // namespace witness
#endif