2017-11-16 00:55:49 +01:00
|
|
|
import datetime
|
|
|
|
|
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
|
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
|
|
|
|
2018-05-10 18:35:50 +02:00
|
|
|
def __str__(self) -> str:
|
2020-06-10 06:41:04 +02:00
|
|
|
return f"<FillState: {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
|
2017-11-22 07:55:37 +01:00
|
|
|
def installation_epoch() -> datetime.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
|
|
|
|
2018-05-10 18:35:50 +02:00
|
|
|
def __str__(self) -> str:
|
2020-06-10 06:41:04 +02:00
|
|
|
return f"<InstallationCount: {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
|
|
|
]
|
2017-02-01 23:29:55 +01:00
|
|
|
index_together = ["property", "end_time"]
|
2016-07-29 21:52:45 +02:00
|
|
|
|
2018-05-10 18:35:50 +02:00
|
|
|
def __str__(self) -> str:
|
2020-06-10 06:41:04 +02:00
|
|
|
return f"<RealmCount: {self.realm} {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
|
|
|
|
index_together = ["property", "realm", "end_time"]
|
2016-07-29 21:52:45 +02:00
|
|
|
|
2018-05-10 18:35:50 +02:00
|
|
|
def __str__(self) -> str:
|
2020-06-10 06:41:04 +02:00
|
|
|
return f"<UserCount: {self.user} {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
|
|
|
|
index_together = ["property", "realm", "end_time"]
|
2016-07-29 21:52:45 +02:00
|
|
|
|
2018-05-10 18:35:50 +02:00
|
|
|
def __str__(self) -> str:
|
2021-02-12 08:19:30 +01:00
|
|
|
return (
|
|
|
|
f"<StreamCount: {self.stream} {self.property} {self.subgroup} {self.value} {self.id}>"
|
|
|
|
)
|