quickcheck_chunkedseq.cpp File Reference

Unit tests for our chunked sequence. More...

#include "cmdline.hpp"
#include "properties.hpp"

Go to the source code of this file.

Namespaces
	pasl
	pasl::data

Typedefs
using	pasl::data::value_type = int
using	pasl::data::trusted_sequence_container_type = pasl::data::stl::deque_seq< value_type >
using	pasl::data::trusted_bag_container_type = trusted_sequence_container_type
template<class Untrusted_sequence_container >
using	pasl::data::sequence_container_pair = container_pair< trusted_sequence_container_type, Untrusted_sequence_container, container_copy_from_untrusted_to_trusted< Untrusted_sequence_container >>
template<class Untrusted_sequence_container >
using	pasl::data::sequence_container_properties = chunkseqproperties< sequence_container_pair< Untrusted_sequence_container >>
template<class Untrusted_bag_container >
using	pasl::data::bag_container_pair = container_pair< trusted_bag_container_type, Untrusted_bag_container, container_copy_from_untrusted_to_trusted< Untrusted_bag_container >, bag_container_same< trusted_bag_container_type >>
template<class Untrusted_bag_container >
using	pasl::data::bag_container_properties = chunkedbagproperties< bag_container_pair< Untrusted_bag_container >>
using	pasl::data::trusted_map_type = std::map< int, int >
using	pasl::data::untrusted_map_type = map::map< int, int >
using	pasl::data::map_container_pair = container_pair< trusted_map_type, untrusted_map_type, map_copy_from_untrusted_to_trusted >
using	pasl::data::map_properties = mapproperties< map_container_pair >

Functions
template<class Property >
void	pasl::data::checkit (std::string msg)
template<class Properties >
void	pasl::data::chunkedseq_dispatch_by_property ()
template<int Chunk_capacity>
void	pasl::data::seq_dispatch_by_container ()
void	pasl::data::seq_dispatch_by_capacity ()
template<class Properties >
void	pasl::data::chunkedbag_dispatch_by_property ()
template<int Chunk_capacity>
void	pasl::data::bag_dispatch_by_container ()
void	pasl::data::bag_dispatch_by_capacity ()
void	pasl::data::map_dispatch ()
int	main (int argc, char **argv)

Variables
int	pasl::data::nb_tests

Detailed Description

Author

Umut A. Acar

Arthur Chargueraud

Mike Rainey

Date

2013-2018

Copyright

2014 Umut A. Acar, Arthur Chargueraud, Mike Rainey

Definition in file quickcheck_chunkedseq.cpp.

Function Documentation

int main	(	int	argc,
		char **	argv
	)

Definition at line 258 of file quickcheck_chunkedseq.cpp.