define_operation.cpp

Go to the documentation of this file.

 
#ifndef Om_Language_Operation_DefineOperation_
 
    #include "om/language/operation/define_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(DefineOperationTest)
 
                BOOST_AUTO_TEST_CASE(DefinitionTest) {
                    BOOST_CHECK_EQUAL(
                        "{define}",
                        System::Get().Evaluate("drop find {define} system")
                    );
                }
 
                BOOST_AUTO_TEST_CASE(BasicSubstitutionTest) {
                    BOOST_CHECK_EQUAL(
                        "B",
                        System::Get().Evaluate("define {A {B}} {A}")
                    );
                }
 
                BOOST_AUTO_TEST_CASE(IdentityDefinitionTest) {
                    BOOST_CHECK_EQUAL(
                        "",
                        System::Get().Evaluate("define {A {}} {A}")
                    );
                }
 
                BOOST_AUTO_TEST_CASE(EmptyDefinitionTest) {
                    BOOST_CHECK_EQUAL(
                        "A",
                        System::Get().Evaluate("define {A} {A}")
                    );
                }
 
                BOOST_AUTO_TEST_CASE(EmptyLexiconTest) {
                    BOOST_CHECK_EQUAL(
                        "",
                        System::Get().Evaluate("define {} {}")
                    );
                }
 
                BOOST_AUTO_TEST_CASE(EmptyKeyFallThroughTest) {
                    BOOST_CHECK_EQUAL(
                        "{A}",
                        System::Get().Evaluate("define {{{A}}} {B}")
                    );
                }
 
                // Confirms that the last definition wins.
                BOOST_AUTO_TEST_CASE(MultipleDefinitionTest) {
                    BOOST_CHECK_EQUAL(
                        "{C}",
                        System::Get().Evaluate("define { A {{B}} A {{C}} } {A}")
                    );
                }
 
                // Confirms that the last definition wins.
                BOOST_AUTO_TEST_CASE(MultipleEmptyKeyTest) {
                    BOOST_CHECK_EQUAL(
                        "{C}",
                        System::Get().Evaluate("define { {{B}} {{C}} } {A}")
                    );
                }
 
                // Confirms that underlying non-constant definitions are used.
                BOOST_AUTO_TEST_CASE(ChainedLookupTest) {
                    BOOST_CHECK_EQUAL(
                        (
                            "B\n"
                            "B"
                        ),
                        System::Get().Evaluate("define {A {B}} {dequote {A} A}")
                    );
 
                    BOOST_CHECK_EQUAL(
                        "{1}",
                        System::Get().Evaluate(
                            "define{\n"
                            "a` b\n"
                            "{{1}}\n"
                            "}{do{a b}}\n"
                        )
                    );
                    BOOST_CHECK_EQUAL(
                        "1",
                        System::Get().Evaluate("define fill {a` b} {1} {do{a b}}")
                    );
                    BOOST_CHECK_EQUAL(
                        "{1}",
                        System::Get().Evaluate("define {a` b{{1}}} {do{a b}}")
                    );
                    BOOST_CHECK_EQUAL(
                        "{2}{1}",
                        System::Get().Evaluate(
                            "define"
                            "{"
                            "the` flaven{{1}}"
                            "the` glaven{{2}}"
                            "}"
                            "{do{the` glaven} do{the` flaven}}"
                        )
                    );
                }
 
                // Confirms evaluation order in nested scopes.
                BOOST_AUTO_TEST_CASE(NestedEvaluationOrderTest) {
                    BOOST_CHECK_EQUAL(
                        "{a-default}",
                        System::Get().Evaluate(
                            "define { b {B} {{b-default}} }{"
                            "define { a {A} {{a-default}} } { b }"
                            "}"
                        )
                    );
                    BOOST_CHECK_EQUAL(
                        "{b-default}",
                        System::Get().Evaluate(
                            "define { b {B} {{b-default}} }{"
                            "define { a {A} } { b }"
                            "}"
                        )
                    );
                }
 
                BOOST_AUTO_TEST_CASE(SimpleNestedTest) {
                    BOOST_CHECK_EQUAL(
                        "c",
                        System::Get().Evaluate("define{a{define{b{c}}{b}}}{a}")
                    );
                }
 
                BOOST_AUTO_TEST_CASE(DeletedOperatorTest) {
                    BOOST_CHECK_EQUAL(
                        "A",
                        System::Get().Evaluate("define {define} {define {a{A}} {a}}")
                    );
                }
 
                BOOST_AUTO_TEST_CASE(EvaluationTest) {
                    BOOST_CHECK_EQUAL(
                        "{1}{3}{2}",
                        System::Get().Evaluate("define {a{{1}c{2}} c{{3}}} {a}")
                    );
                }
 
            BOOST_AUTO_TEST_SUITE_END()
 
        }
 
    }
 
}
 
    #endif
 
#else
 
    #include "om/language/environment.hpp"
 
    #ifndef Om_Macro_Precompilation_
 
        #include "boost/utility/in_place_factory.hpp"
 
    #endif
 
// MARK: - Om::Language::Operation::DefineOperation
 
    #define Type_ \
    Om::Language::Operation::DefineOperation
 
// MARK: public (static)
 
inline char const * Type_::GetName() {
    return Om_Language_Operation_DefineOperation_GetName_();
}
 
template <typename TheDefineOperation>
inline void Type_::GiveElements(
    TheDefineOperation & theDefineOperation,
    Consumer & theConsumer
) {
    theConsumer.TakeElement(
        GetOperator()
    );
    if (theDefineOperation.thisLexicon) {
        theConsumer.TakeQuotedElements(*theDefineOperation.thisLexicon);
    }
}
 
// MARK: public (non-static)
 
inline Type_::DefineOperation():
thisLexicon() {}
 
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->thisLexicon) {
        Expression theExpression;
        {
            Environment theEnvironment;
            theEnvironment.Push(
                System::Get()
            );
            theEnvironment.Push(
                theEvaluation.GetTranslator()
            );
            theEnvironment.Push(*this->thisLexicon);
            Evaluator theScope(
                theExpression,
                theEnvironment
            );
            theProducer.GiveElements(theScope);
        }
        theEvaluation.TakeProducer(theExpression);
        return true;
    }
    this->thisLexicon = boost::in_place();
    assert(this->thisLexicon);
    this->thisLexicon->TakeElements(theProducer);
    return false;
}
 
    #undef Type_
 
#endif