summaryrefslogtreecommitdiffstats
path: root/include/framework/structure/InternalLevel.h
diff options
context:
space:
mode:
authorDouglas Rumbaugh <dbr4@psu.edu>2025-02-13 18:13:33 -0500
committerDouglas Rumbaugh <dbr4@psu.edu>2025-02-13 18:13:33 -0500
commitd28f2cfcd4249fc7d984762a326e3f2d6dcba7dc (patch)
treeea6fc7e80da2fec969c423ab50b42301397c9188 /include/framework/structure/InternalLevel.h
parent125e243cad99aa29444759e15053fd148ff0e3ba (diff)
downloaddynamic-extension-d28f2cfcd4249fc7d984762a326e3f2d6dcba7dc.tar.gz
progress towards resolving asynch structure merges
Diffstat (limited to 'include/framework/structure/InternalLevel.h')
-rw-r--r--include/framework/structure/InternalLevel.h6
1 files changed, 5 insertions, 1 deletions
diff --git a/include/framework/structure/InternalLevel.h b/include/framework/structure/InternalLevel.h
index 37b2b40..7e8e87d 100644
--- a/include/framework/structure/InternalLevel.h
+++ b/include/framework/structure/InternalLevel.h
@@ -198,8 +198,12 @@ public:
void truncate() { m_shards.erase(m_shards.begin(), m_shards.end()); }
- void delete_shard(shard_index shard) {
+ void delete_shard(shard_index shard, bool log_delete=true) {
+ size_t before = m_shards.size();
+ fprintf(stderr, "[D]\tReconstruction deleting shard %ld %p\n", shard, m_shards[shard].first.get());
m_shards.erase(m_shards.begin() + shard);
+ size_t after = m_shards.size();
+ assert( before > after);
}
void append(std::shared_ptr<ShardType> shard, size_t version=0) {