dlvhex  2.1.0
Data Structures | Public Types | Public Member Functions | Static Public Member Functions | Static Public Attributes | Private Member Functions | Private Attributes | Friends
Logger Class Reference

#include <include/dlvhex2/Logger.h>

Collaboration diagram for Logger:
Collaboration graph
[legend]

Data Structures

class  Closure
class  Init

Public Types

typedef uint32_t Levels

Public Member Functions

std::ostream & stream ()
void setPrintLevels (Levels levels)
void setPrintLevelWidth (int width)
Levels getPrintLevels () const
void startline (Levels forlevel)
bool shallPrint (Levels forlevel)

Static Public Member Functions

static Logger & Instance ()
static boost::mutex & Mutex ()

Static Public Attributes

static const Levels DBG = 0x01
static const Levels INFO = 0x02
static const Levels WARNING = 0x04
static const Levels ERROR = 0x08
static const Levels PLUGIN = 0x10
static const Levels ANALYZE = 0x20
static const Levels MODELB = 0x40
static const Levels STATS = 0x80

Private Member Functions

 Logger ()
 ~Logger ()

Private Attributes

std::ostream & out
boost::thread_specific_ptr
< std::string > 		indent
Levels printlevels
int levelwidth

Friends

class Closure

Detailed Description

Definition at line 51 of file Logger.h.

Member Typedef Documentation

typedef uint32_t Logger::Levels

Definition at line 57 of file Logger.h.

Constructor & Destructor Documentation

Logger::Logger ( ) [inline, private]

Definition at line 81 of file Logger.h.

Referenced by Instance().

Logger::~Logger ( ) [inline, private]

Definition at line 84 of file Logger.h.

References DBG, startline(), and stream().

Member Function Documentation

Logger::Levels Logger::getPrintLevels ( ) const

Definition at line 87 of file Logger.cpp.

References printlevels.

Logger & Logger::Instance ( ) [static]

Definition at line 47 of file Logger.cpp.

References Logger().

Referenced by DependencyGraph::createAuxiliaryRuleIfRequired(), BaseModelGenerator::evaluateExternalAtom(), OnlineModelBuilder< EvalGraphT >::getNextIModel(), OnlineModelBuilder< EvalGraphT >::getNextOModel(), Logger::Init::Init(), main(), Mutex(), ParseState::parse(), processOptionsPrePlugin(), RewriteEDBIDBState::rewriteEDBIDB(), DLVProcess::setupStreams(), testABBAProgram(), testAFinProgram(), testCardinalityProgram(), testComplexProgram(), testCsProgram(), testDisjunctionProgram(), testHanoiProgram(), testInconsistentProgram(), testIndirectionProgram(), testIStratified2Program(), testIStratifiedProgram(), testNegationProgram(), testNoticStratifiedProgram(), testOneMainModules(), testReachabilityNonGroundProgram(), testTwoMainModules(), testTwoModuleCalls1(), testTwoModuleCalls2(), and ProgramCtx::~ProgramCtx().

boost::mutex & Logger::Mutex ( ) [static]

Definition at line 54 of file Logger.cpp.

References Instance(), shallPrint(), stream(), and WARNING.

void Logger::setPrintLevels ( Levels  levels)

Definition at line 74 of file Logger.cpp.

References ERROR, out, and printlevels.

Referenced by Logger::Init::Init(), main(), processOptionsPrePlugin(), testABBAProgram(), testAFinProgram(), testCardinalityProgram(), testComplexProgram(), testCsProgram(), testDisjunctionProgram(), testHanoiProgram(), testInconsistentProgram(), testIndirectionProgram(), testIStratified2Program(), testIStratifiedProgram(), testNegationProgram(), testNoticStratifiedProgram(), testOneMainModules(), testReachabilityNonGroundProgram(), testTwoMainModules(), testTwoModuleCalls1(), and testTwoModuleCalls2().

void Logger::setPrintLevelWidth ( int  width)

Definition at line 81 of file Logger.cpp.

References levelwidth.

Referenced by main().

bool Logger::shallPrint ( Levels  forlevel) [inline]

