]> git.llucax.com Git - software/sercom.git/blobdiff - sercom/model.py
Implementar pruebas de casos de prueba.
[software/sercom.git] / sercom / model.py
index a9ef27b56c76809bdecba1836082f9b3847aac9e..1909de629daa6cf742236e57fcde8f93cbdfc49b 100644 (file)
@@ -17,6 +17,7 @@ __all__ = ('Curso', 'Usuario', 'Docente', 'Alumno', 'CasoDePrueba')
 
 #{{{ Custom Columns
 
+# TODO Esto debería implementarse con CSV para mayor legibilidad
 class TupleValidator(PickleValidator):
     """
     Validator for tuple types.  A tuple type is simply a pickle type
@@ -74,7 +75,7 @@ class Curso(SQLObject): #{{{
         for d in docentes:
             self.add_docente(d)
         for (n, e) in enumerate(ejercicios):
-            self.add_ejercicio(n, e)
+            self.add_ejercicio(n+1, e)
         for a in alumnos:
             self.add_alumno(a)
 
@@ -293,6 +294,7 @@ class Tarea(InheritableSQLObject): #{{{
 #}}}
 
 class TareaFuente(Tarea): #{{{
+    _inheritable = False
     # Joins
     comandos    = MultipleJoin('ComandoFuente', joinColumn='tarea_id')
 
@@ -308,6 +310,7 @@ class TareaFuente(Tarea): #{{{
 #}}}
 
 class TareaPrueba(Tarea): #{{{
+    _inheritable = False
     # Joins
     comandos    = MultipleJoin('ComandoPrueba', joinColumn='tarea_id')
 
@@ -323,12 +326,19 @@ class TareaPrueba(Tarea): #{{{
 #}}}
 
 class Comando(InheritableSQLObject): #{{{
+    # Tipos de retorno especiales
     RET_ANY = None
-    RET_FAIL = -1
+    RET_FAIL = -256
+    # Archivos especiales
+    STDIN = '__stdin__'
+    STDOUT = '__stdout__'
+    STDERR = '__stderr__'
+    STDOUTERR = '__stdouterr__'
     # Campos
     comando             = UnicodeCol(length=255, notNone=True)
     descripcion         = UnicodeCol(length=255, default=None)
-    retorno             = IntCol(default=None) # None es que no importa
+    retorno             = IntCol(default=None) # Ver RET_XXX y si es negativo
+                                               # se espera una señal
     max_tiempo_cpu      = IntCol(default=None) # En segundos
     max_memoria         = IntCol(default=None) # En MB
     max_tam_archivo     = IntCol(default=None) # En MB
@@ -338,9 +348,19 @@ class Comando(InheritableSQLObject): #{{{
     terminar_si_falla   = BoolCol(notNone=True, default=True)
     rechazar_si_falla   = BoolCol(notNone=True, default=True)
     archivos_entrada    = BLOBCol(default=None) # ZIP con archivos de entrada
-                                                # stdin es caso especial
-    archivos_salida     = BLOBCol(default=None) # ZIP con archivos de salida
-                                                # stdout y stderr son especiales
+                                                # __stdin__ es caso especial
+                                                # Si un caso de prueba tiene
+                                                # comandos con stdin y el caso
+                                                # de prueba también tiene stdin
+                                                # se usa el stdin del comando.
+    archivos_a_comparar = BLOBCol(default=None) # ZIP con archivos de salida
+                                                # __stdout__, __stderr__ y
+                                                # __stdouterr__ (ambos juntos)
+                                                # son casos especiales
+    archivos_a_guardar  = TupleCol(notNone=True, default=()) # TODO SetCol
+                                                # __stdout__, __stderr__ y
+                                                # __stdouterr__ (ambos juntos)
+                                                # son casos especiales
     activo              = BoolCol(notNone=True, default=True)
 
     def __repr__(self, clave='', mas=''):
@@ -353,13 +373,14 @@ class Comando(InheritableSQLObject): #{{{
                     self.max_memoria, self.max_tam_archivo,
                     self.max_cant_archivos, self.max_cant_procesos,
                     self.max_locks_memoria, self.terminar_si_falla,
-                    self.rechazar_si_falla))
+                    self.rechazar_si_falla, mas))
 
     def shortrepr(self):
         return '%s (%s)' % (self.comando, self.descripcion)
 #}}}
 
 class ComandoFuente(Comando): #{{{
+    _inheritable = False
     # Clave
     tarea       = ForeignKey('TareaFuente', notNone=True, cascade=True)
     orden       = IntCol(notNone=True)
@@ -374,6 +395,7 @@ class ComandoFuente(Comando): #{{{
 #}}}
 
 class ComandoPrueba(Comando): #{{{
+    _inheritable = False
     RET_PRUEBA = -2 # Espera el mismo retorno que el de la prueba.
     # XXX todos los campos de limitación en este caso son multiplicadores para
     # los valores del caso de prueba.
@@ -439,6 +461,7 @@ class Enunciado(SQLObject): #{{{
 #}}}
 
 class CasoDePrueba(Comando): #{{{
+    _inheritable = False
     # Clave
     enunciado           = ForeignKey('Enunciado', cascade=True)
     nombre              = UnicodeCol(length=40, notNone=True)
@@ -626,6 +649,11 @@ class Grupo(Entregador): #{{{
                 % (self.id, self.nombre, srepr(self.responsable), self.nota,
                     self.nota_cursada, self.observaciones, self.activo)
 
+    @classmethod
+    def selectByAlumno(self, alumno):
+        return Miembro.select(AND(Miembro.q.alumnoID == AlumnoInscripto.q.id,
+                AlumnoInscripto.q.alumnoID == alumno.id))
+
     def shortrepr(self):
         return 'grupo:' + self.nombre
 #}}}
@@ -648,6 +676,10 @@ class AlumnoInscripto(Entregador): #{{{
     def _get_nombre(self):
         return self.alumno.padron
 
+    @classmethod
+    def selectByAlumno(self, alumno):
+        return AlumnoInscripto.select(AlumnoInscripto.q.alumnoID == alumno.id).getOne()
+
     def __repr__(self):
         return 'AlumnoInscripto(id=%s, alumno=%s, condicional=%s, nota=%s, ' \
             'nota_cursada=%s, tutor=%s, observaciones=%s, activo=%s)' \
@@ -696,18 +728,27 @@ class Miembro(SQLObject): #{{{
         return '%s-%s' % (self.alumno.shortrepr(), self.grupo.shortrepr())
 #}}}
 
-class Entrega(SQLObject): #{{{
+class Ejecucion(InheritableSQLObject): #{{{
+    # Campos
+    inicio          = DateTimeCol(notNone=True, default=DateTimeCol.now)
+    fin             = DateTimeCol(default=None)
+    exito           = IntCol(default=None)
+    observaciones   = UnicodeCol(notNone=True, default=u'')
+    archivos        = BLOBCol(default=None) # ZIP con archivos
+
+    def __repr__(self, clave='', mas=''):
+        return ('%s(%s inicio=%s, fin=%s, exito=%s, observaciones=%s%s)'
+            % (self.__class__.__name__, clave, self.inicio, self.fin,
+            self.exito, self.observaciones, mas))
+#}}}
+
+class Entrega(Ejecucion): #{{{
+    _inheritable = False
     # Clave
     instancia           = ForeignKey('InstanciaDeEntrega', notNone=True, cascade=False)
     entregador          = ForeignKey('Entregador', default=None, cascade=False) # Si es None era un Docente
     fecha               = DateTimeCol(notNone=True, default=DateTimeCol.now)
     pk                  = DatabaseIndex(instancia, entregador, fecha, unique=True)
-    # Campos
-    archivos            = BLOBCol(notNone=True) # ZIP con fuentes de la entrega
-    correcta            = BoolCol(default=None) # None es que no se sabe qué pasó
-    inicio_tareas       = DateTimeCol(default=None) # Si es None no se procesó
-    fin_tareas          = DateTimeCol(default=None) # Si es None pero inicio no, se está procesando
-    observaciones       = UnicodeCol(notNone=True, default=u'')
     # Joins
     comandos_ejecutados = MultipleJoin('ComandoFuenteEjecutado')
     pruebas             = MultipleJoin('Prueba')
@@ -731,11 +772,9 @@ class Entrega(SQLObject): #{{{
         Prueba.pk.get(self.id, caso_de_prueba).destroySelf()
 
     def __repr__(self):
-        return 'Entrega(id=%s, instancia=%s, entregador=%s, fecha=%s, ' \
-            'correcta=%s, inicio_tareas=%s, fin_tareas=%s, observaciones=%s)' \
-                % (self.id, self.instancia.shortrepr(), srepr(self.entregador),
-                    self.fecha, self.inicio_tareas, self.fin_tareas,
-                    self.correcta, self.observaciones)
+        return super(Entrega, self).__repr__('instancia=%s, entregador=%s, '
+            'fecha=%s' % (self.instancia.shortrepr(), srepr(self.entregador),
+                self.fecha))
 
     def shortrepr(self):
         return '%s-%s-%s' % (self.instancia.shortrepr(),
@@ -772,20 +811,16 @@ class Correccion(SQLObject): #{{{
         return '%s,%s' % (self.entrega.shortrepr(), self.corrector.shortrepr())
 #}}}
 
-class ComandoEjecutado(InheritableSQLObject): #{{{
+class ComandoEjecutado(Ejecucion): #{{{
     # Campos
-    inicio          = DateTimeCol(notNone=True, default=DateTimeCol.now)
-    fin             = DateTimeCol(default=None)
-    exito           = IntCol(default=None)
-    observaciones   = UnicodeCol(notNone=True, default=u'')
+    diferencias = BLOBCol(default=None) # ZIP con archivos guardados
 
     def __repr__(self, clave='', mas=''):
-        return ('%s(%s inicio=%s, fin=%s, exito=%s, observaciones=%s%s)'
-            % (self.__class__.__name__, clave, self.inicio, self.fin,
-            self.exito, self.observaciones))
+        return super(ComandoFuenteEjecutado, self).__repr__(clave, mas)
 #}}}
 
 class ComandoFuenteEjecutado(ComandoEjecutado): #{{{
+    _inheritable = False
     # Clave
     comando = ForeignKey('ComandoFuente', notNone=True, cascade=False)
     entrega = ForeignKey('Entrega', notNone=True, cascade=False)
@@ -801,6 +836,7 @@ class ComandoFuenteEjecutado(ComandoEjecutado): #{{{
 #}}}
 
 class ComandoPruebaEjecutado(ComandoEjecutado): #{{{
+    _inheritable = False
     # Clave
     comando = ForeignKey('ComandoPrueba', notNone=True, cascade=False)
     prueba  = ForeignKey('Prueba', notNone=True, cascade=False)
@@ -817,6 +853,7 @@ class ComandoPruebaEjecutado(ComandoEjecutado): #{{{
 #}}}
 
 class Prueba(ComandoEjecutado): #{{{
+    _inheritable = False
     # Clave
     entrega             = ForeignKey('Entrega', notNone=True, cascade=False)
     caso_de_prueba      = ForeignKey('CasoDePrueba', notNone=True, cascade=False)