createUnique.hpp

Go to the documentation of this file.

 
#pragma once
 
#include <climits>
 
#include <ext/type_traits>
#include <ext/algorithm>
#include <ext/functional>
 
#include <alib/set>
 
#include "exception/CommonException.h"
 
namespace common {
 
template < class T >
inline void inc ( T & object ) {
    ++ object;
}
 
template < >
inline void inc ( std::string & object ) {
    object.push_back ( '\'' );
}
 
template < >
inline void inc ( ext::string & object ) {
    object.push_back ( '\'' );
}
 
template < class T, class ... Alphabets >
T createUnique ( T object, const Alphabets & ... alphabets ) {
    unsigned i = 0;
 
    do {
        if ( ( ... && ( alphabets.count ( ext::poly_comp ( object ) ) == 0 ) ) )
            return object;
 
        inc ( object );
    } while ( i++ < INT_MAX );
 
    throw exception::CommonException ( "Could not create unique symbol." );
}
 
}