test_generators.hpp File Reference

#include <rapidcheck/gtest.h>
#include <algorithm>
#include <cstdint>
#include <limits>
#include <optional>
#include <utility>
#include <string>
#include <tuple>
#include <array>
#include <string_view>
#include <bitset>
#include <sstream>
#include <vector>
#include "openvpn/addr/ip.hpp"
#include "openvpn/addr/addrpair.hpp"
#include "openvpn/tun/builder/capture.hpp"

Include dependency graph for test_generators.hpp:

Go to the source code of this file.

Classes
struct	rc::Arbitrary< RedirectGatewayFlagsValues >
	Template specialization for generating arbitrary RedirectGatewayFlagsValues. More...
struct	rc::Arbitrary< openvpn::TunBuilderCapture::RouteBase >
	Specialization of Arbitrary for the RouteBase type. More...
struct	rc::Arbitrary< openvpn::TunBuilderCapture::Route >
	Specialization of the Arbitrary template for TunBuilderCapture::Route. More...
struct	rc::Arbitrary< openvpn::TunBuilderCapture::RouteAddress >
	Specialization of the Arbitrary struct for RouteAddress. More...
struct	rc::Arbitrary< std::variant< T, Ts... > >
	Specialization of Arbitrary for creating arbitrary std::variant values. More...
struct	rc::Arbitrary< openvpn::IP::Addr::Version >
	V4 or V6, the versions an address string can carry. More...
struct	rc::Arbitrary< openvpn::IP::AddrMaskPair >

Namespaces
namespace	rc
namespace	rc::helpers

Typedefs
using	rc::RedirectGatewayFlagsValues = openvpn::RedirectGatewayFlags::Flags
using	rc::RouteBased = std::variant< openvpn::TunBuilderCapture::Route, openvpn::TunBuilderCapture::RouteAddress, openvpn::TunBuilderCapture::RouteBase >
	Alias representing a route-based variant type.

Functions
template<size_t N>
auto	rc::atLeastOneFalse () -> Gen< std::array< bool, N > >
	Generates an array of booleans that contains at least one false.
template<size_t N>
auto	rc::generateValidityFlags (const bool all_valid=true) -> Gen< std::array< bool, N > >
	Generates an array of validity flags for component testing.
auto	rc::IPv4Octet (const bool valid=true) -> Gen< int >
	Generates a valid or invalid IPv4 octet value.
auto	rc::IPv4Address (const bool valid=true) -> Gen< std::string >
	Generates a random IPv4 address.
auto	rc::asciiPrintableCode () -> Gen< int >
	Generates a random printable ASCII character code.
auto	rc::hexChar (const bool valid=true) -> Gen< std::string >
	Generates a valid or invalid hexadecimal character.
auto	rc::IPv6HextetValue (const bool valid=true) -> Gen< std::string >
	Generates a hextet value of an IPv6 address.
std::string	rc::removeLeadingZerosFromHextet (const std::string &hextet)
	Removes leading zeros from a hextet (IPv6 segment).
void	rc::removeLeadingZerosFromHextets (std::vector< std::string > &hextets)
	Removes leading zeros from a vector of hextets.
void	rc::replaceSequenceOfZerosWithDoubleColon (std::vector< std::string > &hextets)
	Replaces the longest sequence of consecutive "0" strings in a vector with "::".
std::string	rc::stringifyHextetsToAddressWithColons (const std::vector< std::string > &hextets)
	Converts a vector of hextets to an IPv6 address string with colons.
std::string	rc::compressIPv6Address (std::vector< std::string > hextets)
	Compress an IPv6 address by simplifying its representation.
auto	rc::IPv6Address (const bool valid=true) -> Gen< std::string >
	Generates a random IPv6 address.
auto	rc::alpha (const bool valid=true) -> Gen< char >
	Generates alphabetic or non-alphabetic characters.
auto	rc::from_allowed_chars (const std::string_view &allowed_chars, const bool valid=true) -> Gen< char >
	Generates characters based on an allowed character set.
auto	rc::string_from_allowed_chars (const std::string_view &allowed_chars, const bool valid=true) -> Gen< std::string >
	Generates strings based on allowed characters.
