find_operation.cpp

Go to the documentation of this file.

 
#ifndef Om_Language_Operation_FindOperation_
 
    #include "om/language/operation/find_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(FindOperationTest)
 
                BOOST_AUTO_TEST_CASE(DefinitionTest) {
                    BOOST_CHECK_EQUAL(
                        "{find}",
                        System::Get().Evaluate("drop find {find} system")
                    );
                }
 
                BOOST_AUTO_TEST_CASE(SimpleTest) {
                    BOOST_CHECK_EQUAL(
                        (
                            "{"
                            "b{B}\n"
                            "a{A}"
                            "}{a{A}}"
                        ),
                        System::Get().Evaluate("find {a}{b{B} a{A}}")
                    );
 
                    BOOST_CHECK_EQUAL(
                        (
                            "{"
                            "b{B}\n"
                            "a{A}"
                            "}{a{A}}"
                        ),
                        System::Get().Evaluate("find {a}lexicon{b{B} a{A}}")
                    );
 
                    BOOST_CHECK_EQUAL(
                        "{}{}",
                        System::Get().Evaluate("find {a}lexicon{}")
                    );
 
                    BOOST_CHECK_EQUAL(
                        (
                            "{"
                            "b{B}\n"
                            "a{A}"
                            "}{}"
                        ),
                        System::Get().Evaluate("find {c}{b{B} a{A}}")
                    );
 
                    BOOST_CHECK_EQUAL(
                        (
                            "{"
                            "b{B}\n"
                            "a{A}\n"
                            "{C}"
                            "}{}"
                        ),
                        System::Get().Evaluate("find {c}{b{B} a{A} {C}}")
                    );
 
                    BOOST_CHECK_EQUAL(
                        (
                            "{"
                            "b{B}\n"
                            "a{A}\n"
                            "{C}"
                            "}{{C}}"
                        ),
                        System::Get().Evaluate("find {}{b{B} a{A} {C}}")
                    );
 
                    BOOST_CHECK_EQUAL(
                        (
                            "{"
                            "b{B}\n"
                            "a{A}\n"
                            "c"
                            "}{c}"
                        ),
                        System::Get().Evaluate("find {c}{b{B} a{A} c}")
                    );
 
                    BOOST_CHECK_EQUAL(
                        (
                            "{"
                            "b{B}\n"
                            "a{A}\n"
                            "c{}"
                            "}{c{}}"
                        ),
                        System::Get().Evaluate("find {c}{b{B} a{A} c{}}")
                    );
                }
 
            BOOST_AUTO_TEST_SUITE_END()
 
        }
 
    }
 
}
 
    #endif
 
#else
 
    #include "om/language/lexicon.hpp"
 
    #ifndef Om_Macro_Precompilation_
 
        #include "boost/utility/in_place_factory.hpp"
 
    #endif
 
// MARK: - Om::Language::Operation::FindOperation
 
    #define Type_ \
    Om::Language::Operation::FindOperation
 
// MARK: public (static)
 
inline char const * Type_::GetName() {
    return Om_Language_Operation_FindOperation_GetName_();
}
 
template <typename TheFindOperation>
inline void Type_::GiveElements(
    TheFindOperation & theFindOperation,
    Consumer & theConsumer
) {
    theConsumer.TakeElement(
        GetOperator()
    );
    if (theFindOperation.thisOperator) {
        theConsumer.TakeQuotedElements(*theFindOperation.thisOperator);
    }
}
 
// MARK: public (non-static)
 
inline Type_::FindOperation():
thisOperator() {}
 
template <typename TheOperand>
inline bool Type_::TakeOperand(
    Evaluation & theEvaluation,
    TheOperand & theOperand
) {
    assert(
        !theOperand.IsEmpty()
    );
    return this->TakeQuotedProducer(
        theEvaluation,
        *theOperand.GetProgram()
    );
}
 
template <typename TheProducer>
inline bool Type_::TakeQuotedProducer(
    Evaluation & theEvaluation,
    TheProducer & theProducer
) {
    if (this->thisOperator) {
        Lexicon theLexicon;
        theLexicon.TakeElements(theProducer);
 
        Expression theExpression;
        theLexicon.Find(*this->thisOperator).GiveElements(theExpression);
 
        theEvaluation.TakeQuotedProducer(theExpression);
        theEvaluation.TakeQuotedProducer(theLexicon);
        return true;
    }
    this->thisOperator = boost::in_place();
    assert(this->thisOperator);
    this->thisOperator->TakeElements(theProducer);
    return false;
}
 
    #undef Type_
 
#endif