X-Git-Url: https://git.llucax.com/software/sercom.git/blobdiff_plain/d96b27ddfa2dfdd72abb3d7d18fd74564052aa12..3c4da757a970603c965f33970053295a54b57a02:/sercom/model.py?ds=sidebyside diff --git a/sercom/model.py b/sercom/model.py index 7d4ed29..6894bdd 100644 --- a/sercom/model.py +++ b/sercom/model.py @@ -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) @@ -320,8 +281,6 @@ class Tarea(InheritableSQLObject): #{{{ 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') @@ -333,8 +292,9 @@ class Tarea(InheritableSQLObject): #{{{ #}}} class TareaFuente(Tarea): #{{{ + _inheritable = False # Joins - comandos = MultipleJoin('ComandoFuente') + comandos = MultipleJoin('ComandoFuente', joinColumn='tarea_id') def add_comando(self, orden, comando, **kw): return ComandoFuente(tarea=self, orden=orden, comando=comando, **kw) @@ -348,11 +308,12 @@ class TareaFuente(Tarea): #{{{ #}}} class TareaPrueba(Tarea): #{{{ + _inheritable = False # Joins - comandos = MultipleJoin('ComandoPrueba') + 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() @@ -362,61 +323,91 @@ class TareaPrueba(Tarea): #{{{ % (self.id, self.nombre, self.descripcion) #}}} -class Comando(SQLObject): #{{{ +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 = list(ArchivoEntrada) #TODO -# archivos_salida = list(ArchivoSalida) #TODO - - def ejecutar(self): pass # TODO + 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) + # 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 __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): #{{{ + _inheritable = False # Clave 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): #{{{ + _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 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(ComandoPrueba, 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,27 +458,18 @@ class Enunciado(SQLObject): #{{{ return self.nombre #}}} -class CasoDePrueba(SQLObject): #{{{ +class CasoDePrueba(Comando): #{{{ + _inheritable = False # 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) - 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(CasoDePrueba, self).__repr__('enunciado=%s, nombre=%s' + % (srepr(self.enunciado), self.nombre)) def shortrepr(self): return '%s:%s' % (self.enunciado.shortrepr(), self.nombre) @@ -584,7 +566,7 @@ class Entregador(InheritableSQLObject): #{{{ # Campos nota = DecimalCol(size=3, precision=1, default=None) nota_cursada = DecimalCol(size=3, precision=1, default=None) - observaciones = UnicodeCol(default=None) + observaciones = UnicodeCol(notNone=True, default=u'') activo = BoolCol(notNone=True, default=True) # Joins entregas = MultipleJoin('Entrega') @@ -629,6 +611,14 @@ class Grupo(Entregador): #{{{ for t in tutores: self.add_tutor(t) + _doc_alumnos = 'Devuelve una lista de AlumnoInscriptos **activos**.' + def _get_alumnos(self): + return list([m.alumno for m in Miembro.selectBy(grupo=self, baja=None)]) + + _doc_docentes = 'Devuelve una lista de DocenteInscriptos **activos**.' + def _get_docentes(self): + return list([t.docente for t in Tutor.selectBy(grupo=self, baja=None)]) + def add_miembro(self, alumno, **kw): if isinstance(alumno, AlumnoInscripto): alumno = alumno.id @@ -637,8 +627,8 @@ class Grupo(Entregador): #{{{ def remove_miembro(self, alumno): if isinstance(alumno, AlumnoInscripto): alumno = alumno.id - # FIXME self.id - Miembro.pk.get(self.id, alumno).destroySelf() + m = Miembro.selectBy(grupo=self, alumnoID=alumno, baja=None).getOne() + m.baja = DateTimeCol.now() def add_tutor(self, docente, **kw): if isinstance(docente, DocenteInscripto): @@ -648,8 +638,8 @@ class Grupo(Entregador): #{{{ def remove_tutor(self, docente): if isinstance(docente, DocenteInscripto): docente = docente.id - # FIXME self.id - Tutor.pk.get(self.id, docente).destroySelf() + t = Tutor.selectBy(grupo=self, docenteID=docente, baja=None) + t.baja = DateTimeCol.now() def __repr__(self): return 'Grupo(id=%s, nombre=%s, responsable=%s, nota=%s, ' \ @@ -657,6 +647,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, Miembro.q.baja == None)) + def shortrepr(self): return 'grupo:' + self.nombre #}}} @@ -675,10 +670,18 @@ class AlumnoInscripto(Entregador): #{{{ 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 + @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)' \ @@ -727,23 +730,30 @@ 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 - correcta = BoolCol(default=None) - inicio_tareas = DateTimeCol(default=None) - fin_tareas = DateTimeCol(default=None) - observaciones = UnicodeCol(default=None) # Joins comandos_ejecutados = MultipleJoin('ComandoFuenteEjecutado') pruebas = MultipleJoin('Prueba') - # Para generar código - codigo_dict = r'0123456789abcdefghijklmnopqrstuvwxyz_.,*@#+' - codigo_format = r'%m%d%H%M%S' def add_comando_ejecutado(self, comando, **kw): return ComandoFuenteEjecutado(entrega=self, comando=comando, **kw) @@ -763,49 +773,14 @@ class Entrega(SQLObject): #{{{ # FIXME self.id, caso_de_prueba Prueba.pk.get(self.id, caso_de_prueba).destroySelf() - def _get_codigo(self): - if not hasattr(self, '_codigo'): # cache - n = long(self.fecha.strftime(Entrega.codigo_format)) - d = Entrega.codigo_dict - l = len(d) - res = '' - while n: - res += d[n % l] - n /= l - self._codigo = res - return self._codigo - - def _set_fecha(self, fecha): - self._SO_set_fecha(fecha) - if hasattr(self, '_codigo'): del self._codigo # bye, bye cache! - - def _get_path(self): - import os.path - def path_join(*args): - return os.path.join(*[unicode(p) for p in args]) - curso = self.entregador.curso - instancia = self.instancia - ejercicio = instancia.ejercicio - fecha = self.fecha.strftime(r'%Y-%m-%d_%H.%M.%S') - print ejercicio - return path_join(curso.anio, curso.cuatrimestre, curso.numero, - ejercicio.numero, instancia.numero, self.entregador.nombre, fecha) - # FIXME un grupo con nombre tipo "../../lala" puede romper todo. - # Hacer que el nombre del grupo sea numérico (o validar que - # sean solo caracteres inofensivos: letras ASCII, espacio - # -traducirlos a underscores- y números). Creo que un numero - # que se autoasigne es lo más cómodo. - def __repr__(self): - return 'Entrega(instancia=%s, entregador=%s, codigo=%s, fecha=%s, ' \ - 'correcta=%s, inicio_tareas=%s, fin_tareas=%s, observaciones=%s)' \ - % (self.instancia.shortrepr(), srepr(self.entregador), - self.codigo, 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(), srepr(self.entregador), - self.codigo) + return '%s-%s-%s' % (self.instancia.shortrepr(), + srepr(self.entregador), self.fecha) #}}} class Correccion(SQLObject): #{{{ @@ -838,60 +813,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(default=None) + 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(ComandoEjecutado, 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()) + return '%s-%s' % (self.comando.shortrepr(), self.entrega.shortrepr()) #}}} -class ComandoPruebaEjecutado(SQLObject): #{{{ +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.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): #{{{ + _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(default=None) # Joins comandos_ejecutados = MultipleJoin('ComandoPruebaEjecutado') @@ -907,14 +875,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