auto	rc::port (const bool valid=true) -> Gen< int >
	Generates a port number value.
auto	rc::calculateIPPrefixRange (const std::string &ipAddress) -> std::tuple< int, int >
	Calculates the valid IP prefix range for a given IP address.
auto	rc::helpers::genHost (const bool valid=true) -> Gen< std::string >
	Generates a host string.
auto	rc::helpers::genDnsServerSecurity () -> Gen< openvpn::DnsServer::Security >
	Generates random DNS server security settings.
auto	rc::helpers::genDnsServerTransport () -> Gen< openvpn::DnsServer::Transport >
	Generates random DNS server transport.
constexpr auto	rc::helpers::otherVersion (const openvpn::IP::Addr::Version version) -> openvpn::IP::Addr::Version
	The address version that is not version; UNSPEC maps to V4.
auto	rc::helpers::singleBit (const openvpn::IP::Addr::Version version, const unsigned int bit) -> openvpn::IP::Addr
	The address of version with only bit set; bit 0 is the least significant.
auto	rc::helpers::nonContiguousNetmask (const openvpn::IP::Addr::Version version, const unsigned int cleared_bit) -> openvpn::IP::Addr
	A mask of version with every bit set except cleared_bit.
template<typename Parse >
std::optional< std::string >	rc::helpers::rejectionMessageOf (Parse &&parse)
	The diagnostic AddrMaskPair::from_string throws when parse calls it, or nullopt when it accepts.
std::optional< std::string >	rc::helpers::rejectionMessage (const std::string &input, const char *title=nullptr)
std::optional< std::string >	rc::helpers::rejectionMessageForTerms (const std::string &address, const std::string &mask)
	Named apart from rejectionMessage: a literal "" second argument would otherwise bind to the title parameter.
std::optional< std::string >	rc::helpers::rejectionMessage (const openvpn::IP::AddrMaskPair::StringPair &pair)
auto	rc::genDnsDomain (const bool valid=true) -> Gen< openvpn::DnsDomain >
	Generates a DnsDomain.
auto	rc::genDnsAddress (const bool valid=true) -> Gen< openvpn::DnsAddress >
	Generates a DNS address.
auto	rc::genDnsAddressAsStr (const bool valid=true) -> Gen< std::string >
	Generates a DNS address as a string.
auto	rc::genDnsServer () -> Gen< openvpn::DnsServer >
	Generates a DNS server.
auto	rc::genDNSOptions () -> Gen< openvpn::DnsOptions >
	Generates random DNS options.
auto	rc::genIPAddressString (const openvpn::IP::Addr::Version version, const bool valid=true) -> Gen< std::string >
	Generates an address string of version; valid is IPv4Address()/IPv6Address()'s.
auto	rc::genIPAddr (const openvpn::IP::Addr::Version version) -> Gen< openvpn::IP::Addr >
auto	rc::genIPAddr () -> Gen< openvpn::IP::Addr >
auto	rc::genPrefixLength (const openvpn::IP::Addr::Version version, const bool valid=true) -> Gen< unsigned int >
	Generates a prefix length for an address of version.
auto	rc::genAddrMaskPair (const openvpn::IP::Addr::Version version) -> Gen< openvpn::IP::AddrMaskPair >
	Generates a well-formed AddrMaskPair of version: an address and a contiguous netmask.
auto	rc::genNonCanonicalAddrMaskPair (const openvpn::IP::Addr::Version version) -> Gen< openvpn::IP::AddrMaskPair >
	Generates a pair of version whose address has a host bit set, so is_canonical() is false.
auto	rc::genNetmaskString (const openvpn::IP::Addr::Version version, const bool valid=true) -> Gen< std::string >
	Generates a netmask of version rendered as an address string.
auto	rc::genMaskToken (const openvpn::IP::Addr::Version version, const bool valid=true) -> Gen< std::string >
	Generates the netmask term of an AddrMaskPair input for an address of version.
auto	rc::genAddrMaskPairString (const openvpn::IP::Addr::Version version, const bool valid=true) -> Gen< std::string >
	Generates an AddrMaskPair::from_string input for an address of version.

Variables
static const std::string	rc::ALPHA_CHARACTERS = "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ"
static const std::string	rc::DIGITS = "1234567890"