back_pull_term_operation.cpp

Go to the documentation of this file.

 
#ifndef Om_Language_Operation_BackPullTermOperation_
 
    #include "om/language/operation/back_pull_term_operation.hpp"
 
    #ifdef Om_Macro_Test_
 
        #include "om/language/system.hpp"
 
        #ifndef Om_Macro_Precompilation_
 
            #include "boost/test/unit_test.hpp"
 
        #endif
 
namespace Om {
 
    namespace Language {
 
        namespace Operation {
 
            BOOST_AUTO_TEST_SUITE(BackPullTermOperationTest)
 
                BOOST_AUTO_TEST_CASE(DefinitionTest) {
                    BOOST_CHECK_EQUAL(
                        "{[terms]->}",
                        System::Get().Evaluate("drop find {[terms]->} system")
                    );
                }
 
                BOOST_AUTO_TEST_CASE(GeneralTest) {
                    BOOST_CHECK_EQUAL(
                        "{3}{1{2}}",
                        System::Get().Evaluate("[terms]-> {1{2}3}")
                    );
 
                    BOOST_CHECK_EQUAL(
                        "{2}{1}",
                        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_CHECK_EQUAL(
                        "{{c}}{a{b}}",
                        System::Get().Evaluate("[terms]->{a{b}{c}}")
                    );
                }
 
            BOOST_AUTO_TEST_SUITE_END()
 
        }
 
    }
 
}
 
    #endif
 
#else
 
    #include "om/language/expression.hpp"
    #include "om/language/operation/pull_operation.hpp"
 
// MARK: - Om::Language::Operation::BackPullTermOperation
 
    #define Type_ \
    Om::Language::Operation::BackPullTermOperation
 
// MARK: public (static)
 
inline char const * Type_::GetName() {
    return Om_Language_Operation_BackPullTermOperation_GetName_();
}
 
inline void Type_::Give(Evaluation & theEvaluation) {
    theEvaluation.TakeOperation(
        std::auto_ptr<IncompleteOperation>(
            new PullOperation<
                Expression,
                BackPullTermOperation
            >
        )
    );
}
 
template <typename TheConsumer>
inline void Type_::Pull(
    Expression & theExpression,
    TheConsumer & theConsumer
) {
    theExpression.BackGiveTerm(theConsumer);
}
 
    #undef Type_
 
#endif