Test HEX parser for Module atoms. More...

#include <boost/cstdint.hpp>
#include "dlvhex2/HexParser.h"
#include "dlvhex2/InputProvider.h"
#include "dlvhex2/ProgramCtx.h"
#include "dlvhex2/Printer.h"
#include "dlvhex2/Registry.h"
#include "dlvhex2/Interpretation.h"
#include "dlvhex2/MLPSyntaxChecker.h"
#include <boost/test/unit_test.hpp>
#include <iostream>
#include <fstream>

Include dependency graph for TestHexParserModule.cpp:

Go to the source code of this file.

Defines
#define	BOOST_TEST_MODULE "TestHexParserModule"
#define	LOG_REGISTRY_PROGRAM(ctx)
Functions
DLVHEX_NAMESPACE_USE	BOOST_AUTO_TEST_CASE (testHexParserModuleAtoms)
	BOOST_AUTO_TEST_CASE (testCallNotExistModule)
	BOOST_AUTO_TEST_CASE (testPredInputsNotExistModuleHeader)
	BOOST_AUTO_TEST_CASE (testTooManyPredInputsModuleCalls)
	BOOST_AUTO_TEST_CASE (testTooFewPredInputsModuleCalls)
	BOOST_AUTO_TEST_CASE (testDifferentArityPredInputsModuleCalls)
	BOOST_AUTO_TEST_CASE (testPredOutputsModuleCallsNotExist)
	BOOST_AUTO_TEST_CASE (testDifferentArityPredOutputsModuleCalls)
	BOOST_AUTO_TEST_CASE (testSwapArityPredInputsModuleCalls)

Detailed Description

Test HEX parser for Module atoms.

Author:: Tri Kurniawan Wijaya <trikurniawanwijaya@gmail.com>

Definition in file TestHexParserModule.cpp.

Define Documentation

#define BOOST_TEST_MODULE "TestHexParserModule"

Definition at line 45 of file TestHexParserModule.cpp.

#define LOG_REGISTRY_PROGRAM ( ctx )

Value:

LOG(INFO, *ctx.registry()); \
    RawPrinter printer(std::cerr, ctx.registry()); \
    std::cerr << "first edb = " << *ctx.edbList.front() << std::endl; \
    LOG(DBG, "first idb"); \
    printer.printmany(ctx.idbList.front(),"\n"); \
    std::cerr << std::endl; \
    LOG(DBG, "idb end");

Definition at line 51 of file TestHexParserModule.cpp.

Referenced by BOOST_AUTO_TEST_CASE().