#{{{ 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
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)
nombre = UnicodeCol(length=30, alternateID=True)
# Campos
descripcion = UnicodeCol(length=255, default=None)
- terminar_si_falla = BoolCol(notNone=True, default=True)
- rechazar_si_falla = BoolCol(notNone=True, default=True)
# Joins
enunciados = RelatedJoin('Enunciado', addRemoveName='_enunciado')
#}}}
class TareaFuente(Tarea): #{{{
+ _inheritable = False
# Joins
comandos = MultipleJoin('ComandoFuente', joinColumn='tarea_id')
#}}}
class TareaPrueba(Tarea): #{{{
+ _inheritable = False
# Joins
comandos = MultipleJoin('ComandoPrueba', joinColumn='tarea_id')
#}}}
class Comando(InheritableSQLObject): #{{{
+ # Tipos de retorno especiales
RET_ANY = None
- RET_FAIL = -1
+ RET_FAIL = -256
+ # Archivos especiales
+ STDIN = '__stdin__'
+ STDOUT = '__stdout__'
+ STDERR = '__stderr__'
+ STDOUTERR = '__stdouterr__'
# Campos
comando = UnicodeCol(length=255, notNone=True)
descripcion = UnicodeCol(length=255, default=None)
- retorno = IntCol(default=None) # None es que no importa
+ retorno = IntCol(default=None) # Ver RET_XXX y si es negativo
+ # se espera una señal
max_tiempo_cpu = IntCol(default=None) # En segundos
max_memoria = IntCol(default=None) # En MB
max_tam_archivo = IntCol(default=None) # En MB
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
- archivos_salida = BLOBCol(default=None) # ZIP con archivos de salida
- # stdout y stderr son especiales
+ # __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=''):
self.max_memoria, self.max_tam_archivo,
self.max_cant_archivos, self.max_cant_procesos,
self.max_locks_memoria, self.terminar_si_falla,
- self.rechazar_si_falla))
+ self.rechazar_si_falla, mas))
def shortrepr(self):
return '%s (%s)' % (self.comando, self.descripcion)
#}}}
class ComandoFuente(Comando): #{{{
+ _inheritable = False
# Clave
tarea = ForeignKey('TareaFuente', notNone=True, cascade=True)
orden = IntCol(notNone=True)
#}}}
class ComandoPrueba(Comando): #{{{
- RET_PRUEBA = -2 # Espera el mismo retorno que el de la prueba.
+ _inheritable = False
+ RET_PRUEBA = -257 # Espera el mismo retorno que el de la prueba.
# XXX todos los campos de limitación en este caso son multiplicadores para
# los valores del caso de prueba.
# Clave
pk = DatabaseIndex(tarea, orden, unique=True)
def __repr__(self):
- return super(ComandoFuente, self).__repr__('tarea=%s, orden=%s'
+ return super(ComandoPrueba, self).__repr__('tarea=%s, orden=%s'
% (self.tarea.shortrepr(), self.orden))
def shortrepr(self):
#}}}
class CasoDePrueba(Comando): #{{{
+ _inheritable = False
# Clave
enunciado = ForeignKey('Enunciado', cascade=True)
nombre = UnicodeCol(length=40, notNone=True)
pruebas = MultipleJoin('Prueba')
def __repr__(self):
- return super(ComandoFuente, self).__repr__('enunciado=%s, nombre=%s'
+ return super(CasoDePrueba, self).__repr__('enunciado=%s, nombre=%s'
% (srepr(self.enunciado), self.nombre))
def shortrepr(self):
% (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
#}}}
membresias = MultipleJoin('Miembro', joinColumn='alumno_id')
entregas = MultipleJoin('Entrega', joinColumn='alumno_id')
correcciones = MultipleJoin('Correccion', joinColumn='alumno_id')
+ # Notas de la cursada
+ nota_practica = DecimalCol(size=3, precision=1, default=None)
+ nota_final = DecimalCol(size=3, precision=1, default=None)
+ nota_libreta = DecimalCol(size=3, precision=1, default=None)
def _get_nombre(self):
return self.alumno.padron
+ @classmethod
+ def selectByAlumno(self, alumno):
+ return AlumnoInscripto.select(AlumnoInscripto.q.alumnoID == alumno.id).getOne()
+
def __repr__(self):
return 'AlumnoInscripto(id=%s, alumno=%s, condicional=%s, nota=%s, ' \
'nota_cursada=%s, tutor=%s, observaciones=%s, activo=%s)' \
return '%s-%s' % (self.alumno.shortrepr(), self.grupo.shortrepr())
#}}}
-class Entrega(SQLObject): #{{{
+class Ejecucion(InheritableSQLObject): #{{{
+ # Campos
+ inicio = DateTimeCol(default=None)
+ fin = DateTimeCol(default=None)
+ exito = IntCol(default=None)
+ observaciones = UnicodeCol(notNone=True, default=u'')
+ archivos = BLOBCol(default=None) # ZIP con archivos
+
+ def __repr__(self, clave='', mas=''):
+ return ('%s(%s inicio=%s, fin=%s, exito=%s, observaciones=%s%s)'
+ % (self.__class__.__name__, clave, self.inicio, self.fin,
+ self.exito, self.observaciones, mas))
+#}}}
+
+class Entrega(Ejecucion): #{{{
+ _inheritable = False
# Clave
instancia = ForeignKey('InstanciaDeEntrega', notNone=True, cascade=False)
entregador = ForeignKey('Entregador', default=None, cascade=False) # Si es None era un Docente
fecha = DateTimeCol(notNone=True, default=DateTimeCol.now)
pk = DatabaseIndex(instancia, entregador, fecha, unique=True)
- # Campos
- archivos = BLOBCol(notNone=True) # ZIP con fuentes de la entrega
- correcta = BoolCol(default=None) # None es que no se sabe qué pasó
- inicio_tareas = DateTimeCol(default=None) # Si es None no se procesó
- fin_tareas = DateTimeCol(default=None) # Si es None pero inicio no, se está procesando
- observaciones = UnicodeCol(notNone=True, default=u'')
# Joins
comandos_ejecutados = MultipleJoin('ComandoFuenteEjecutado')
pruebas = MultipleJoin('Prueba')
# FIXME self.id, caso_de_prueba
Prueba.pk.get(self.id, caso_de_prueba).destroySelf()
+ def make_correccion(self, corrector, **kw):
+ return Correccion(instancia=self.instancia, entregador=self.entregador,
+ entrega=self, corrector=corrector, **kw)
+
def __repr__(self):
- return 'Entrega(id=%s, instancia=%s, entregador=%s, fecha=%s, ' \
- 'correcta=%s, inicio_tareas=%s, fin_tareas=%s, observaciones=%s)' \
- % (self.id, self.instancia.shortrepr(), srepr(self.entregador),
- self.fecha, self.inicio_tareas, self.fin_tareas,
- self.correcta, self.observaciones)
+ return super(Entrega, self).__repr__('instancia=%s, entregador=%s, '
+ 'fecha=%s' % (self.instancia.shortrepr(), srepr(self.entregador),
+ self.fecha))
def shortrepr(self):
return '%s-%s-%s' % (self.instancia.shortrepr(),
pk = DatabaseIndex(instancia, entregador, unique=True)
# Campos
entrega = ForeignKey('Entrega', notNone=True, cascade=False)
- corrector = ForeignKey('DocenteInscripto', default=None, cascade='null')
+ corrector = ForeignKey('DocenteInscripto', notNone=True, cascade=False)
asignado = DateTimeCol(notNone=True, default=DateTimeCol.now)
corregido = DateTimeCol(default=None)
nota = DecimalCol(size=3, precision=1, default=None)
return '%s,%s' % (self.entrega.shortrepr(), self.corrector.shortrepr())
#}}}
-class ComandoEjecutado(InheritableSQLObject): #{{{
+class ComandoEjecutado(Ejecucion): #{{{
# Campos
- inicio = DateTimeCol(notNone=True, default=DateTimeCol.now)
- fin = DateTimeCol(default=None)
- exito = IntCol(default=None)
- observaciones = UnicodeCol(notNone=True, default=u'')
+ diferencias = BLOBCol(default=None) # ZIP con archivos guardados
- def __repr__(self):
- raise NotImplementedError('ComandoEjecutado es una clase abstracta')
+ def __repr__(self, clave='', mas=''):
+ return super(ComandoEjecutado, self).__repr__(clave, mas)
#}}}
class ComandoFuenteEjecutado(ComandoEjecutado): #{{{
+ _inheritable = False
# Clave
comando = ForeignKey('ComandoFuente', notNone=True, cascade=False)
entrega = ForeignKey('Entrega', notNone=True, cascade=False)
pk = DatabaseIndex(comando, entrega, unique=True)
def __repr__(self):
- return 'ComandoFuenteEjecutado(comando=%s, entrega=%s, inicio=%s, ' \
- 'fin=%s, exito=%s, observaciones=%s)' \
- % (self.comando.shortrepr(), self.entrega.shortrepr(),
- self.inicio, self.fin, self.exito, self.observaciones)
+ return super(ComandoFuenteEjecutado, self).__repr__(
+ 'comando=%s, entrega=%s' % (self.comando.shortrepr(),
+ self.entrega.shortrepr()))
def shortrepr(self):
- return '%s-%s' % (self.tarea.shortrepr(), self.entrega.shortrepr())
+ return '%s-%s' % (self.comando.shortrepr(), self.entrega.shortrepr())
#}}}
class ComandoPruebaEjecutado(ComandoEjecutado): #{{{
+ _inheritable = False
# Clave
comando = ForeignKey('ComandoPrueba', notNone=True, cascade=False)
prueba = ForeignKey('Prueba', notNone=True, cascade=False)
pk = DatabaseIndex(comando, prueba, unique=True)
def __repr__(self):
- return 'ComandoPruebaEjecutado(comando=%s, prueba=%s, inicio=%s, ' \
- 'fin=%s, exito=%s, observaciones=%s)' \
- % (self.comando.shortrepr(), self.prueba.shortrepr(),
- self.inicio, self.fin, self.exito, self.observaciones)
+ return super(ComandoPruebaEjecutado, self).__repr__(
+ 'comando=%s, entrega=%s' % (self.comando.shortrepr(),
+ self.entrega.shortrepr()))
def shortrepr(self):
return '%s:%s:%s' % (self.tarea.shortrepr(), self.entrega.shortrepr(),
self.caso_de_prueba.shortrepr())
#}}}
-class Prueba(SQLObject): #{{{
+class Prueba(ComandoEjecutado): #{{{
+ _inheritable = False
# Clave
entrega = ForeignKey('Entrega', notNone=True, cascade=False)
caso_de_prueba = ForeignKey('CasoDePrueba', notNone=True, cascade=False)
pk = DatabaseIndex(entrega, caso_de_prueba, unique=True)
- # Campos
- inicio = DateTimeCol(notNone=True, default=DateTimeCol.now)
- fin = DateTimeCol(default=None)
- pasada = IntCol(default=None)
- observaciones = UnicodeCol(notNone=True, default=u'')
# Joins
comandos_ejecutados = MultipleJoin('ComandoPruebaEjecutado')
ComandoPruebaEjecutado.pk.get(self.id, comando).destroySelf()
def __repr__(self):
- return 'Prueba(entrega=%s, caso_de_prueba=%s, inicio=%s, fin=%s, ' \
- 'pasada=%s, observaciones=%s)' \
- % (self.entrega.shortrepr(), self.caso_de_prueba.shortrepr(),
- self.inicio, self.fin, self.pasada, self.observaciones)
+ return super(Prueba, self).__repr__('entrega=%s, caso_de_prueba=%s'
+ % (self.entrega.shortrepr(), self.caso_de_prueba.shortrepr()))
def shortrepr(self):
return '%s:%s' % (self.entrega.shortrepr(),
projects / software / sercom.git / blobdiff