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
+ # Si un caso de prueba tiene
+ # comandos que tiene algún
+ # archivo de entrada (incluyendo
+ # stdin) con los propios, se usa
+ # el archivo del caso de prueba,
+ # no del comando.
archivos_a_comparar = BLOBCol(default=None) # ZIP con archivos de salida
- # __stdout__ y __stderr__
+ # __stdout__, __stderr__ y
+ # __stdouterr__ (ambos juntos)
# son casos especiales
- archivos_a_guardar = TupleCol(notNone=True, default=())
- # __stdout__ y __stderr__
+ # Si un caso de prueba tiene
+ # comandos que tiene algún
+ # archivo a comparar (incluyendo
+ # stdout/err) con los propios,
+ # se compara contra el archivo
+ # del caso de prueba, no del
+ # comando.
+ archivos_a_guardar = TupleCol(notNone=True, default=()) # TODO FrozenSetCol
+ # __stdout__, __stderr__ y
+ # __stdouterr__ (ambos juntos)
# son casos especiales
activo = BoolCol(notNone=True, default=True)
#}}}
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):
@classmethod
def selectByAlumno(self, alumno):
return Miembro.select(AND(Miembro.q.alumnoID == AlumnoInscripto.q.id,
- AlumnoInscripto.q.alumnoID == alumno.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
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)
- 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(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)
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)
projects / software / sercom.git / blobdiff