Hoard::EmptyClass< SuperblockType_, EmptinessClasses >::MyChecker Class Reference

Precondition and postcondition checking. More...

List of all members.

Static Public Member Functions
static void	precondition (EmptyClass *e)
static void	postcondition (EmptyClass *e)

---

Detailed Description

template<class SuperblockType_, int EmptinessClasses>
class Hoard::EmptyClass< SuperblockType_, EmptinessClasses >::MyChecker

Precondition and postcondition checking.

---

Member Function Documentation

template<class SuperblockType_ , int EmptinessClasses>

static void Hoard::EmptyClass< SuperblockType_, EmptinessClasses >::MyChecker::postcondition

(

EmptyClass *

e

)

[inline, static]

template<class SuperblockType_ , int EmptinessClasses>

static void Hoard::EmptyClass< SuperblockType_, EmptinessClasses >::MyChecker::precondition

(

EmptyClass *

e

)

[inline, static]

---

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

• emptyclass.h