Mergear archivos a comparar de prueba y comando.

[software/sercom.git] / sercom / model.py

diff --git a/sercom/model.py b/sercom/model.py
index 07ad64e4dcd66b9b269f095d6355afa1038cdc5b..6894bddcbfa404295b51fd30f0c0f9dbaa6c7c32 100644 (file)
--- a/sercom/model.py
+++ b/sercom/model.py
@@ -281,8 +281,6 @@ class Tarea(InheritableSQLObject): #{{{
     nombre              = UnicodeCol(length=30, alternateID=True)
     # Campos
     descripcion         = UnicodeCol(length=255, default=None)
     nombre              = UnicodeCol(length=30, alternateID=True)
     # Campos
     descripcion         = UnicodeCol(length=255, default=None)

-    terminar_si_falla   = BoolCol(notNone=True, default=True)
-    rechazar_si_falla   = BoolCol(notNone=True, default=True)

     # Joins
     enunciados          = RelatedJoin('Enunciado', addRemoveName='_enunciado')
 
     # Joins
     enunciados          = RelatedJoin('Enunciado', addRemoveName='_enunciado')
 


@@ -294,6 +292,7 @@ class Tarea(InheritableSQLObject): #{{{
 #}}}
 
 class TareaFuente(Tarea): #{{{
 #}}}
 
 class TareaFuente(Tarea): #{{{

+    _inheritable = False

     # Joins
     comandos    = MultipleJoin('ComandoFuente', joinColumn='tarea_id')
 
     # Joins
     comandos    = MultipleJoin('ComandoFuente', joinColumn='tarea_id')
 


@@ -309,6 +308,7 @@ class TareaFuente(Tarea): #{{{
 #}}}
 
 class TareaPrueba(Tarea): #{{{
 #}}}
 
 class TareaPrueba(Tarea): #{{{

+    _inheritable = False

     # Joins
     comandos    = MultipleJoin('ComandoPrueba', joinColumn='tarea_id')
 
     # Joins
     comandos    = MultipleJoin('ComandoPrueba', joinColumn='tarea_id')
 


@@ -347,6 +347,10 @@ class Comando(InheritableSQLObject): #{{{
     rechazar_si_falla   = BoolCol(notNone=True, default=True)
     archivos_entrada    = BLOBCol(default=None) # ZIP con archivos de entrada
                                                 # __stdin__ es caso especial
     rechazar_si_falla   = BoolCol(notNone=True, default=True)
     archivos_entrada    = BLOBCol(default=None) # ZIP con archivos de entrada
                                                 # __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)
     archivos_a_comparar = BLOBCol(default=None) # ZIP con archivos de salida
                                                 # __stdout__, __stderr__ y
                                                 # __stdouterr__ (ambos juntos)


@@ -357,15 +361,6 @@ class Comando(InheritableSQLObject): #{{{
                                                 # son casos especiales
     activo              = BoolCol(notNone=True, default=True)
 
                                                 # son casos especiales
     activo              = BoolCol(notNone=True, default=True)
 

