output_format_concept.hpp

Go to the documentation of this file.

// -----------------------------------------------------------------------------------------------------
// Copyright (c) 2006-2021, Knut Reinert & Freie Universität Berlin
// Copyright (c) 2016-2021, Knut Reinert & MPI für molekulare Genetik
// This file may be used, modified and/or redistributed under the terms of the 3-clause BSD-License
// shipped with this file and also available at: https://github.com/seqan/seqan3/blob/master/LICENSE.md
// -----------------------------------------------------------------------------------------------------
 
#pragma once
 
#include <fstream>
#include <string>
#include <vector>
 
#include <seqan3/alphabet/nucleotide/dna5.hpp>
#include <seqan3/alphabet/quality/aliases.hpp>
#include <seqan3/alphabet/quality/phred42.hpp>
#include <seqan3/io/sequence_file/output_options.hpp>
#include <seqan3/utility/type_list/type_list.hpp>
 
namespace seqan3::detail
{
 
template <typename format_type>
struct sequence_file_output_format_exposer : public format_type
{
public:
 
    // Can't use `using format_type::write_sequence_record` as it produces a hard failure in the format concept check
    // for types that do not model the format concept, i.e. don't offer the proper write_sequence_record interface.
    template <typename ...ts>
    void write_sequence_record(ts && ...args)
    {
        format_type::write_sequence_record(std::forward<ts>(args)...);
    }
};
 
} // namespace seqan3::detail
 
namespace seqan3
{
 
template <typename t>
concept sequence_file_output_format = requires (detail::sequence_file_output_format_exposer<t> & v,
                                                std::ofstream                                  & f,
                                                sequence_file_output_options                   & options,
                                                dna5_vector                                    & seq,
                                                std::string                                    & id,
                                                std::vector<phred42>                           & qual,
                                                std::vector<dna5q>                             & seq_qual)
{
    t::file_extensions;
 
    {v.write_sequence_record(f, options, seq, id, qual)} -> std::same_as<void>;
    {v.write_sequence_record(f, options, std::ignore, id, std::ignore)} -> std::same_as<void>;
    {v.write_sequence_record(f, options, std::ignore, std::ignore, std::ignore)} -> std::same_as<void>;
    // the last is required to be compile time valid, but should always throw at run-time.
};
 
 
} // namespace seqan3
 
namespace seqan3::detail
{
 
template <typename t>
constexpr bool is_type_list_of_sequence_file_output_formats_v = false;
 
template <typename ...ts>
constexpr bool is_type_list_of_sequence_file_output_formats_v<type_list<ts...>> =
    (sequence_file_output_format<ts> && ...);
 
template <typename t>
concept type_list_of_sequence_file_output_formats = is_type_list_of_sequence_file_output_formats_v<t>;
} // namespace seqan3::detail