2023-11-19 19:45:19 +01:00
|
|
|
from datetime import datetime
|
2017-11-16 00:55:49 +01:00
|
|
|
|
2016-07-29 21:52:45 +02:00
|
|
|
from django.db import models
|
2020-02-29 22:48:15 +01:00
|
|
|
from django.db.models import Q, UniqueConstraint
|
2023-10-12 19:43:45 +02:00
|
|
|
from typing_extensions import override
|
2016-07-29 21:52:45 +02:00
|
|
|
|
2017-02-28 18:39:36 +01:00
|
|
|
from zerver.lib.timestamp import floor_to_day
|
2019-02-02 23:53:19 +01:00
|
|
|
from zerver.models import Realm, Stream, UserProfile
|
2016-07-29 21:52:45 +02:00
|
|
|
|
2020-06-11 00:54:34 +02:00
|
|
|
|
2017-10-27 08:42:27 +02:00
|
|
|
class FillState(models.Model):
|
2022-08-15 19:10:58 +02:00
|
|
|
property = models.CharField(max_length=40, unique=True)
|
|
|
|
end_time = models.DateTimeField()
|
2016-10-12 23:40:48 +02:00
|
|
|
|
|
|
|
# Valid states are {DONE, STARTED}
|
|
|
|
DONE = 1
|
|
|
|
STARTED = 2
|
2022-08-15 19:10:58 +02:00
|
|
|
state = models.PositiveSmallIntegerField()
|
2016-10-12 23:40:48 +02:00
|
|
|
|
2023-10-12 19:43:45 +02:00
|
|
|
@override
|
2018-05-10 18:35:50 +02:00
|
|
|
def __str__(self) -> str:
|
2023-03-08 22:18:59 +01:00
|
|
|
return f"{self.property} {self.end_time} {self.state}"
|
2016-10-12 23:40:48 +02:00
|
|
|
|
2021-02-12 08:19:30 +01:00
|
|
|
|
2016-10-12 23:40:48 +02:00
|
|
|
# The earliest/starting end_time in FillState
|
|
|
|
# We assume there is at least one realm
|
2023-11-19 19:45:19 +01:00
|
|
|
def installation_epoch() -> datetime:
|
2021-02-12 08:20:45 +01:00
|
|
|
earliest_realm_creation = Realm.objects.aggregate(models.Min("date_created"))[
|
|
|
|
"date_created__min"
|
2021-02-12 08:19:30 +01:00
|
|
|
]
|
2017-02-28 18:39:36 +01:00
|
|
|
return floor_to_day(earliest_realm_creation)
|
2016-07-29 21:52:45 +02:00
|
|
|
|
2021-02-12 08:19:30 +01:00
|
|
|
|
2017-10-27 08:42:27 +02:00
|
|
|
class BaseCount(models.Model):
|
2016-10-06 23:25:55 +02:00
|
|
|
# Note: When inheriting from BaseCount, you may want to rearrange
|
|
|
|
# the order of the columns in the migration to make sure they
|
|
|
|
# match how you'd like the table to be arranged.
|
2022-08-15 19:10:58 +02:00
|
|
|
property = models.CharField(max_length=32)
|
|
|
|
subgroup = models.CharField(max_length=16, null=True)
|
|
|
|
end_time = models.DateTimeField()
|
|
|
|
value = models.BigIntegerField()
|
2016-07-29 21:52:45 +02:00
|
|
|
|
2017-11-05 11:30:44 +01:00
|
|
|
class Meta:
|
2016-07-29 21:52:45 +02:00
|
|
|
abstract = True
|
|
|
|
|
|
|
|
|
2021-02-12 08:19:30 +01:00
|
|
|
class InstallationCount(BaseCount):
|
2017-11-05 11:30:44 +01:00
|
|
|
class Meta:
|
2020-02-29 22:48:15 +01:00
|
|
|
# Handles invalid duplicate InstallationCount data
|
|
|
|
constraints = [
|
|
|
|
UniqueConstraint(
|
|
|
|
fields=["property", "subgroup", "end_time"],
|
|
|
|
condition=Q(subgroup__isnull=False),
|
2021-02-12 08:20:45 +01:00
|
|
|
name="unique_installation_count",
|
2021-02-12 08:19:30 +01:00
|
|
|
),
|
2020-02-29 22:48:15 +01:00
|
|
|
UniqueConstraint(
|
|
|
|
fields=["property", "end_time"],
|
|
|
|
condition=Q(subgroup__isnull=True),
|
2021-02-12 08:20:45 +01:00
|
|
|
name="unique_installation_count_null_subgroup",
|
2021-02-12 08:19:30 +01:00
|
|
|
),
|
2020-02-29 22:48:15 +01:00
|
|
|
]
|
2016-07-29 21:52:45 +02:00
|
|
|
|
2023-10-12 19:43:45 +02:00
|
|
|
@override
|
2018-05-10 18:35:50 +02:00
|
|
|
def __str__(self) -> str:
|
2023-03-08 22:18:59 +01:00
|
|
|
return f"{self.property} {self.subgroup} {self.value}"
|
2016-07-29 21:52:45 +02:00
|
|
|
|
2021-02-12 08:19:30 +01:00
|
|
|
|
2016-07-29 21:52:45 +02:00
|
|
|
class RealmCount(BaseCount):
|
2018-01-29 08:17:31 +01:00
|
|
|
realm = models.ForeignKey(Realm, on_delete=models.CASCADE)
|
2016-07-29 21:52:45 +02:00
|
|
|
|
2017-11-05 11:30:44 +01:00
|
|
|
class Meta:
|
2020-02-29 22:48:15 +01:00
|
|
|
# Handles invalid duplicate RealmCount data
|
|
|
|
constraints = [
|
|
|
|
UniqueConstraint(
|
|
|
|
fields=["realm", "property", "subgroup", "end_time"],
|
|
|
|
condition=Q(subgroup__isnull=False),
|
2021-02-12 08:20:45 +01:00
|
|
|
name="unique_realm_count",
|
2021-02-12 08:19:30 +01:00
|
|
|
),
|
2020-02-29 22:48:15 +01:00
|
|
|
UniqueConstraint(
|
|
|
|
fields=["realm", "property", "end_time"],
|
|
|
|
condition=Q(subgroup__isnull=True),
|
2021-02-12 08:20:45 +01:00
|
|
|
name="unique_realm_count_null_subgroup",
|
2021-02-12 08:19:30 +01:00
|
|
|
),
|
2020-02-29 22:48:15 +01:00
|
|
|
]
|
2023-06-11 21:22:36 +02:00
|
|
|
indexes = [
|
|
|
|
models.Index(
|
|
|
|
fields=["property", "end_time"],
|
|
|
|
name="analytics_realmcount_property_end_time_3b60396b_idx",
|
|
|
|
)
|
|
|
|
]
|
2016-07-29 21:52:45 +02:00
|
|
|
|
2023-10-12 19:43:45 +02:00
|
|
|
@override
|
2018-05-10 18:35:50 +02:00
|
|
|
def __str__(self) -> str:
|
2023-03-08 22:18:59 +01:00
|
|
|
return f"{self.realm!r} {self.property} {self.subgroup} {self.value}"
|
2016-07-29 21:52:45 +02:00
|
|
|
|
2021-02-12 08:19:30 +01:00
|
|
|
|
2016-07-29 21:52:45 +02:00
|
|
|
class UserCount(BaseCount):
|
2018-01-29 08:17:31 +01:00
|
|
|
user = models.ForeignKey(UserProfile, on_delete=models.CASCADE)
|
|
|
|
realm = models.ForeignKey(Realm, on_delete=models.CASCADE)
|
2016-07-29 21:52:45 +02:00
|
|
|
|
2017-11-05 11:30:44 +01:00
|
|
|
class Meta:
|
2020-02-29 22:48:15 +01:00
|
|
|
# Handles invalid duplicate UserCount data
|
|
|
|
constraints = [
|
|
|
|
UniqueConstraint(
|
|
|
|
fields=["user", "property", "subgroup", "end_time"],
|
|
|
|
condition=Q(subgroup__isnull=False),
|
2021-02-12 08:20:45 +01:00
|
|
|
name="unique_user_count",
|
2021-02-12 08:19:30 +01:00
|
|
|
),
|
2020-02-29 22:48:15 +01:00
|
|
|
UniqueConstraint(
|
|
|
|
fields=["user", "property", "end_time"],
|
|
|
|
condition=Q(subgroup__isnull=True),
|
2021-02-12 08:20:45 +01:00
|
|
|
name="unique_user_count_null_subgroup",
|
2021-02-12 08:19:30 +01:00
|
|
|
),
|
2020-02-29 22:48:15 +01:00
|
|
|
]
|
2017-02-01 23:29:55 +01:00
|
|
|
# This index dramatically improves the performance of
|
|
|
|
# aggregating from users to realms
|
2023-06-11 21:22:36 +02:00
|
|
|
indexes = [
|
|
|
|
models.Index(
|
|
|
|
fields=["property", "realm", "end_time"],
|
|
|
|
name="analytics_usercount_property_realm_id_end_time_591dbec1_idx",
|
|
|
|
)
|
|
|
|
]
|
2016-07-29 21:52:45 +02:00
|
|
|
|
2023-10-12 19:43:45 +02:00
|
|
|
@override
|
2018-05-10 18:35:50 +02:00
|
|
|
def __str__(self) -> str:
|
2023-03-08 22:18:59 +01:00
|
|
|
return f"{self.user!r} {self.property} {self.subgroup} {self.value}"
|
2016-07-29 21:52:45 +02:00
|
|
|
|
2021-02-12 08:19:30 +01:00
|
|
|
|
2016-07-29 21:52:45 +02:00
|
|
|
class StreamCount(BaseCount):
|
2018-01-29 08:17:31 +01:00
|
|
|
stream = models.ForeignKey(Stream, on_delete=models.CASCADE)
|
|
|
|
realm = models.ForeignKey(Realm, on_delete=models.CASCADE)
|
2016-07-29 21:52:45 +02:00
|
|
|
|
2017-11-05 11:30:44 +01:00
|
|
|
class Meta:
|
2020-02-29 22:48:15 +01:00
|
|
|
# Handles invalid duplicate StreamCount data
|
|
|
|
constraints = [
|
|
|
|
UniqueConstraint(
|
|
|
|
fields=["stream", "property", "subgroup", "end_time"],
|
|
|
|
condition=Q(subgroup__isnull=False),
|
2021-02-12 08:20:45 +01:00
|
|
|
name="unique_stream_count",
|
2021-02-12 08:19:30 +01:00
|
|
|
),
|
2020-02-29 22:48:15 +01:00
|
|
|
UniqueConstraint(
|
|
|
|
fields=["stream", "property", "end_time"],
|
|
|
|
condition=Q(subgroup__isnull=True),
|
2021-02-12 08:20:45 +01:00
|
|
|
name="unique_stream_count_null_subgroup",
|
2021-02-12 08:19:30 +01:00
|
|
|
),
|
2020-02-29 22:48:15 +01:00
|
|
|
]
|
2017-02-01 23:29:55 +01:00
|
|
|
# This index dramatically improves the performance of
|
|
|
|
# aggregating from streams to realms
|
2023-06-11 21:22:36 +02:00
|
|
|
indexes = [
|
|
|
|
models.Index(
|
|
|
|
fields=["property", "realm", "end_time"],
|
|
|
|
name="analytics_streamcount_property_realm_id_end_time_155ae930_idx",
|
|
|
|
)
|
|
|
|
]
|
2016-07-29 21:52:45 +02:00
|
|
|
|
2023-10-12 19:43:45 +02:00
|
|
|
@override
|
2018-05-10 18:35:50 +02:00
|
|
|
def __str__(self) -> str:
|
2023-03-08 22:18:59 +01:00
|
|
|
return f"{self.stream!r} {self.property} {self.subgroup} {self.value} {self.id}"
|