X-Git-Url: https://git.llucax.com/software/sercom.git/blobdiff_plain/5a5fd7200d429896765a5043908441683e5f06ea..7b2634702939393d800872ee15803b99bc6b0742:/sercom/model.py diff --git a/sercom/model.py b/sercom/model.py index d1baac6..0c65864 100644 --- a/sercom/model.py +++ b/sercom/model.py @@ -8,16 +8,16 @@ 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") __connection__ = hub -__all__ = ('Curso', 'Usuario', 'Docente', 'Alumno', 'Tarea', 'CasoDePrueba') +__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,64 +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 - -#}}} - -#{{{ Tablas intermedias - -# BUG en SQLObject, SQLExpression no tiene cálculo de hash pero se usa como -# key de un dict. Workarround hasta que lo arreglen. -SQLExpression.__hash__ = lambda self: hash(str(self)) - -instancia_tarea_t = table.instancia_tarea - -enunciado_tarea_t = table.enunciado_tarea - -dependencia_t = table.dependencia - #}}} #{{{ Clases @@ -128,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) @@ -143,7 +90,7 @@ class Curso(SQLObject): #{{{ for e in Ejercicio.selectBy(curso=self): e.destroySelf() for (n, e) in enumerate(ejercicios): - self.add_ejercicio(n, e) + self.add_ejercicio(n+1, e) if alumnos is not None: for a in AlumnoInscripto.selectBy(curso=self): a.destroySelf() @@ -159,9 +106,10 @@ class Curso(SQLObject): #{{{ def remove_docente(self, docente): if isinstance(docente, Docente): - DocenteInscripto.selectBy(curso=self, docente=docente).getOne().destroySelf() - else: - DocenteInscripto.selectBy(curso=self, docenteID=docente).getOne().destroySelf() + docente = docente.id + # FIXME esto deberian arreglarlo en SQLObject y debería ser + # DocenteInscripto.pk.get(self, docente).destroySelf() + DocenteInscripto.pk.get(self.id, docente).destroySelf() def add_alumno(self, alumno, **kw): if isinstance(alumno, Alumno): @@ -172,15 +120,16 @@ class Curso(SQLObject): #{{{ def remove_alumno(self, alumno): if isinstance(alumno, Alumno): - AlumnoInscripto.selectBy(curso=self, alumno=alumno).getOne().destroySelf() - else: - AlumnoInscripto.selectBy(curso=self, alumnoID=alumno).getOne().destroySelf() + alumno = alumno.id + # FIXME esto deberian arreglarlo en SQLObject + AlumnoInscripto.pk.get(self.id, alumno).destroySelf() def add_grupo(self, nombre, **kw): return Grupo(curso=self, nombre=unicode(nombre), **kw) def remove_grupo(self, nombre): - Grupo.pk.get(curso=self, nombre=nombre).destroySelf() + # FIXME esto deberian arreglarlo en SQLObject + Grupo.pk.get(self.id, nombre).destroySelf() def add_ejercicio(self, numero, enunciado, **kw): if isinstance(enunciado, Enunciado): @@ -190,7 +139,8 @@ class Curso(SQLObject): #{{{ return Ejercicio(curso=self, numero=numero, **kw) def remove_ejercicio(self, numero): - Ejercicio.pk.get(curso=self, numero=numero).destroySelf() + # FIXME esto deberian arreglarlo en SQLObject + Ejercicio.pk.get(self.id, numero).destroySelf() def __repr__(self): return 'Curso(id=%s, anio=%s, cuatrimestre=%s, numero=%s, ' \ @@ -205,7 +155,8 @@ class Curso(SQLObject): #{{{ class Usuario(InheritableSQLObject): #{{{ # Clave (para docentes puede ser un nombre de usuario arbitrario) - usuario = UnicodeCol(length=10, alternateID=True) + usuario = UnicodeCol(length=10, alternateID=True, + alternateMethodName='by_usuario') # Campos contrasenia = UnicodeCol(length=255, default=None) nombre = UnicodeCol(length=255, notNone=True) @@ -237,12 +188,15 @@ class Usuario(InheritableSQLObject): #{{{ def _get_user_name(self): # para identity return self.usuario + @classmethod + def byUsuario(cls, usuario): # TODO eliminar, backward compat + return cls.by_usuario(usuario) + @classmethod def by_user_name(cls, user_name): # para identity user = cls.byUsuario(user_name) if not user.activo: - raise SQLObjectNotFound, "The object %s with user_name %s is " \ - "not active" % (cls.__name__, user_name) + raise SQLObjectNotFound(_(u'El %s está inactivo' % cls.__name__)) return user def _get_groups(self): # para identity @@ -263,7 +217,7 @@ class Usuario(InheritableSQLObject): #{{{ return self.contrasenia def __repr__(self): - raise NotImplementedError, _('Clase abstracta!') + raise NotImplementedError(_(u'Clase abstracta!')) def shortrepr(self): return '%s (%s)' % (self.usuario, self.nombre) @@ -272,10 +226,10 @@ class Usuario(InheritableSQLObject): #{{{ class Docente(Usuario): #{{{ _inheritable = False # Campos - nombrado = BoolCol(notNone=True, default=True) + nombrado = BoolCol(notNone=True, default=True) # Joins - enunciados = MultipleJoin('Enunciado', joinColumn='autor_id') - cursos = MultipleJoin('DocenteInscripto') + enunciados = MultipleJoin('Enunciado', joinColumn='autor_id') + inscripciones = MultipleJoin('DocenteInscripto') def add_entrega(self, instancia, **kw): return Entrega(instancia=instancia, **kw) @@ -285,8 +239,7 @@ class Docente(Usuario): #{{{ autor=self, **kw) def remove_enunciado(self, nombre, anio, cuatrimestre): - Enunciado.pk.get(nombre=nombre, anio=anio, - cuatrimestre=cuatrimestre).destroySelf() + Enunciado.pk.get(nombre, anio, cuatrimestre).destroySelf() def __repr__(self): return 'Docente(id=%s, usuario=%s, nombre=%s, password=%s, email=%s, ' \ @@ -318,9 +271,13 @@ class Alumno(Usuario): #{{{ self.usuario = padron @classmethod - def byPadron(cls, padron): + def byPadron(cls, padron): # TODO eliminar, backward compat return cls.byUsuario(unicode(padron)) + @classmethod + def by_padron(cls, padron): + return cls.by_usuario(unicode(padron)) + def __repr__(self): return 'Alumno(id=%s, padron=%s, nombre=%s, password=%s, email=%s, ' \ 'telefono=%s, activo=%s, creado=%s, observaciones=%s)' \ @@ -329,111 +286,177 @@ class Alumno(Usuario): #{{{ #}}} class Tarea(InheritableSQLObject): #{{{ - class sqlmeta: - createSQL = dict(sqlite=r''' -CREATE TABLE dependencia ( - padre_id INTEGER NOT NULL CONSTRAINT tarea_id_exists - REFERENCES tarea(id) ON DELETE CASCADE, - hijo_id INTEGER NOT NULL CONSTRAINT tarea_id_exists - REFERENCES tarea(id) ON DELETE CASCADE, - orden INT, - PRIMARY KEY (padre_id, hijo_id) -)''') # Clave - nombre = UnicodeCol(length=30, alternateID=True) + nombre = UnicodeCol(length=30, alternateID=True) # Campos - descripcion = UnicodeCol(length=255, default=None) + descripcion = UnicodeCol(length=255, default=None) + # Joins + enunciados = RelatedJoin('Enunciado', addRemoveName='_enunciado') + + def __repr__(self): + raise NotImplementedError('Tarea es una clase abstracta') + + def shortrepr(self): + return self.nombre +#}}} + +class TareaFuente(Tarea): #{{{ + _inheritable = False + # Joins + comandos = MultipleJoin('ComandoFuente', joinColumn='tarea_id') + + def add_comando(self, orden, comando, **kw): + return ComandoFuente(tarea=self, orden=orden, comando=comando, **kw) + + def remove_comando(self, orden): + ComandoFuente.pk.get(self.id, orden).destroySelf() + + def __repr__(self): + return 'TareaFuente(id=%s, nombre=%s, descripcion=%s)' \ + % (self.id, self.nombre, self.descripcion) +#}}} + +class TareaPrueba(Tarea): #{{{ + _inheritable = False # Joins + comandos = MultipleJoin('ComandoPrueba', joinColumn='tarea_id') + + def add_comando(self, orden, comando='', **kw): + return ComandoPrueba(tarea=self, orden=orden, comando=comando, **kw) - def __init__(self, dependencias=(), **kw): - super(Tarea, self).__init__(**kw) - if dependencias: - self.dependencias = dependencias - - def set(self, dependencias=None, **kw): - super(Tarea, self).set(**kw) - if dependencias is not None: - self.dependencias = dependencias - - def _get_dependencias(self): - OtherTarea = Alias(Tarea, 'other_tarea') - self.__dependencias = tuple(Tarea.select( - AND( - Tarea.q.id == dependencia_t.hijo_id, - OtherTarea.q.id == dependencia_t.padre_id, - self.id == dependencia_t.padre_id, - ), - clauseTables=(dependencia_t,), - orderBy=dependencia_t.orden, - )) - return self.__dependencias - - def _set_dependencias(self, dependencias): - orden = {} - for i, t in enumerate(dependencias): - orden[t.id] = i - new = frozenset([t.id for t in dependencias]) - old = frozenset([t.id for t in self.dependencias]) - dependencias = dict([(t.id, t) for t in dependencias]) - for tid in old - new: # eliminadas - self._connection.query(str(Delete(dependencia_t, where=AND( - dependencia_t.padre_id == self.id, - dependencia_t.hijo_id == tid)))) - for tid in new - old: # creadas - self._connection.query(str(Insert(dependencia_t, values=dict( - padre_id=self.id, hijo_id=tid, orden=orden[tid] - )))) - for tid in new & old: # actualizados - self._connection.query(str(Update(dependencia_t, - values=dict(orden=orden[tid]), where=AND( - dependencia_t.padre_id == self.id, - dependencia_t.hijo_id == tid, - )))) + def remove_comando(self, orden): + ComandoPrueba.pk.get(self.id, orden).destroySelf() def __repr__(self): - return 'Tarea(id=%s, nombre=%s, descripcion=%s)' \ + return 'TareaPrueba(id=%s, nombre=%s, descripcion=%s)' \ % (self.id, self.nombre, self.descripcion) +#}}} + +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 = UnicodeCol(length=255, notNone=True) + descripcion = UnicodeCol(length=255, 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) + publico = 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 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 + # 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 + activo = BoolCol(notNone=True, default=True) + + 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) + + def __repr__(self): + 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) + + def __repr__(self): + 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): #{{{ - class sqlmeta: - createSQL = dict(sqlite=r''' -CREATE TABLE enunciado_tarea ( - enunciado_id INTEGER NOT NULL CONSTRAINT enunciado_id_exists - REFERENCES enunciado(id) ON DELETE CASCADE, - tarea_id INTEGER NOT NULL CONSTRAINT tarea_id_exists - REFERENCES tarea(id) ON DELETE CASCADE, - orden INT, - PRIMARY KEY (enunciado_id, tarea_id) -)''') # Clave nombre = UnicodeCol(length=60) anio = IntCol(notNone=True) cuatrimestre = IntCol(notNone=True) pk = DatabaseIndex(nombre, anio, cuatrimestre, unique=True) # Campos - autor = ForeignKey('Docente', cascade='null') descripcion = UnicodeCol(length=255, default=None) + autor = ForeignKey('Docente', cascade='null') creado = DateTimeCol(notNone=True, default=DateTimeCol.now) - archivo = BLOBCol(default=None) - archivo_name = UnicodeCol(length=255, default=None) - archivo_type = UnicodeCol(length=255, default=None) + archivos = BLOBCol(default=None) # Joins ejercicios = MultipleJoin('Ejercicio') casos_de_prueba = MultipleJoin('CasoDePrueba') + tareas = RelatedJoin('Tarea', addRemoveName='_tarea') - def __init__(self, tareas=(), **kw): + def __init__(self, tareas=[], **kw): super(Enunciado, self).__init__(**kw) - if tareas: - self.tareas = tareas + for tarea in tareas: + self.add_tarea(tarea) def set(self, tareas=None, **kw): super(Enunciado, self).set(**kw) if tareas is not None: - self.tareas = tareas + for tarea in self.tareas: + self.remove_tarea(tarea) + for tarea in tareas: + self.add_tarea(tarea) @classmethod def selectByCurso(self, curso): @@ -442,40 +465,6 @@ CREATE TABLE enunciado_tarea ( def add_caso_de_prueba(self, nombre, **kw): return CasoDePrueba(enunciado=self, nombre=nombre, **kw) - def _get_tareas(self): - self.__tareas = tuple(Tarea.select( - AND( - Tarea.q.id == enunciado_tarea_t.tarea_id, - Enunciado.q.id == enunciado_tarea_t.enunciado_id, - Enunciado.q.id == self.id - ), - clauseTables=(enunciado_tarea_t, Enunciado.sqlmeta.table), - orderBy=enunciado_tarea_t.orden, - )) - return self.__tareas - - def _set_tareas(self, tareas): - orden = {} - for i, t in enumerate(tareas): - orden[t.id] = i - new = frozenset([t.id for t in tareas]) - old = frozenset([t.id for t in self.tareas]) - tareas = dict([(t.id, t) for t in tareas]) - for tid in old - new: # eliminadas - self._connection.query(str(Delete(enunciado_tarea_t, where=AND( - enunciado_tarea_t.enunciado_id == self.id, - enunciado_tarea_t.tarea_id == tid)))) - for tid in new - old: # creadas - self._connection.query(str(Insert(enunciado_tarea_t, values=dict( - enunciado_id=self.id, tarea_id=tid, orden=orden[tid] - )))) - for tid in new & old: # actualizados - self._connection.query(str(Update(enunciado_tarea_t, - values=dict(orden=orden[tid]), where=AND( - enunciado_tarea_t.enunciado_id == self.id, - enunciado_tarea_t.tarea_id == tid, - )))) - def __repr__(self): return 'Enunciado(id=%s, autor=%s, nombre=%s, descripcion=%s, ' \ 'creado=%s)' \ @@ -486,26 +475,18 @@ CREATE TABLE enunciado_tarea ( 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 - privado = IntCol(default=None) # TODO iria en instancia_de_entrega_caso_de_prueba - parametros = ParamsCol(length=255, default=None) - retorno = IntCol(default=None) - tiempo_cpu = FloatCol(default=None) - descripcion = UnicodeCol(length=255, default=None) - activo = BoolCol(notNone=True, default=True) + enunciado = ForeignKey('Enunciado', cascade=True) + nombre = UnicodeCol(length=40, notNone=True) + pk = DatabaseIndex(enunciado, nombre, unique=True) # Joins - pruebas = MultipleJoin('Prueba') + 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) @@ -518,7 +499,7 @@ class Ejercicio(SQLObject): #{{{ pk = DatabaseIndex(curso, numero, unique=True) # Campos enunciado = ForeignKey('Enunciado', notNone=True, cascade=False) - grupal = BoolCol(notNone=True, default=False) + grupal = BoolCol(default=False) # None es grupal o individual # Joins instancias = MultipleJoin('InstanciaDeEntrega') @@ -527,7 +508,8 @@ class Ejercicio(SQLObject): #{{{ fin=fin, **kw) def remove_instancia(self, numero): - InstanciaDeEntrega.pk.get(ejercicio=self, numero=numero).destroySelf() + # FIXME self.id + InstanciaDeEntrega.pk.get(self.id, numero).destroySelf() def __repr__(self): return 'Ejercicio(id=%s, curso=%s, numero=%s, enunciado=%s, ' \ @@ -542,16 +524,6 @@ class Ejercicio(SQLObject): #{{{ #}}} class InstanciaDeEntrega(SQLObject): #{{{ - class sqlmeta: - createSQL = dict(sqlite=r''' -CREATE TABLE instancia_tarea ( - instancia_id INTEGER NOT NULL CONSTRAINT instancia_id_exists - REFERENCES instancia_de_entrega(id) ON DELETE CASCADE, - tarea_id INTEGER NOT NULL CONSTRAINT tarea_id_exists - REFERENCES tarea(id) ON DELETE CASCADE, - orden INT, - PRIMARY KEY (instancia_id, tarea_id) -)''') # Clave ejercicio = ForeignKey('Ejercicio', notNone=True, cascade=True) numero = IntCol(notNone=True) @@ -559,64 +531,20 @@ CREATE TABLE instancia_tarea ( # Campos inicio = DateTimeCol(notNone=True) fin = DateTimeCol(notNone=True) - procesada = BoolCol(notNone=True, default=False) - observaciones = UnicodeCol(default=None) + inicio_proceso = DateTimeCol(default=None) + fin_proceso = DateTimeCol(default=None) + observaciones = UnicodeCol(notNone=True, default=u'') activo = BoolCol(notNone=True, default=True) # Joins entregas = MultipleJoin('Entrega', joinColumn='instancia_id') correcciones = MultipleJoin('Correccion', joinColumn='instancia_id') - casos_de_prueba = RelatedJoin('CasoDePrueba', # TODO CasoInstancia -> private - addRemoveName='_caso_de_prueba') - - def __init__(self, tareas=(), **kw): - super(InstanciaDeEntrega, self).__init__(**kw) - if tareas: - self.tareas = tareas - - def set(self, tareas=None, **kw): - super(InstanciaDeEntrega, self).set(**kw) - if tareas is not None: - self.tareas = tareas - - def _get_tareas(self): - self.__tareas = tuple(Tarea.select( - AND( - Tarea.q.id == instancia_tarea_t.tarea_id, - InstanciaDeEntrega.q.id == instancia_tarea_t.instancia_id, - InstanciaDeEntrega.q.id == self.id, - ), - clauseTables=(instancia_tarea_t, InstanciaDeEntrega.sqlmeta.table), - orderBy=instancia_tarea_t.orden, - )) - return self.__tareas - - def _set_tareas(self, tareas): - orden = {} - for i, t in enumerate(tareas): - orden[t.id] = i - new = frozenset([t.id for t in tareas]) - old = frozenset([t.id for t in self.tareas]) - tareas = dict([(t.id, t) for t in tareas]) - for tid in old - new: # eliminadas - self._connection.query(str(Delete(instancia_tarea_t, where=AND( - instancia_tarea_t.instancia_id == self.id, - instancia_tarea_t.tarea_id == tid)))) - for tid in new - old: # creadas - self._connection.query(str(Insert(instancia_tarea_t, values=dict( - instancia_id=self.id, tarea_id=tid, orden=orden[tid] - )))) - for tid in new & old: # actualizados - self._connection.query(str(Update(instancia_tarea_t, - values=dict(orden=orden[tid]), where=AND( - instancia_tarea_t.instancia_id == self.id, - instancia_tarea_t.tarea_id == tid, - )))) 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.procesada, self.observaciones, self.activo) + self.inicio_proceso, self.fin_proceso, self.observaciones, + self.activo) def shortrepr(self): return self.numero @@ -640,8 +568,8 @@ class DocenteInscripto(SQLObject): #{{{ entregador=entrega.entregador, corrector=self, **kw) def remove_correccion(self, instancia, entregador): - Correccion.pk.get(instancia=instancia, - entregador=entregador).destroySelf() + # FIXME instancia.id, entregador.id + Correccion.pk.get(instancia.id, entregador.id).destroySelf() def __repr__(self): return 'DocenteInscripto(id=%s, docente=%s, corrige=%s, ' \ @@ -657,7 +585,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') @@ -702,31 +630,50 @@ 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): - kw['alumno'] = alumno - else: - kw['alumnoID'] = alumno - return Miembro(grupo=self, **kw) + alumno = alumno.id + # FIXME acá habría que sacarle la unicidad a Miembro.pk para que + # un alumno pueda ser miembro varias veces del mismo grupo, de + # manera de tener la historia completa, pero hay que tener cuidad + # y arreglar todos los lugares donde se asume esa unicidad + try: + m = Miembro.selectBy(grupo=self, alumnoID=alumno).getOne() + m.baja = None # si ya existía, le sacamos la fecha de baja + return m + except SQLObjectNotFound: # creo uno nuevo + return Miembro(grupo=self, alumnoID=alumno, **kw) def remove_miembro(self, alumno): if isinstance(alumno, AlumnoInscripto): - Miembro.pk.get(grupo=self, alumno=alumno).destroySelf() - else: - Miembro.pk.get(grupo=self, alumnoID=alumno).destroySelf() + alumno = alumno.id + m = Miembro.selectBy(grupo=self, alumnoID=alumno, baja=None).getOne() + m.baja = DateTimeCol.now() def add_tutor(self, docente, **kw): if isinstance(docente, DocenteInscripto): - kw['docente'] = docente - else: - kw['docenteID'] = docente - return Tutor(grupo=self, **kw) + docente = docente.id + # FIXME ídem add_miembro() + try: + t = Tutor.selectBy(grupo=self, docenteID=docente).getOne() + t.baja = None # si ya existía, le sacamos la fecha de baja + return t + except SQLObjectNotFound: # creo uno nuevo + return Tutor(grupo=self, docenteID=docente, **kw) def remove_tutor(self, docente): if isinstance(docente, DocenteInscripto): - Tutor.pk.get(grupo=self, docente=docente).destroySelf() - else: - Tutor.pk.get(grupo=self, docenteID=docente).destroySelf() + docente = docente.id + 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, ' \ @@ -734,6 +681,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 #}}} @@ -752,6 +704,17 @@ 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, ' \ @@ -801,49 +764,61 @@ class Miembro(SQLObject): #{{{ return '%s-%s' % (self.alumno.shortrepr(), self.grupo.shortrepr()) #}}} -class Entrega(SQLObject): #{{{ - # 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) +class Ejecucion(InheritableSQLObject): #{{{ # Campos - correcta = BoolCol(notNone=True, default=False) - observaciones = UnicodeCol(default=None) + inicio = DateTimeCol(default=None) + 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) # Joins - tareas = MultipleJoin('TareaEjecutada') - # Para generar código - codigo_dict = r'0123456789abcdefghijklmnopqrstuvwxyz_.,*@#+' - codigo_format = r'%m%d%H%M%S' - - def add_tarea_ejecutada(self, tarea, **kw): - return TareaEjecutada(tarea=tarea, entrega=self, **kw) - - 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! + comandos_ejecutados = MultipleJoin('ComandoFuenteEjecutado') + pruebas = MultipleJoin('Prueba') + + def add_comando_ejecutado(self, comando, **kw): + return ComandoFuenteEjecutado(entrega=self, comando=comando, **kw) + + def remove_comando_ejecutado(self, comando): + if isinstance(comando, ComandoFuente): + comando = comando.id + # FIXME self.id + ComandoFuenteEjecutado.pk.get(self.id, comando).destroySelf() + + def add_prueba(self, caso_de_prueba, **kw): + return Prueba(entrega=self, caso_de_prueba=caso_de_prueba, **kw) + + def remove_prueba(self, caso_de_prueba): + if isinstance(caso_de_prueba, CasoDePrueba): + caso_de_prueba = caso_de_prueba.id + # 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 'Entrega(instancia=%s, entregador=%s, codigo=%s, fecha=%s, ' \ - 'correcta=%s, observaciones=%s)' \ - % (self.instancia.shortrepr(), srepr(self.entregador), - self.codigo, self.fecha, 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): #{{{ @@ -853,7 +828,7 @@ class Correccion(SQLObject): #{{{ 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) @@ -876,54 +851,74 @@ class Correccion(SQLObject): #{{{ return '%s,%s' % (self.entrega.shortrepr(), self.corrector.shortrepr()) #}}} -class TareaEjecutada(InheritableSQLObject): #{{{ - # Clave - tarea = ForeignKey('Tarea', notNone=True, cascade=False) - entrega = ForeignKey('Entrega', notNone=True, cascade=False) - pk = DatabaseIndex(tarea, entrega, unique=True) +class ComandoEjecutado(Ejecucion): #{{{ # Campos - inicio = DateTimeCol(notNone=True, default=DateTimeCol.now) - fin = DateTimeCol(default=None) - exito = IntCol(default=None) - observaciones = UnicodeCol(default=None) - # Joins - pruebas = MultipleJoin('Prueba') + diferencias = BLOBCol(default=None) # ZIP con archivos guardados - def add_prueba(self, caso_de_prueba, **kw): - return Prueba(tarea_ejecutada=self, caso_de_prueba=caso_de_prueba, - **kw) + 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 'TareaEjecutada(tarea=%s, entrega=%s, inicio=%s, fin=%s, ' \ - 'exito=%s, observaciones=%s)' \ - % (self.tarea.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 Prueba(SQLObject): #{{{ +class ComandoPruebaEjecutado(ComandoEjecutado): #{{{ + _inheritable = False # Clave - tarea_ejecutada = ForeignKey('TareaEjecutada', notNone=True, cascade=False) - caso_de_prueba = ForeignKey('CasoDePrueba', notNone=True, cascade=False) - pk = DatabaseIndex(tarea_ejecutada, 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) + comando = ForeignKey('ComandoPrueba', notNone=True, cascade=False) + prueba = ForeignKey('Prueba', notNone=True, cascade=False) + pk = DatabaseIndex(comando, prueba, unique=True) + + def __repr__(self): + return super(ComandoPruebaEjecutado, self).__repr__( + 'comando=%s, prueba=%s' % (self.comando.shortrepr(), + self.prueba.shortrepr())) + + def shortrepr(self): + return '%s:%s:%s' % (self.tarea.shortrepr(), self.prueba.shortrepr(), + self.caso_de_prueba.shortrepr()) +#}}} + +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) + # Joins + comandos_ejecutados = MultipleJoin('ComandoPruebaEjecutado') + + def add_comando_ejecutado(self, comando, **kw): + if isinstance(comando, ComandoPrueba): + comando = comando.id + return ComandoPruebaEjecutado(prueba=self, comandoID=comando, **kw) + + def remove_comando_ejecutado(self, comando): + if isinstance(comando, ComandoPrueba): + comando = comando.id + # FIXME self.id, comando.id + ComandoPruebaEjecutado.pk.get(self.id, comando).destroySelf() def __repr__(self): - return 'Prueba(tarea_ejecutada=%s, caso_de_prueba=%s, inicio=%s, ' \ - 'fin=%s, pasada=%s, observaciones=%s)' \ - % (self.tarea_ejecutada.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.tarea_ejecutada.shortrepr(), - self.caso_de_prueba.shortrerp()) + return '%s:%s' % (self.entrega.shortrepr(), + self.caso_de_prueba.shortrepr()) #}}} #{{{ Específico de Identity