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
rechazar_si_falla = 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 con stdin y el caso
+ # de prueba también tiene stdin
+ # se usa el stdin del comando.
archivos_a_comparar = BLOBCol(default=None) # ZIP con archivos de salida
- # __stdout__ y __stderr__
+ # __stdout__, __stderr__ y
+ # __stdouterr__ (ambos juntos)
# son casos especiales
- archivos_a_guardar = TupleCol(notNone=True, default=())
- # __stdout__ y __stderr__
+ archivos_a_guardar = TupleCol(notNone=True, default=()) # TODO SetCol
+ # __stdout__, __stderr__ y
+ # __stdouterr__ (ambos juntos)
# son casos especiales
activo = BoolCol(notNone=True, default=True)
#}}}
class ComandoFuente(Comando): #{{{
+ _inheritable = False
# Clave
tarea = ForeignKey('TareaFuente', notNone=True, cascade=True)
orden = IntCol(notNone=True)
#}}}
class ComandoPrueba(Comando): #{{{
+ _inheritable = False
RET_PRUEBA = -2 # 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.
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)
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
return '%s-%s' % (self.alumno.shortrepr(), self.grupo.shortrepr())
#}}}
-class Entrega(SQLObject): #{{{
+class Ejecucion(InheritableSQLObject): #{{{
+ # Campos
+ inicio = DateTimeCol(notNone=True, default=DateTimeCol.now)
+ 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')
Prueba.pk.get(self.id, caso_de_prueba).destroySelf()
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(),
return '%s,%s' % (self.entrega.shortrepr(), self.corrector.shortrepr())
#}}}
-class ComandoEjecutado(InheritableSQLObject): #{{{
+class ComandoEjecutado(Ejecucion): #{{{
# Campos
- inicio = DateTimeCol(notNone=True, default=DateTimeCol.now)
- fin = DateTimeCol(default=None)
- exito = IntCol(default=None)
- archivos_comparados = BLOBCol(default=None) # ZIP con archivos diff
- archivos_guardados = BLOBCol(default=None) # ZIP con archivos guardados
- observaciones = UnicodeCol(notNone=True, default=u'')
+ diferencias = BLOBCol(default=None) # ZIP con archivos guardados
def __repr__(self, clave='', mas=''):
- return ('%s(%s inicio=%s, fin=%s, exito=%s, observaciones=%s%s)'
- % (self.__class__.__name__, clave, self.inicio, self.fin,
- self.exito, self.observaciones, mas))
+ return super(ComandoFuenteEjecutado, self).__repr__(clave, mas)
#}}}
class ComandoFuenteEjecutado(ComandoEjecutado): #{{{
+ _inheritable = False
# Clave
comando = ForeignKey('ComandoFuente', notNone=True, cascade=False)
entrega = ForeignKey('Entrega', notNone=True, cascade=False)
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)
#}}}
class Prueba(ComandoEjecutado): #{{{
+ _inheritable = False
# Clave
entrega = ForeignKey('Entrega', notNone=True, cascade=False)
caso_de_prueba = ForeignKey('CasoDePrueba', notNone=True, cascade=False)