front_pull_form_operation.cpp

Go to the documentation of this file.

 
#ifndef Om_Language_Operation_FrontPullFormOperation_
 
    #include "om/language/operation/front_pull_form_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(FrontPullFormOperationTest)
 
                BOOST_AUTO_TEST_CASE(DefinitionTest) {
                    BOOST_CHECK_EQUAL(
                        "{<-[forms]}",
                        System::Get().Evaluate("drop find {<-[forms]} system")
                    );
                }
 
                BOOST_AUTO_TEST_CASE(GeneralTest) {
                    BOOST_CHECK_EQUAL(
                        "{1{2}{3}}{4{5}{6}}",
                        System::Get().Evaluate("<-[forms] {1{2}{3}4{5}{6}}")
                    );
 
                    BOOST_CHECK_EQUAL(
                        "{1}{2}",
                        System::Get().Evaluate("<-[forms] {1 2}")
                    );
 
                    BOOST_CHECK_EQUAL(
                        "{}{}",
                        System::Get().Evaluate("<-[forms] {}")
                    );
 
                    BOOST_CHECK_EQUAL(
                        "{only}{}",
                        System::Get().Evaluate("<-[forms] {only}")
                    );
 
                    BOOST_CHECK_EQUAL(
                        "<-[forms]",
                        System::Get().Evaluate("<-[forms]")
                    );
 
                    BOOST_CHECK_EQUAL(
                        "{a{b}{c}}{}",
                        System::Get().Evaluate("<-[forms]{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::FrontPullFormOperation
 
    #define Type_ \
    Om::Language::Operation::FrontPullFormOperation
 
// MARK: public (static)
 
inline char const * Type_::GetName() {
    return Om_Language_Operation_FrontPullFormOperation_GetName_();
}
 
inline void Type_::Give(Evaluation & theEvaluation) {
    theEvaluation.TakeOperation(
        std::auto_ptr<IncompleteOperation>(
            new PullOperation<
                Expression,
                FrontPullFormOperation
            >
        )
    );
}
 
template <typename TheConsumer>
inline void Type_::Pull(
    Expression & theExpression,
    TheConsumer & theConsumer
) {
    theExpression.FrontGiveForm(theConsumer);
}
 
    #undef Type_
 
#endif