front_push_operation.cpp

Go to the documentation of this file.

 
#ifndef Om_Language_Operation_FrontPushOperation_
 
    #include "om/language/operation/front_push_operation.hpp"
 
#else
 
    #include "om/language/operation/program_operation.hpp"
 
// MARK: - Om::Language::Operation::FrontPushOperation
 
    #define Template_ \
    template < \
        typename ThisProgram, \
        typename ThisImplementation \
    >
 
    #define Type_ \
    Om::Language::Operation::FrontPushOperation< \
        ThisProgram, \
        ThisImplementation \
    >
 
// MARK: public (static)
 
Template_
template <typename TheFrontPushOperation>
inline void Type_::GiveElements(
    TheFrontPushOperation & theFrontPushOperation,
    Consumer & theConsumer
) {
    theConsumer.TakeElement(
        GetOperator()
    );
    if (
        !theFrontPushOperation.thisProgram.IsEmpty()
    ) {
        theConsumer.TakeQuotedElements(theFrontPushOperation.thisProgram);
    }
}
 
// MARK: public (non-static)
 
Template_
inline Type_::FrontPushOperation():
thisProgram() {}
 
Template_
template <typename TheProducer>
inline bool Type_::TakeQuotedProducer(
    Evaluation & theEvaluation,
    TheProducer & theProducer
) {
    if (
        this->thisProgram.IsEmpty()
    ) {
        this->thisProgram.TakeElements(theProducer);
        if (
            this->thisProgram.IsEmpty()
        ) {
            ProgramOperation<ThisProgram>::Give(theEvaluation);
            return true;
        }
        return false;
    }
    this->thisProgram.TakeElements(theProducer);
    theEvaluation.TakeQuotedProducer(this->thisProgram);
    return true;
}
 
Template_
template <typename TheOperand>
inline bool Type_::TakeOperand(
    Evaluation & theEvaluation,
    TheOperand & theOperand
) {
    assert(
        !theOperand.IsEmpty()
    );
    return this->TakeQuotedProducer(
        theEvaluation,
        *theOperand.GetProgram()
    );
}
 
// MARK: private (static)
 
Template_
inline Om::Language::Operator const & Type_::GetOperator() {
    static Operator const theOperator(
        ThisImplementation::GetName()
    );
    return theOperator;
}
 
    #undef Type_
    #undef Template_
 
#endif