FR 1837856: note vaults generated in dump

Include new dump section "vaults", which for game-end dumps (or any
wizard-mode dumps) will include a list (by place) of all the vaults
generated in the game.

The savefile now includes a player-associated CrawlHashTable
(you.props), which can be used for storing player information which
doesn't need to be accessed efficiently.

1 files changed, 13 insertions, 0 deletions

diff --git a/crawl-ref/source/place.cc b/crawl-ref/source/place.cc
index 9322716835..2064fb0dfb 100644
--- a/crawl-ref/source/place.cc
+++ b/crawl-ref/source/place.cc
@@ -198,3 +198,16 @@ bool level_type_is_stash_trackable(level_area_type type)
 {
     return (type != LEVEL_ABYSS && type != LEVEL_LABYRINTH);
 }
+
+std::vector<level_id> all_dungeon_ids()
+{
+    std::vector<level_id> out;
+    for (int i = 0; i < NUM_BRANCHES; i++)
+    {
+        const Branch &branch = branches[i];
+
+        for (int depth = 1; depth <= branch.depth; depth++)
+            out.push_back(level_id(branch.id, depth));
+    }
+    return (out);
+}