front_pull_term_operation.cpp

Go to the documentation of this file.

 
#ifndef Om_Language_Operation_FrontPullTermOperation_
 
    #include "om/language/operation/front_pull_term_operation.hpp"
 
    #ifdef Om_Macro_Test_
 
        #ifndef Om_Macro_Precompilation_
 
            #include "boost/test/unit_test.hpp"
 
        #endif
 
namespace Om {
 
    namespace Language {
 
        namespace Operation {
 
            BOOST_AUTO_TEST_SUITE(FrontPullTermOperationTest)
 
                BOOST_AUTO_TEST_CASE(DefinitionTest) {
                    BOOST_CHECK_EQUAL(
                        "{<-[terms]}",
                        System::Get().Evaluate("drop find {<-[terms]} system")
                    );
                }
 
                BOOST_AUTO_TEST_CASE(GeneralTest) {
                    BOOST_CHECK_EQUAL(
                        (
                            "{1}{"
                            "{2}\n"
                            "3"
                            "}"
                        ),
                        System::Get().Evaluate("<-[terms] {1{2}3}")
                    );
 
                    BOOST_CHECK_EQUAL(
                        "{1}{2}",
                        System::Get().Evaluate("<-[terms] {1 2}")
                    );
 
                    BOOST_CHECK_EQUAL(
                        "{}{}",
                        System::Get().Evaluate("<-[terms] {}")
                    );
 
                    BOOST_CHECK_EQUAL(
                        "{only}{}",
                        System::Get().Evaluate("<-[terms] {only}")
                    );
 
                    BOOST_CHECK_EQUAL(
                        "<-[terms]",
                        System::Get().Evaluate("<-[terms]")
                    );
                }
 
            BOOST_AUTO_TEST_SUITE_END()
 
        }
 
    }
 
}
 
    #endif
 
#else
 
    #include "om/language/expression.hpp"
    #include "om/language/operation/pull_operation.hpp"
 
// MARK: - Om::Language::Operation::FrontPullTermOperation
 
    #define Type_ \
    Om::Language::Operation::FrontPullTermOperation
 
// MARK: public (static)
 
inline char const * Type_::GetName() {
    return Om_Language_Operation_FrontPullTermOperation_GetName_();
}
 
inline void Type_::Give(Evaluation & theEvaluation) {
    theEvaluation.TakeOperation(
        std::auto_ptr<IncompleteOperation>(
            new PullOperation<
                Expression,
                FrontPullTermOperation
            >
        )
    );
}
 
template <typename TheConsumer>
inline void Type_::Pull(
    Expression & theExpression,
    TheConsumer & theConsumer
) {
    theExpression.FrontGiveTerm(theConsumer);
}
 
    #undef Type_
 
#endif