Namespace rc


A lot of this code is taken from but highly modified.




AllIsChecks that all the types in Ts conforms to type trait F.
AllTrueChecks that all the parameters are true.
ArbitrarySpecialize this template to provide default arbitrary generators for custom types
GenThis class is the type of RapidCheck generators
GenerationFailureThrown to indicate that an appropriate value couldn't be generated.
MaybeRepresents the presence of a value or nothing at all
NothingTypeTag struct that can be used to construct different types to an uninitialized or empty state.
RandomImplementation of a splittable random generator as described in: Claessen, K
SeqThis class implements lazy sequences, or streams if you will
ShowType< const T >
ShowType< const volatile T >
ShowType< rc::state::Command< Model, Sut > >
ShowType< std::array< T, N > >
ShowType< std::basic_string< char, Traits, Allocator > >
ShowType< std::basic_string< char16_t, Traits, Allocator > >
ShowType< std::basic_string< char32_t, Traits, Allocator > >
ShowType< std::basic_string< wchar_t, Traits, Allocator > >
ShowType< std::deque< T, Allocator > >
ShowType< std::forward_list< T, Allocator > >
ShowType< std::list< T, Allocator > >
ShowType< std::map< Key, T, Compare, Allocator > >
ShowType< std::multimap< Key, T, Compare, Allocator > >
ShowType< std::multiset< Key, Compare, Allocator > >
ShowType< std::pair< T1, T2 > >
ShowType< std::set< Key, Compare, Allocator > >
ShowType< std::shared_ptr< T > >
ShowType< std::stack< T, Container > >
ShowType< std::tuple< Types... > >
ShowType< std::unique_ptr< T, Deleter > >
ShowType< std::unordered_map< Key, T, Hash, KeyEqual, Allocator > >
ShowType< std::unordered_multimap< Key, T, Hash, KeyEqual, Allocator > >
ShowType< std::unordered_multiset< Key, Hash, KeyEqual, Allocator > >
ShowType< std::unordered_set< Key, Hash, KeyEqual, Allocator > >
ShowType< std::vector< T, Allocator > >
ShowType< T & >
ShowType< T && >
ShowType< T * >
ShowType< T ** >To avoid whitespace between asterisks.
ShowType< volatile T >
ShrinkableA Shrinkable describes a value in addition to all the possible ways of shrinking that value.


beforeMinimalTestCaseThis is called before the final minimal test case is run when a property fails

Mentioned in

check overloadChecks the given testable and returns true on success and false on failure
check overloadSame as check(Testable &&) but also takes a description of the property that is being tested as the first parameter

Mentioned in

makeSeqCreates a new Seq using the implementation class specificed by the type parameter constructed by forwarding the given arguments.
operator!= overload
operator<< overload
operator== overloadTwo Seqs are considered equal if they return equal values
operator== overloadTwo Shrinkables are equal if the have the same value and the same shrinks.
showOutputs a human readable representation of the given value to the given output stream
showCollectionHelper function for showing collections of values.
toStringUses show(...) to convert argument to a string.


Typedefs (Traits.h)

template <typename T>
using Decay = typename std::decay< T >::type

Convenience wrapper over std::decay, shorter to type.


Variables (Gen.h)

constexpr int kNominalSize = 100

The reference size. This is not a max limit on the generator size parameter but serves as a guideline. In general, genenerators for which there is a natural limit which is not too expensive to generate should max out at this. This applies to, for example, generation of numbers but not to the generation of collection where there is an associated cost to generating large collections.

Mentioned in:

Generators Ref / Gen resize(int size, Gen gen)

Variables (Nothing.h)

constexpr NothingType Nothing = NothingType()

Singleton NothingType value.

Mentioned in:

Generators Ref / Gen> maybe(Gen gen)


Line 3 in include/rapidcheck/Assertions.hpp.

Add Discussion as Guest

Log in