mirror of
				https://github.com/zulip/zulip.git
				synced 2025-11-03 21:43:21 +00:00 
			
		
		
		
	
		
			
				
	
	
		
			162 lines
		
	
	
		
			5.2 KiB
		
	
	
	
		
			Python
		
	
	
	
	
	
			
		
		
	
	
			162 lines
		
	
	
		
			5.2 KiB
		
	
	
	
		
			Python
		
	
	
	
	
	
# https://github.com/typeddjango/django-stubs/issues/1698
 | 
						|
# mypy: disable-error-code="explicit-override"
 | 
						|
 | 
						|
from datetime import datetime
 | 
						|
 | 
						|
from django.db import models
 | 
						|
from django.db.models import Q, UniqueConstraint
 | 
						|
from typing_extensions import override
 | 
						|
 | 
						|
from zerver.lib.timestamp import floor_to_day
 | 
						|
from zerver.models import Realm, Stream, UserProfile
 | 
						|
 | 
						|
 | 
						|
class FillState(models.Model):
 | 
						|
    property = models.CharField(max_length=40, unique=True)
 | 
						|
    end_time = models.DateTimeField()
 | 
						|
 | 
						|
    # Valid states are {DONE, STARTED}
 | 
						|
    DONE = 1
 | 
						|
    STARTED = 2
 | 
						|
    state = models.PositiveSmallIntegerField()
 | 
						|
 | 
						|
    @override
 | 
						|
    def __str__(self) -> str:
 | 
						|
        return f"{self.property} {self.end_time} {self.state}"
 | 
						|
 | 
						|
 | 
						|
# The earliest/starting end_time in FillState
 | 
						|
# We assume there is at least one realm
 | 
						|
def installation_epoch() -> datetime:
 | 
						|
    earliest_realm_creation = Realm.objects.aggregate(models.Min("date_created"))[
 | 
						|
        "date_created__min"
 | 
						|
    ]
 | 
						|
    return floor_to_day(earliest_realm_creation)
 | 
						|
 | 
						|
 | 
						|
class BaseCount(models.Model):
 | 
						|
    # 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.
 | 
						|
    property = models.CharField(max_length=32)
 | 
						|
    subgroup = models.CharField(max_length=16, null=True)
 | 
						|
    end_time = models.DateTimeField()
 | 
						|
    value = models.BigIntegerField()
 | 
						|
 | 
						|
    class Meta:
 | 
						|
        abstract = True
 | 
						|
 | 
						|
 | 
						|
class InstallationCount(BaseCount):
 | 
						|
    class Meta:
 | 
						|
        # Handles invalid duplicate InstallationCount data
 | 
						|
        constraints = [
 | 
						|
            UniqueConstraint(
 | 
						|
                fields=["property", "subgroup", "end_time"],
 | 
						|
                condition=Q(subgroup__isnull=False),
 | 
						|
                name="unique_installation_count",
 | 
						|
            ),
 | 
						|
            UniqueConstraint(
 | 
						|
                fields=["property", "end_time"],
 | 
						|
                condition=Q(subgroup__isnull=True),
 | 
						|
                name="unique_installation_count_null_subgroup",
 | 
						|
            ),
 | 
						|
        ]
 | 
						|
 | 
						|
    @override
 | 
						|
    def __str__(self) -> str:
 | 
						|
        return f"{self.property} {self.subgroup} {self.value}"
 | 
						|
 | 
						|
 | 
						|
