|
MOAB: Mesh Oriented datABase
(version 5.4.1)
|
#include <thread>#include <set>#include "TypeSequenceManager.hpp"#include "EntitySequence.hpp"#include "SequenceData.hpp"#include "TestUtil.hpp"#include "moab/Error.hpp"
Include dependency graph for TestTypeSequenceManager.cpp:Go to the source code of this file.
| void call_find | ( | TypeSequenceManager * | seqman, |
| const std::set< int > & | removed, | ||
| int | num_orig_entities, | ||
| int & | n_failures | ||
| ) |
Definition at line 1051 of file TestTypeSequenceManager.cpp.
References CHECK_EQUAL, moab::EntitySequence::end_handle(), ErrorCode, moab::TypeSequenceManager::find(), and MB_SUCCESS.
Referenced by test_threaded_access().
{
ErrorCode rval = MB_SUCCESS;
const EntitySequence* seq;
int n_queries = 10000;
for( int i = 0; i < n_queries; i++ )
{
long unsigned idx = ( (double)rand() / RAND_MAX * num_orig_entities ) + 1;
// do not check for entities we've removed
if( removed.count( idx ) != 0 ) continue;
// search for this entity in the sequence manager
rval = seqman->find( idx, seq );
CHECK_EQUAL( MB_SUCCESS, rval );
// check that the returned sequence actually contains this entity
// (this is where threaded access used to fail)
if( idx < seq->start_handle() || idx > seq->end_handle() )
{
n_failures += 1;
}
}
}
| ErrorCode insert_seq | ( | TypeSequenceManager & | seqman, |
| EntityHandle | start_handle, | ||
| EntityID | count, | ||
| SequenceData * | data, | ||
| bool | del_data = false |
||
| ) |
Definition at line 151 of file TestTypeSequenceManager.cpp.
References CHECK, moab::EntitySequence::end_handle(), ErrorCode, moab::TypeSequenceManager::insert_sequence(), MB_SUCCESS, and moab::EntitySequence::start_handle().
Referenced by make_basic_sequence(), regression_svn1952(), regression_svn1958(), regression_svn1960(), test_insert_sequence_merge(), test_insert_sequence_nomerge(), test_is_free_handle(), test_replace_subsequence(), and test_threaded_access().
{
EntitySequence* seq = new DumSeq( start_handle, count, data );
ErrorCode rval = seqman.insert_sequence( seq );
if( MB_SUCCESS != rval )
{
delete seq;
if( del_data ) delete data;
}
else
{
CHECK( start_handle >= seq->start_handle() );
CHECK( start_handle + count - 1 <= seq->end_handle() );
}
return rval;
}
| int main | ( | ) |
Definition at line 61 of file TestTypeSequenceManager.cpp.
References error_count, regression_svn1952(), regression_svn1958(), regression_svn1960(), RUN_TEST, test_basic(), test_erase(), test_find(), test_find_free_handle(), test_find_free_sequence(), test_get_entities(), test_insert_sequence_merge(), test_insert_sequence_nomerge(), test_is_free_sequence(), test_lower_bound(), test_multi_thread_access(), test_remove_sequence(), test_replace_subsequence(), test_single_thread_access(), and test_upper_bound().
{
if( RUN_TEST( test_basic ) )
{
printf( "BASIC USE TEST FAILED\nCANNOT TEST FURTHER\n" );
return 1;
}
int error_count = 0;
error_count += RUN_TEST( test_lower_bound );
error_count += RUN_TEST( test_upper_bound );
error_count += RUN_TEST( test_find );
error_count += RUN_TEST( test_get_entities );
error_count += RUN_TEST( test_insert_sequence_merge );
error_count += RUN_TEST( test_insert_sequence_nomerge );
error_count += RUN_TEST( test_remove_sequence );
error_count += RUN_TEST( test_replace_subsequence );
error_count += RUN_TEST( test_erase );
error_count += RUN_TEST( test_find_free_handle );
error_count += RUN_TEST( test_find_free_sequence );
error_count += RUN_TEST( test_is_free_sequence );
#ifndef MOAB_FORCE_32_BIT_HANDLES
error_count += RUN_TEST( test_single_thread_access );
error_count += RUN_TEST( test_multi_thread_access );
#endif
error_count += RUN_TEST( regression_svn1952 );
error_count += RUN_TEST( regression_svn1958 );
error_count += RUN_TEST( regression_svn1960 );
if( !error_count )
printf( "ALL TESTS PASSED\n" );
else
printf( "%d TESTS FAILED\n", error_count );
return error_count;
}
| void make_basic_sequence | ( | TypeSequenceManager & | seq | ) |
Definition at line 145 of file TestTypeSequenceManager.cpp.
References t.
Referenced by test_basic(), test_erase(), test_find(), test_find_free_handle(), test_find_free_sequence(), test_get_entities(), test_insert_sequence_merge(), test_is_free_sequence(), test_lower_bound(), test_remove_sequence(), and test_upper_bound().
{
EntitySequence *s, *t, *u;
make_basic_sequence( seqman, s, t, u );
}
| void make_basic_sequence | ( | TypeSequenceManager & | seq, |
| EntitySequence *& | seq3to7, | ||
| EntitySequence *& | seq100to111, | ||
| EntitySequence *& | seq1001 | ||
| ) |
Definition at line 172 of file TestTypeSequenceManager.cpp.
References moab::TypeSequenceManager::begin(), CHECK, CHECK_EQUAL, CHECK_ERR, moab::EntitySequence::data(), moab::TypeSequenceManager::empty(), moab::TypeSequenceManager::end(), moab::EntitySequence::end_handle(), moab::TypeSequenceManager::get_number_entities(), insert_seq(), moab::EntitySequence::size(), and moab::EntitySequence::start_handle().
{
CHECK( seqman.empty() );
CHECK_EQUAL( (EntityID)0, seqman.get_number_entities() );
SequenceData* data = new SequenceData( 0, 1, 22000 );CHECK_ERR( insert_seq( seqman, 3, 5, data ) );CHECK_ERR( insert_seq( seqman, 100, 12, data ) );CHECK_ERR( insert_seq( seqman, 1001, 1, data ) );
CHECK( !seqman.empty() );
CHECK_EQUAL( (EntityID)18, seqman.get_number_entities() );
TypeSequenceManager::iterator iter = seqman.begin();
CHECK( iter != seqman.end() );
seq1 = *iter;
CHECK_EQUAL( (EntityHandle)3, seq1->start_handle() );
CHECK_EQUAL( (EntityHandle)7, seq1->end_handle() );
CHECK_EQUAL( data, seq1->data() );
CHECK_EQUAL( (EntityID)5, seq1->size() );
++iter;
CHECK( iter != seqman.end() );
seq2 = *iter;
CHECK_EQUAL( (EntityHandle)100, seq2->start_handle() );
CHECK_EQUAL( (EntityHandle)111, seq2->end_handle() );
CHECK_EQUAL( data, seq2->data() );
CHECK_EQUAL( (EntityID)12, seq2->size() );
++iter;
seq3 = *iter;
CHECK( iter != seqman.end() );
CHECK_EQUAL( (EntityHandle)1001, seq3->start_handle() );
CHECK_EQUAL( (EntityHandle)1001, seq3->end_handle() );
CHECK_EQUAL( data, seq3->data() );
CHECK_EQUAL( (EntityID)1, seq3->size() );
++iter;
CHECK( iter == seqman.end() );
}
| void regression_svn1952 | ( | ) |
Definition at line 1149 of file TestTypeSequenceManager.cpp.
References CHECK, CHECK_ERR, moab::TypeSequenceManager::find_free_sequence(), and insert_seq().
Referenced by main().
{
const EntityHandle last_handle = 50000;
TypeSequenceManager seqman;
SequenceData* data = new SequenceData( 0, 41673, last_handle );CHECK_ERR( insert_seq( seqman, 41686, 1000, data, true ) );
SequenceData* result_data;
EntityID result_size;
EntityHandle result_handle;
result_handle = seqman.find_free_sequence( 1686, 4000, 2 * last_handle, result_data, result_size );
CHECK( result_handle > last_handle || result_handle + result_size <= 41673 );
CHECK( result_handle + result_size <= 2 * last_handle );
}
| void regression_svn1958 | ( | ) |
Definition at line 1174 of file TestTypeSequenceManager.cpp.
References CHECK, CHECK_ERR, moab::TypeSequenceManager::find_free_sequence(), and insert_seq().
Referenced by main().
{
const int data_size = 100;
const EntityHandle data_start = 100;
const EntityHandle data_end = data_start + data_size - 1;
const int seq_offset = 2;
TypeSequenceManager seqman;
SequenceData* data = new SequenceData( 0, data_start, data_end );CHECK_ERR( insert_seq( seqman, data_start + seq_offset, data_size - seq_offset, data, true ) );
SequenceData* result_data;
EntityID result_size;
EntityHandle result_handle;
result_handle = seqman.find_free_sequence( data_start - 1, 1, 100000, result_data, result_size );
CHECK( result_handle > data_end || result_handle + result_size <= data_start );
}
| void regression_svn1960 | ( | ) |
Definition at line 1198 of file TestTypeSequenceManager.cpp.
References CHECK, CHECK_ERR, moab::TypeSequenceManager::find_free_sequence(), and insert_seq().
Referenced by main().
{
const int data_size = 6000;
const EntityHandle data_start = 4000;
const EntityHandle data_end = data_start + data_size - 1;
const int seq_offset = 1000;
TypeSequenceManager seqman;
SequenceData* data = new SequenceData( 0, data_start, data_end );CHECK_ERR( insert_seq( seqman, data_start + seq_offset, data_size - seq_offset, data, true ) );
SequenceData* result_data;
EntityID result_size;
EntityHandle result_handle;
result_handle = seqman.find_free_sequence( data_start - 2, 1, 100000, result_data, result_size );
CHECK( result_handle + result_size <= data_start );
}
| bool seqman_equal | ( | const EntityHandle | pair_array[][2], |
| unsigned | num_pairs, | ||
| const TypeSequenceManager & | seqman | ||
| ) |
Definition at line 336 of file TestTypeSequenceManager.cpp.
References moab::TypeSequenceManager::begin(), moab::EntitySequence::data(), moab::TypeSequenceManager::end(), moab::SequenceData::end_handle(), moab::EntitySequence::end_handle(), moab::ID_FROM_HANDLE(), moab::SequenceData::start_handle(), and moab::EntitySequence::start_handle().
Referenced by test_erase(), test_get_entities(), test_insert_sequence_merge(), test_insert_sequence_nomerge(), test_remove_sequence(), and test_replace_subsequence().
{
unsigned i;
TypeSequenceManager::const_iterator j = seqman.begin();
EntitySequence* seq = 0;
for( i = 0; i < num_pairs; ++i, ++j )
{
if( j == seqman.end() ) break;
if( seq && seq->end_handle() >= ( *j )->start_handle() )
{
printf( "Sequence [%lu,%lu] overlaps sequence [%lu,%lu]\n",
(unsigned long)ID_FROM_HANDLE( seq->start_handle() ),
(unsigned long)ID_FROM_HANDLE( seq->end_handle() ),
(unsigned long)ID_FROM_HANDLE( ( *j )->start_handle() ),
(unsigned long)ID_FROM_HANDLE( ( *j )->end_handle() ) );
return false;
}
if( seq && seq->data() != ( *j )->data() && seq->data()->end_handle() >= ( *j )->data()->start_handle() )
{
printf( "SequenceData [%lu,%lu] overlaps SequenceData [%lu,%lu]\n",
(unsigned long)ID_FROM_HANDLE( seq->data()->start_handle() ),
(unsigned long)ID_FROM_HANDLE( seq->data()->end_handle() ),
(unsigned long)ID_FROM_HANDLE( ( *j )->data()->start_handle() ),
(unsigned long)ID_FROM_HANDLE( ( *j )->data()->end_handle() ) );
return false;
}
seq = *j;
if( seq->start_handle() > seq->end_handle() )
{
printf( "Inverted sequence [%lu,%lu]\n", (unsigned long)ID_FROM_HANDLE( seq->start_handle() ),
(unsigned long)ID_FROM_HANDLE( seq->end_handle() ) );
return false;
}
if( pair_array[i][0] != seq->start_handle() || pair_array[i][1] != seq->end_handle() ) break;
if( seq->data()->start_handle() > seq->start_handle() || seq->data()->end_handle() < seq->end_handle() )
{
printf( "Sequence [%lu,%lu] has data [%lu,%lu]\n", (unsigned long)ID_FROM_HANDLE( seq->start_handle() ),
(unsigned long)ID_FROM_HANDLE( seq->end_handle() ),
(unsigned long)ID_FROM_HANDLE( seq->data()->start_handle() ),
(unsigned long)ID_FROM_HANDLE( seq->data()->end_handle() ) );
return false;
}
}
if( i == num_pairs && j == seqman.end() ) return true;
if( i < num_pairs )
printf( "Sequence Mismatch: Expected: [%lu,%lu], got ", (unsigned long)ID_FROM_HANDLE( pair_array[i][0] ),
(unsigned long)ID_FROM_HANDLE( pair_array[i][1] ) );
else
printf( "Sequence Mismatch: Expected END, got " );
if( j == seqman.end() )
printf( "END.\n" );
else
printf( "[%lu,%lu]\n", (unsigned long)ID_FROM_HANDLE( ( *j )->start_handle() ),
(unsigned long)ID_FROM_HANDLE( ( *j )->end_handle() ) );
return false;
}
| void test_basic | ( | ) |
Definition at line 213 of file TestTypeSequenceManager.cpp.
References make_basic_sequence().
Referenced by main().
{
TypeSequenceManager seqman;
make_basic_sequence( seqman );
}
| void test_erase | ( | ) |
Definition at line 693 of file TestTypeSequenceManager.cpp.
References CHECK, CHECK_EQUAL, CHECK_ERR, moab::TypeSequenceManager::empty(), moab::TypeSequenceManager::erase(), make_basic_sequence(), MB_ENTITY_NOT_FOUND, and seqman_equal().
Referenced by main().
{
TypeSequenceManager seqman;
make_basic_sequence( seqman );
Error eh;
// verify initial state
EntityHandle exp1[][2] = { { 3, 7 }, { 100, 111 }, { 1001, 1001 } };
CHECK( seqman_equal( exp1, 3, seqman ) );
// try erasing invalid handles at start of existing sequence
CHECK_EQUAL( MB_ENTITY_NOT_FOUND, seqman.erase( &eh, 1000, 1001 ) );
// try erasing invalid entities at end of existing sequence
CHECK_EQUAL( MB_ENTITY_NOT_FOUND, seqman.erase( &eh, 3, 8 ) );
// verify initial state
CHECK( seqman_equal( exp1, 3, seqman ) );
// erase from front of sequence
CHECK_ERR( seqman.erase( &eh, 3, 6 ) );
EntityHandle exp2[][2] = { { 7, 7 }, { 100, 111 }, { 1001, 1001 } };
CHECK( seqman_equal( exp2, 3, seqman ) );
// erase from end of sequence
CHECK_ERR( seqman.erase( &eh, 110, 111 ) );
EntityHandle exp3[][2] = { { 7, 7 }, { 100, 109 }, { 1001, 1001 } };
CHECK( seqman_equal( exp3, 3, seqman ) );
// erase from middle of sequence
CHECK_ERR( seqman.erase( &eh, 105, 107 ) );
EntityHandle exp4[][2] = { { 7, 7 }, { 100, 104 }, { 108, 109 }, { 1001, 1001 } };
CHECK( seqman_equal( exp4, 4, seqman ) );
// erase sequence
CHECK_ERR( seqman.erase( &eh, 7, 7 ) );
EntityHandle exp5[][2] = { { 100, 104 }, { 108, 109 }, { 1001, 1001 } };
CHECK( seqman_equal( exp5, 3, seqman ) );
// erase sequence
CHECK_ERR( seqman.erase( &eh, 108, 109 ) );
EntityHandle exp6[][2] = { { 100, 104 }, { 1001, 1001 } };
CHECK( seqman_equal( exp6, 2, seqman ) );
// erase sequence
CHECK_ERR( seqman.erase( &eh, 100, 104 ) );
EntityHandle exp7[][2] = { { 1001, 1001 } };
CHECK( seqman_equal( exp7, 1, seqman ) );
// erase sequence
CHECK_ERR( seqman.erase( &eh, 1001, 1001 ) );
CHECK( seqman.empty() );
}
| void test_find | ( | ) |
Definition at line 297 of file TestTypeSequenceManager.cpp.
References CHECK_EQUAL, moab::TypeSequenceManager::find(), and make_basic_sequence().
Referenced by main().
{
TypeSequenceManager seqman;
EntitySequence *seq1, // 3 to 7
*seq2, // 100 to 111
*seq3, // 1001
*seq;
make_basic_sequence( seqman, seq1, seq2, seq3 );
seq = seqman.find( 2 );
CHECK_EQUAL( NULL, seq );
seq = seqman.find( 3 );
CHECK_EQUAL( seq1, seq );
seq = seqman.find( 4 );
CHECK_EQUAL( seq1, seq );
seq = seqman.find( 7 );
CHECK_EQUAL( seq1, seq );
seq = seqman.find( 8 );
CHECK_EQUAL( NULL, seq );
seq = seqman.find( 99 );
CHECK_EQUAL( NULL, seq );
seq = seqman.find( 100 );
CHECK_EQUAL( seq2, seq );
seq = seqman.find( 110 );
CHECK_EQUAL( seq2, seq );
seq = seqman.find( 111 );
CHECK_EQUAL( seq2, seq );
seq = seqman.find( 112 );
CHECK_EQUAL( NULL, seq );
seq = seqman.find( 1000 );
CHECK_EQUAL( NULL, seq );
seq = seqman.find( 1001 );
CHECK_EQUAL( seq3, seq );
seq = seqman.find( 1002 );
CHECK_EQUAL( NULL, seq );
}
| void test_find_free_handle | ( | ) |
Definition at line 745 of file TestTypeSequenceManager.cpp.
References CHECK, CHECK_EQUAL, moab::TypeSequenceManager::end(), moab::TypeSequenceManager::find_free_handle(), make_basic_sequence(), and MB_END_ID.
Referenced by main().
{
bool append;
TypeSequenceManager::iterator seq;
TypeSequenceManager seqman;
make_basic_sequence( seqman ); // { [3,7], [100,111], [1001] }
seq = seqman.find_free_handle( 0, MB_END_ID, append );
CHECK( seq != seqman.end() );
// expect the first available handle (2).
CHECK_EQUAL( (EntityHandle)3, ( *seq )->start_handle() );
CHECK_EQUAL( (EntityHandle)7, ( *seq )->end_handle() );
CHECK( !append );
// Expect end() if no adjacent sequence
seq = seqman.find_free_handle( 9, 98, append );
CHECK( seq == seqman.end() );
// Try a limited handle range
seq = seqman.find_free_handle( 8, 99, append );
CHECK( seq != seqman.end() );
// expect the first available handle (8).
CHECK_EQUAL( (EntityHandle)3, ( *seq )->start_handle() );
CHECK_EQUAL( (EntityHandle)7, ( *seq )->end_handle() );
CHECK( append );
// Try an unambigious case (above tests have multiple
// possible answers, were we assume the first available
// handle).
seq = seqman.find_free_handle( 8, 98, append );
CHECK( seq != seqman.end() );
CHECK_EQUAL( (EntityHandle)3, ( *seq )->start_handle() );
CHECK_EQUAL( (EntityHandle)7, ( *seq )->end_handle() );
CHECK( append );
// Try an unambigious case (above tests have multiple
// possible answers, were we assume the first available
// handle).
seq = seqman.find_free_handle( 9, 99, append );
CHECK( seq != seqman.end() );
CHECK_EQUAL( (EntityHandle)100, ( *seq )->start_handle() );
CHECK_EQUAL( (EntityHandle)111, ( *seq )->end_handle() );
CHECK( !append );
// Try a case where the expected result handle
// is in the middle of the input range.
seq = seqman.find_free_handle( 900, 1100, append );
CHECK( seq != seqman.end() );
CHECK_EQUAL( (EntityHandle)1001, ( *seq )->start_handle() );
CHECK_EQUAL( (EntityHandle)1001, ( *seq )->end_handle() );
// Expect first available handle
CHECK( !append );
}
| void test_find_free_sequence | ( | ) |
Definition at line 799 of file TestTypeSequenceManager.cpp.
References moab::TypeSequenceManager::begin(), CHECK, CHECK_EQUAL, moab::TypeSequenceManager::find_free_sequence(), make_basic_sequence(), and MB_END_ID.
Referenced by main().
{
EntityHandle start;
SequenceData* data = 0;
EntityID data_size = 0;
TypeSequenceManager seqman;
make_basic_sequence( seqman ); // { [3,7], [100,111], [1001] }
SequenceData* expdata = ( *seqman.begin() )->data();
start = seqman.find_free_sequence( 2, 1, 3, data, data_size );
CHECK_EQUAL( expdata, data );
CHECK_EQUAL( (EntityHandle)1, start );
start = seqman.find_free_sequence( 3, 1, 7, data, data_size );
CHECK_EQUAL( (EntityHandle)0, start );
CHECK_EQUAL( NULL, data );
start = seqman.find_free_sequence( 30, 1, 120, data, data_size );
CHECK_EQUAL( expdata, data );
CHECK( start == 8 || start == 70 );
start = seqman.find_free_sequence( 10, 92, 999, data, data_size );
CHECK_EQUAL( expdata, data );
CHECK_EQUAL( (EntityHandle)112, start );
start = seqman.find_free_sequence( 100, 1, 600, data, data_size );
CHECK_EQUAL( expdata, data );
CHECK_EQUAL( (EntityHandle)112, start );
start = seqman.find_free_sequence( 1000, 1, MB_END_ID, data, data_size );
CHECK_EQUAL( expdata, data );
CHECK_EQUAL( (EntityHandle)1002, start );
start = seqman.find_free_sequence( 980, 1, 1800, data, data_size );
CHECK_EQUAL( (EntityHandle)0, start );
CHECK_EQUAL( NULL, data );
}
| void test_get_entities | ( | ) |
Definition at line 402 of file TestTypeSequenceManager.cpp.
References CHECK, CHECK_EQUAL, moab::TypeSequenceManager::empty(), entities, moab::TypeSequenceManager::get_entities(), moab::TypeSequenceManager::get_number_entities(), make_basic_sequence(), and seqman_equal().
Referenced by main().
{
TypeSequenceManager seqman;
make_basic_sequence( seqman );
CHECK( !seqman.empty() );
CHECK_EQUAL( (EntityID)18, seqman.get_number_entities() );
Range entities;
seqman.get_entities( entities );
CHECK_EQUAL( (size_t)18, entities.size() );
EntityHandle pairs[][2] = { { 3, 7 }, { 100, 111 }, { 1001, 1001 } };
CHECK( seqman_equal( pairs, 3, seqman ) );
}
| void test_insert_sequence_merge | ( | ) |
Definition at line 418 of file TestTypeSequenceManager.cpp.
References moab::TypeSequenceManager::begin(), CHECK, CHECK_EQUAL, CHECK_ERR, insert_seq(), make_basic_sequence(), MB_ALREADY_ALLOCATED, and seqman_equal().
Referenced by main().
{
TypeSequenceManager seqman;
make_basic_sequence( seqman );
SequenceData* data = ( *seqman.begin() )->data();
// append a sequence
CHECK_ERR( insert_seq( seqman, 1003, 1, data ) );
EntityHandle exp1[][2] = { { 3, 7 }, { 100, 111 }, { 1001, 1001 }, { 1003, 1003 } };
CHECK( seqman_equal( exp1, 4, seqman ) );
// prepend a sequence
CHECK_ERR( insert_seq( seqman, 1, 1, data ) );
EntityHandle exp2[][2] = { { 1, 1 }, { 3, 7 }, { 100, 111 }, { 1001, 1001 }, { 1003, 1003 } };
CHECK( seqman_equal( exp2, 5, seqman ) );
// insert sequence in middle
CHECK_ERR( insert_seq( seqman, 150, 11, data ) );
EntityHandle exp3[][2] = { { 1, 1 }, { 3, 7 }, { 100, 111 }, { 150, 160 }, { 1001, 1001 }, { 1003, 1003 } };
CHECK( seqman_equal( exp3, 6, seqman ) );
// merge sequence with predecessor
CHECK_ERR( insert_seq( seqman, 8, 13, data ) );
EntityHandle exp4[][2] = { { 1, 1 }, { 3, 20 }, { 100, 111 }, { 150, 160 }, { 1001, 1001 }, { 1003, 1003 } };
CHECK( seqman_equal( exp4, 6, seqman ) );
// merge sequence with following one
CHECK_ERR( insert_seq( seqman, 87, 13, data ) );
EntityHandle exp5[][2] = { { 1, 1 }, { 3, 20 }, { 87, 111 }, { 150, 160 }, { 1001, 1001 }, { 1003, 1003 } };
CHECK( seqman_equal( exp5, 6, seqman ) );
// merge sequence with two adjacent ones
CHECK_ERR( insert_seq( seqman, 2, 1, data ) );
EntityHandle exp6[][2] = { { 1, 20 }, { 87, 111 }, { 150, 160 }, { 1001, 1001 }, { 1003, 1003 } };
CHECK( seqman_equal( exp6, 5, seqman ) );
// try to insert a sequence that overlaps on the end
CHECK_EQUAL( MB_ALREADY_ALLOCATED, insert_seq( seqman, 900, 1001, data ) );
// try to insert a sequence that overlaps at the start
CHECK_EQUAL( MB_ALREADY_ALLOCATED, insert_seq( seqman, 111, 140, data ) );
}
| void test_insert_sequence_nomerge | ( | ) |
Definition at line 461 of file TestTypeSequenceManager.cpp.
References CHECK, CHECK_EQUAL, CHECK_ERR, moab::TypeSequenceManager::empty(), ErrorCode, insert_seq(), moab::TypeSequenceManager::insert_sequence(), MB_ALREADY_ALLOCATED, MB_SUCCESS, and seqman_equal().
Referenced by main().
{
TypeSequenceManager seqman;
// make sure inserting a sequence w/out a SequenceData fails
CHECK_EQUAL( MB_FAILURE, insert_seq( seqman, 1, 5, NULL ) );
CHECK( seqman.empty() );
// Now set up a TypeSequenceManager for testing
// Insert an EntitySequence for which the corresponding SequenceData
// is exactly the same size.
SequenceData* data1 = new SequenceData( 0, 3, 7 );
DumSeq* seq = new DumSeq( data1 );
ErrorCode rval = seqman.insert_sequence( seq );CHECK_ERR( rval );
if( MB_SUCCESS != rval )
{
delete seq;
delete data1;
return;
}
// Insert an EntitySequence with additional room on both ends of
// the SequenceData
SequenceData* data2 = new SequenceData( 0, 100, 999 );
seq = new DumSeq( 200, 100, data2 );
rval = seqman.insert_sequence( seq );CHECK_ERR( rval );
if( MB_SUCCESS != rval )
{
delete seq;
delete data2;
return;
}
// Insert another EntitySequence sharing the previous SequenceData
seq = new DumSeq( 400, 100, data2 );
rval = seqman.insert_sequence( seq );CHECK_ERR( rval );
if( MB_SUCCESS != rval )
{
delete seq;
return;
}
// Setup complete, begin tests
// Test inserting sequence that appends an existing sequence
// but overlaps underling SequenceData boundary
SequenceData* data = new SequenceData( 0, 999, 1000 );
seq = new DumSeq( data );
rval = seqman.insert_sequence( seq );
CHECK_EQUAL( MB_ALREADY_ALLOCATED, rval );
delete seq;
delete data;
// Test inserting sequence that prepends an existing sequence
// but overlaps underling SequenceData boundary
data = new SequenceData( 0, 50, 199 );
seq = new DumSeq( data );
rval = seqman.insert_sequence( seq );
CHECK_EQUAL( MB_ALREADY_ALLOCATED, rval );
delete seq;
delete data;
// Test fits within existing, but has different SequenceData
data = new SequenceData( 0, 500, 599 );
seq = new DumSeq( data );
rval = seqman.insert_sequence( seq );
CHECK_EQUAL( MB_ALREADY_ALLOCATED, rval );
delete seq;
delete data;
// Make sure we're starting out with what we expect
EntityHandle exp1[][2] = { { 3, 7 }, { 200, 299 }, { 400, 499 } };
CHECK( seqman_equal( exp1, 3, seqman ) );
// Test fits within existing, and has same data
CHECK_ERR( insert_seq( seqman, 600, 100, data2 ) );
EntityHandle exp2[][2] = { { 3, 7 }, { 200, 299 }, { 400, 499 }, { 600, 699 } };
CHECK( seqman_equal( exp2, 4, seqman ) );
// Test is entirely outside existing data
CHECK_ERR( insert_seq( seqman, 2000, 2, new SequenceData( 0, 2000, 2001 ), true ) );
EntityHandle exp3[][2] = { { 3, 7 }, { 200, 299 }, { 400, 499 }, { 600, 699 }, { 2000, 2001 } };
CHECK( seqman_equal( exp3, 5, seqman ) );
// Test abutts end of existing data
CHECK_ERR( insert_seq( seqman, 1000, 6, new SequenceData( 0, 1000, 1005 ), true ) );
EntityHandle exp4[][2] = { { 3, 7 }, { 200, 299 }, { 400, 499 }, { 600, 699 }, { 1000, 1005 }, { 2000, 2001 } };
CHECK( seqman_equal( exp4, 6, seqman ) );
// Test abutts beginning of existing data
CHECK_ERR( insert_seq( seqman, 50, 50, new SequenceData( 0, 50, 99 ), true ) );
EntityHandle exp5[][2] = { { 3, 7 }, { 50, 99 }, { 200, 299 }, { 400, 499 },
{ 600, 699 }, { 1000, 1005 }, { 2000, 2001 } };
CHECK( seqman_equal( exp5, 7, seqman ) );
}
| void test_is_free_handle | ( | ) |
Definition at line 861 of file TestTypeSequenceManager.cpp.
References CHECK, CHECK_EQUAL, CHECK_ERR, moab::TypeSequenceManager::end(), ErrorCode, moab::GeomUtil::first(), insert_seq(), moab::TypeSequenceManager::is_free_handle(), MB_ALREADY_ALLOCATED, MB_END_ID, and MB_SUCCESS.
{
// Construct a TypeSequenceManager with the following data:
// EntitySequence: |[1,500]| |[601,1000]| |[2500,2599]| |[2800,2999]|
// SequenceData: | [1,1000] | | [2001,3000] |
ErrorCode rval;
TypeSequenceManager seqman;
SequenceData* data1 = new SequenceData( 0, 1, 1000 );
SequenceData* data2 = new SequenceData( 0, 2001, 3000 );
rval = insert_seq( seqman, 1, 500, data1, true );CHECK_ERR( rval );
if( MB_SUCCESS != rval )
{
// data1 has been deleted by insert_seq call above
return;
}
rval = insert_seq( seqman, 601, 400, data1, false );CHECK_ERR( rval );
rval = insert_seq( seqman, 2500, 100, data2, true );CHECK_ERR( rval );
if( MB_SUCCESS != rval )
{
// data2 has been deleted by insert_seq call above
return;
}
rval = insert_seq( seqman, 2800, 200, data2, false );CHECK_ERR( rval );
// Begin tests
TypeSequenceManager::iterator seq;
SequenceData* data;
EntityHandle first, last;
// Test handle in use
CHECK_EQUAL( MB_ALREADY_ALLOCATED, seqman.is_free_handle( 1, seq, data, first, last ) );
CHECK_EQUAL( MB_ALREADY_ALLOCATED, seqman.is_free_handle( 300, seq, data, first, last ) );
CHECK_EQUAL( MB_ALREADY_ALLOCATED, seqman.is_free_handle( 500, seq, data, first, last ) );
CHECK_EQUAL( MB_ALREADY_ALLOCATED, seqman.is_free_handle( 601, seq, data, first, last ) );
CHECK_EQUAL( MB_ALREADY_ALLOCATED, seqman.is_free_handle( 2500, seq, data, first, last ) );
CHECK_EQUAL( MB_ALREADY_ALLOCATED, seqman.is_free_handle( 2599, seq, data, first, last ) );
CHECK_EQUAL( MB_ALREADY_ALLOCATED, seqman.is_free_handle( 2800, seq, data, first, last ) );
CHECK_EQUAL( MB_ALREADY_ALLOCATED, seqman.is_free_handle( 2999, seq, data, first, last ) );
// Test prepend to sequence
seq = seqman.end();
data = 0;
first = last = 0;
CHECK( seqman.is_free_handle( 600, seq, data, first, last ) );
CHECK( seq != seqman.end() );
CHECK_EQUAL( (EntityHandle)601, ( *seq )->start_handle() );
CHECK_EQUAL( data1, data );
CHECK_EQUAL( (EntityHandle)600, first );
CHECK_EQUAL( (EntityHandle)600, last );
seq = seqman.end();
data = 0;
first = last = 0;
CHECK( seqman.is_free_handle( 2499, seq, data, first, last ) );
CHECK( seq != seqman.end() );
CHECK_EQUAL( (EntityHandle)2500, ( *seq )->start_handle() );
CHECK_EQUAL( data2, data );
CHECK_EQUAL( (EntityHandle)2499, first );
CHECK_EQUAL( (EntityHandle)2499, last );
seq = seqman.end();
data = 0;
first = last = 0;
CHECK( seqman.is_free_handle( 2799, seq, data, first, last ) );
CHECK( seq != seqman.end() );
CHECK_EQUAL( (EntityHandle)2800, ( *seq )->start_handle() );
CHECK_EQUAL( data2, data );
CHECK_EQUAL( (EntityHandle)2799, first );
CHECK_EQUAL( (EntityHandle)2799, last );
// Test append to sequence
seq = seqman.end();
data = 0;
first = last = 0;
CHECK( seqman.is_free_handle( 501, seq, data, first, last ) );
CHECK( seq != seqman.end() );
CHECK_EQUAL( (EntityHandle)1, ( *seq )->start_handle() );
CHECK_EQUAL( data1, data );
CHECK_EQUAL( (EntityHandle)501, first );
CHECK_EQUAL( (EntityHandle)501, last );
seq = seqman.end();
data = 0;
first = last = 0;
CHECK( seqman.is_free_handle( 2600, seq, data, first, last ) );
CHECK( seq != seqman.end() );
CHECK_EQUAL( (EntityHandle)2500, ( *seq )->start_handle() );
CHECK_EQUAL( data2, data );
CHECK_EQUAL( (EntityHandle)2600, first );
CHECK_EQUAL( (EntityHandle)2600, last );
seq = seqman.end();
data = 0;
first = last = 0;
CHECK( seqman.is_free_handle( 3000, seq, data, first, last ) );
CHECK( seq != seqman.end() );
CHECK_EQUAL( (EntityHandle)2800, ( *seq )->start_handle() );
CHECK_EQUAL( data2, data );
CHECK_EQUAL( (EntityHandle)3000, first );
CHECK_EQUAL( (EntityHandle)3000, last );
// Test new sequence in existing SequenceData
seq = seqman.end();
data = 0;
first = last = 0;
CHECK( seqman.is_free_handle( 502, seq, data, first, last ) );
CHECK( seqman.end() == seq );
CHECK_EQUAL( data1, data );
CHECK_EQUAL( (EntityHandle)501, first );
CHECK_EQUAL( (EntityHandle)600, last );
seq = seqman.end();
data = 0;
first = last = 0;
CHECK( seqman.is_free_handle( 599, seq, data, first, last ) );
CHECK( seqman.end() == seq );
CHECK_EQUAL( data1, data );
CHECK_EQUAL( (EntityHandle)501, first );
CHECK_EQUAL( (EntityHandle)600, last );
seq = seqman.end();
data = 0;
first = last = 0;
CHECK( seqman.is_free_handle( 2001, seq, data, first, last ) );
CHECK( seqman.end() == seq );
CHECK_EQUAL( data2, data );
CHECK_EQUAL( (EntityHandle)2001, first );
CHECK_EQUAL( (EntityHandle)2499, last );
seq = seqman.end();
data = 0;
first = last = 0;
CHECK( seqman.is_free_handle( 2498, seq, data, first, last ) );
CHECK( seqman.end() == seq );
CHECK_EQUAL( data2, data );
CHECK_EQUAL( (EntityHandle)2001, first );
CHECK_EQUAL( (EntityHandle)2499, last );
// Test new SequenceData
seq = seqman.end();
data = 0;
first = last = 0;
CHECK( seqman.is_free_handle( 1001, seq, data, first, last ) );
CHECK( seqman.end() == seq );
CHECK_EQUAL( (SequenceData*)0, data );
CHECK_EQUAL( (EntityHandle)1001, first );
CHECK_EQUAL( (EntityHandle)2000, last );
seq = seqman.end();
data = 0;
first = last = 0;
CHECK( seqman.is_free_handle( 1500, seq, data, first, last ) );
CHECK( seqman.end() == seq );
CHECK_EQUAL( (SequenceData*)0, data );
CHECK_EQUAL( (EntityHandle)1001, first );
CHECK_EQUAL( (EntityHandle)2000, last );
seq = seqman.end();
data = 0;
first = last = 0;
CHECK( seqman.is_free_handle( 2000, seq, data, first, last ) );
CHECK( seqman.end() == seq );
CHECK_EQUAL( (SequenceData*)0, data );
CHECK_EQUAL( (EntityHandle)1001, first );
CHECK_EQUAL( (EntityHandle)2000, last );
seq = seqman.end();
data = 0;
first = last = 0;
CHECK( seqman.is_free_handle( 3001, seq, data, first, last ) );
CHECK( seqman.end() == seq );
CHECK_EQUAL( (SequenceData*)0, data );
CHECK_EQUAL( (EntityHandle)3001, first );
CHECK_EQUAL( (EntityHandle)MB_END_ID, last );
seq = seqman.end();
data = 0;
first = last = 0;
CHECK( seqman.is_free_handle( 10000, seq, data, first, last ) );
CHECK( seqman.end() == seq );
CHECK_EQUAL( (SequenceData*)0, data );
CHECK_EQUAL( (EntityHandle)3001, first );
CHECK_EQUAL( (EntityHandle)MB_END_ID, last );
}
| void test_is_free_sequence | ( | ) |
Definition at line 837 of file TestTypeSequenceManager.cpp.
References moab::TypeSequenceManager::begin(), CHECK, CHECK_EQUAL, moab::TypeSequenceManager::is_free_sequence(), and make_basic_sequence().
Referenced by main().
{
SequenceData* data = 0;
TypeSequenceManager seqman;
make_basic_sequence( seqman ); // { [3,7], [100,111], [1001] }
SequenceData* expdata = ( *seqman.begin() )->data();
CHECK( !seqman.is_free_sequence( 1, 3, data ) );
CHECK( seqman.is_free_sequence( 1, 2, data ) );
CHECK_EQUAL( expdata, data );
CHECK( !seqman.is_free_sequence( 7, 93, data ) );
CHECK( !seqman.is_free_sequence( 8, 93, data ) );
CHECK( seqman.is_free_sequence( 8, 92, data ) );
CHECK_EQUAL( expdata, data );
CHECK( !seqman.is_free_sequence( 111, 890, data ) );
CHECK( !seqman.is_free_sequence( 112, 890, data ) );
CHECK( seqman.is_free_sequence( 112, 879, data ) );
CHECK_EQUAL( expdata, data );
CHECK( seqman.is_free_sequence( 1002, 1, data ) );
CHECK_EQUAL( expdata, data );
CHECK( seqman.is_free_sequence( 2000, 20000, data ) );
CHECK_EQUAL( expdata, data );
}
| void test_lower_bound | ( | ) |
Definition at line 219 of file TestTypeSequenceManager.cpp.
References CHECK, CHECK_EQUAL, moab::TypeSequenceManager::end(), moab::TypeSequenceManager::lower_bound(), and make_basic_sequence().
Referenced by main().
{
TypeSequenceManager::const_iterator i;
TypeSequenceManager seqman;
EntitySequence *seq1, // 3 to 7
*seq2, // 100 to 111
*seq3; // 1001
make_basic_sequence( seqman, seq1, seq2, seq3 );
i = seqman.lower_bound( 2 );
CHECK_EQUAL( seq1, *i );
i = seqman.lower_bound( 3 );
CHECK_EQUAL( seq1, *i );
i = seqman.lower_bound( 4 );
CHECK_EQUAL( seq1, *i );
i = seqman.lower_bound( 7 );
CHECK_EQUAL( seq1, *i );
i = seqman.lower_bound( 8 );
CHECK_EQUAL( seq2, *i );
i = seqman.lower_bound( 99 );
CHECK_EQUAL( seq2, *i );
i = seqman.lower_bound( 100 );
CHECK_EQUAL( seq2, *i );
i = seqman.lower_bound( 110 );
CHECK_EQUAL( seq2, *i );
i = seqman.lower_bound( 111 );
CHECK_EQUAL( seq2, *i );
i = seqman.lower_bound( 112 );
CHECK_EQUAL( seq3, *i );
i = seqman.lower_bound( 1000 );
CHECK_EQUAL( seq3, *i );
i = seqman.lower_bound( 1001 );
CHECK_EQUAL( seq3, *i );
i = seqman.lower_bound( 1002 );
CHECK( i == seqman.end() );
}
| void test_multi_thread_access | ( | ) |
Definition at line 1124 of file TestTypeSequenceManager.cpp.
References test_threaded_access().
Referenced by main().
{
test_threaded_access( 2 );
}
| void test_remove_sequence | ( | ) |
Definition at line 558 of file TestTypeSequenceManager.cpp.
References CHECK, CHECK_EQUAL, CHECK_ERR, moab::EntitySequence::data(), make_basic_sequence(), MB_ENTITY_NOT_FOUND, moab::TypeSequenceManager::remove_sequence(), and seqman_equal().
Referenced by main().
{
TypeSequenceManager seqman;
EntitySequence *seq1, // 3 to 7
*seq2, // 100 to 111
*seq3; // 1001
make_basic_sequence( seqman, seq1, seq2, seq3 );
// test removing something that hasn't been inserted
bool last;
DumSeq junk( 3, 5, NULL );
CHECK_EQUAL( MB_ENTITY_NOT_FOUND, seqman.remove_sequence( &junk, last ) );
EntityHandle exp1[][2] = { { 3, 7 }, { 100, 111 }, { 1001, 1001 } };
CHECK( seqman_equal( exp1, 3, seqman ) );
// remove the middle sequence
CHECK_ERR( seqman.remove_sequence( seq2, last ) );
CHECK( !last );
delete seq2;
// remove the first sequence
CHECK_ERR( seqman.remove_sequence( seq1, last ) );
CHECK( !last );
delete seq1;
// remove the last sequence
CHECK_ERR( seqman.remove_sequence( seq3, last ) );
CHECK( last );
SequenceData* data = seq3->data();
delete seq3;
delete data;
}
| void test_replace_subsequence | ( | ) |
Definition at line 591 of file TestTypeSequenceManager.cpp.
References CHECK, CHECK_EQUAL, CHECK_ERR, ErrorCode, insert_seq(), MB_SUCCESS, moab::TypeSequenceManager::replace_subsequence(), and seqman_equal().
Referenced by main().
{
ErrorCode rval;
TypeSequenceManager seqman;
// create an initial set
SequenceData* data1 = new SequenceData( 0, 51, 950 );
rval = insert_seq( seqman, 101, 100, data1, true );CHECK_ERR( rval );
if( MB_SUCCESS != rval )
{
// data1 has been deleted by insert_seq call above
return;
}
rval = insert_seq( seqman, 301, 300, data1 );CHECK_ERR( rval );
rval = insert_seq( seqman, 701, 100, data1 );CHECK_ERR( rval );
// try a sequence that is outside all existing data
SequenceData* data = new SequenceData( 0, 10, 20 );
DumSeq* seq = new DumSeq( data );
rval = seqman.replace_subsequence( seq, 0, 0 );
CHECK_EQUAL( MB_FAILURE, rval );
delete seq;
delete data;
// try a sequence that overlaps the start of the data
data = new SequenceData( 0, 40, 60 );
seq = new DumSeq( data );
rval = seqman.replace_subsequence( seq, 0, 0 );
CHECK_EQUAL( MB_FAILURE, rval );
delete seq;
delete data;
// try a sequence that is within the data but not within any sequence
data = new SequenceData( 0, 60, 70 );
seq = new DumSeq( data );
rval = seqman.replace_subsequence( seq, 0, 0 );
CHECK_EQUAL( MB_FAILURE, rval );
delete seq;
delete data;
// try a sequence that overlaps an existing sequence
data = new SequenceData( 0, 60, 101 );
seq = new DumSeq( data );
rval = seqman.replace_subsequence( seq, 0, 0 );
CHECK_EQUAL( MB_FAILURE, rval );
delete seq;
delete data;
// try a sequence that should work, but with a SequenceData that
// overlaps an existing sequence
data = new SequenceData( 0, 150, 200 );
seq = new DumSeq( 190, 200, data );
rval = seqman.replace_subsequence( seq, 0, 0 );
CHECK_EQUAL( MB_FAILURE, rval );
delete seq;
delete data;
// check that we're starting with what we expect
EntityHandle exp1[][2] = { { 101, 200 }, { 301, 600 }, { 701, 800 } };
CHECK( seqman_equal( exp1, 3, seqman ) );
// split at start of sequence
data = new SequenceData( 0, 101, 105 );
seq = new DumSeq( data );
rval = seqman.replace_subsequence( seq, 0, 0 );CHECK_ERR( rval );
if( MB_SUCCESS != rval )
{
delete seq;
delete data;
return;
}
EntityHandle exp2[][2] = { { 101, 105 }, { 106, 200 }, { 301, 600 }, { 701, 800 } };
CHECK( seqman_equal( exp2, 4, seqman ) );
// split at end of sequence
data = new SequenceData( 0, 750, 800 );
seq = new DumSeq( data );
rval = seqman.replace_subsequence( seq, 0, 0 );CHECK_ERR( rval );
if( MB_SUCCESS != rval )
{
delete seq;
delete data;
return;
}
EntityHandle exp3[][2] = { { 101, 105 }, { 106, 200 }, { 301, 600 }, { 701, 749 }, { 750, 800 } };
CHECK( seqman_equal( exp3, 5, seqman ) );
// split at middle of sequence
data = new SequenceData( 0, 400, 499 );
seq = new DumSeq( data );
rval = seqman.replace_subsequence( seq, 0, 0 );CHECK_ERR( rval );
if( MB_SUCCESS != rval )
{
delete seq;
delete data;
return;
}
EntityHandle exp4[][2] = { { 101, 105 }, { 106, 200 }, { 301, 399 }, { 400, 499 },
{ 500, 600 }, { 701, 749 }, { 750, 800 } };
CHECK( seqman_equal( exp4, 7, seqman ) );
}
| void test_single_thread_access | ( | ) |
Definition at line 1119 of file TestTypeSequenceManager.cpp.
References test_threaded_access().
Referenced by main().
{
test_threaded_access( 1 );
}
| void test_threaded_access | ( | int | n_threads | ) |
Definition at line 1075 of file TestTypeSequenceManager.cpp.
References call_find(), CHECK_EQUAL, CHECK_ERR, moab::TypeSequenceManager::erase(), and insert_seq().
Referenced by test_multi_thread_access(), and test_single_thread_access().
{
TypeSequenceManager seqman;
std::set< int > removed_indices;
// create a sequence from start to end
EntityHandle start = 1, end = 200000;
int i_end = end;
SequenceData* data = new SequenceData( 0, start, end );CHECK_ERR( insert_seq( seqman, start, end, data ) );
// erase one hundred random entities from the sequence
// to ensure a lot of switching of TypeSequenceManager::lastReferenced
Error e;
for( int i = 0; i < 100; i++ )
{
int idx = ( (double)rand() / RAND_MAX * i_end ) + 1;
removed_indices.insert( idx );
seqman.erase( &e, idx );
}
// create a set of quereies per thread
std::vector< std::thread > threads;
std::vector< int > failures( n_threads, 0 );
for( int i = 0; i < n_threads; i++ )
{
threads.push_back( std::thread( call_find, &seqman, removed_indices, i_end, std::ref< int >( failures[i] ) ) );
}
// wait for threads to finish
for( size_t i = 0; i < threads.size(); i++ )
{
threads[i].join();
}
int n_failures = 0;
for( size_t i = 0; i < failures.size(); i++ )
n_failures += failures[i];
if( n_failures > 0 )
{
std::cout << n_failures << " invalid sequences found." << std::endl;
}
CHECK_EQUAL( 0, n_failures );
}
| void test_upper_bound | ( | ) |
Definition at line 259 of file TestTypeSequenceManager.cpp.
References CHECK, CHECK_EQUAL, moab::TypeSequenceManager::end(), make_basic_sequence(), and moab::TypeSequenceManager::upper_bound().
Referenced by main().
{
TypeSequenceManager::const_iterator i;
TypeSequenceManager seqman;
EntitySequence *seq1, // 3 to 7
*seq2, // 100 to 111
*seq3; // 1001
make_basic_sequence( seqman, seq1, seq2, seq3 );
i = seqman.upper_bound( 2 );
CHECK_EQUAL( seq1, *i );
i = seqman.upper_bound( 3 );
CHECK_EQUAL( seq2, *i );
i = seqman.upper_bound( 4 );
CHECK_EQUAL( seq2, *i );
i = seqman.upper_bound( 7 );
CHECK_EQUAL( seq2, *i );
i = seqman.upper_bound( 8 );
CHECK_EQUAL( seq2, *i );
i = seqman.upper_bound( 99 );
CHECK_EQUAL( seq2, *i );
i = seqman.upper_bound( 100 );
CHECK_EQUAL( seq3, *i );
i = seqman.upper_bound( 110 );
CHECK_EQUAL( seq3, *i );
i = seqman.upper_bound( 111 );
CHECK_EQUAL( seq3, *i );
i = seqman.upper_bound( 112 );
CHECK_EQUAL( seq3, *i );
i = seqman.upper_bound( 1000 );
CHECK_EQUAL( seq3, *i );
i = seqman.upper_bound( 1001 );
CHECK( i == seqman.end() );
}