default_program.cpp

Go to the documentation of this file.

 
#ifndef Om_Language_DefaultProgram_
 
    #include "om/language/default_program.hpp"
 
#else
 
    #include "om/language/element.hpp"
    #include "om/source/source.hpp"
 
    #ifndef Om_Macro_Precompilation_
 
        #include <typeinfo>
 
    #endif
 
// MARK: - Om::Language::DefaultProgram
 
    #define Template_ \
    template < \
        typename ThisImplementation, \
        typename ThisInterface \
    >
 
    #define Type_ \
    Om::Language::DefaultProgram< \
        ThisImplementation, \
        ThisInterface \
    >
 
// MARK: public (non-static)
 
Template_
inline Type_::~DefaultProgram() {}
 
Template_
inline bool Type_::Equals(Program const & theProgram) const {
    typedef Om::Source::Source<Element const> ElementSource;
 
    std::auto_ptr<ElementSource> theRange = this->GetElementRange();
    assert(
        theRange.get()
    );
 
    std::auto_ptr<ElementSource> theOtherRange = theProgram.GetElementRange();
    assert(
        theOtherRange.get()
    );
 
    for (
        ;
        ;
    ) {
        bool const theRangeHasNext = *theRange;
        bool const theOtherRangeHasNext = *theOtherRange;
        if (
            !theRangeHasNext ||
            !theOtherRangeHasNext
        ) {
            return theRangeHasNext == theOtherRangeHasNext;
        }
        if (**theRange != **theOtherRange) {
            return false;
        }
        theRange->Pop();
        theOtherRange->Pop();
    }
}
 
Template_
inline void Type_::TakeElements(Producer & theProducer) {
    this->TakeProducer<ThisImplementation>(theProducer);
}
 
Template_
inline void Type_::TakeElements(Producer const & theProducer) {
    this->TakeProducer<ThisImplementation const>(theProducer);
}
 
// MARK: private (non-static)
 
Template_
template <
    typename TheCast,
    typename TheProducer
>
inline void Type_::TakeProducer(TheProducer & theProducer) {
    assert(
        dynamic_cast<ThisImplementation *>(this)
    );
    assert(
        typeid(TheCast) == typeid(ThisImplementation)
    );
    if (
        typeid(TheCast) == typeid(theProducer) &&
        this->IsEmpty()
    ) {
        this->Take(
            static_cast<TheCast &>(theProducer)
        );
    } else {
        theProducer.GiveElements(*this);
    }
}
 
    #undef Type_
    #undef Template_
 
#endif