]> git.llucax.com Git - software/sercom.git/blobdiff - sercom/model.py
Agregar finalizador de entregas a TODO.
[software/sercom.git] / sercom / model.py
index 688fbb0ca400a254ca144dc23f1f7615c8539b91..07ad64e4dcd66b9b269f095d6355afa1038cdc5b 100644 (file)
@@ -8,7 +8,6 @@ from sqlobject.inheritance import InheritableSQLObject
 from sqlobject.col import PickleValidator, UnicodeStringValidator
 from turbogears import identity
 from turbogears.identity import encrypt_password as encryptpw
-from sercom.validators import params_to_list, ParseError
 from formencode import Invalid
 
 hub = PackageHub("sercom")
@@ -18,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
@@ -41,50 +41,11 @@ class TupleValidator(PickleValidator):
 
 class SOTupleCol(SOPickleCol):
     def createValidators(self):
-        return [TupleValidator(name=self.name)] \
-            + super(SOPickleCol, self).createValidators()
+        return [TupleValidator(name=self.name)]
 
 class TupleCol(PickleCol):
     baseClass = SOTupleCol
 
-class ParamsValidator(UnicodeStringValidator):
-    def to_python(self, value, state):
-        if isinstance(value, basestring) or value is None:
-            value = super(ParamsValidator, self).to_python(value, state)
-            try:
-                value = params_to_list(value)
-            except ParseError, e:
-                raise Invalid("invalid parameters in the ParamsCol '%s', parse "
-                    "error: %s" % (self.name, e), value, state)
-        elif not isinstance(value, (list, tuple)):
-            raise Invalid("expected a tuple, list or valid string in the "
-                "ParamsCol '%s', got %s %r instead"
-                    % (self.name, type(value), value), value, state)
-        return value
-    def from_python(self, value, state):
-        if isinstance(value, (list, tuple)):
-            value = ' '.join([repr(p) for p in value])
-        elif isinstance(value, basestring) or value is None:
-            value = super(ParamsValidator, self).to_python(value, state)
-            try:
-                params_to_list(value)
-            except ParseError, e:
-                raise Invalid("invalid parameters in the ParamsCol '%s', parse "
-                    "error: %s" % (self.name, e), value, state)
-        else:
-            raise Invalid("expected a tuple, list or valid string in the "
-                "ParamsCol '%s', got %s %r instead"
-                    % (self.name, type(value), value), value, state)
-        return value
-
-class SOParamsCol(SOUnicodeCol):
-    def createValidators(self):
-        return [ParamsValidator(db_encoding=self.dbEncoding, name=self.name)] \
-            + super(SOParamsCol, self).createValidators()
-
-class ParamsCol(UnicodeCol):
-    baseClass = SOParamsCol
-
 #}}}
 
 #{{{ Clases
@@ -114,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)
 
@@ -351,8 +312,8 @@ class TareaPrueba(Tarea): #{{{
     # Joins
     comandos    = MultipleJoin('ComandoPrueba', joinColumn='tarea_id')
 
-    def add_comando(self, orden, comando, **kw):
-        return ComandoPrueba(tarea=self, orden=orden, comando=comando, **kw)
+    def add_comando(self, orden, **kw):
+        return ComandoPrueba(tarea=self, orden=orden, comando='', **kw)
 
     def remove_comando(self, orden):
         ComandoPrueba.pk.get(self.id, orden).destroySelf()
@@ -363,22 +324,62 @@ class TareaPrueba(Tarea): #{{{
 #}}}
 
 class Comando(InheritableSQLObject): #{{{
+    # Tipos de retorno especiales
+    RET_ANY = None
+    RET_FAIL = -256
+    # Archivos especiales
+    STDIN = '__stdin__'
+    STDOUT = '__stdout__'
+    STDERR = '__stderr__'
+    STDOUTERR = '__stdouterr__'
     # Campos
-    comando             = ParamsCol(length=255, notNone=True)
+    comando             = UnicodeCol(length=255, notNone=True)
     descripcion         = UnicodeCol(length=255, default=None)
-    retorno             = IntCol(default=None)
+    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
+    max_cant_archivos   = IntCol(default=None)
+    max_cant_procesos   = IntCol(default=None)
+    max_locks_memoria   = IntCol(default=None)
     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
