OKlibrary  0.2.1.6
std_Basics_Tests.hpp File Reference

Test classes for the basic concepts from the standard. More...

Go to the source code of this file.

Classes

class  OKlib::Concepts::EqualityComparable_Axiom_reflexivity< T >
 Checks for objects a whether a == a holds. More...
class  OKlib::Concepts::EqualityComparable_Axiom_symmetry< T >
 Checks for objects a, b whether either (a == b and b == a) holds or (not (a == b) and not (b == a)). More...
class  OKlib::Concepts::EqualityComparable_Axiom_transitivity< T >
 Checks for objects a, b, c with a == b and b == c, whether a == c holds. More...
class  OKlib::Concepts::EqualityComparable_basic_test_one_object< T >
 Basic test for EqualityComparable, given one object. More...
class  OKlib::Concepts::EqualityComparable_basic_test_two_objects< T >
 Basic test for EqualityComparable, given two objects. More...
class  OKlib::Concepts::EqualityComparable_basic_test_three_objects< T >
 Basic test for EqualityComparable, given two objects. More...
class  OKlib::Concepts::LessThanComparable_Axiom_irreflexivity< T >
 Checks for objects a whether not (a < a) holds. More...
class  OKlib::Concepts::LessThanComparable_Axiom_asymmetry< T >
 Checks that not at the same time a < b and b < a holds. More...
class  OKlib::Concepts::LessThanComparable_Axiom_transitivity< T >
 Checks for objects a, b, c with a < b and b < c, whether a < c holds. More...
class  OKlib::Concepts::LessThanComparable_Axiom_equivalence_reflexivity< T >
 Checks for objects a whether a ~ a holds. More...
class  OKlib::Concepts::LessThanComparable_Axiom_equivalence_symmetry< T >
 Checks for objects a whether a ~ b => b ~ a holds. More...
class  OKlib::Concepts::LessThanComparable_Axiom_equivalence_transitivity< T >
 Checks for objects a, b, c with a ~ b and b ~ c, whether a ~ c holds. More...
class  OKlib::Concepts::LessThanComparable_basic_test_one_object< T >
 Basic test for LessThanComparable, given one object. More...
class  OKlib::Concepts::LessThanComparable_basic_test_two_objects< T >
 Basic test for LessThanComparable, given two objects. More...
class  OKlib::Concepts::LessThanComparable_basic_test_three_objects< T >
 Basic test for LessThanComparable, given three objects. More...

Namespaces

namespace  OKlib
 

All components of the OKlibrary.


namespace  OKlib::Concepts
 

Concept definitions and accompanying generic tests.



Detailed Description

Test classes for the basic concepts from the standard.

Concepts EqualityComparable and LessThanComparable enable semantical tests, but concepts Destructible, CopyConstructible, DefaultConstructible, Assignable have no semantical properties.

Deprecated:
Move to the new test system.
Todo:
Complete the implementations.

Definition in file std_Basics_Tests.hpp.