-    def _get_guardar_stdout(self):
-        return self.STDOUT in self.archivos_a_guardar
-
-    def _get_guardar_stderr(self):
-        return self.STDERR in self.archivos_a_guardar
-
-    def _get_guardar_stdouterr(self):
-        return self.STDOUTERR in self.archivos_a_guardar
-

     def __repr__(self, clave='', mas=''):
         return ('%s(%s comando=%s, descripcion=%s, retorno=%s, '
             'max_tiempo_cpu=%s, max_memoria=%s, max_tam_archivo=%s, '
     def __repr__(self, clave='', mas=''):
         return ('%s(%s comando=%s, descripcion=%s, retorno=%s, '
             'max_tiempo_cpu=%s, max_memoria=%s, max_tam_archivo=%s, '


@@ -383,6 +378,7 @@ class Comando(InheritableSQLObject): #{{{
 #}}}
 
 class ComandoFuente(Comando): #{{{
 #}}}
 
 class ComandoFuente(Comando): #{{{

+    _inheritable = False

     # Clave
     tarea       = ForeignKey('TareaFuente', notNone=True, cascade=True)
     orden       = IntCol(notNone=True)
     # Clave
     tarea       = ForeignKey('TareaFuente', notNone=True, cascade=True)
     orden       = IntCol(notNone=True)


@@ -397,7 +393,8 @@ class ComandoFuente(Comando): #{{{
 #}}}
 
 class ComandoPrueba(Comando): #{{{
 #}}}
 
 class ComandoPrueba(Comando): #{{{

-    RET_PRUEBA = -2 # Espera el mismo retorno que el de la prueba.
+    _inheritable = False
+    RET_PRUEBA = -257 # 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.
     # Clave
     # XXX todos los campos de limitación en este caso son multiplicadores para
     # los valores del caso de prueba.
     # Clave


@@ -406,7 +403,7 @@ class ComandoPrueba(Comando): #{{{
     pk                  = DatabaseIndex(tarea, orden, unique=True)
 
     def __repr__(self):
     pk                  = DatabaseIndex(tarea, orden, unique=True)
 
     def __repr__(self):

-        return super(ComandoFuente, self).__repr__('tarea=%s, orden=%s'
+        return super(ComandoPrueba, self).__repr__('tarea=%s, orden=%s'

             % (self.tarea.shortrepr(), self.orden))
 
     def shortrepr(self):
             % (self.tarea.shortrepr(), self.orden))
 
     def shortrepr(self):


@@ -462,6 +459,7 @@ class Enunciado(SQLObject): #{{{
 #}}}
 
 class CasoDePrueba(Comando): #{{{
 #}}}
 
 class CasoDePrueba(Comando): #{{{

+    _inheritable = False

     # Clave
     enunciado           = ForeignKey('Enunciado', cascade=True)
     nombre              = UnicodeCol(length=40, notNone=True)
     # Clave
     enunciado           = ForeignKey('Enunciado', cascade=True)
     nombre              = UnicodeCol(length=40, notNone=True)


@@ -470,7 +468,7 @@ class CasoDePrueba(Comando): #{{{
     pruebas             = MultipleJoin('Prueba')
 
     def __repr__(self):
     pruebas             = MultipleJoin('Prueba')
 
     def __repr__(self):

-        return super(ComandoFuente, self).__repr__('enunciado=%s, nombre=%s'
+        return super(CasoDePrueba, self).__repr__('enunciado=%s, nombre=%s'

             % (srepr(self.enunciado), self.nombre))
 
     def shortrepr(self):
             % (srepr(self.enunciado), self.nombre))
 
     def shortrepr(self):


@@ -652,7 +650,7 @@ class Grupo(Entregador): #{{{
     @classmethod
     def selectByAlumno(self, alumno):
         return Miembro.select(AND(Miembro.q.alumnoID == AlumnoInscripto.q.id,
     @classmethod
     def selectByAlumno(self, alumno):
         return Miembro.select(AND(Miembro.q.alumnoID == AlumnoInscripto.q.id,

-                AlumnoInscripto.q.alumnoID == alumno.id))
+                AlumnoInscripto.q.alumnoID == alumno.id, Miembro.q.baja == None))

 
     def shortrepr(self):
         return 'grupo:' + self.nombre
 
     def shortrepr(self):
         return 'grupo:' + self.nombre


@@ -672,6 +670,10 @@ class AlumnoInscripto(Entregador): #{{{
     membresias          = MultipleJoin('Miembro', joinColumn='alumno_id')
     entregas            = MultipleJoin('Entrega', joinColumn='alumno_id')
     correcciones        = MultipleJoin('Correccion', joinColumn='alumno_id')
     membresias          = MultipleJoin('Miembro', joinColumn='alumno_id')
     entregas            = MultipleJoin('Entrega', joinColumn='alumno_id')
     correcciones        = MultipleJoin('Correccion', joinColumn='alumno_id')

+    # Notas de la cursada
+    nota_practica       = DecimalCol(size=3, precision=1, default=None)
+    nota_final          = DecimalCol(size=3, precision=1, default=None)
+    nota_libreta        = DecimalCol(size=3, precision=1, default=None)

 
     def _get_nombre(self):
         return self.alumno.padron
 
     def _get_nombre(self):
         return self.alumno.padron


@@ -728,18 +730,27 @@ class Miembro(SQLObject): #{{{
         return '%s-%s' % (self.alumno.shortrepr(), self.grupo.shortrepr())
 #}}}
 
         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)
     # 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')
     # Joins
     comandos_ejecutados = MultipleJoin('ComandoFuenteEjecutado')
     pruebas             = MultipleJoin('Prueba')


@@ -763,11 +774,9 @@ class Entrega(SQLObject): #{{{
         Prueba.pk.get(self.id, caso_de_prueba).destroySelf()
 
     def __repr__(self):
         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(),
 
     def shortrepr(self):
         return '%s-%s-%s' % (self.instancia.shortrepr(),


@@ -804,22 +813,16 @@ class Correccion(SQLObject): #{{{
         return '%s,%s' % (self.entrega.shortrepr(), self.corrector.shortrepr())
 #}}}
 
         return '%s,%s' % (self.entrega.shortrepr(), self.corrector.shortrepr())
 #}}}
 

-class ComandoEjecutado(InheritableSQLObject): #{{{
+class ComandoEjecutado(Ejecucion): #{{{

     # Campos
     # Campos

-    inicio              = DateTimeCol(notNone=True, default=DateTimeCol.now)
-    fin                 = DateTimeCol(default=None)
-    exito               = IntCol(default=None)
-    archivos_comparados = BLOBCol(default=None) # ZIP con archivos diff
-    archivos_guardados  = BLOBCol(default=None) # ZIP con archivos guardados
-    observaciones       = UnicodeCol(notNone=True, default=u'')
+    diferencias = BLOBCol(default=None) # ZIP con archivos guardados

 
     def __repr__(self, clave='', mas=''):
 
     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))
