zeroerr::Domain< ValueType, CorpusType > Class Template Reference

Domain class for generating random values of a specific type. More...

#include <domain.h>

Public Member Functions
virtual	~Domain ()=default
virtual CorpusType	GetRandomCorpus (Rng &rng) const =0
virtual ValueType	GetRandomValue (Rng &rng) const
virtual CorpusType	FromValue (const ValueType &v) const =0
virtual ValueType	GetValue (const CorpusType &v) const =0
virtual CorpusType	ParseCorpus (IRObject v) const
virtual IRObject	SerializeCorpus (const CorpusType &v) const
virtual void	Mutate (Rng &rng, CorpusType &v, bool only_shrink=false) const =0

Detailed Description

template<typename ValueType, typename CorpusType = ValueType>
class zeroerr::Domain< ValueType, CorpusType >

Domain class for generating random values of a specific type.

Template Parameters

ValueType	The type of the value to generate.
CorpusType	The type of the corpus stored in the domain. Here is an example. If you want to generate an list of intergers, but will store the list in a vector, then ValueType will be std::list<int> and CorpusType will be std::vector<int>.

Constructor & Destructor Documentation

~Domain()

template<typename ValueType, typename CorpusType = ValueType>

virtual zeroerr::Domain< ValueType, CorpusType >::~Domain ( )

virtualdefault

Member Function Documentation

FromValue()

template<typename ValueType, typename CorpusType = ValueType>

virtual CorpusType zeroerr::Domain< ValueType, CorpusType >::FromValue ( const ValueType & v ) const

pure virtual

Implemented in zeroerr::AggregateOf< T, Inner >, zeroerr::AggregateOf< std::pair< std::remove_const< T >::type, std::remove_const< U >::type > >, zeroerr::AggregateOf< std::tuple< std::remove_const< T >::type... > >, zeroerr::Arbitrary< T, 2, is_string< T > >, zeroerr::AssociativeContainerOf< T, InnerDomain >, zeroerr::DomainConvertable< ValueType, CorpusType >, zeroerr::DomainConvertable< bool >, zeroerr::DomainConvertable< T >, zeroerr::ElementOf< T >, zeroerr::SequenceContainerOf< T, InnerDomain >, and zeroerr::SequenceContainerOf< T, Arbitrary< T::value_type > >.

GetRandomCorpus()

template<typename ValueType, typename CorpusType = ValueType>

virtual CorpusType zeroerr::Domain< ValueType, CorpusType >::GetRandomCorpus ( Rng & rng ) const

pure virtual

Implemented in zeroerr::AggregateOf< T, Inner >, zeroerr::AggregateOf< std::pair< std::remove_const< T >::type, std::remove_const< U >::type > >, zeroerr::AggregateOf< std::tuple< std::remove_const< T >::type... > >, zeroerr::Arbitrary< bool >, zeroerr::Arbitrary< T, 2, is_float_point< T > >, zeroerr::Arbitrary< T, 2, is_signed_int< T > >, zeroerr::Arbitrary< T, 2, is_string< T > >, zeroerr::Arbitrary< T, 2, is_unsigned_int< T > >, zeroerr::AssociativeContainerOf< T, InnerDomain >, zeroerr::ElementOf< T >, zeroerr::InRange< T >, zeroerr::SequenceContainerOf< T, InnerDomain >, and zeroerr::SequenceContainerOf< T, Arbitrary< T::value_type > >.

GetRandomValue()

template<typename ValueType, typename CorpusType = ValueType>

virtual ValueType zeroerr::Domain< ValueType, CorpusType >::GetRandomValue ( Rng & rng ) const

inlinevirtual

GetValue()

template<typename ValueType, typename CorpusType = ValueType>

virtual ValueType zeroerr::Domain< ValueType, CorpusType >::GetValue ( const CorpusType & v ) const

pure virtual

Implemented in zeroerr::DomainConvertable< bool >, zeroerr::DomainConvertable< T >, and zeroerr::ElementOf< T >.

Mutate()

template<typename ValueType, typename CorpusType = ValueType>

virtual void zeroerr::Domain< ValueType, CorpusType >::Mutate ( Rng & rng, CorpusType & v, bool only_shrink = false ) const

pure virtual

Implemented in zeroerr::Arbitrary< bool >, zeroerr::Arbitrary< T, 2, is_float_point< T > >, zeroerr::Arbitrary< T, 2, is_signed_int< T > >, zeroerr::Arbitrary< T, 2, is_unsigned_int< T > >, zeroerr::ElementOf< T >, and zeroerr::InRange< T >.

ParseCorpus()

template<typename ValueType, typename CorpusType = ValueType>

virtual CorpusType zeroerr::Domain< ValueType, CorpusType >::ParseCorpus ( IRObject v ) const

inlinevirtual

SerializeCorpus()

template<typename ValueType, typename CorpusType = ValueType>

virtual IRObject zeroerr::Domain< ValueType, CorpusType >::SerializeCorpus ( const CorpusType & v ) const

inlinevirtual

---

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

• include/zeroerr/domains/domain.h