class RealmCount(BaseCount):
 | 
						|
    realm = models.ForeignKey(Realm, on_delete=models.CASCADE)
 | 
						|
 | 
						|
    class Meta:
 | 
						|
        # Handles invalid duplicate RealmCount data
 | 
						|
        constraints = [
 | 
						|
            UniqueConstraint(
 | 
						|
                fields=["realm", "property", "subgroup", "end_time"],
 | 
						|
                condition=Q(subgroup__isnull=False),
 | 
						|
                name="unique_realm_count",
 | 
						|
            ),
 | 
						|
            UniqueConstraint(
 | 
						|
                fields=["realm", "property", "end_time"],
 | 
						|
                condition=Q(subgroup__isnull=True),
 | 
						|
                name="unique_realm_count_null_subgroup",
 | 
						|
            ),
 | 
						|
        ]
 | 
						|
        indexes = [
 | 
						|
            models.Index(
 | 
						|
                fields=["property", "end_time"],
 | 
						|
                name="analytics_realmcount_property_end_time_3b60396b_idx",
 | 
						|
            )
 | 
						|
        ]
 | 
						|
 | 
						|
    @override
 | 
						|
    def __str__(self) -> str:
 | 
						|
        return f"{self.realm!r} {self.property} {self.subgroup} {self.value}"
 | 
						|
 | 
						|
 | 
						|
class UserCount(BaseCount):
 | 
						|
    user = models.ForeignKey(UserProfile, on_delete=models.CASCADE)
 | 
						|
    realm = models.ForeignKey(Realm, on_delete=models.CASCADE)
 | 
						|
 | 
						|
    class Meta:
 | 
						|
        # Handles invalid duplicate UserCount data
 | 
						|
        constraints = [
 | 
						|
            UniqueConstraint(
 | 
						|
                fields=["user", "property", "subgroup", "end_time"],
 | 
						|
                condition=Q(subgroup__isnull=False),
 | 
						|
                name="unique_user_count",
 | 
						|
            ),
 | 
						|
            UniqueConstraint(
 | 
						|
                fields=["user", "property", "end_time"],
 | 
						|
                condition=Q(subgroup__isnull=True),
 | 
						|
                name="unique_user_count_null_subgroup",
 | 
						|
            ),
 | 
						|
        ]
 | 
						|
        # This index dramatically improves the performance of
 | 
						|
        # aggregating from users to realms
 | 
						|
        indexes = [
 | 
						|
            models.Index(
 | 
						|
                fields=["property", "realm", "end_time"],
 | 
						|
                name="analytics_usercount_property_realm_id_end_time_591dbec1_idx",
 | 
						|
            )
 | 
						|
        ]
 | 
						|
 | 
						|
    @override
 | 
						|
    def __str__(self) -> str:
 | 
						|
        return f"{self.user!r} {self.property} {self.subgroup} {self.value}"
 | 
						|
 | 
						|
 | 
						|
class StreamCount(BaseCount):
 | 
						|
    stream = models.ForeignKey(Stream, on_delete=models.CASCADE)
 | 
						|
    realm = models.ForeignKey(Realm, on_delete=models.CASCADE)
 | 
						|
 | 
						|
    class Meta:
 | 
						|
        # Handles invalid duplicate StreamCount data
 | 
						|
        constraints = [
 | 
						|
            UniqueConstraint(
 | 
						|
                fields=["stream", "property", "subgroup", "end_time"],
 | 
						|
                condition=Q(subgroup__isnull=False),
 | 
						|
                name="unique_stream_count",
 | 
						|
            ),
 | 
						|
            UniqueConstraint(
 | 
						|
                fields=["stream", "property", "end_time"],
 | 
						|
                condition=Q(subgroup__isnull=True),
 | 
						|
                name="unique_stream_count_null_subgroup",
 | 
						|
            ),
 | 
						|
        ]
 | 
						|
        # This index dramatically improves the performance of
 | 
						|
        # aggregating from streams to realms
 | 
						|
        indexes = [
 | 
						|
            models.Index(
 | 
						|
                fields=["property", "realm", "end_time"],
 | 
						|
                name="analytics_streamcount_property_realm_id_end_time_155ae930_idx",
 | 
						|
            )
 | 
						|
        ]
 | 
						|
 | 
						|
    @override
 | 
						|
    def __str__(self) -> str:
 | 
						|
        return f"{self.stream!r} {self.property} {self.subgroup} {self.value} {self.id}"
 |