+        return super(ComandoEjecutado, self).__repr__(clave, mas)

 #}}}
 
 class ComandoFuenteEjecutado(ComandoEjecutado): #{{{
 #}}}
 
 class ComandoFuenteEjecutado(ComandoEjecutado): #{{{

+    _inheritable = False

     # Clave
     comando = ForeignKey('ComandoFuente', notNone=True, cascade=False)
     entrega = ForeignKey('Entrega', notNone=True, cascade=False)
     # Clave
     comando = ForeignKey('ComandoFuente', notNone=True, cascade=False)
     entrega = ForeignKey('Entrega', notNone=True, cascade=False)


@@ -831,10 +834,11 @@ class ComandoFuenteEjecutado(ComandoEjecutado): #{{{
                 self.entrega.shortrepr()))
 
     def shortrepr(self):
                 self.entrega.shortrepr()))
 
     def shortrepr(self):

-        return '%s-%s' % (self.tarea.shortrepr(), self.entrega.shortrepr())
+        return '%s-%s' % (self.comando.shortrepr(), self.entrega.shortrepr())

 #}}}
 
 class ComandoPruebaEjecutado(ComandoEjecutado): #{{{
 #}}}
 
 class ComandoPruebaEjecutado(ComandoEjecutado): #{{{

+    _inheritable = False

     # Clave
     comando = ForeignKey('ComandoPrueba', notNone=True, cascade=False)
     prueba  = ForeignKey('Prueba', notNone=True, cascade=False)
     # Clave
     comando = ForeignKey('ComandoPrueba', notNone=True, cascade=False)
     prueba  = ForeignKey('Prueba', notNone=True, cascade=False)


@@ -851,6 +855,7 @@ class ComandoPruebaEjecutado(ComandoEjecutado): #{{{
 #}}}
 
 class Prueba(ComandoEjecutado): #{{{
 #}}}
 
 class Prueba(ComandoEjecutado): #{{{

+    _inheritable = False

     # Clave
     entrega             = ForeignKey('Entrega', notNone=True, cascade=False)
     caso_de_prueba      = ForeignKey('CasoDePrueba', notNone=True, cascade=False)
     # Clave
     entrega             = ForeignKey('Entrega', notNone=True, cascade=False)
     caso_de_prueba      = ForeignKey('CasoDePrueba', notNone=True, cascade=False)