query-resolver-test.cpp File Reference

unit test QueryResolver_test More...

Go to the source code of this file.

Description

unit test QueryResolver_test

Definition in file query-resolver-test.cpp.

#include "lib/test/run.hpp"
#include "lib/test/test-helper.hpp"
#include "lib/format-cout.hpp"
#include "lib/depend.hpp"
#include "common/query/query-resolver.hpp"
#include <string>

Namespaces
namespace	lumiera
	Lumiera public interface.
namespace	lumiera::test
namespace	lumiera::test::anonymous_namespace{query-resolver-test.cpp}

Typedefs
typedef Goal::QueryID const &	QID

Classes
class	DummySolutions< int >
class	DummySolutions< string >
struct	DummyResultSet< TY >
	a concrete "resolution" of the query is a set of "solutions", which can be explored by iteration. More...
class	DummyTypedSolutionProducer
	a (dummy) concrete query resolution facility. More...
class	QueryResolver_test

Functions
QueryResolver &	buildTestQueryResolver ()
	LAUNCHER (QueryResolver_test, "unit session")
	Register this test class...

Variables
lib::Depend< DummyTypedSolutionProducer >	testResolver