X-Git-Url: https://git.llucax.com/software/sercom.git/blobdiff_plain/527c6790e47d8725f6b9306049b3aa89006c393e..4e0c67cab6a67e4264be594342286ec8f2a5f838:/sercom/model.py diff --git a/sercom/model.py b/sercom/model.py index 918657a..4efdc63 100644 --- a/sercom/model.py +++ b/sercom/model.py @@ -1,4 +1,4 @@ -# vim: set et sw=4 sts=4 encoding=utf-8 : +# vim: set et sw=4 sts=4 encoding=utf-8 foldmethod=marker : from datetime import datetime from turbogears.database import PackageHub @@ -14,7 +14,7 @@ from formencode import Invalid hub = PackageHub("sercom") __connection__ = hub -__all__ = ('Curso', 'Usuario', 'Docente', 'Alumno', 'Tarea', 'CasoDePrueba') +__all__ = ('Curso', 'Usuario', 'Docente', 'Alumno', 'CasoDePrueba') #{{{ Custom Columns @@ -41,15 +41,14 @@ 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): + if isinstance(value, basestring) or value is None: value = super(ParamsValidator, self).to_python(value, state) try: value = params_to_list(value) @@ -64,7 +63,7 @@ class ParamsValidator(UnicodeStringValidator): def from_python(self, value, state): if isinstance(value, (list, tuple)): value = ' '.join([repr(p) for p in value]) - elif isinstance(value, basestring): + elif isinstance(value, basestring) or value is None: value = super(ParamsValidator, self).to_python(value, state) try: params_to_list(value) @@ -79,28 +78,13 @@ class ParamsValidator(UnicodeStringValidator): class SOParamsCol(SOUnicodeCol): def createValidators(self): - return [ParamsValidator(db_encoding=self.dbEncoding, name=self.name)] \ - + super(SOParamsCol, self).createValidators() + return [ParamsValidator(db_encoding=self.dbEncoding, name=self.name)] 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 def srepr(obj): #{{{ @@ -109,16 +93,7 @@ def srepr(obj): #{{{ return obj #}}} -class ByObject(object): #{{{ - @classmethod - def by(cls, **kw): - try: - return cls.selectBy(**kw)[0] - except IndexError: - raise SQLObjectNotFound, "The object %s with columns %s does not exist" % (cls.__name__, kw) -#}}} - -class Curso(SQLObject, ByObject): #{{{ +class Curso(SQLObject): #{{{ # Clave anio = IntCol(notNone=True) cuatrimestre = IntCol(notNone=True) @@ -132,26 +107,77 @@ class Curso(SQLObject, ByObject): #{{{ grupos = MultipleJoin('Grupo') ejercicios = MultipleJoin('Ejercicio', orderBy='numero') - def __init__(self, anio=None, cuatrimestre=None, numero=None, - descripcion=None, docentes=[], ejercicios=[], **kargs): - SQLObject.__init__(self, anio=anio, cuatrimestre=cuatrimestre, - numero=numero, descripcion=descripcion, **kargs) + def __init__(self, docentes=[], ejercicios=[], alumnos=[], **kw): + super(Curso, self).__init__(**kw) for d in docentes: self.add_docente(d) for (n, e) in enumerate(ejercicios): self.add_ejercicio(n, e) + for a in alumnos: + self.add_alumno(a) + + def set(self, docentes=None, ejercicios=None, alumnos=None, **kw): + super(Curso, self).set(**kw) + if docentes is not None: + for d in DocenteInscripto.selectBy(curso=self): + d.destroySelf() + for d in docentes: + self.add_docente(d) + if ejercicios is not None: + for e in Ejercicio.selectBy(curso=self): + e.destroySelf() + for (n, e) in enumerate(ejercicios): + self.add_ejercicio(n+1, e) + if alumnos is not None: + for a in AlumnoInscripto.selectBy(curso=self): + a.destroySelf() + for a in alumnos: + self.add_alumno(a) + + def add_docente(self, docente, **kw): + if isinstance(docente, Docente): + kw['docente'] = docente + else: + kw['docenteID'] = docente + return DocenteInscripto(curso=self, **kw) + + def remove_docente(self, docente): + if isinstance(docente, Docente): + 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): + kw['alumno'] = alumno + else: + kw['alumnoID'] = alumno + return AlumnoInscripto(curso=self, **kw) - def add_docente(self, docente, *args, **kargs): - return DocenteInscripto(self, docente, *args, **kargs) + def remove_alumno(self, alumno): + if isinstance(alumno, Alumno): + alumno = alumno.id + # FIXME esto deberian arreglarlo en SQLObject + AlumnoInscripto.pk.get(self.id, alumno).destroySelf() - def add_alumno(self, alumno, *args, **kargs): - return AlumnoInscripto(self, alumno, *args, **kargs) + def add_grupo(self, nombre, **kw): + return Grupo(curso=self, nombre=unicode(nombre), **kw) - def add_grupo(self, nombre, *args, **kargs): - return Grupo(self, unicode(nombre), *args, **kargs) + def remove_grupo(self, nombre): + # FIXME esto deberian arreglarlo en SQLObject + Grupo.pk.get(self.id, nombre).destroySelf() - def add_ejercicio(self, numero, enunciado, *args, **kargs): - return Ejercicio(self, numero, enunciado, *args, **kargs) + def add_ejercicio(self, numero, enunciado, **kw): + if isinstance(enunciado, Enunciado): + kw['enunciado'] = enunciado + else: + kw['enunciadoID'] = enunciado + return Ejercicio(curso=self, numero=numero, **kw) + + def remove_ejercicio(self, numero): + # 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, ' \ @@ -164,7 +190,7 @@ class Curso(SQLObject, ByObject): #{{{ % (self.anio, self.cuatrimestre, self.numero) #}}} -class Usuario(InheritableSQLObject, ByObject): #{{{ +class Usuario(InheritableSQLObject): #{{{ # Clave (para docentes puede ser un nombre de usuario arbitrario) usuario = UnicodeCol(length=10, alternateID=True) # Campos @@ -176,7 +202,24 @@ class Usuario(InheritableSQLObject, ByObject): #{{{ observaciones = UnicodeCol(default=None) activo = BoolCol(notNone=True, default=True) # Joins - roles = RelatedJoin('Rol') + roles = RelatedJoin('Rol', addRemoveName='_rol') + + def __init__(self, password=None, roles=[], **kw): + if password is not None: + kw['contrasenia'] = encryptpw(password) + super(Usuario, self).__init__(**kw) + for r in roles: + self.add_rol(r) + + def set(self, password=None, roles=None, **kw): + if password is not None: + kw['contrasenia'] = encryptpw(password) + super(Usuario, self).set(**kw) + if roles is not None: + for r in self.roles: + self.remove_rol(r) + for r in roles: + self.add_rol(r) def _get_user_name(self): # para identity return self.usuario @@ -185,8 +228,7 @@ class Usuario(InheritableSQLObject, ByObject): #{{{ 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 @@ -207,7 +249,7 @@ class Usuario(InheritableSQLObject, ByObject): #{{{ 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) @@ -216,27 +258,20 @@ class Usuario(InheritableSQLObject, ByObject): #{{{ 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') - inscripciones = MultipleJoin('DocenteInscripto') - - def __init__(self, usuario=None, nombre=None, password=None, email=None, - telefono=None, nombrado=True, activo=False, observaciones=None, - roles=[], **kargs): - passwd = password and encryptpw(password) - InheritableSQLObject.__init__(self, usuario=usuario, nombre=nombre, - contrasenia=passwd, email=email, telefono=telefono, - nombrado=nombrado, activo=activo, observaciones=observaciones, - **kargs) - for r in roles: - self.addRol(r) + enunciados = MultipleJoin('Enunciado', joinColumn='autor_id') + cursos = MultipleJoin('DocenteInscripto') + + def add_entrega(self, instancia, **kw): + return Entrega(instancia=instancia, **kw) - def add_entrega(self, instancia, *args, **kargs): - return Entrega(instancia, *args, **kargs) + def add_enunciado(self, nombre, anio, cuatrimestre, **kw): + return Enunciado(nombre=nombre, anio=anio, cuatrimestre=cuatrimestre, + autor=self, **kw) - def add_enunciado(self, nombre, *args, **kargs): - return Enunciado(nombre, self, *args, **kargs) + def remove_enunciado(self, nombre, anio, cuatrimestre): + Enunciado.pk.get(nombre, anio, cuatrimestre).destroySelf() def __repr__(self): return 'Docente(id=%s, usuario=%s, nombre=%s, password=%s, email=%s, ' \ @@ -253,14 +288,13 @@ class Alumno(Usuario): #{{{ # Joins inscripciones = MultipleJoin('AlumnoInscripto') - def __init__(self, padron=None, nombre=None, password=None, email=None, - telefono=None, activo=False, observaciones=None, roles=[], **kargs): - passwd = password and encryptpw(password) - InheritableSQLObject.__init__(self, usuario=padron, nombre=nombre, - email=email, contrasenia=passwd, telefono=telefono, activo=activo, - observaciones=observaciones, **kargs) - for r in roles: - self.addRol(r) + def __init__(self, padron=None, **kw): + if padron: kw['usuario'] = padron + super(Alumno, self).__init__(**kw) + + def set(self, padron=None, **kw): + if padron: kw['usuario'] = padron + super(Alumno, self).set(**kw) def _get_padron(self): # alias para poder referirse al alumno por padron return self.usuario @@ -268,6 +302,10 @@ class Alumno(Usuario): #{{{ def _set_padron(self, padron): self.usuario = padron + @classmethod + def byPadron(cls, padron): + return cls.byUsuario(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)' \ @@ -275,68 +313,119 @@ class Alumno(Usuario): #{{{ self.telefono, self.activo, self.creado, self.observaciones) #}}} -class Tarea(InheritableSQLObject, ByObject): #{{{ +class Tarea(InheritableSQLObject): #{{{ # 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) + terminar_si_falla = BoolCol(notNone=True, default=True) + rechazar_si_falla = BoolCol(notNone=True, default=True) # Joins + enunciados = RelatedJoin('Enunciado', addRemoveName='_enunciado') - def __init__(self, nombre=None, descripcion=None, dependencias=(), **kargs): - InheritableSQLObject.__init__(self, nombre=nombre, - descripcion=descripcion, **kargs) - if dependencias: - 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 __repr__(self): + raise NotImplementedError('Tarea es una clase abstracta') + + def shortrepr(self): + return self.nombre +#}}} + +class TareaFuente(Tarea): #{{{ + # 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 'Tarea(id=%s, nombre=%s, descripcion=%s)' \ + return 'TareaFuente(id=%s, nombre=%s, descripcion=%s)' \ % (self.id, self.nombre, self.descripcion) +#}}} + +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 remove_comando(self, orden): + ComandoPrueba.pk.get(self.id, orden).destroySelf() + + def __repr__(self): + return 'TareaPrueba(id=%s, nombre=%s, descripcion=%s)' \ + % (self.id, self.nombre, self.descripcion) +#}}} + +class Comando(InheritableSQLObject): #{{{ + # Campos + comando = ParamsCol(length=255, notNone=True) + descripcion = UnicodeCol(length=255, default=None) + retorno = 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 + + def __repr__(self): + raise NotImplementedError('Comando es una clase abstracta') def shortrepr(self): return self.nombre #}}} -class Enunciado(SQLObject, ByObject): #{{{ +class ComandoFuente(Comando): #{{{ + # 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) +#}}} + +class ComandoPrueba(Comando): #{{{ # Clave - nombre = UnicodeCol(length=60, alternateID=True) + 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) +#}}} + +class Enunciado(SQLObject): #{{{ + # Clave + nombre = UnicodeCol(length=60) + anio = IntCol(notNone=True) + cuatrimestre = IntCol(notNone=True) + pk = DatabaseIndex(nombre, anio, cuatrimestre, unique=True) # Campos - autor = ForeignKey('Docente') 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) @@ -344,50 +433,27 @@ class Enunciado(SQLObject, ByObject): #{{{ # Joins ejercicios = MultipleJoin('Ejercicio') casos_de_prueba = MultipleJoin('CasoDePrueba') + tareas = RelatedJoin('Tarea', addRemoveName='_tarea') + + def __init__(self, tareas=[], **kw): + super(Enunciado, self).__init__(**kw) + for tarea in tareas: + self.add_tarea(tarea) - def __init__(self, nombre=None, autor=None, descripcion=None, tareas=(), - **kargs): - SQLObject.__init__(self, nombre=nombre, autorID=autor and autor.id, - descripcion=descripcion, **kargs) - if tareas: - self.tareas = tareas - - def add_caso_de_prueba(self, nombre, *args, **kargs): - return CasoDePrueba(self, nombre, *args, **kargs) - - 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 set(self, tareas=None, **kw): + super(Enunciado, self).set(**kw) + if tareas is not None: + for tarea in self.tareas: + self.remove_tarea(tarea) + for tarea in tareas: + self.add_tarea(tarea) + + @classmethod + def selectByCurso(self, curso): + return Enunciado.selectBy(cuatrimestre=curso.cuatrimestre, anio=curso.anio) + + def add_caso_de_prueba(self, nombre, **kw): + return CasoDePrueba(enunciado=self, nombre=nombre, **kw) def __repr__(self): return 'Enunciado(id=%s, autor=%s, nombre=%s, descripcion=%s, ' \ @@ -401,23 +467,23 @@ class Enunciado(SQLObject, ByObject): #{{{ class CasoDePrueba(SQLObject): #{{{ # Clave - enunciado = ForeignKey('Enunciado') - nombre = UnicodeCol(length=40, notNone=True) - pk = DatabaseIndex(enunciado, nombre, unique=True) + 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) + 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 __init__(self, enunciado=None, nombre=None, parametros=None, - retorno=None, tiempo_cpu=None, descripcion=None, **kargs): - SQLObject.__init__(self, enunciadoID=enunciado and enunciado.id, - nombre=nombre, parametros=parametros, retorno=retorno, - tiempo_cpu=tiempo_cpu, descripcion=descripcion, **kargs) + pruebas = MultipleJoin('Prueba') def __repr__(self): return 'CasoDePrueba(enunciado=%s, nombre=%s, parametros=%s, ' \ @@ -429,25 +495,24 @@ class CasoDePrueba(SQLObject): #{{{ return '%s:%s' % (self.enunciado.shortrepr(), self.nombre) #}}} -class Ejercicio(SQLObject, ByObject): #{{{ +class Ejercicio(SQLObject): #{{{ # Clave - curso = ForeignKey('Curso', notNone=True) + curso = ForeignKey('Curso', notNone=True, cascade=True) numero = IntCol(notNone=True) pk = DatabaseIndex(curso, numero, unique=True) # Campos - enunciado = ForeignKey('Enunciado', notNone=True) - grupal = BoolCol(notNone=True, default=False) + enunciado = ForeignKey('Enunciado', notNone=True, cascade=False) + grupal = BoolCol(default=False) # None es grupal o individual # Joins instancias = MultipleJoin('InstanciaDeEntrega') - def __init__(self, curso=None, numero=None, enunciado=None, grupal=False, - **kargs): - if curso and enunciado: - SQLObject.__init__(self, cursoID=curso.id, numero=numero, - enunciadoID=enunciado.id, grupal=grupal, **kargs) + def add_instancia(self, numero, inicio, fin, **kw): + return InstanciaDeEntrega(ejercicio=self, numero=numero, inicio=inicio, + fin=fin, **kw) - def add_instancia(self, numero, inicio, fin, *args, **kargs): - return InstanciaDeEntrega(self, numero, inicio, fin, *args, **kargs) + def remove_instancia(self, numero): + # FIXME self.id + InstanciaDeEntrega.pk.get(self.id, numero).destroySelf() def __repr__(self): return 'Ejercicio(id=%s, curso=%s, numero=%s, enunciado=%s, ' \ @@ -461,10 +526,11 @@ class Ejercicio(SQLObject, ByObject): #{{{ self.enunciado.shortrepr()) #}}} -class InstanciaDeEntrega(SQLObject, ByObject): #{{{ +class InstanciaDeEntrega(SQLObject): #{{{ # Clave - ejercicio = ForeignKey('Ejercicio', notNone=True) + ejercicio = ForeignKey('Ejercicio', notNone=True, cascade=True) numero = IntCol(notNone=True) + pk = DatabaseIndex(ejercicio, numero, unique=True) # Campos inicio = DateTimeCol(notNone=True) fin = DateTimeCol(notNone=True) @@ -474,50 +540,6 @@ class InstanciaDeEntrega(SQLObject, ByObject): #{{{ # Joins entregas = MultipleJoin('Entrega', joinColumn='instancia_id') correcciones = MultipleJoin('Correccion', joinColumn='instancia_id') - casos_de_prueba = RelatedJoin('CasoDePrueba') # TODO CasoInstancia -> private - - def __init__(self, ejercicio=None, numero=None, inicio=None, fin=None, - observaciones=None, activo=True, tareas=(), **kargs): - if ejercicio: - SQLObject.__init__(self, ejercicioID=ejercicio.id, numero=numero, - fin=fin, inicio=inicio, observaciones=observaciones, activo=activo, - **kargs) - if tareas: - 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, ' \ @@ -529,10 +551,10 @@ class InstanciaDeEntrega(SQLObject, ByObject): #{{{ return self.numero #}}} -class DocenteInscripto(SQLObject, ByObject): #{{{ +class DocenteInscripto(SQLObject): #{{{ # Clave - curso = ForeignKey('Curso', notNone=True) - docente = ForeignKey('Docente', notNone=True) + curso = ForeignKey('Curso', notNone=True, cascade=True) + docente = ForeignKey('Docente', notNone=True, cascade=True) pk = DatabaseIndex(curso, docente, unique=True) # Campos corrige = BoolCol(notNone=True, default=True) @@ -540,17 +562,15 @@ class DocenteInscripto(SQLObject, ByObject): #{{{ # Joins alumnos = MultipleJoin('AlumnoInscripto', joinColumn='tutor_id') tutorias = MultipleJoin('Tutor', joinColumn='docente_id') - entregas = MultipleJoin('Entrega', joinColumn='instancia_id') correcciones = MultipleJoin('Correccion', joinColumn='corrector_id') - def __init__(self, curso=None, docente=None, corrige=True, - observaciones=None, **kargs): - SQLObject.__init__(self, cursoID=curso.id, docenteID=docente.id, - corrige=corrige, observaciones=observaciones, **kargs) + def add_correccion(self, entrega, **kw): + return Correccion(instancia=entrega.instancia, entrega=entrega, + entregador=entrega.entregador, corrector=self, **kw) - def add_correccion(self, entrega, *args, **kargs): - return Correccion(entrega.instancia, entrega.entregador, entrega, - self, *args, **kargs) + def remove_correccion(self, instancia, entregador): + # FIXME instancia.id, entregador.id + Correccion.pk.get(instancia.id, entregador.id).destroySelf() def __repr__(self): return 'DocenteInscripto(id=%s, docente=%s, corrige=%s, ' \ @@ -562,18 +582,18 @@ class DocenteInscripto(SQLObject, ByObject): #{{{ return self.docente.shortrepr() #}}} -class Entregador(InheritableSQLObject, ByObject): #{{{ +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') correcciones = MultipleJoin('Correccion') - def add_entrega(self, instancia, *args, **kargs): - return Entrega(instancia, self, *args, **kargs) + def add_entrega(self, instancia, **kw): + return Entrega(instancia=instancia, entregador=self, **kw) def __repr__(self): raise NotImplementedError, 'Clase abstracta!' @@ -582,25 +602,64 @@ class Entregador(InheritableSQLObject, ByObject): #{{{ class Grupo(Entregador): #{{{ _inheritable = False # Clave - curso = ForeignKey('Curso', notNone=True) + curso = ForeignKey('Curso', notNone=True, cascade=True) nombre = UnicodeCol(length=20, notNone=True) + pk = DatabaseIndex(curso, nombre, unique=True) # Campos - responsable = ForeignKey('AlumnoInscripto', default=None) + responsable = ForeignKey('AlumnoInscripto', default=None, cascade='null') # Joins miembros = MultipleJoin('Miembro') tutores = MultipleJoin('Tutor') - def __init__(self, curso=None, nombre=None, responsable=None, **kargs): - resp_id = responsable and responsable.id - curso_id = curso and curso.id - InheritableSQLObject.__init__(self, cursoID=curso_id, nombre=nombre, - responsableID=resp_id, **kargs) - - def add_alumno(self, alumno, *args, **kargs): - return Miembro(self, alumno, *args, **kargs) - - def add_docente(self, docente, *args, **kargs): - return Tutor(self, docente, *args, **kargs) + def __init__(self, miembros=[], tutores=[], **kw): + super(Grupo, self).__init__(**kw) + for a in miembros: + self.add_miembro(a) + for d in tutores: + self.add_tutor(d) + + def set(self, miembros=None, tutores=None, **kw): + super(Grupo, self).set(**kw) + if miembros is not None: + for m in Miembro.selectBy(grupo=self): + m.destroySelf() + for m in miembros: + self.add_miembro(m) + if tutores is not None: + for t in Tutor.selectBy(grupo=self): + t.destroySelf() + 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 + return Miembro(grupo=self, alumnoID=alumno, **kw) + + def remove_miembro(self, alumno): + if isinstance(alumno, AlumnoInscripto): + 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): + docente = docente.id + return Tutor(grupo=self, docenteID=docente, **kw) + + def remove_tutor(self, docente): + if isinstance(docente, DocenteInscripto): + 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, ' \ @@ -615,23 +674,20 @@ class Grupo(Entregador): #{{{ class AlumnoInscripto(Entregador): #{{{ _inheritable = False # Clave - curso = ForeignKey('Curso', notNone=True) - alumno = ForeignKey('Alumno', notNone=True) + curso = ForeignKey('Curso', notNone=True, cascade=True) + alumno = ForeignKey('Alumno', notNone=True, cascade=True) pk = DatabaseIndex(curso, alumno, unique=True) # Campos condicional = BoolCol(notNone=True, default=False) - tutor = ForeignKey('DocenteInscripto', default=None) + tutor = ForeignKey('DocenteInscripto', default=None, cascade='null') # Joins responsabilidades = MultipleJoin('Grupo', joinColumn='responsable_id') membresias = MultipleJoin('Miembro', joinColumn='alumno_id') entregas = MultipleJoin('Entrega', joinColumn='alumno_id') correcciones = MultipleJoin('Correccion', joinColumn='alumno_id') - def __init__(self, curso=None, alumno=None, condicional=False, tutor=None, - **kargs): - tutor_id = tutor and tutor.id - InheritableSQLObject.__init__(self, cursoID=curso.id, tutorID=tutor_id, - alumnoID=alumno.id, condicional=condicional, **kargs) + def _get_nombre(self): + return self.alumno.padron def __repr__(self): return 'AlumnoInscripto(id=%s, alumno=%s, condicional=%s, nota=%s, ' \ @@ -644,19 +700,15 @@ class AlumnoInscripto(Entregador): #{{{ return self.alumno.shortrepr() #}}} -class Tutor(SQLObject, ByObject): #{{{ +class Tutor(SQLObject): #{{{ # Clave - grupo = ForeignKey('Grupo', notNone=True) - docente = ForeignKey('DocenteInscripto', notNone=True) + grupo = ForeignKey('Grupo', notNone=True, cascade=True) + docente = ForeignKey('DocenteInscripto', notNone=True, cascade=True) pk = DatabaseIndex(grupo, docente, unique=True) # Campos alta = DateTimeCol(notNone=True, default=DateTimeCol.now) baja = DateTimeCol(default=None) - def __init__(self, grupo=None, docente=None, **kargs): - SQLObject.__init__(self, grupoID=grupo.id, docenteID=docente.id, - **kargs) - def __repr__(self): return 'Tutor(docente=%s, grupo=%s, alta=%s, baja=%s)' \ % (self.docente.shortrepr(), self.grupo.shortrepr(), @@ -666,19 +718,16 @@ class Tutor(SQLObject, ByObject): #{{{ return '%s-%s' % (self.docente.shortrepr(), self.grupo.shortrepr()) #}}} -class Miembro(SQLObject, ByObject): #{{{ +class Miembro(SQLObject): #{{{ # Clave - grupo = ForeignKey('Grupo', notNone=True) - alumno = ForeignKey('AlumnoInscripto', notNone=True) + grupo = ForeignKey('Grupo', notNone=True, cascade=True) + alumno = ForeignKey('AlumnoInscripto', notNone=True, cascade=True) pk = DatabaseIndex(grupo, alumno, unique=True) # Campos nota = DecimalCol(size=3, precision=1, default=None) alta = DateTimeCol(notNone=True, default=DateTimeCol.now) baja = DateTimeCol(default=None) - def __init__(self, grupo=None, alumno=None, **kargs): - SQLObject.__init__(self, grupoID=grupo.id, alumnoID=alumno.id, **kargs) - def __repr__(self): return 'Miembro(alumno=%s, grupo=%s, nota=%s, alta=%s, baja=%s)' \ % (self.alumno.shortrepr(), self.grupo.shortrepr(), @@ -688,75 +737,67 @@ class Miembro(SQLObject, ByObject): #{{{ return '%s-%s' % (self.alumno.shortrepr(), self.grupo.shortrepr()) #}}} -class Entrega(SQLObject, ByObject): #{{{ +class Entrega(SQLObject): #{{{ # Clave - instancia = ForeignKey('InstanciaDeEntrega', notNone=True) - entregador = ForeignKey('Entregador', default=None) # Si es None era un Docente - fecha = DateTimeCol(notNone=True, default=DateTimeCol.now) - pk = DatabaseIndex(instancia, entregador, fecha, unique=True) + 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(notNone=True, default=False) - observaciones = UnicodeCol(default=None) + 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 - tareas = MultipleJoin('TareaEjecutada') - # Para generar código - codigo_dict = r'0123456789abcdefghijklmnopqrstuvwxyz_.,*@#+' - codigo_format = r'%m%d%H%M%S' - - def __init__(self, instancia=None, entregador=None, observaciones=None, - **kargs): - entregador_id = entregador and entregador.id - SQLObject.__init__(self, instanciaID=instancia.id, - entregadorID=entregador_id, observaciones=observaciones, **kargs) - - def add_tarea_ejecutada(self, tarea, *args, **kargs): - return TareaEjecutada(tarea, self, *args, **kargs) - - 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 __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 '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) 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, ByObject): #{{{ +class Correccion(SQLObject): #{{{ # Clave - instancia = ForeignKey('InstanciaDeEntrega', notNone=True) - entregador = ForeignKey('Entregador', notNone=True) # Docente no tiene + instancia = ForeignKey('InstanciaDeEntrega', notNone=True, cascade=False) + entregador = ForeignKey('Entregador', notNone=True, cascade=False) # Docente no tiene pk = DatabaseIndex(instancia, entregador, unique=True) # Campos - entrega = ForeignKey('Entrega', notNone=True) - corrector = ForeignKey('DocenteInscripto', notNone=True) + entrega = ForeignKey('Entrega', notNone=True, cascade=False) + corrector = ForeignKey('DocenteInscripto', default=None, cascade='null') asignado = DateTimeCol(notNone=True, default=DateTimeCol.now) corregido = DateTimeCol(default=None) nota = DecimalCol(size=3, precision=1, default=None) observaciones = UnicodeCol(default=None) - def __init__(self, instancia=None, entregador=None, entrega=None, - corrector=None, observaciones=None, **kargs): - SQLObject.__init__(self, instanciaID=instancia.id, entregaID=entrega.id, - entregadorID=entregador.id, correctorID=corrector.id, - observaciones=observaciones, **kargs) + def _get_entregas(self): + return list(Entrega.selectBy(instancia=self.instancia, entregador=self.entregador)) def __repr__(self): return 'Correccion(instancia=%s, entregador=%s, entrega=%s, ' \ @@ -767,65 +808,87 @@ class Correccion(SQLObject, ByObject): #{{{ self.corregido, self.nota, self.observaciones) def shortrepr(self): + if not self.corrector: + return '%s' % self.entrega.shortrepr() return '%s,%s' % (self.entrega.shortrepr(), self.corrector.shortrepr()) #}}} -class TareaEjecutada(InheritableSQLObject, ByObject): #{{{ - # Clave - tarea = ForeignKey('Tarea', notNone=True) - entrega = ForeignKey('Entrega', notNone=True) - pk = DatabaseIndex(tarea, entrega, unique=True) +class ComandoEjecutado(InheritableSQLObject): #{{{ # Campos inicio = DateTimeCol(notNone=True, default=DateTimeCol.now) fin = DateTimeCol(default=None) exito = IntCol(default=None) - observaciones = UnicodeCol(default=None) - # Joins - pruebas = MultipleJoin('Prueba') + observaciones = UnicodeCol(notNone=True, default=u'') - def __init__(self, tarea=None, entrega=None, observaciones=None, **kargs): - InheritableSQLObject.__init__(self, tareaID=tarea.id, - entregaID=entrega.id, observaciones=observaciones, **kargs) + def __repr__(self): + raise NotImplementedError('ComandoEjecutado es una clase abstracta') +#}}} - def add_prueba(self, caso_de_prueba, *args, **kargs): - return Prueba(self, caso_de_prueba, *args, **kargs) +class ComandoFuenteEjecutado(ComandoEjecutado): #{{{ + # 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(), + 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) def shortrepr(self): return '%s-%s' % (self.tarea.shortrepr(), self.entrega.shortrepr()) #}}} +class ComandoPruebaEjecutado(ComandoEjecutado): #{{{ + # 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) + + def shortrepr(self): + return '%s:%s:%s' % (self.tarea.shortrepr(), self.entrega.shortrerp(), + self.caso_de_prueba.shortrerp()) +#}}} + class Prueba(SQLObject): #{{{ # Clave - tarea_ejecutada = ForeignKey('TareaEjecutada', notNone=True) - caso_de_prueba = ForeignKey('CasoDePrueba', notNone=True) - pk = DatabaseIndex(tarea_ejecutada, caso_de_prueba, unique=True) + 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) + 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') - def __init__(self, tarea_ejecutada=None, caso_de_prueba=None, - observaciones=None, **kargs): - SQLObject.__init__(self, tarea_ejecutadaID=tarea_ejecutada.id, - caso_de_pruebaID=caso_de_prueba.id, observaciones=observaciones, - **kargs) + 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 '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) def shortrepr(self): - return '%s:%s' % (self.tarea_ejecutada.shortrepr(), + return '%s:%s' % (self.entrega.shortrepr(), self.caso_de_prueba.shortrerp()) #}}} @@ -856,23 +919,25 @@ class VisitaUsuario(SQLObject): #{{{ class Rol(SQLObject): #{{{ # Clave nombre = UnicodeCol(length=255, alternateID=True, - alternateMethodName="by_group_name") + alternateMethodName='by_nombre') # Campos descripcion = UnicodeCol(length=255, default=None) creado = DateTimeCol(notNone=True, default=datetime.now) permisos = TupleCol(notNone=True) # Joins - usuarios = RelatedJoin('Usuario') + usuarios = RelatedJoin('Usuario', addRemoveName='_usuario') - def __init__(self, nombre=None, permisos=(), descripcion=None, **kargs): - SQLObject.__init__(self, nombre=nombre, permisos=permisos, - descripcion=descripcion, **kargs) + def by_group_name(self, name): # para identity + return self.by_nombre(name) #}}} # No es un SQLObject porque no tiene sentido agregar/sacar permisos, están # hardcodeados en el código class Permiso(object): #{{{ + max_valor = 1 def __init__(self, nombre, descripcion): + self.valor = Permiso.max_valor + Permiso.max_valor <<= 1 self.nombre = nombre self.descripcion = descripcion @@ -884,6 +949,12 @@ class Permiso(object): #{{{ def permission_name(self): # para identity return self.nombre + def __and__(self, other): + return self.valor & other.valor + + def __or__(self, other): + return self.valor | other.valor + def __repr__(self): return self.nombre #}}}