2017-11-16 00:55:49 +01:00
|
|
|
import datetime
|
|
|
|
from typing import Any, Dict, Optional, Text, Tuple, Union
|
|
|
|
|
2016-07-29 21:52:45 +02:00
|
|
|
from django.db import models
|
|
|
|
|
2017-02-28 18:39:36 +01:00
|
|
|
from zerver.lib.timestamp import floor_to_day
|
2017-11-16 00:55:49 +01:00
|
|
|
from zerver.models import Realm, Recipient, Stream, UserProfile
|
2016-07-29 21:52:45 +02:00
|
|
|
|
2017-10-27 08:42:27 +02:00
|
|
|
class FillState(models.Model):
|
2017-05-07 16:32:20 +02:00
|
|
|
property = models.CharField(max_length=40, unique=True) # type: Text
|
|
|
|
end_time = models.DateTimeField() # type: datetime.datetime
|
2016-10-12 23:40:48 +02:00
|
|
|
|
|
|
|
# Valid states are {DONE, STARTED}
|
|
|
|
DONE = 1
|
|
|
|
STARTED = 2
|
2017-05-07 16:32:20 +02:00
|
|
|
state = models.PositiveSmallIntegerField() # type: int
|
2016-10-12 23:40:48 +02:00
|
|
|
|
2017-05-07 16:32:20 +02:00
|
|
|
last_modified = models.DateTimeField(auto_now=True) # type: datetime.datetime
|
2016-10-12 23:40:48 +02:00
|
|
|
|
2017-10-27 09:06:40 +02:00
|
|
|
def __str__(self):
|
2016-12-08 05:06:51 +01:00
|
|
|
# type: () -> Text
|
2017-10-27 09:06:40 +02:00
|
|
|
return "<FillState: %s %s %s>" % (self.property, self.end_time, self.state)
|
2016-10-12 23:40:48 +02:00
|
|
|
|
|
|
|
# The earliest/starting end_time in FillState
|
|
|
|
# We assume there is at least one realm
|
|
|
|
def installation_epoch():
|
|
|
|
# type: () -> datetime.datetime
|
analytics: Simplify frequency and measurement interval options.
Change the CountStat object to take an is_gauge variable instead of a
smallest_interval variable. Previously, (smallest_interval, frequency)
could be any of (hour, hour), (hour, day), (hour, gauge), (day, hour),
(day, day), or (day, gauge).
The current change is equivalent to excluding (hour, day) and (day, hour)
from the list above.
This change, along with other recent changes, allows us to simplify how we
handle time intervals. This commit also removes the TimeInterval object.
2016-10-14 00:15:46 +02:00
|
|
|
earliest_realm_creation = Realm.objects.aggregate(models.Min('date_created'))['date_created__min']
|
2017-02-28 18:39:36 +01:00
|
|
|
return floor_to_day(earliest_realm_creation)
|
2016-07-29 21:52:45 +02:00
|
|
|
|
2017-02-08 08:04:10 +01:00
|
|
|
def last_successful_fill(property):
|
|
|
|
# type: (str) -> Optional[datetime.datetime]
|
|
|
|
fillstate = FillState.objects.filter(property=property).first()
|
|
|
|
if fillstate is None:
|
|
|
|
return None
|
|
|
|
if fillstate.state == FillState.DONE:
|
|
|
|
return fillstate.end_time
|
|
|
|
return fillstate.end_time - datetime.timedelta(hours=1)
|
|
|
|
|
2016-07-29 21:52:45 +02:00
|
|
|
# would only ever make entries here by hand
|
2017-10-27 08:42:27 +02:00
|
|
|
class Anomaly(models.Model):
|
2017-05-07 16:32:20 +02:00
|
|
|
info = models.CharField(max_length=1000) # type: Text
|
2016-07-29 21:52:45 +02:00
|
|
|
|
2017-10-27 09:06:40 +02:00
|
|
|
def __str__(self):
|
2016-12-08 05:06:51 +01:00
|
|
|
# type: () -> Text
|
2017-10-27 09:06:40 +02:00
|
|
|
return "<Anomaly: %s... %s>" % (self.info, self.id)
|
2016-07-29 21:52:45 +02: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.
|
2017-05-07 16:32:20 +02:00
|
|
|
property = models.CharField(max_length=32) # type: Text
|
2017-05-23 22:17:08 +02:00
|
|
|
subgroup = models.CharField(max_length=16, null=True) # type: Optional[Text]
|
2017-05-07 16:32:20 +02:00
|
|
|
end_time = models.DateTimeField() # type: datetime.datetime
|
|
|
|
value = models.BigIntegerField() # type: int
|
|
|
|
anomaly = models.ForeignKey(Anomaly, null=True) # type: Optional[Anomaly]
|
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
|
|
|
|
|
|
|
|
class InstallationCount(BaseCount):
|
|
|
|
|
2017-11-05 11:30:44 +01:00
|
|
|
class Meta:
|
2017-01-16 22:05:51 +01:00
|
|
|
unique_together = ("property", "subgroup", "end_time")
|
2016-07-29 21:52:45 +02:00
|
|
|
|
2017-10-27 09:06:40 +02:00
|
|
|
def __str__(self):
|
2016-12-08 05:06:51 +01:00
|
|
|
# type: () -> Text
|
2017-10-27 09:06:40 +02:00
|
|
|
return "<InstallationCount: %s %s %s>" % (self.property, self.subgroup, self.value)
|
2016-07-29 21:52:45 +02:00
|
|
|
|
|
|
|
class RealmCount(BaseCount):
|
|
|
|
realm = models.ForeignKey(Realm)
|
|
|
|
|
2017-11-05 11:30:44 +01:00
|
|
|
class Meta:
|
2017-01-16 22:05:51 +01:00
|
|
|
unique_together = ("realm", "property", "subgroup", "end_time")
|
2017-02-01 23:29:55 +01:00
|
|
|
index_together = ["property", "end_time"]
|
2016-07-29 21:52:45 +02:00
|
|
|
|
2017-10-27 09:06:40 +02:00
|
|
|
def __str__(self):
|
2016-12-08 05:06:51 +01:00
|
|
|
# type: () -> Text
|
2017-10-27 09:06:40 +02:00
|
|
|
return "<RealmCount: %s %s %s %s>" % (self.realm, self.property, self.subgroup, self.value)
|
2016-07-29 21:52:45 +02:00
|
|
|
|
|
|
|
class UserCount(BaseCount):
|
|
|
|
user = models.ForeignKey(UserProfile)
|
|
|
|
realm = models.ForeignKey(Realm)
|
|
|
|
|
2017-11-05 11:30:44 +01:00
|
|
|
class Meta:
|
2017-01-16 22:05:51 +01:00
|
|
|
unique_together = ("user", "property", "subgroup", "end_time")
|
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
|
|
|
|
2017-10-27 09:06:40 +02:00
|
|
|
def __str__(self):
|
2016-12-08 05:06:51 +01:00
|
|
|
# type: () -> Text
|
2017-10-27 09:06:40 +02:00
|
|
|
return "<UserCount: %s %s %s %s>" % (self.user, self.property, self.subgroup, self.value)
|
2016-07-29 21:52:45 +02:00
|
|
|
|
|
|
|
class StreamCount(BaseCount):
|
|
|
|
stream = models.ForeignKey(Stream)
|
|
|
|
realm = models.ForeignKey(Realm)
|
|
|
|
|
2017-11-05 11:30:44 +01:00
|
|
|
class Meta:
|
2017-01-16 22:05:51 +01:00
|
|
|
unique_together = ("stream", "property", "subgroup", "end_time")
|
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
|
|
|
|
2017-10-27 09:06:40 +02:00
|
|
|
def __str__(self):
|
2016-12-08 05:06:51 +01:00
|
|
|
# type: () -> Text
|
2017-11-04 12:38:25 +01:00
|
|
|
return "<StreamCount: %s %s %s %s %s>" % (
|
|
|
|
self.stream, self.property, self.subgroup, self.value, self.id)
|