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')
- def add_comando(self, orden, **kw):
- return ComandoPrueba(tarea=self, orden=orden, comando='', **kw)
+ 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()
#}}}
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)
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):
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')
#}}}
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):
# 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
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
def add_miembro(self, alumno, **kw):
if isinstance(alumno, AlumnoInscripto):
alumno = alumno.id
- return Miembro(grupo=self, alumnoID=alumno, **kw)
+ # 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):
def add_tutor(self, docente, **kw):
if isinstance(docente, DocenteInscripto):
docente = docente.id
- return Tutor(grupo=self, docenteID=docente, **kw)
+ # 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):
% (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)
- 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))
+ 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