2021-01-12 21:38:01 +01:00
|
|
|
const {LazySet} = require("./lazy_set");
|
|
|
|
const people = require("./people");
|
|
|
|
|
|
|
|
// This maps a stream_id to a LazySet of user_ids who are subscribed.
|
|
|
|
// We maintain the invariant that this has keys for all all stream_ids
|
|
|
|
// that we track in the other data structures. We intialize it during
|
|
|
|
// clear_subscriptions.
|
|
|
|
let stream_subscribers;
|
|
|
|
|
2021-01-29 17:17:32 +01:00
|
|
|
function assert_number(id) {
|
|
|
|
if (typeof id !== "number") {
|
|
|
|
blueslip.error(`You must pass ids as numbers to peer_data. id = ${id}`);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
function get_user_set(stream_id) {
|
|
|
|
assert_number(stream_id);
|
|
|
|
|
|
|
|
// This is an internal function to get the LazySet of users.
|
|
|
|
// We create one on the fly as necessary, but we warn in that case.
|
|
|
|
let subscribers = stream_subscribers.get(stream_id);
|
|
|
|
|
|
|
|
if (subscribers === undefined) {
|
|
|
|
blueslip.warn("We called get_user_set for an untracked stream: " + stream_id);
|
|
|
|
subscribers = new LazySet([]);
|
|
|
|
stream_subscribers.set(stream_id, subscribers);
|
|
|
|
}
|
|
|
|
|
|
|
|
return subscribers;
|
|
|
|
}
|
|
|
|
|
2021-01-12 21:38:01 +01:00
|
|
|
export function clear() {
|
|
|
|
stream_subscribers = new Map();
|
|
|
|
}
|
|
|
|
|
2021-01-13 22:03:25 +01:00
|
|
|
export function maybe_clear_subscribers(stream_id) {
|
|
|
|
if (!stream_subscribers.has(stream_id)) {
|
|
|
|
set_subscribers(stream_id, []);
|
2021-01-12 21:38:01 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-01-13 22:13:59 +01:00
|
|
|
export function is_subscriber_subset(stream_id1, stream_id2) {
|
2021-01-29 17:17:32 +01:00
|
|
|
const sub1_set = get_user_set(stream_id1);
|
|
|
|
const sub2_set = get_user_set(stream_id2);
|
2021-01-12 21:38:01 +01:00
|
|
|
|
2021-01-29 17:17:32 +01:00
|
|
|
return Array.from(sub1_set.keys()).every((key) => sub2_set.has(key));
|
2021-01-12 21:38:01 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
export function potential_subscribers(stream_id) {
|
|
|
|
/*
|
|
|
|
This is a list of unsubscribed users
|
|
|
|
for the current stream, who the current
|
|
|
|
user could potentially subscribe to the
|
|
|
|
stream. This may include some bots.
|
|
|
|
|
|
|
|
We currently use it for typeahead in
|
|
|
|
stream_edit.js.
|
|
|
|
|
|
|
|
This may be a superset of the actual
|
|
|
|
subscribers that you can change in some cases
|
|
|
|
(like if you're a guest?); we should refine this
|
|
|
|
going forward, especially if we use it for something
|
|
|
|
other than typeahead. (The guest use case
|
|
|
|
may be moot now for other reasons.)
|
|
|
|
*/
|
|
|
|
|
2021-01-30 13:51:21 +01:00
|
|
|
const subscribers = get_user_set(stream_id);
|
2021-01-12 21:38:01 +01:00
|
|
|
|
|
|
|
function is_potential_subscriber(person) {
|
|
|
|
// Use verbose style to force better test
|
|
|
|
// coverage, plus we may add more conditions over
|
|
|
|
// time.
|
|
|
|
if (subscribers.has(person.user_id)) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
return people.filter_all_users(is_potential_subscriber);
|
|
|
|
}
|
|
|
|
|
|
|
|
export function get_subscriber_count(stream_id) {
|
2021-01-29 17:17:32 +01:00
|
|
|
const subscribers = get_user_set(stream_id);
|
2021-01-12 21:38:01 +01:00
|
|
|
return subscribers.size;
|
|
|
|
}
|
|
|
|
|
|
|
|
export function get_subscribers(stream_id) {
|
2021-01-29 17:17:32 +01:00
|
|
|
// This is our external interface for callers who just
|
|
|
|
// want an array of user_ids who are subscribed to a stream.
|
|
|
|
const subscribers = get_user_set(stream_id);
|
2021-01-12 21:38:01 +01:00
|
|
|
|
|
|
|
return Array.from(subscribers.keys());
|
|
|
|
}
|
|
|
|
|
2021-01-13 22:03:25 +01:00
|
|
|
export function set_subscribers(stream_id, user_ids) {
|
2021-01-12 21:38:01 +01:00
|
|
|
const subscribers = new LazySet(user_ids || []);
|
2021-01-13 22:03:25 +01:00
|
|
|
stream_subscribers.set(stream_id, subscribers);
|
2021-01-12 21:38:01 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
export function add_subscriber(stream_id, user_id) {
|
2021-01-29 17:17:32 +01:00
|
|
|
// If stream_id/user_id are unknown to us, we will
|
|
|
|
// still track it, but we will warn.
|
|
|
|
const subscribers = get_user_set(stream_id);
|
2021-01-12 21:38:01 +01:00
|
|
|
const person = people.get_by_user_id(user_id);
|
|
|
|
if (person === undefined) {
|
2021-01-29 17:17:32 +01:00
|
|
|
blueslip.warn("We tried to add invalid subscriber: " + user_id);
|
2021-01-12 21:38:01 +01:00
|
|
|
}
|
|
|
|
subscribers.add(user_id);
|
|
|
|
}
|
|
|
|
|
|
|
|
export function remove_subscriber(stream_id, user_id) {
|
2021-01-29 17:17:32 +01:00
|
|
|
const subscribers = get_user_set(stream_id);
|
2021-01-12 21:38:01 +01:00
|
|
|
if (!subscribers.has(user_id)) {
|
|
|
|
blueslip.warn("We tried to remove invalid subscriber: " + user_id);
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
subscribers.delete(user_id);
|
|
|
|
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2021-01-27 15:54:06 +01:00
|
|
|
export function bulk_add_subscribers({stream_ids, user_ids}) {
|
|
|
|
// We rely on our callers to validate stream_ids and user_ids.
|
|
|
|
for (const stream_id of stream_ids) {
|
2021-01-29 17:17:32 +01:00
|
|
|
const subscribers = get_user_set(stream_id);
|
2021-01-27 15:54:06 +01:00
|
|
|
for (const user_id of user_ids) {
|
|
|
|
subscribers.add(user_id);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
export function bulk_remove_subscribers({stream_ids, user_ids}) {
|
|
|
|
// We rely on our callers to validate stream_ids and user_ids.
|
|
|
|
for (const stream_id of stream_ids) {
|
2021-01-29 17:17:32 +01:00
|
|
|
const subscribers = get_user_set(stream_id);
|
2021-01-27 15:54:06 +01:00
|
|
|
for (const user_id of user_ids) {
|
|
|
|
subscribers.delete(user_id);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-01-12 21:38:01 +01:00
|
|
|
export function is_user_subscribed(stream_id, user_id) {
|
|
|
|
// Most callers should call stream_data.is_user_subscribed,
|
|
|
|
// which does additional checks.
|
|
|
|
|
2021-01-29 17:17:32 +01:00
|
|
|
const subscribers = get_user_set(stream_id);
|
2021-01-12 21:38:01 +01:00
|
|
|
return subscribers.has(user_id);
|
|
|
|
}
|