Comandos para TareaFuente.

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

diff --git a/sercom/model.py b/sercom/model.py
index 5e6ec2a1b9d90a0baf4ce7b692733618468b8c37..f26a7208e3b10ddeefa68ac5f02d3a51d6215f36 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')
 


@@ -347,13 +345,27 @@ class Comando(InheritableSQLObject): #{{{
     max_locks_memoria   = IntCol(default=None)
     terminar_si_falla   = BoolCol(notNone=True, default=True)
     rechazar_si_falla   = BoolCol(notNone=True, default=True)
     max_locks_memoria   = IntCol(default=None)
     terminar_si_falla   = BoolCol(notNone=True, default=True)
     rechazar_si_falla   = BoolCol(notNone=True, default=True)

+    publico             = BoolCol(notNone=True, default=True)

     archivos_entrada    = BLOBCol(default=None) # ZIP con archivos de entrada
                                                 # __stdin__ es caso especial
     archivos_entrada    = BLOBCol(default=None) # ZIP con archivos de entrada
                                                 # __stdin__ es caso especial

+                                                # Si un caso de prueba tiene
+                                                # comandos que tiene algún
+                                                # archivo de entrada (incluyendo
+                                                # stdin) con los propios, se usa
+                                                # el archivo del caso de prueba,
+                                                # no del comando.

     archivos_a_comparar = BLOBCol(default=None) # ZIP con archivos de salida
                                                 # __stdout__, __stderr__ y
                                                 # __stdouterr__ (ambos juntos)
                                                 # son casos especiales
     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
+                                                # Si un caso de prueba tiene
+                                                # comandos que tiene algún
+                                                # archivo a comparar (incluyendo
+                                                # stdout/err) con los propios,
+                                                # se compara contra el archivo
+                                                # del caso de prueba, no del
+                                                # comando.
+    archivos_a_guardar  = TupleCol(notNone=True, default=()) # TODO FrozenSetCol

                                                 # __stdout__, __stderr__ y
                                                 # __stdouterr__ (ambos juntos)
                                                 # son casos especiales
                                                 # __stdout__, __stderr__ y
                                                 # __stdouterr__ (ambos juntos)
                                                 # son casos especiales


@@ -392,7 +404,7 @@ class ComandoFuente(Comando): #{{{
 
 class ComandoPrueba(Comando): #{{{
     _inheritable = False
 
 class ComandoPrueba(Comando): #{{{
     _inheritable = False

-    RET_PRUEBA = -2 # Espera el mismo retorno que el de la prueba.
+    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


@@ -401,7 +413,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):


@@ -466,7 +478,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):


@@ -512,7 +524,8 @@ class InstanciaDeEntrega(SQLObject): #{{{
     # Campos
     inicio          = DateTimeCol(notNone=True)
     fin             = DateTimeCol(notNone=True)
     # Campos
     inicio          = DateTimeCol(notNone=True)
     fin             = DateTimeCol(notNone=True)

-    procesada       = BoolCol(notNone=True, default=False)
+    inicio_proceso  = DateTimeCol(default=None)
+    fin_proceso     = DateTimeCol(default=None)

     observaciones   = UnicodeCol(default=None)
     activo          = BoolCol(notNone=True, default=True)
     # Joins
     observaciones   = UnicodeCol(default=None)
     activo          = BoolCol(notNone=True, default=True)
     # Joins


@@ -521,9 +534,10 @@ class InstanciaDeEntrega(SQLObject): #{{{
 
     def __repr__(self):
         return 'InstanciaDeEntrega(id=%s, numero=%s, inicio=%s, fin=%s, ' \
 
     def __repr__(self):
         return 'InstanciaDeEntrega(id=%s, numero=%s, inicio=%s, fin=%s, ' \

-            'procesada=%s, observaciones=%s, activo=%s)' \
+            'inicio_proceso=%s, fin_proceso=%s, observaciones=%s, activo=%s)' \

                 % (self.id, self.numero, self.inicio, self.fin,
                 % (self.id, self.numero, self.inicio, self.fin,

-                    self.procesada, self.observaciones, self.activo)
+                    self.inicio_proceso, self.fin_proceso, self.observaciones,
+                    self.activo)

 
     def shortrepr(self):
         return self.numero
 
     def shortrepr(self):
         return self.numero


@@ -648,7 +662,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


@@ -668,6 +682,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


@@ -726,7 +744,7 @@ class Miembro(SQLObject): #{{{
 
 class Ejecucion(InheritableSQLObject): #{{{
     # Campos
 
 class Ejecucion(InheritableSQLObject): #{{{
     # Campos

-    inicio          = DateTimeCol(notNone=True, default=DateTimeCol.now)
+    inicio          = DateTimeCol(default=None)

     fin             = DateTimeCol(default=None)
     exito           = IntCol(default=None)
     observaciones   = UnicodeCol(notNone=True, default=u'')
     fin             = DateTimeCol(default=None)
     exito           = IntCol(default=None)
     observaciones   = UnicodeCol(notNone=True, default=u'')


@@ -767,6 +785,10 @@ class Entrega(Ejecucion): #{{{
         # FIXME self.id, caso_de_prueba
         Prueba.pk.get(self.id, caso_de_prueba).destroySelf()
 
         # FIXME self.id, caso_de_prueba
         Prueba.pk.get(self.id, caso_de_prueba).destroySelf()
 

+    def make_correccion(self, corrector, **kw):
+        return Correccion(instancia=self.instancia, entregador=self.entregador,
+            entrega=self, corrector=corrector, **kw)
+

     def __repr__(self):
         return super(Entrega, self).__repr__('instancia=%s, entregador=%s, '
             'fecha=%s' % (self.instancia.shortrepr(), srepr(self.entregador),
     def __repr__(self):
         return super(Entrega, self).__repr__('instancia=%s, entregador=%s, '
             'fecha=%s' % (self.instancia.shortrepr(), srepr(self.entregador),


@@ -784,7 +806,7 @@ class Correccion(SQLObject): #{{{
     pk              = DatabaseIndex(instancia, entregador, unique=True)
     # Campos
     entrega         = ForeignKey('Entrega', notNone=True, cascade=False)
     pk              = DatabaseIndex(instancia, entregador, unique=True)
     # Campos
     entrega         = ForeignKey('Entrega', notNone=True, cascade=False)

-    corrector       = ForeignKey('DocenteInscripto', default=None, cascade='null')
+    corrector       = ForeignKey('DocenteInscripto', notNone=True, cascade=False)

     asignado        = DateTimeCol(notNone=True, default=DateTimeCol.now)
     corregido       = DateTimeCol(default=None)
     nota            = DecimalCol(size=3, precision=1, default=None)
     asignado        = DateTimeCol(notNone=True, default=DateTimeCol.now)
     corregido       = DateTimeCol(default=None)
     nota            = DecimalCol(size=3, precision=1, default=None)


@@ -812,7 +834,7 @@ class ComandoEjecutado(Ejecucion): #{{{
     diferencias = BLOBCol(default=None) # ZIP con archivos guardados
 
     def __repr__(self, clave='', mas=''):
     diferencias = BLOBCol(default=None) # ZIP con archivos guardados
 
     def __repr__(self, clave='', mas=''):

-        return super(ComandoFuenteEjecutado, self).__repr__(clave, mas)
+        return super(ComandoEjecutado, self).__repr__(clave, mas)

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


@@ -828,7 +850,7 @@ 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): #{{{