X-Git-Url: https://git.llucax.com/z.facultad/75.52/sercom.git/blobdiff_plain/6025b39278d3ed9a7e6ff62f7815441447038e08..547d05bc0d164faa1e0f6d4b3e8c744ba47a534b:/sercom/model.py?ds=sidebyside diff --git a/sercom/model.py b/sercom/model.py index f11cfbc..b9fddbb 100644 --- a/sercom/model.py +++ b/sercom/model.py @@ -41,7 +41,7 @@ class TupleValidator(PickleValidator): class SOTupleCol(SOPickleCol): def createValidators(self): - return [TupleValidator(name=self.name)] + return [TupleValidator(name=self.name, pickleProtocol=self.pickleProtocol)] class TupleCol(PickleCol): baseClass = SOTupleCol @@ -75,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) @@ -155,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) @@ -187,6 +188,10 @@ 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) @@ -221,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) @@ -266,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)' \ @@ -281,8 +290,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') @@ -294,6 +301,7 @@ class Tarea(InheritableSQLObject): #{{{ #}}} class TareaFuente(Tarea): #{{{ + _inheritable = False # Joins comandos = MultipleJoin('ComandoFuente', joinColumn='tarea_id') @@ -309,11 +317,12 @@ class TareaFuente(Tarea): #{{{ #}}} class TareaPrueba(Tarea): #{{{ + _inheritable = False # Joins comandos = MultipleJoin('ComandoPrueba', joinColumn='tarea_id') - def add_comando(self, orden, **kw): - return ComandoPrueba(tarea=self, orden=orden, comando='', **kw) + def add_comando(self, orden, comando='', **kw): + return ComandoPrueba(tarea=self, orden=orden, comando=comando, **kw) def remove_comando(self, orden): ComandoPrueba.pk.get(self.id, orden).destroySelf() @@ -324,12 +333,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,13 +354,29 @@ 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) + 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__ y __stderr__ + # __stdout__, __stderr__ y + # __stdouterr__ (ambos juntos) # son casos especiales - archivos_a_guardar = TupleCol(notNone=True, default=()) - # __stdout__ y __stderr__ + # 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) @@ -358,13 +390,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) @@ -379,7 +412,8 @@ class ComandoFuente(Comando): #{{{ #}}} class ComandoPrueba(Comando): #{{{ - RET_PRUEBA = -2 # Espera el mismo retorno que el de la prueba. + _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 @@ -388,7 +422,7 @@ class ComandoPrueba(Comando): #{{{ 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): @@ -405,9 +439,7 @@ class Enunciado(SQLObject): #{{{ 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') @@ -444,6 +476,7 @@ class Enunciado(SQLObject): #{{{ #}}} class CasoDePrueba(Comando): #{{{ + _inheritable = False # Clave enunciado = ForeignKey('Enunciado', cascade=True) nombre = UnicodeCol(length=40, notNone=True) @@ -452,7 +485,7 @@ class CasoDePrueba(Comando): #{{{ 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): @@ -498,8 +531,9 @@ class InstanciaDeEntrega(SQLObject): #{{{ # 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') @@ -507,9 +541,10 @@ class InstanciaDeEntrega(SQLObject): #{{{ 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 @@ -606,7 +641,16 @@ class Grupo(Entregador): #{{{ def add_miembro(self, alumno, **kw): if isinstance(alumno, AlumnoInscripto): alumno = alumno.id - return Miembro(grupo=self, alumnoID=alumno, **kw) + # 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): @@ -617,7 +661,13 @@ class Grupo(Entregador): #{{{ def add_tutor(self, docente, **kw): if isinstance(docente, DocenteInscripto): docente = docente.id - return Tutor(grupo=self, docenteID=docente, **kw) + # 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): @@ -631,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 #}}} @@ -649,10 +704,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)' \ @@ -701,18 +764,27 @@ class Miembro(SQLObject): #{{{ return '%s-%s' % (self.alumno.shortrepr(), self.grupo.shortrepr()) #}}} -class Entrega(SQLObject): #{{{ +class Ejecucion(InheritableSQLObject): #{{{ + # Campos + 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) - # Campos - archivos = BLOBCol(notNone=True) # ZIP con fuentes de la entrega - 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') @@ -735,12 +807,14 @@ class Entrega(SQLObject): #{{{ # 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(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(), @@ -754,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) @@ -777,22 +851,16 @@ 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) - archivos_comparados = BLOBCol(default=None) # ZIP con archivos diff - archivos_guardados = BLOBCol(default=None) # ZIP con archivos guardados - observaciones = UnicodeCol(notNone=True, default=u'') + diferencias = BLOBCol(default=None) # ZIP con archivos guardados 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)) + 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) @@ -804,10 +872,11 @@ class ComandoFuenteEjecutado(ComandoEjecutado): #{{{ 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): #{{{ + _inheritable = False # Clave comando = ForeignKey('ComandoPrueba', notNone=True, cascade=False) prueba = ForeignKey('Prueba', notNone=True, cascade=False) @@ -815,15 +884,16 @@ class ComandoPruebaEjecutado(ComandoEjecutado): #{{{ def __repr__(self): return super(ComandoPruebaEjecutado, self).__repr__( - 'comando=%s, entrega=%s' % (self.comando.shortrepr(), - self.entrega.shortrepr())) + 'comando=%s, prueba=%s' % (self.comando.shortrepr(), + self.prueba.shortrepr())) def shortrepr(self): - return '%s:%s:%s' % (self.tarea.shortrepr(), self.entrega.shortrepr(), + 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) @@ -882,7 +952,7 @@ class Rol(SQLObject): #{{{ # Campos descripcion = UnicodeCol(length=255, default=None) creado = DateTimeCol(notNone=True, default=datetime.now) - permisos = TupleCol(notNone=True) + permisos = TupleCol(notNone=True, length=2**16) # Joins usuarios = RelatedJoin('Usuario', addRemoveName='_usuario')