Definition at line 115 of file Logger.h.

References printlevels.

Referenced by Logger::Closure::Closure(), BaseModelGenerator::evaluateExternalAtom(), Mutex(), Logger::Closure::~Closure(), and ProgramCtx::~ProgramCtx().

void Logger::startline ( Levels  forlevel) [inline]

Definition at line 105 of file Logger.h.

References indent, levelwidth, and out.

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

std::ostream& Logger::stream ( ) [inline]

Definition at line 97 of file Logger.h.

References out.

Referenced by Mutex(), ParseState::parse(), RewriteEDBIDBState::rewriteEDBIDB(), Logger::Closure::sayGoodbye(), Logger::Closure::sayHello(), ~Logger(), and ProgramCtx::~ProgramCtx().

Friends And Related Function Documentation

friend class Closure [friend]

Definition at line 118 of file Logger.h.

Field Documentation

const Levels Logger::ANALYZE = 0x20 [static]

Definition at line 65 of file Logger.h.

Referenced by MLPSolver::solve().

const Levels Logger::DBG = 0x01 [static]

Definition at line 58 of file Logger.h.

Referenced by MLPSolver::comp(), DependencyGraph::createAuxiliaryRuleIfRequired(), OnlineModelBuilder< EvalGraphT >::getNextIModel(), OnlineModelBuilder< EvalGraphT >::getNextOModel(), DLVProcess::setupStreams(), ~Logger(), and ProgramCtx::~ProgramCtx().

const Levels Logger::ERROR = 0x08 [static]

Definition at line 61 of file Logger.h.

Referenced by main(), processOptionsPrePlugin(), setPrintLevels(), testABBAProgram(), testAFinProgram(), testCardinalityProgram(), testComplexProgram(), testCsProgram(), testDisjunctionProgram(), testHanoiProgram(), testInconsistentProgram(), testIndirectionProgram(), testIStratified2Program(), testIStratifiedProgram(), testNegationProgram(), testNoticStratifiedProgram(), testOneMainModules(), testReachabilityNonGroundProgram(), testTwoMainModules(), testTwoModuleCalls1(), and testTwoModuleCalls2().

boost::thread_specific_ptr<std::string> Logger::indent [private]

Definition at line 72 of file Logger.h.

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

const Levels Logger::INFO = 0x02 [static]

Definition at line 59 of file Logger.h.

Referenced by MLPSolver::comp(), processOptionsPrePlugin(), and testOneMainModules().

int Logger::levelwidth [private]

Definition at line 75 of file Logger.h.

Referenced by setPrintLevelWidth(), and startline().

const Levels Logger::MODELB = 0x40 [static]

Definition at line 66 of file Logger.h.

Referenced by OnlineModelBuilder< EvalGraphT >::getNextIModel(), and OnlineModelBuilder< EvalGraphT >::getNextOModel().

std::ostream& Logger::out [private]

Definition at line 70 of file Logger.h.

Referenced by setPrintLevels(), startline(), and stream().

const Levels Logger::PLUGIN = 0x10 [static]

Definition at line 64 of file Logger.h.

Referenced by BaseModelGenerator::evaluateExternalAtom().

Levels Logger::printlevels [private]

Definition at line 73 of file Logger.h.

Referenced by getPrintLevels(), setPrintLevels(), and shallPrint().

const Levels Logger::STATS = 0x80 [static]

Definition at line 67 of file Logger.h.

const Levels Logger::WARNING = 0x04 [static]

Definition at line 60 of file Logger.h.

Referenced by main(), Mutex(), processOptionsPrePlugin(), testABBAProgram(), testAFinProgram(), testCardinalityProgram(), testComplexProgram(), testCsProgram(), testDisjunctionProgram(), testHanoiProgram(), testInconsistentProgram(), testIndirectionProgram(), testIStratified2Program(), testIStratifiedProgram(), testNegationProgram(), testNoticStratifiedProgram(), testOneMainModules(), testReachabilityNonGroundProgram(), testTwoMainModules(), testTwoModuleCalls1(), and testTwoModuleCalls2().

The documentation for this class was generated from the following files: