include/dlvhex2/MLPSyntaxChecker.h

Go to the documentation of this file.

#if !defined(_DLVHEX_MLPSYNTAXCHECKER_H)
#define _DLVHEX_MLPSYNTAXCHECKER_H

#include "dlvhex2/ID.h"
#include "dlvhex2/Interpretation.h"
#include "dlvhex2/Registry.h"
#include "dlvhex2/ProgramCtx.h"
//#include "dlvhex2/ModuleTable.hpp"

#include <boost/multi_index_container.hpp>
#include <boost/multi_index/member.hpp>
#include <boost/multi_index/ordered_index.hpp>
#include <boost/multi_index/sequenced_index.hpp>
#include <boost/multi_index/identity.hpp>
#include <iostream>
#include <iterator>
#include <string>

DLVHEX_NAMESPACE_BEGIN

class DLVHEX_EXPORT MLPSyntaxChecker
{
    private:
        ProgramCtx ctx;
        int getArity(std::string predName);
        int getArity(ID idp);
        std::string getStringBeforeSeparator(const std::string& s);
        std::string getStringAfterSeparator(const std::string& s);
        bool verifyPredInputsArityModuleCall(ID module, Tuple tuple);
        bool verifyPredOutputArityModuleCall(ID module, ID outputpredicate);
        bool verifyAllModuleCalls();

    public:
        MLPSyntaxChecker(ProgramCtx& ctx1);
        bool verifySyntax();
};

DLVHEX_NAMESPACE_END
#endif                           /* _DLVHEX_MLPSYNTAXCHECKER_H */

// vim:expandtab:ts=4:sw=4:
// mode: C++
// End: