testsuite/TestComponentGraph.cpp File Reference

Test the component graph. More...

#include <boost/cstdint.hpp>
#include "dlvhex2/ComponentGraph.h"
#include "dlvhex2/DependencyGraph.h"
#include "dlvhex2/HexParser.h"
#include "dlvhex2/InputProvider.h"
#include "dlvhex2/ProgramCtx.h"
#include "dlvhex2/PluginInterface.h"
#include <boost/test/unit_test.hpp>
#include "fixturesExt1.h"
#include "fixturesMCS.h"
#include "graphviz.h"
#include <iostream>
#include <fstream>
#include <cstdlib>

Include dependency graph for TestComponentGraph.cpp:

Go to the source code of this file.

Defines
#define	BOOST_TEST_MODULE   "TestComponentGraph"
#define	LOG_REGISTRY_PROGRAM(ctx)
Functions
DLVHEX_NAMESPACE_USE	BOOST_AUTO_TEST_CASE (testNonext)
	BOOST_FIXTURE_TEST_CASE (testExt1, ProgramExt1ProgramCtxDependencyGraphFixture)
	BOOST_FIXTURE_TEST_CASE (testMCSMedEQ, ProgramMCSMedEQProgramCtxDependencyGraphFixture)
	BOOST_FIXTURE_TEST_CASE (testMCSMedD, ProgramMCSMedEQProgramCtxDependencyGraphFixture)

---

Detailed Description

Test the component graph.

Author:

Peter Schueller <ps@kr.tuwien.ac.at>

Definition in file TestComponentGraph.cpp.

---

Define Documentation

#define BOOST_TEST_MODULE   "TestComponentGraph"

Definition at line 43 of file TestComponentGraph.cpp.

#define LOG_REGISTRY_PROGRAM

(

ctx

)

Value:

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

Definition at line 54 of file TestComponentGraph.cpp.

---

Function Documentation

DLVHEX_NAMESPACE_USE BOOST_AUTO_TEST_CASE

(

testNonext

)

Definition at line 67 of file TestComponentGraph.cpp.

References DependencyGraph::createDependencies(), ProgramCtx::idb, LOG, makeGraphVizPdf(), ModuleHexParser::parse(), ProgramCtx::registry(), and ProgramCtx::setupRegistry().

BOOST_FIXTURE_TEST_CASE	(	testExt1	,
		ProgramExt1ProgramCtxDependencyGraphFixture
	)

Definition at line 105 of file TestComponentGraph.cpp.

References LOG, makeGraphVizPdf(), and printrange().

BOOST_FIXTURE_TEST_CASE	(	testMCSMedEQ	,
		ProgramMCSMedEQProgramCtxDependencyGraphFixture
	)

Definition at line 182 of file TestComponentGraph.cpp.

References LOG, and makeGraphVizPdf().

BOOST_FIXTURE_TEST_CASE	(	testMCSMedD	,
		ProgramMCSMedEQProgramCtxDependencyGraphFixture
	)

Definition at line 202 of file TestComponentGraph.cpp.

References LOG, and makeGraphVizPdf().