poolslot.inc

Go to the documentation of this file.

 
#pragma once
 
#include <ogdf/lib/abacus/poolslot.h>
#include <ogdf/lib/abacus/pool.h>
#include <ogdf/lib/abacus/convar.h>
 
#pragma GCC visibility push(default)
namespace abacus {
 
template<class BaseType, class CoType>
PoolSlot<BaseType, CoType>::PoolSlot(
    Master *master,
    Pool<BaseType, CoType> *pool,
    BaseType *convar) : master_(master), conVar_(convar), pool_(pool)
{
    version_ = (convar) ? 1 : 0;
}
 
 
template<class BaseType, class CoType>
PoolSlot<BaseType, CoType>::~PoolSlot()
{
#ifdef OGDF_DEBUG
    if (conVar_ && conVar_->nReferences()) {
        Logger::ifout() << "~PoolSlot(): it is not allowed to destruct objects of class PoolSlot with a constraint/variable with positive reference counter = " << conVar_->nReferences() << ".\n";
    }
 
#ifndef OGDF_USE_ASSERT_EXCEPTIONS // do not throw exceptions in destructor
    OGDF_ASSERT((conVar_ && conVar_->nReferences()) == false);
#endif
#endif
 
    delete conVar_;
}
 
 
template<class BaseType, class CoType>
void PoolSlot<BaseType, CoType>::insert(BaseType *convar)
{
    if (conVar_ != nullptr) {
        Logger::ifout() << "PoolSlot::insert(): insertion failed, the slot is not void\n";
        OGDF_THROW_PARAM(AlgorithmFailureException, ogdf::AlgorithmFailureCode::Poolslot);
    }
 
    if (version_ == std::numeric_limits<unsigned long>::max()) {
        Logger::ifout() << "PoolSlot::insert(): insertion failed, maximum version number ULONG_MAX reached\n";
        OGDF_THROW_PARAM(AlgorithmFailureException, ogdf::AlgorithmFailureCode::Poolslot);
    }
 
    conVar_ = convar;
    ++version_;
}
 
}
#pragma GCC visibility pop