//#include "EventManager.mpp"
#define prefix_
-///////////////////////////////cc.p////////////////////////////////////////
+//-/////////////////////////////////////////////////////////////////////////////////////////////////
-///////////////////////////////////////////////////////////////////////////
+//-/////////////////////////////////////////////////////////////////////////////////////////////////
// senf::ppi::EventManager
-////////////////////////////////////////
+//-/////////////////////////////////////////////////////////////////////////////////////////////////
// private members
prefix_ void senf::ppi::EventManager::destroyModule(module::Module & module)
{
using boost::lambda::_1;
namespace l = boost::lambda;
-
+
SENF_ASSERT(
std::find_if(registrations_.begin(), registrations_.end(),
- l::bind(&detail::EventBindingBase::descriptor_,_1) == &event)
- == registrations_.end());
+ l::bind(&detail::EventBindingBase::descriptor_,_1) == &event)
+ == registrations_.end(),
+ "Internal failure: registrations still active while destroying event ??");
}
-///////////////////////////////cc.e////////////////////////////////////////
+//-/////////////////////////////////////////////////////////////////////////////////////////////////
#undef prefix_
//#include "EventManager.mpp"