Logging facility with comfortable indentation and closures. More...

#include "dlvhex2/PlatformDefinitions.h"
#include <boost/preprocessor/cat.hpp>
#include <boost/optional.hpp>
#include <boost/cstdint.hpp>
#include <boost/thread/mutex.hpp>
#include <boost/thread/tss.hpp>
#include <iostream>
#include <iomanip>
#include <sstream>

Include dependency graph for Logger.h:

Go to the source code of this file.

Data Structures
class	Logger
	Singleton logger class. More...
class	Logger::Closure
	Allows for printing within a given scope using some indent. More...
class	Logger::Init
	Logger initializer. More...
Defines
#define	LOG_SCOPED_LOCK(varname) boost::mutex::scoped_lock varname(Logger::Mutex());
#define	LOG(level, streamout)
#define	LOG_CLOSURE_ID BOOST_PP_CAT(log_closure_,__LINE__)
#define	LOG_INDENT(level) Logger::Closure LOG_CLOSURE_ID (Logger::Instance(), Logger:: level, " ", false)
#define	LOG_SCOPE(level, name, msg) Logger::Closure LOG_CLOSURE_ID (Logger::Instance(), Logger:: level, name, msg)
#define	LOG_VSCOPE(level, name, val, msg) Logger::Closure LOG_CLOSURE_ID (Logger::Instance(), Logger:: level, name, reinterpret_cast<const void* const>(val), msg)
#define	LOG_INIT(setlevel) namespace { Logger::Init LOG_CLOSURE_ID (setlevel); }
#define	DBGLOG(level, streamout) LOG(level,streamout)
#define	DBGLOG_INDENT(level) LOG_INDENT(level)
#define	DBGLOG_SCOPE(level, name, msg) LOG_SCOPE(level,name,msg)
#define	DBGLOG_VSCOPE(level, name, val, msg) LOG_VSCOPE(level,name,val,msg)

Detailed Description

Logging facility with comfortable indentation and closures.

Author:: Peter Schueller <[email protected]>

Definition in file Logger.h.

Define Documentation

#define DBGLOG	(	level,
		streamout
	)	LOG(level,streamout)

Definition at line 282 of file Logger.h.

#define DBGLOG_INDENT ( level ) LOG_INDENT(level)

Definition at line 283 of file Logger.h.

Referenced by ComponentGraph::computeCollapsedComponentInfos(), FLPModelGeneratorFactoryBase::createEatomGuessingRule(), and ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::getSuccessorIntersection().

#define DBGLOG_SCOPE	(	level,
		name,
		msg
	)	LOG_SCOPE(level,name,msg)

Definition at line 284 of file Logger.h.

Referenced by ProgramCtx::associateExtAtomsWithPluginAtoms(), ComponentGraph::collapseComponents(), ComponentGraph::computeCollapsedComponentInfos(), DependencyGraph::createAuxiliaryRuleIfRequired(), FLPModelGeneratorFactoryBase::createEatomGuessingRules(), DumpingEvalGraphBuilder::createEvalUnit(), DependencyGraph::createExternalPredicateInputDependencies(), FLPModelGeneratorFactoryBase::createFLPRules(), DependencyGraph::createHeadBodyUnifyingDependencies(), DependencyGraph::createHeadHeadUnifyingDependencies(), DependencyGraph::createNodesAndIntraRuleDependencies(), DependencyGraph::createNodesAndIntraRuleDependenciesForBody(), OnlineModelBuilder< EvalGraphT >::ensureModelIncrement(), OrdinaryAtom::existsHomomorphism(), GuessAndCheckModelGenerator::generateNextModel(), Registry::getAuxiliaryConstantSymbol(), Registry::getAuxiliaryVariableSymbol(), ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::getSuccessorIntersection(), CAUAlgorithms::logAPM(), CAUAlgorithms::logJRPM(), ComfortPluginAtom::retrieve(), RewriteEDBIDBState::rewriteEDBIDB(), OrdinaryAtom::unifiesWith(), and ComfortAtom::unifiesWith().

#define DBGLOG_VSCOPE	(	level,
		name,
		val,
		msg
	)	LOG_VSCOPE(level,name,val,msg)

Definition at line 285 of file Logger.h.

Referenced by PredicateMask::addPredicate(), DependencyGraph::createNodesAndIntraRuleDependenciesForRule(), PredicateMask::updateMask(), and ExternalAtom::updatePredicateInputMask().

#define LOG	(	level,
		streamout
	)

Value:

do { LOG_SCOPED_LOCK(lock); \
        if( Logger::Instance().shallPrint(Logger:: level) ) \
        { \
            Logger::Instance().startline(Logger:: level); \
            Logger::Instance().stream() << streamout << std::endl; \
        } \
    } while(false);

Definition at line 257 of file Logger.h.

#define LOG_CLOSURE_ID BOOST_PP_CAT(log_closure_,__LINE__)

Definition at line 264 of file Logger.h.

#define LOG_INDENT ( level ) Logger::Closure LOG_CLOSURE_ID (Logger::Instance(), Logger:: level, " ", false)

Definition at line 265 of file Logger.h.

Referenced by TestModelGeneratorFactory::ModelGenerator::ModelGenerator(), and CounterVerification< EvalGraphT >::printCounters().

#define LOG_INIT ( setlevel ) namespace { Logger::Init LOG_CLOSURE_ID (setlevel); }

Definition at line 278 of file Logger.h.

#define LOG_SCOPE	(	level,
		name,
		msg
	)	Logger::Closure LOG_CLOSURE_ID (Logger::Instance(), Logger:: level, name, msg)

Definition at line 266 of file Logger.h.

Referenced by BaseModelGenerator::buildEAtomInputTuples(), ComponentGraph::calculateComponents(), SafetyChecker::checkSafety(), EvalGraphBuilder::createEvalUnit(), DependencyGraph::createExternalPredicateInputDependencies(), DependencyGraph::createExternalPredicateInputDependenciesForInput(), DependencyGraph::createHeadBodyUnifyingDependencies(), DependencyGraph::createHeadHeadUnifyingDependencies(), OnlineModelBuilder< EvalGraphT >::createIModelFromPredecessorOModels(), EvalGraphE1Fixture::EvalGraphE1Fixture(), EvalGraphE2Fixture::EvalGraphE2Fixture(), EvalGraphEx1Fixture::EvalGraphEx1Fixture(), BaseModelGenerator::evaluateExternalAtom(), GenuineGuessAndCheckModelGenerator::generateNextModel(), BaseModelGenerator::learnSupportSetsForExternalAtom(), PluginContainer::loadPlugins(), OfflineModelBuilderTFixture< EvalGraphBaseFixtureT >::OfflineModelBuilderTFixture(), OnlineModelBuilderTFixture< EvalGraphBaseFixtureT >::OnlineModelBuilderTFixture(), StrongSafetyChecker::operator()(), CounterVerification< EvalGraphT >::recordCounters(), TestPluginAtomCount::retrieve(), ExternalAtomMask::setEAtom(), and BaseModelGenerator::verifyEAtomAnswerTuple().

#define LOG_SCOPED_LOCK ( varname ) boost::mutex::scoped_lock varname(Logger::Mutex());

Definition at line 51 of file Logger.h.

Referenced by Logger::Closure::Closure(), and Logger::Closure::~Closure().

#define LOG_VSCOPE	(	level,
		name,
		val,
		msg
	)	Logger::Closure LOG_CLOSURE_ID (Logger::Instance(), Logger:: level, name, reinterpret_cast<const void* const>(val), msg)

Definition at line 267 of file Logger.h.

Data Structures

Defines

Detailed Description

Define Documentation