OKlibrary  0.2.1.6
Variables_Tests.hpp File Reference

Generic tests for models of variable concepts. More...

Go to the source code of this file.

Classes

class  OKlib::Concepts::Variables_Axiom_singular_variables_false< Var >
 Test function for Concepts::Variables, checking that default-created variables are singular. More...
class  OKlib::Concepts::Variables_Axiom_singular_variables_identity< Var >
 Test function for Concepts::Variables, checking that two singular variables are identical. More...
class  OKlib::Concepts::Variables_basic_test< Var >
 Basic test function for Concepts::Variables, which checks syntax, singularity of default-constructed variables, and applies the basic test for the linear order. More...
class  OKlib::Concepts::VariablesWithIndex_Axiom_index_nonnegative< Var >
 Test function for concept Concepts::VariablesWithIndex, checking that indices of variables are not negative. More...
class  OKlib::Concepts::VariablesWithIndex_Axiom_index_zero_positive< Var >
 Test function for concept Concepts::VariablesWithIndex, checking that singular variables have index 0. More...
class  OKlib::Concepts::VariablesWithIndex_Axiom_index_zero_negative< Var >
 Test function for concept Concepts::VariablesWithIndex, checking that if the index is zero, then the variable is singular. More...
class  OKlib::Concepts::VariablesWithIndex_Axiom_index_identity< Var >
 Test function for concept Concepts::VariablesWithIndex, checking that variables with identical indices are identical. More...
class  OKlib::Concepts::VariablesWithIndex_basic_test< Var >
 Basis text function for concept Concepts::VariablesWithIndex, checking syntax and that singular variables have index 0, and applying the basic test for concept Concept::Variables. More...
struct  OKlib::Concepts::TestIndex::assert_index< index_type, is_signed >
struct  OKlib::Concepts::TestIndex::assert_index< index_type, true >
class  OKlib::Concepts::VariablesAsIndex_Axiom< Var >
 Test function for concept Concepts::VariablesAsIndex, checks that variables constructed from an index return the same index. More...
class  OKlib::Concepts::VariablesAsIndex_basic_test< Var >
 Basic test function for concept Concepts::VariablesAsIndex, checking syntax, applying the basic test for Concepts::VariablesWithIndex, and checking creation of variables from indices. More...

Namespaces

namespace  OKlib
 

All components of the OKlibrary.


namespace  OKlib::Concepts
 

Concept definitions and accompanying generic tests.


namespace  OKlib::Concepts::TestIndex

Functions

template<typename index_type >
void OKlib::Concepts::TestIndex::assert_ge0 (const index_type &i)

Detailed Description

Generic tests for models of variable concepts.

Deprecated:
Move to the new test system (and then using better error messages).
Todo:
Perhaps within namespace Concepts::tests we have namespace Variables? And further differentiations are conceivable, corresponding to the refinements?

Definition in file Variables_Tests.hpp.