ComplementExpression.cpp

Go to the documentation of this file.

// Copyright CERN 2012 - Developed in collaboration with GSI

#include <fesa-core/Sorting/ComplementExpression.h>

#include <cmw-log/Logger.h>

#include <iostream>

namespace
{
CMW::Log::Logger& logger = CMW::Log::LoggerFactory::getLogger("FESA.FWK.fesa-core.Sorting.ComplementExpression");
}

namespace fesa
{

std::set<HomogeneousDevCol *> ComplementExpression::evaluate()
{
    LOG_WARNING_IF(logger, "NOT IMPLEMENTED!");
    std::set<HomogeneousDevCol *> referenceSet = pNegatedExpression_->evaluate();
    std::set<HomogeneousDevCol *> complementedSet;
    return complementedSet;
}

bool ComplementExpression::match(SortingContext sc)
{
    std::string complementExprCandidate = sc.formula_;

    typedef enum
    {
        initState, parenthesesRemovalState, negateState, endState
    } automaton;

    automaton state = initState, newState = initState;
    std::string::size_type pos;
    while (state != endState)
    {
        switch (state)
        {
            case initState:
                newState = parenthesesRemovalState;
                break;
            case parenthesesRemovalState:
                // Note: parenthesis-removal shall be made
                // a specific SortingExpression::removeParenthesesAround()
                // function since it is used over and over again...

                pos = complementExprCandidate.find("(");
                if (pos != 0)
                {
                    return false;
                }
                complementExprCandidate.erase(pos, 1);

                pos = complementExprCandidate.rfind(")");
                if (pos != (complementExprCandidate.length() - 1))
                {
                    return false;
                }
                complementExprCandidate.erase(pos, 1);

                newState = negateState;
                break;
            case negateState:
            {
                pos = complementExprCandidate.find("not");
                if (pos != 0)
                {
                    return false;
                }
                complementExprCandidate.erase(pos, 3);

                SortingContext aSc;
                aSc.formula_ = complementExprCandidate;
                aSc.className_ = sc.className_;

                pNegatedExpression_ = SortingExpression::tryMatch(aSc);
                if (pNegatedExpression_ == 0)
                {
                    return false;
                }
                newState = endState;
                break;
            }
            case endState:
                break;
        }
        state = newState;
    }
    return true;
}

ComplementExpression::ComplementExpression():pNegatedExpression_(0){}

ComplementExpression::~ComplementExpression()
{
    if (pNegatedExpression_ != NULL)
    {
        delete pNegatedExpression_;
    }
}
} // fesa