SafetyChecker Class Reference

Ordinary safety checker class. More...

#include <include/dlvhex2/SafetyChecker.h>

Inheritance diagram for SafetyChecker:

Collaboration diagram for SafetyChecker:

Public Member Functions
	SafetyChecker (const ProgramCtx &ctx)
	Constructor.
virtual	~SafetyChecker ()
	Destructor.
virtual void	operator() () const throw (SyntaxError)
	operator() does the safety check.
Tuple	checkSafety (bool throwOnUnsafeVariables) const throw (SyntaxError)

---

Detailed Description

Ordinary safety checker class.

Definition at line 73 of file SafetyChecker.h.

---

Constructor & Destructor Documentation

SafetyChecker::SafetyChecker

(

const ProgramCtx &

ctx

)

Constructor.

Parameters:

ctx	See SafetyCheckerBase::ctx.

Definition at line 80 of file SafetyChecker.cpp.

SafetyChecker::~SafetyChecker

(

)

[virtual]

Destructor.

Definition at line 86 of file SafetyChecker.cpp.

---

Member Function Documentation

Tuple SafetyChecker::checkSafety

(

bool

throwOnUnsafeVariables

)

const throw (SyntaxError)

Definition at line 370 of file SafetyChecker.cpp.

References Rule::body, DBGLOG, Rule::head, Rule::headGuard, ID_FAIL(), Rule::kind, LOG, LOG_SCOPE, and WARNING().

Referenced by LiberalSafetyChecker::ensureOrdinarySafety(), and operator()().

void SafetyChecker::operator()

(

)

const throw (SyntaxError) [virtual]

operator() does the safety check.

Implements SafetyCheckerBase.

Definition at line 362 of file SafetyChecker.cpp.

References checkSafety().

---

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

• include/dlvhex2/SafetyChecker.h
• src/SafetyChecker.cpp