2020-01-23 15:42:43 +01:00
|
|
|
const IntDict = require('./int_dict').IntDict;
|
2019-12-26 15:34:17 +01:00
|
|
|
const FoldDict = require('./fold_dict').FoldDict;
|
2019-02-08 11:56:33 +01:00
|
|
|
|
2020-01-23 15:42:43 +01:00
|
|
|
const stream_dict = new IntDict(); // stream_id -> topic_history object
|
2020-01-23 17:05:31 +01:00
|
|
|
const fetched_stream_ids = new Set();
|
2017-07-24 18:22:37 +02:00
|
|
|
|
2020-01-23 16:09:55 +01:00
|
|
|
exports.is_complete_for_stream_id = (stream_id) => {
|
2020-01-23 17:05:31 +01:00
|
|
|
if (fetched_stream_ids.has(stream_id)) {
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2020-01-23 16:09:55 +01:00
|
|
|
/*
|
|
|
|
TODO: We should possibly move all_topics_in_cache
|
|
|
|
from stream_data to here, since the function
|
|
|
|
mostly looks at message_list.all and has little
|
|
|
|
to do with typical stream_data stuff. (We just
|
|
|
|
need sub.first_message_id.)
|
|
|
|
*/
|
|
|
|
const sub = stream_data.get_sub_by_id(stream_id);
|
2020-01-23 17:05:31 +01:00
|
|
|
const in_cache = stream_data.all_topics_in_cache(sub);
|
|
|
|
|
|
|
|
if (in_cache) {
|
|
|
|
/*
|
|
|
|
If the stream is cached, we can add it to
|
|
|
|
fetched_stream_ids. Note that for the opposite
|
|
|
|
scenario, we don't delete from
|
|
|
|
fetched_stream_ids, because we may just be
|
|
|
|
waiting for the initial message fetch.
|
|
|
|
*/
|
|
|
|
fetched_stream_ids.add(stream_id);
|
|
|
|
}
|
|
|
|
|
|
|
|
return in_cache;
|
2020-01-23 16:09:55 +01:00
|
|
|
};
|
|
|
|
|
2017-07-24 18:22:37 +02:00
|
|
|
exports.stream_has_topics = function (stream_id) {
|
2018-05-21 21:29:39 +02:00
|
|
|
if (!stream_dict.has(stream_id)) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2019-11-02 00:06:25 +01:00
|
|
|
const history = stream_dict.get(stream_id);
|
2018-05-21 21:29:39 +02:00
|
|
|
|
|
|
|
return history.has_topics();
|
2017-07-24 18:22:37 +02:00
|
|
|
};
|
|
|
|
|
2018-05-13 12:17:00 +02:00
|
|
|
exports.topic_history = function (stream_id) {
|
2020-01-23 15:36:11 +01:00
|
|
|
/*
|
|
|
|
Each stream has a dictionary of topics.
|
|
|
|
The main getter of this object is
|
|
|
|
get_recent_names, and we just sort on
|
|
|
|
the fly every time we are called.
|
|
|
|
*/
|
|
|
|
|
2019-12-26 15:34:17 +01:00
|
|
|
const topics = new FoldDict();
|
2017-07-24 22:16:13 +02:00
|
|
|
|
2019-11-02 00:06:25 +01:00
|
|
|
const self = {};
|
2017-07-24 22:16:13 +02:00
|
|
|
|
2018-05-21 21:29:39 +02:00
|
|
|
self.has_topics = function () {
|
2020-02-03 08:04:28 +01:00
|
|
|
return topics.size !== 0;
|
2018-05-21 21:29:39 +02:00
|
|
|
};
|
|
|
|
|
2017-07-24 22:16:13 +02:00
|
|
|
self.add_or_update = function (opts) {
|
2019-11-02 00:06:25 +01:00
|
|
|
const name = opts.name;
|
|
|
|
let message_id = opts.message_id || 0;
|
2017-07-24 22:16:13 +02:00
|
|
|
|
|
|
|
message_id = parseInt(message_id, 10);
|
|
|
|
|
2019-11-02 00:06:25 +01:00
|
|
|
const existing = topics.get(name);
|
2017-07-24 22:16:13 +02:00
|
|
|
|
|
|
|
if (!existing) {
|
|
|
|
topics.set(opts.name, {
|
|
|
|
message_id: message_id,
|
|
|
|
pretty_name: name,
|
2017-07-27 12:57:37 +02:00
|
|
|
historical: false,
|
2017-07-24 22:16:13 +02:00
|
|
|
count: 1,
|
|
|
|
});
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2017-07-27 12:57:37 +02:00
|
|
|
if (!existing.historical) {
|
|
|
|
existing.count += 1;
|
|
|
|
}
|
|
|
|
|
2017-07-24 22:16:13 +02:00
|
|
|
if (message_id > existing.message_id) {
|
|
|
|
existing.message_id = message_id;
|
|
|
|
existing.pretty_name = name;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
self.maybe_remove = function (topic_name) {
|
2019-11-02 00:06:25 +01:00
|
|
|
const existing = topics.get(topic_name);
|
2017-07-24 22:16:13 +02:00
|
|
|
|
|
|
|
if (!existing) {
|
|
|
|
return;
|
2017-07-24 18:22:37 +02:00
|
|
|
}
|
2017-07-24 22:16:13 +02:00
|
|
|
|
2017-07-27 12:57:37 +02:00
|
|
|
if (existing.historical) {
|
|
|
|
// We can't trust that a topic rename applied to
|
|
|
|
// the entire history of historical topic, so we
|
|
|
|
// will always leave it in the sidebar.
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2017-07-24 22:16:13 +02:00
|
|
|
if (existing.count <= 1) {
|
2020-02-03 07:41:38 +01:00
|
|
|
topics.delete(topic_name);
|
2017-07-24 22:16:13 +02:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
existing.count -= 1;
|
|
|
|
};
|
|
|
|
|
2017-07-27 12:57:37 +02:00
|
|
|
self.add_history = function (server_history) {
|
|
|
|
// This method populates historical topics from the
|
|
|
|
// server. We have less data about these than the
|
|
|
|
// client can maintain for newer topics.
|
|
|
|
|
|
|
|
_.each(server_history, function (obj) {
|
2019-11-02 00:06:25 +01:00
|
|
|
const name = obj.name;
|
|
|
|
const message_id = obj.max_id;
|
2017-07-27 12:57:37 +02:00
|
|
|
|
2019-11-02 00:06:25 +01:00
|
|
|
const existing = topics.get(name);
|
2017-07-27 12:57:37 +02:00
|
|
|
|
|
|
|
if (existing) {
|
|
|
|
if (!existing.historical) {
|
|
|
|
// Trust out local data more, since it
|
|
|
|
// maintains counts.
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// If we get here, we are either finding out about
|
|
|
|
// the topic for the first time, or we are getting
|
|
|
|
// more current data for it.
|
|
|
|
|
|
|
|
topics.set(name, {
|
|
|
|
message_id: message_id,
|
|
|
|
pretty_name: name,
|
|
|
|
historical: true,
|
|
|
|
});
|
|
|
|
});
|
|
|
|
};
|
|
|
|
|
2017-07-24 22:16:13 +02:00
|
|
|
self.get_recent_names = function () {
|
2020-02-04 23:46:56 +01:00
|
|
|
const my_recents = Array.from(topics.values());
|
2018-05-13 12:17:00 +02:00
|
|
|
|
2019-11-02 00:06:25 +01:00
|
|
|
const missing_topics = unread.get_missing_topics({
|
2018-05-13 12:17:00 +02:00
|
|
|
stream_id: stream_id,
|
|
|
|
topic_dict: topics,
|
|
|
|
});
|
|
|
|
|
2019-11-02 00:06:25 +01:00
|
|
|
const recents = my_recents.concat(missing_topics);
|
2017-07-24 22:16:13 +02:00
|
|
|
|
|
|
|
recents.sort(function (a, b) {
|
|
|
|
return b.message_id - a.message_id;
|
|
|
|
});
|
|
|
|
|
2019-11-02 00:06:25 +01:00
|
|
|
const names = _.map(recents, function (obj) {
|
2017-07-24 22:16:13 +02:00
|
|
|
return obj.pretty_name;
|
|
|
|
});
|
|
|
|
|
|
|
|
return names;
|
|
|
|
};
|
|
|
|
|
|
|
|
return self;
|
|
|
|
};
|
|
|
|
|
|
|
|
exports.remove_message = function (opts) {
|
2019-11-02 00:06:25 +01:00
|
|
|
const stream_id = opts.stream_id;
|
|
|
|
const name = opts.topic_name;
|
|
|
|
const history = stream_dict.get(stream_id);
|
2017-07-24 22:16:13 +02:00
|
|
|
|
|
|
|
// This is the special case of "removing" a message from
|
|
|
|
// a topic, which happens when we edit topics.
|
2017-07-24 18:22:37 +02:00
|
|
|
|
2017-07-24 22:16:13 +02:00
|
|
|
if (!history) {
|
|
|
|
return;
|
2017-07-24 18:22:37 +02:00
|
|
|
}
|
|
|
|
|
2017-07-24 22:16:13 +02:00
|
|
|
// This is the normal case of an incoming message.
|
|
|
|
history.maybe_remove(name);
|
|
|
|
};
|
|
|
|
|
|
|
|
exports.find_or_create = function (stream_id) {
|
2019-11-02 00:06:25 +01:00
|
|
|
let history = stream_dict.get(stream_id);
|
2017-07-24 22:16:13 +02:00
|
|
|
|
|
|
|
if (!history) {
|
2018-05-13 12:17:00 +02:00
|
|
|
history = exports.topic_history(stream_id);
|
2017-07-24 22:16:13 +02:00
|
|
|
stream_dict.set(stream_id, history);
|
2017-07-24 18:22:37 +02:00
|
|
|
}
|
|
|
|
|
2017-07-24 22:16:13 +02:00
|
|
|
return history;
|
|
|
|
};
|
2017-07-24 18:22:37 +02:00
|
|
|
|
2017-07-24 22:16:13 +02:00
|
|
|
exports.add_message = function (opts) {
|
2019-11-02 00:06:25 +01:00
|
|
|
const stream_id = opts.stream_id;
|
|
|
|
const message_id = opts.message_id;
|
|
|
|
const name = opts.topic_name;
|
2017-07-24 22:16:13 +02:00
|
|
|
|
2019-11-02 00:06:25 +01:00
|
|
|
const history = exports.find_or_create(stream_id);
|
2017-07-24 22:16:13 +02:00
|
|
|
|
|
|
|
history.add_or_update({
|
|
|
|
name: name,
|
|
|
|
message_id: message_id,
|
|
|
|
});
|
2017-07-24 18:22:37 +02:00
|
|
|
};
|
|
|
|
|
2017-07-27 12:57:37 +02:00
|
|
|
exports.add_history = function (stream_id, server_history) {
|
2019-11-02 00:06:25 +01:00
|
|
|
const history = exports.find_or_create(stream_id);
|
2017-07-27 12:57:37 +02:00
|
|
|
history.add_history(server_history);
|
2020-01-23 17:05:31 +01:00
|
|
|
fetched_stream_ids.add(stream_id);
|
2017-07-27 12:57:37 +02:00
|
|
|
};
|
|
|
|
|
2017-08-08 19:54:07 +02:00
|
|
|
exports.get_server_history = function (stream_id, on_success) {
|
2020-01-23 17:05:31 +01:00
|
|
|
if (fetched_stream_ids.has(stream_id)) {
|
|
|
|
on_success();
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2019-11-02 00:06:25 +01:00
|
|
|
const url = '/json/users/me/' + stream_id + '/topics';
|
2017-08-08 19:54:07 +02:00
|
|
|
|
|
|
|
channel.get({
|
|
|
|
url: url,
|
|
|
|
data: {},
|
2018-12-18 19:34:45 +01:00
|
|
|
success: function (data) {
|
2019-11-02 00:06:25 +01:00
|
|
|
const server_history = data.topics;
|
2017-08-08 19:54:07 +02:00
|
|
|
exports.add_history(stream_id, server_history);
|
|
|
|
on_success();
|
|
|
|
},
|
|
|
|
});
|
|
|
|
};
|
|
|
|
|
2017-07-24 18:22:37 +02:00
|
|
|
exports.get_recent_names = function (stream_id) {
|
2019-11-02 00:06:25 +01:00
|
|
|
const history = exports.find_or_create(stream_id);
|
2017-07-24 18:22:37 +02:00
|
|
|
|
2017-07-24 22:16:13 +02:00
|
|
|
return history.get_recent_names();
|
2017-07-24 18:22:37 +02:00
|
|
|
};
|
|
|
|
|
2017-07-24 22:16:13 +02:00
|
|
|
exports.reset = function () {
|
2017-07-24 18:22:37 +02:00
|
|
|
// This is only used by tests.
|
2020-01-23 15:42:43 +01:00
|
|
|
stream_dict.clear();
|
2020-01-23 17:05:31 +01:00
|
|
|
fetched_stream_ids.clear();
|
2017-07-24 18:22:37 +02:00
|
|
|
};
|
|
|
|
|
2019-10-25 09:45:13 +02:00
|
|
|
window.topic_data = exports;
|