+    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):
-        raise NotImplementedError('Comando es una clase abstracta')
+    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, '
+            'max_cant_archivos=%s, max_cant_procesos=%s, max_locks_memoria=%s, '
+            'terminar_si_falla=%s, rechazar_si_falla=%s%s)'
+                % (self.__class__.__name__, clave, self.comando,
+                    self.descripcion, self.retorno, self.max_tiempo_cpu,
+                    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, mas))
 
     def shortrepr(self):
-        return self.nombre
+        return '%s (%s)' % (self.comando, self.descripcion)
 #}}}
 
 class ComandoFuente(Comando): #{{{
@@ -386,37 +387,30 @@ class ComandoFuente(Comando): #{{{
     tarea       = ForeignKey('TareaFuente', notNone=True, cascade=True)
     orden       = IntCol(notNone=True)
     pk          = DatabaseIndex(tarea, orden, unique=True)
-    # Campos
-    tiempo_cpu  = FloatCol(default=None)
-
-    def ejecutar(self): pass # TODO
 
     def __repr__(self):
-        return 'ComandoFuente(tarea=%s, orden=%s, comando=%s, descripcion=%s, ' \
-            'retorno=%s, tiempo_cpu=%s, terminar_si_falla=%s, ' \
-            'rechazar_si_falla=%s)' \
-                % (srepr(self.tarea), self.orden, self.comando, self.descripcion,
-                    self.retorno, self.tiempo_cpu, self.terminar_si_falla,
-                    self.rechazar_si_falla)
+        return super(ComandoFuente, self).__repr__('tarea=%s, orden=%s'
+            % (self.tarea.shortrepr(), self.orden))
+
+    def shortrepr(self):
+        return '%s:%s (%s)' % (self.tarea.shortrepr(), self.orden, self.comando)
 #}}}
 
 class ComandoPrueba(Comando): #{{{
+    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.
     # Clave
     tarea               = ForeignKey('TareaPrueba', notNone=True, cascade=True)
     orden               = IntCol(notNone=True)
     pk                  = DatabaseIndex(tarea, orden, unique=True)
-    # Campos
-    multipl_tiempo_cpu  = FloatCol(notNone=True, default=1.0)
-
-    def ejecutar(self): pass # TODO
 
     def __repr__(self):
-        return 'ComandoPrueba(tarea=%s, orden=%s, comando=%s, descripcion=%s, ' \
-            'retorno=%s, tiempo_cpu=%s, terminar_si_falla=%s, ' \
-            'rechazar_si_falla=%s)' \
-                % (srepr(self.tarea), self.orden, self.comando, self.descripcion,
-                    self.retorno, self.tiempo_cpu, self.terminar_si_falla,
-                    self.rechazar_si_falla)
+        return super(ComandoFuente, self).__repr__('tarea=%s, orden=%s'
+            % (self.tarea.shortrepr(), self.orden))
+
+    def shortrepr(self):
+        return '%s:%s (%s)' % (self.tarea.shortrepr(), self.orden, self.comando)
 #}}}
 
 class Enunciado(SQLObject): #{{{
@@ -467,31 +461,17 @@ class Enunciado(SQLObject): #{{{
         return self.nombre
 #}}}
 
-class CasoDePrueba(SQLObject): #{{{
+class CasoDePrueba(Comando): #{{{
     # Clave
     enunciado           = ForeignKey('Enunciado', cascade=True)
     nombre              = UnicodeCol(length=40, notNone=True)
     pk                  = DatabaseIndex(enunciado, nombre, unique=True)
-    # Campos
-    descripcion         = UnicodeCol(length=255, default=None)
-    terminar_si_falla   = BoolCol(notNone=True, default=False)
-    rechazar_si_falla   = BoolCol(notNone=True, default=True)
-    parametros          = ParamsCol(length=255, default=None)
-    retorno             = IntCol(default=None)
-    tiempo_cpu          = FloatCol(default=None)
-    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
-    activo              = BoolCol(notNone=True, default=True)
     # Joins
     pruebas             = MultipleJoin('Prueba')
 
     def __repr__(self):
-        return 'CasoDePrueba(enunciado=%s, nombre=%s, parametros=%s, ' \
-            'retorno=%s, tiempo_cpu=%s, descripcion=%s)' \
-                % (srepr(self.enunciado), self.nombre, self.parametros,
-                    self.retorno, self.tiempo_cpu, self.descripcion)
+        return super(ComandoFuente, self).__repr__('enunciado=%s, nombre=%s'
+            % (srepr(self.enunciado), self.nombre))
 
     def shortrepr(self):
         return '%s:%s' % (self.enunciado.shortrepr(), self.nombre)
