seqan3::detail::is_in_interval_type< interval_first, interval_last > Struct Template Reference

Parse condition that checks if a given value is in the range of rng_beg and interval_last. More...

#include <seqan3/utility/char_operations/predicate_detail.hpp>

Inheritance diagram for seqan3::detail::is_in_interval_type< interval_first, interval_last >:

Public Types
using	base_t = char_predicate_base< is_in_interval_type< interval_first, interval_last > >
	The base type.
using	data_t = constexpr_pseudo_bitset< 257 >
	Type of the data field; as soon as std::bitset is fully constexpr, use that instead!

Public Member Functions
Requirements for seqan3::detail::char_predicate
You can expect the variable and the predicate function on all types that satisfy seqan3::output_stream_over.
bool	operator() (char_type c)
	predicate function to test if c satisfies the given condition. More...
Logical operators
Adds logical operators to allow logical disjunction, conjunction and negation on parse conditions.
constexpr auto	operator|| (rhs_t const &) const
	Combines the result of two seqan3::detail::char_predicate via logical disjunction.
constexpr auto	operator! () const
	Return a new condition with all bits flipped.
Function call operator
constexpr bool	operator() (value_t const val) const noexcept
	Invokes the condition on val.
Output functions
std::string	message () const
	Returns the message representing this condition as std::string.

Static Public Attributes
static constexpr data_t	data
	The look-up table that is used to evaluate the input. More...
static const std::string	msg
	The message representing this condition. More...

Related Functions
(Note that these are not member functions.)
template<char op, typename condition_head_t , typename ... condition_ts>
const std::string	condition_message_v
	Defines a compound std::string consisting of all given conditions separated by the operator-name op. More...

Detailed Description

template<uint8_t interval_first, uint8_t interval_last>
struct seqan3::detail::is_in_interval_type< interval_first, interval_last >

Parse condition that checks if a given value is in the range of rng_beg and interval_last.

Template Parameters

interval_first	non-type template parameter denoting the begin of the allowed range. Must be less than or equal to interval_last.
interval_last	non-type template parameter denoting the end of the allowed range. Must be greater than or equal to interval_first.

Member Function Documentation

operator()()

bool operator() ( char_type  c )

inherited

predicate function to test if c satisfies the given condition.

Parameters

c	The character to be tested.

Returns

true on success, false otherwise.

Attention

This is a concept requirement, not an actual function (however types satisfying this concept will provide an implementation).

Member Data Documentation

data

template<uint8_t interval_first, uint8_t interval_last>

constexpr data_t seqan3::detail::is_in_interval_type< interval_first, interval_last >::data

staticconstexpr

Initial value:

= [] () constexpr
    {
        data_t ret{};
 
        for (size_t i = interval_first; i <= static_cast<size_t>(interval_last); ++i)
            ret[i] = true;
 
        return ret;
    }()

The look-up table that is used to evaluate the input.

msg

template<uint8_t interval_first, uint8_t interval_last>

const std::string seqan3::detail::is_in_interval_type< interval_first, interval_last >::msg

inlinestatic

Initial value:

= std::string{"is_in_interval<'"} +
                                          std::string{interval_first}     +
                                          std::string{"', '"}             +
                                          std::string{interval_last}      +
                                          std::string{"'>"}

The message representing this condition.

---

The documentation for this struct was generated from the following file:

• seqan3/utility/char_operations/predicate_detail.hpp