int_dict: Replace with Map.

Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
This commit is contained in:
Anders Kaseorg
2020-02-03 00:42:50 -08:00
committed by Tim Abbott
parent 2868b7c3e3
commit 5ba593f124
20 changed files with 30 additions and 284 deletions

View File

@@ -1,5 +1,4 @@
const FoldDict = require('./fold_dict').FoldDict;
const IntDict = require('./int_dict').IntDict;
let user_group_name_dict;
let user_group_by_id_dict;
@@ -8,7 +7,7 @@ let user_group_by_id_dict;
// can easily clear data.
exports.init = function () {
user_group_name_dict = new FoldDict();
user_group_by_id_dict = new IntDict();
user_group_by_id_dict = new Map();
};
// WE INITIALIZE DATA STRUCTURES HERE!