@@ -669,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
 #}}}
@@ -691,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)' \
@@ -817,13 +806,17 @@ class Correccion(SQLObject): #{{{
 
 class ComandoEjecutado(InheritableSQLObject): #{{{
     # Campos
-    inicio          = DateTimeCol(notNone=True, default=DateTimeCol.now)
-    fin             = DateTimeCol(default=None)
-    exito           = IntCol(default=None)
-    observaciones   = UnicodeCol(notNone=True, default=u'')
+    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'')
 
-    def __repr__(self):
-        raise NotImplementedError('ComandoEjecutado es una clase abstracta')
+    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 ComandoFuenteEjecutado(ComandoEjecutado): #{{{
@@ -833,10 +826,9 @@ class ComandoFuenteEjecutado(ComandoEjecutado): #{{{
     pk      = DatabaseIndex(comando, entrega, unique=True)
 
     def __repr__(self):
-        return 'ComandoFuenteEjecutado(comando=%s, entrega=%s, inicio=%s, ' \
-            'fin=%s, exito=%s, observaciones=%s)' \
-                % (self.comando.shortrepr(), self.entrega.shortrepr(),
-                    self.inicio, self.fin, self.exito, self.observaciones)
+        return super(ComandoFuenteEjecutado, self).__repr__(
+            'comando=%s, entrega=%s' % (self.comando.shortrepr(),
+                self.entrega.shortrepr()))
 
     def shortrepr(self):
         return '%s-%s' % (self.tarea.shortrepr(), self.entrega.shortrepr())
@@ -849,26 +841,20 @@ class ComandoPruebaEjecutado(ComandoEjecutado): #{{{
     pk      = DatabaseIndex(comando, prueba, unique=True)
 
     def __repr__(self):
-        return 'ComandoPruebaEjecutado(comando=%s, prueba=%s, inicio=%s, ' \
-            'fin=%s, exito=%s, observaciones=%s)' \
-                % (self.comando.shortrepr(), self.prueba.shortrepr(),
-                    self.inicio, self.fin, self.exito, self.observaciones)
+        return super(ComandoPruebaEjecutado, self).__repr__(
+            'comando=%s, entrega=%s' % (self.comando.shortrepr(),
+                self.entrega.shortrepr()))
 
     def shortrepr(self):
-        return '%s:%s:%s' % (self.tarea.shortrepr(), self.entrega.shortrerp(),
-            self.caso_de_prueba.shortrerp())
+        return '%s:%s:%s' % (self.tarea.shortrepr(), self.entrega.shortrepr(),
+            self.caso_de_prueba.shortrepr())
 #}}}
 
-class Prueba(SQLObject): #{{{
+class Prueba(ComandoEjecutado): #{{{
     # Clave
     entrega             = ForeignKey('Entrega', notNone=True, cascade=False)
     caso_de_prueba      = ForeignKey('CasoDePrueba', notNone=True, cascade=False)
     pk                  = DatabaseIndex(entrega, caso_de_prueba, unique=True)
-    # Campos
-    inicio              = DateTimeCol(notNone=True, default=DateTimeCol.now)
-    fin                 = DateTimeCol(default=None)
-    pasada              = IntCol(default=None)
-    observaciones       = UnicodeCol(notNone=True, default=u'')
     # Joins
     comandos_ejecutados = MultipleJoin('ComandoPruebaEjecutado')
 
@@ -884,14 +870,12 @@ class Prueba(SQLObject): #{{{
         ComandoPruebaEjecutado.pk.get(self.id, comando).destroySelf()
 
     def __repr__(self):
-        return 'Prueba(entrega=%s, caso_de_prueba=%s, inicio=%s, fin=%s, ' \
-            'pasada=%s, observaciones=%s)' \
-                % (self.entrega.shortrepr(), self.caso_de_prueba.shortrepr(),
-                self.inicio, self.fin, self.pasada, self.observaciones)
+        return super(Prueba, self).__repr__('entrega=%s, caso_de_prueba=%s'
+            % (self.entrega.shortrepr(), self.caso_de_prueba.shortrepr()))
 
     def shortrepr(self):
         return '%s:%s' % (self.entrega.shortrepr(),
-            self.caso_de_prueba.shortrerp())
+            self.caso_de_prueba.shortrepr())
 #}}}
 
 #{{{ Específico de Identity