mirror of
https://github.com/decompme/decomp.me.git
synced 2026-02-21 13:59:25 -06:00
80 lines
2.8 KiB
Python
80 lines
2.8 KiB
Python
from django.utils.crypto import get_random_string
|
|
from django.db import models
|
|
from django.contrib.auth.models import User
|
|
|
|
def gen_scratch_id() -> str:
|
|
ret = get_random_string(length=5)
|
|
|
|
if Scratch.objects.filter(slug=ret).exists():
|
|
return gen_scratch_id()
|
|
|
|
return ret
|
|
|
|
class Profile(models.Model):
|
|
creation_date = models.DateTimeField(auto_now_add=True)
|
|
last_request_date = models.DateTimeField(auto_now_add=True)
|
|
user = models.OneToOneField(
|
|
User,
|
|
on_delete=models.CASCADE,
|
|
related_name="profile",
|
|
null=True,
|
|
)
|
|
|
|
def is_anonymous(self):
|
|
return self.user is None
|
|
|
|
def __str__(self):
|
|
if self.user:
|
|
return self.user.username
|
|
else:
|
|
return str(self.id)
|
|
|
|
class Asm(models.Model):
|
|
hash = models.CharField(max_length=64, primary_key=True)
|
|
data = models.TextField()
|
|
|
|
def __str__(self):
|
|
return self.data if len(self.data) < 20 else self.data[:17] + "..."
|
|
|
|
class Assembly(models.Model):
|
|
hash = models.CharField(max_length=64, primary_key=True)
|
|
time = models.DateTimeField(auto_now_add=True)
|
|
arch = models.CharField(max_length=100)
|
|
source_asm = models.ForeignKey(Asm, on_delete=models.CASCADE)
|
|
elf_object = models.BinaryField(blank=True)
|
|
|
|
class Scratch(models.Model):
|
|
slug = models.SlugField(primary_key=True, default=gen_scratch_id)
|
|
name = models.CharField(max_length=512, default="", blank=True)
|
|
description = models.TextField(max_length=5000, default="", blank=True)
|
|
creation_time = models.DateTimeField(auto_now_add=True)
|
|
last_updated = models.DateTimeField(auto_now=True)
|
|
compiler = models.CharField(max_length=100)
|
|
platform = models.CharField(max_length=100, blank=True)
|
|
compiler_flags = models.TextField(max_length=1000, default="", blank=True)
|
|
target_assembly = models.ForeignKey(Assembly, on_delete=models.CASCADE)
|
|
source_code = models.TextField(blank=True)
|
|
context = models.TextField(blank=True)
|
|
diff_label = models.CharField(max_length=512, blank=True, null=True)
|
|
score = models.IntegerField(default=-1)
|
|
max_score = models.IntegerField(default=-1)
|
|
parent = models.ForeignKey("self", null=True, blank=True, on_delete=models.CASCADE)
|
|
owner = models.ForeignKey(Profile, null=True, blank=True, on_delete=models.SET_NULL)
|
|
|
|
def __str__(self):
|
|
return self.slug
|
|
|
|
# hash for etagging, might be better to add a field to the model that changes on every save
|
|
def __hash__(self):
|
|
return hash((
|
|
self.slug, self.name, self.description,
|
|
self.creation_time, self.last_updated,
|
|
self.platform, self.compiler, self.compiler_flags,
|
|
self.target_assembly, self.source_code,
|
|
self.context,
|
|
self.diff_label,
|
|
self.score, self.max_score,
|
|
self.parent,
|
|
self.owner,
|
|
))
|