X-Git-Url: https://git.llucax.com/software/sercom.git/blobdiff_plain/245f7025181c555c285d8b598caa180a69c19812..56b48df0e8dedb8021b217cafb2a56ce583edab2:/sercom/model.py?ds=inline diff --git a/sercom/model.py b/sercom/model.py index 42385e7..1909de6 100644 --- a/sercom/model.py +++ b/sercom/model.py @@ -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,19 +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 - archivos_nombre = UnicodeCol(length=255) - 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') @@ -732,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(), @@ -773,60 +811,53 @@ 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): - raise NotImplementedError('ComandoEjecutado es una clase abstracta') + def __repr__(self, clave='', mas=''): + 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) 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()) #}}} class ComandoPruebaEjecutado(ComandoEjecutado): #{{{ + _inheritable = False # Clave comando = ForeignKey('ComandoPrueba', notNone=True, cascade=False) prueba = ForeignKey('Prueba', notNone=True, cascade=False) 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.shortrepr(), self.caso_de_prueba.shortrepr()) #}}} -class Prueba(SQLObject): #{{{ +class Prueba(ComandoEjecutado): #{{{ + _inheritable = False # 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') @@ -842,10 +873,8 @@ 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(),