SafetyCheckerBase Class Reference

Abstract base class for the SaftyCheckers. More...

#include <include/dlvhex2/SafetyChecker.h>

Inheritance diagram for SafetyCheckerBase:

Collaboration diagram for SafetyCheckerBase:

Public Member Functions
	SafetyCheckerBase (const ProgramCtx &ctx)
	Constructor.
virtual	~SafetyCheckerBase ()
	Destructor.
virtual void	operator() () const =0 throw (SyntaxError)
	operator() does the safety check.
Protected Attributes
const ProgramCtx &	ctx
	ProgramCtx.

---

Detailed Description

Abstract base class for the SaftyCheckers.

Definition at line 50 of file SafetyChecker.h.

---

Constructor & Destructor Documentation

DLVHEX_NAMESPACE_BEGIN SafetyCheckerBase::SafetyCheckerBase

(

const ProgramCtx &

ctx

)

Constructor.

Parameters:

ctx	See SafetyCheckerBase::ctx.

Definition at line 48 of file SafetyChecker.cpp.

SafetyCheckerBase::~SafetyCheckerBase

(

)

[virtual]

Destructor.

Definition at line 54 of file SafetyChecker.cpp.

---

Member Function Documentation

virtual void SafetyCheckerBase::operator()

(

)

const throw (SyntaxError) [pure virtual]

operator() does the safety check.

Implemented in StrongSafetyChecker, and SafetyChecker.

---

Field Documentation

const ProgramCtx& SafetyCheckerBase::ctx [protected]

ProgramCtx.

Definition at line 54 of file SafetyChecker.h.

Referenced by StrongSafetyChecker::operator()().

---

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

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