]> git.llucax.com Git - z.facultad/75.52/sercom.git/blobdiff - sercom/model.py
Pasar Ejercicio a Curso.
[z.facultad/75.52/sercom.git] / sercom / model.py
index 9112694aeaff2dd0dafe6f1e9463fd7422e1e17c..a8670824a4577d9e5a78aa09865217329ee131c0 100644 (file)
@@ -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
@@ -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):
-            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):
-            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
@@ -109,16 +56,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 +70,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)
+            self.add_ejercicio(n+1, 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 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_docente(self, docente, *args, **kargs):
-        return DocenteInscripto(self, docente, *args, **kargs)
+    def add_grupo(self, nombre, **kw):
+        return Grupo(curso=self, nombre=unicode(nombre), **kw)
 
-    def add_alumno(self, alumno, *args, **kargs):
-        return AlumnoInscripto(self, alumno, *args, **kargs)
+    def remove_grupo(self, nombre):
+        # FIXME esto deberian arreglarlo en SQLObject
+        Grupo.pk.get(self.id, nombre).destroySelf()
 
-    def add_grupo(self, nombre, *args, **kargs):
-        return Grupo(self, unicode(nombre), *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 add_ejercicio(self, numero, enunciado, *args, **kargs):
-        return Ejercicio(self, numero, enunciado, *args, **kargs)
+    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 +153,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 +165,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 +191,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 +212,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 +221,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 +251,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 +265,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,119 +276,185 @@ 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)
+    # 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 __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 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): #{{{
+    _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 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): #{{{
+    # 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 Enunciado(SQLObject, ByObject): #{{{
+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
-    nombre          = UnicodeCol(length=60, alternateID=True)
+    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): #{{{
+    # 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)
-    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, 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 __init__(self, tareas=[], **kw):
+        super(Enunciado, self).__init__(**kw)
+        for tarea in tareas:
+            self.add_tarea(tarea)
+
+    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, ' \
@@ -399,55 +466,41 @@ class Enunciado(SQLObject, ByObject): #{{{
         return self.nombre
 #}}}
 
-class CasoDePrueba(SQLObject): #{{{
+class CasoDePrueba(Comando): #{{{
+    _inheritable = False
     # Clave
-    enunciado       = ForeignKey('Enunciado')
-    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)
+    enunciado           = ForeignKey('Enunciado', cascade=True)
+    nombre              = UnicodeCol(length=40, notNone=True)
+    pk                  = DatabaseIndex(enunciado, nombre, unique=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, ' \
-            '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)
 #}}}
 
-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,78 +514,37 @@ 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)
-    procesada       = BoolCol(notNone=True, default=False)
+    inicio_proceso  = DateTimeCol(default=None)
+    fin_proceso     = DateTimeCol(default=None)
     observaciones   = UnicodeCol(default=None)
     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
-
-    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, ' \
-            '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
 #}}}
 
-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 +552,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 +572,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,24 +592,79 @@ 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
-        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
+        # 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):
+            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
+        # FIXME ídem add_miembro()
+        try:
+            t = Tutor.selectBy(grupo=self, docenteID=alumno).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):
+            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, ' \
@@ -607,6 +672,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
 #}}}
@@ -614,23 +684,28 @@ 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')
+    # 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 __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
+
+    @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, ' \
@@ -643,19 +718,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(),
@@ -665,19 +736,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(),
@@ -687,75 +755,78 @@ class Miembro(SQLObject, ByObject): #{{{
         return '%s-%s' % (self.alumno.shortrepr(), self.grupo.shortrepr())
 #}}}
 
-class Entrega(SQLObject, ByObject): #{{{
-    # 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)
+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 __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 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, 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', notNone=True, cascade=False)
     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, ' \
@@ -766,66 +837,79 @@ 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(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 __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 super(ComandoFuenteEjecutado, self).__repr__(
+            'comando=%s, entrega=%s' % (self.comando.shortrepr(),
+                self.entrega.shortrepr()))
 
-    def __init__(self, tarea=None, entrega=None, observaciones=None, **kargs):
-        InheritableSQLObject.__init__(self, tareaID=tarea.id,
-            entregaID=entrega.id, observaciones=observaciones, **kargs)
+    def shortrepr(self):
+        return '%s-%s' % (self.comando.shortrepr(), self.entrega.shortrepr())
+#}}}
 
-    def add_prueba(self, caso_de_prueba, *args, **kargs):
-        return Prueba(self, caso_de_prueba, *args, **kargs)
+class ComandoPruebaEjecutado(ComandoEjecutado): #{{{
+    _inheritable = False
+    # Clave
+    comando = ForeignKey('ComandoPrueba', notNone=True, cascade=False)
+    prueba  = ForeignKey('Prueba', notNone=True, cascade=False)
+    pk      = DatabaseIndex(comando, prueba, unique=True)
 
     def __repr__(self):
-        return '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(ComandoPruebaEjecutado, 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:%s' % (self.tarea.shortrepr(), self.entrega.shortrepr(),
+            self.caso_de_prueba.shortrepr())
 #}}}
 
-class Prueba(SQLObject): #{{{
+class Prueba(ComandoEjecutado): #{{{
+    _inheritable = False
     # Clave
-    tarea_ejecutada = ForeignKey('TareaEjecutada', notNone=True)
-    caso_de_prueba  = ForeignKey('CasoDePrueba', notNone=True)
-    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)
+    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 __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 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
@@ -855,23 +939,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
 
@@ -883,6 +969,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
 #}}}