concepts.cpp

Go to the documentation of this file.

 
/*****************************************************************************
** Includes
*****************************************************************************/
 
#include <iostream>
#include <gtest/gtest.h>
#include <vector>
#include "../../include/ecl/concepts/blueprints.hpp"
#include "../../include/ecl/concepts/containers.hpp"
#include "../../include/ecl/concepts/macros.hpp"
#include "../../include/ecl/concepts/streams.hpp"
 
/*****************************************************************************
** Classes
*****************************************************************************/
 
namespace ecl {
namespace concepts {
namespace tests {
 
template <typename T>
class Concept {
    public:
                ecl_compile_time_concept_test(Concept)
        {
            T t;
            t.apply();  // This is the characteristic function required by this concept.
        }
};
 
class A {
    public:
        void apply() {}; // Comment this line to cause the compile to fail.
};
 
class BluePrintCandidate {
public:
        typedef int base_type;
        base_type instantiate();
        void apply(base_type dude);
};
 
} // namespace tests
} // namespace concepts
} // namespace ecl
 
/*****************************************************************************
** Tests
*****************************************************************************/
 
using namespace ecl::concepts::tests;
 
// By default, the concept tests will pass. To cause it to fail
// comment the concept test functions and rebuild.
 
 
TEST(CompileTimeTests,macro) {
        ecl_compile_time_concept_check(Concept<A>);
        EXPECT_TRUE(true); // Should only fall over if compile time check is triggered.
}
 
TEST(CompileTimeTests,stream) {
        ecl_compile_time_concept_check(ecl::StreamConcept<std::ostream>);
        EXPECT_TRUE(true); // Should only fall over if compile time check is triggered.
}
 
TEST(CompileTimeTests,blueprint) {
        ecl_compile_time_concept_check(ecl::BluePrintConcept<BluePrintCandidate>);
        EXPECT_TRUE(true); // Should only fall over if compile time check is triggered.
}
 
TEST(CompileTimeTests,container) {
        ecl_compile_time_concept_check(ecl::DynamicContainerConcept< std::vector<int> >);
        EXPECT_TRUE(true); // Should only fall over if compile time check is triggered.
}
 
/*****************************************************************************
** Main
*****************************************************************************/
 
int main(int argc, char **argv) {
 
    testing::InitGoogleTest(&argc,argv);
    return RUN_ALL_TESTS();
}