]> git.llucax.com Git - software/sercom.git/blob - sercom/model.py
688fbb0ca400a254ca144dc23f1f7615c8539b91
[software/sercom.git] / sercom / model.py
1 # vim: set et sw=4 sts=4 encoding=utf-8 foldmethod=marker :
2
3 from datetime import datetime
4 from turbogears.database import PackageHub
5 from sqlobject import *
6 from sqlobject.sqlbuilder import *
7 from sqlobject.inheritance import InheritableSQLObject
8 from sqlobject.col import PickleValidator, UnicodeStringValidator
9 from turbogears import identity
10 from turbogears.identity import encrypt_password as encryptpw
11 from sercom.validators import params_to_list, ParseError
12 from formencode import Invalid
13
14 hub = PackageHub("sercom")
15 __connection__ = hub
16
17 __all__ = ('Curso', 'Usuario', 'Docente', 'Alumno', 'CasoDePrueba')
18
19 #{{{ Custom Columns
20
21 class TupleValidator(PickleValidator):
22     """
23     Validator for tuple types.  A tuple type is simply a pickle type
24     that validates that the represented type is a tuple.
25     """
26     def to_python(self, value, state):
27         value = super(TupleValidator, self).to_python(value, state)
28         if value is None:
29             return None
30         if isinstance(value, tuple):
31             return value
32         raise Invalid("expected a tuple in the TupleCol '%s', got %s %r instead" % \
33             (self.name, type(value), value), value, state)
34     def from_python(self, value, state):
35         if value is None:
36             return None
37         if not isinstance(value, tuple):
38             raise Invalid("expected a tuple in the TupleCol '%s', got %s %r instead" % \
39                 (self.name, type(value), value), value, state)
40         return super(TupleValidator, self).from_python(value, state)
41
42 class SOTupleCol(SOPickleCol):
43     def createValidators(self):
44         return [TupleValidator(name=self.name)] \
45             + super(SOPickleCol, self).createValidators()
46
47 class TupleCol(PickleCol):
48     baseClass = SOTupleCol
49
50 class ParamsValidator(UnicodeStringValidator):
51     def to_python(self, value, state):
52         if isinstance(value, basestring) or value is None:
53             value = super(ParamsValidator, self).to_python(value, state)
54             try:
55                 value = params_to_list(value)
56             except ParseError, e:
57                 raise Invalid("invalid parameters in the ParamsCol '%s', parse "
58                     "error: %s" % (self.name, e), value, state)
59         elif not isinstance(value, (list, tuple)):
60             raise Invalid("expected a tuple, list or valid string in the "
61                 "ParamsCol '%s', got %s %r instead"
62                     % (self.name, type(value), value), value, state)
63         return value
64     def from_python(self, value, state):
65         if isinstance(value, (list, tuple)):
66             value = ' '.join([repr(p) for p in value])
67         elif isinstance(value, basestring) or value is None:
68             value = super(ParamsValidator, self).to_python(value, state)
69             try:
70                 params_to_list(value)
71             except ParseError, e:
72                 raise Invalid("invalid parameters in the ParamsCol '%s', parse "
73                     "error: %s" % (self.name, e), value, state)
74         else:
75             raise Invalid("expected a tuple, list or valid string in the "
76                 "ParamsCol '%s', got %s %r instead"
77                     % (self.name, type(value), value), value, state)
78         return value
79
80 class SOParamsCol(SOUnicodeCol):
81     def createValidators(self):
82         return [ParamsValidator(db_encoding=self.dbEncoding, name=self.name)] \
83             + super(SOParamsCol, self).createValidators()
84
85 class ParamsCol(UnicodeCol):
86     baseClass = SOParamsCol
87
88 #}}}
89
90 #{{{ Clases
91
92 def srepr(obj): #{{{
93     if obj is not None:
94         return obj.shortrepr()
95     return obj
96 #}}}
97
98 class Curso(SQLObject): #{{{
99     # Clave
100     anio            = IntCol(notNone=True)
101     cuatrimestre    = IntCol(notNone=True)
102     numero          = IntCol(notNone=True)
103     pk              = DatabaseIndex(anio, cuatrimestre, numero, unique=True)
104     # Campos
105     descripcion     = UnicodeCol(length=255, default=None)
106     # Joins
107     docentes        = MultipleJoin('DocenteInscripto')
108     alumnos         = MultipleJoin('AlumnoInscripto')
109     grupos          = MultipleJoin('Grupo')
110     ejercicios      = MultipleJoin('Ejercicio', orderBy='numero')
111
112     def __init__(self, docentes=[], ejercicios=[], alumnos=[], **kw):
113         super(Curso, self).__init__(**kw)
114         for d in docentes:
115             self.add_docente(d)
116         for (n, e) in enumerate(ejercicios):
117             self.add_ejercicio(n, e)
118         for a in alumnos:
119             self.add_alumno(a)
120
121     def set(self, docentes=None, ejercicios=None, alumnos=None, **kw):
122         super(Curso, self).set(**kw)
123         if docentes is not None:
124             for d in DocenteInscripto.selectBy(curso=self):
125                 d.destroySelf()
126             for d in docentes:
127                 self.add_docente(d)
128         if ejercicios is not None:
129             for e in Ejercicio.selectBy(curso=self):
130                 e.destroySelf()
131             for (n, e) in enumerate(ejercicios):
132                 self.add_ejercicio(n+1, e)
133         if alumnos is not None:
134             for a in AlumnoInscripto.selectBy(curso=self):
135                 a.destroySelf()
136             for a in alumnos:
137                 self.add_alumno(a)
138
139     def add_docente(self, docente, **kw):
140         if isinstance(docente, Docente):
141             kw['docente'] = docente
142         else:
143             kw['docenteID'] = docente
144         return DocenteInscripto(curso=self, **kw)
145
146     def remove_docente(self, docente):
147         if isinstance(docente, Docente):
148             docente = docente.id
149         # FIXME esto deberian arreglarlo en SQLObject y debería ser
150         # DocenteInscripto.pk.get(self, docente).destroySelf()
151         DocenteInscripto.pk.get(self.id, docente).destroySelf()
152
153     def add_alumno(self, alumno, **kw):
154         if isinstance(alumno, Alumno):
155             kw['alumno'] = alumno
156         else:
157             kw['alumnoID'] = alumno
158         return AlumnoInscripto(curso=self, **kw)
159
160     def remove_alumno(self, alumno):
161         if isinstance(alumno, Alumno):
162             alumno = alumno.id
163         # FIXME esto deberian arreglarlo en SQLObject
164         AlumnoInscripto.pk.get(self.id, alumno).destroySelf()
165
166     def add_grupo(self, nombre, **kw):
167         return Grupo(curso=self, nombre=unicode(nombre), **kw)
168
169     def remove_grupo(self, nombre):
170         # FIXME esto deberian arreglarlo en SQLObject
171         Grupo.pk.get(self.id, nombre).destroySelf()
172
173     def add_ejercicio(self, numero, enunciado, **kw):
174         if isinstance(enunciado, Enunciado):
175             kw['enunciado'] = enunciado
176         else:
177             kw['enunciadoID'] = enunciado
178         return Ejercicio(curso=self, numero=numero, **kw)
179
180     def remove_ejercicio(self, numero):
181         # FIXME esto deberian arreglarlo en SQLObject
182         Ejercicio.pk.get(self.id, numero).destroySelf()
183
184     def __repr__(self):
185         return 'Curso(id=%s, anio=%s, cuatrimestre=%s, numero=%s, ' \
186             'descripcion=%s)' \
187                 % (self.id, self.anio, self.cuatrimestre, self.numero,
188                     self.descripcion)
189
190     def shortrepr(self):
191         return '%s.%s.%s' \
192             % (self.anio, self.cuatrimestre, self.numero)
193 #}}}
194
195 class Usuario(InheritableSQLObject): #{{{
196     # Clave (para docentes puede ser un nombre de usuario arbitrario)
197     usuario         = UnicodeCol(length=10, alternateID=True)
198     # Campos
199     contrasenia     = UnicodeCol(length=255, default=None)
200     nombre          = UnicodeCol(length=255, notNone=True)
201     email           = UnicodeCol(length=255, default=None)
202     telefono        = UnicodeCol(length=255, default=None)
203     creado          = DateTimeCol(notNone=True, default=DateTimeCol.now)
204     observaciones   = UnicodeCol(default=None)
205     activo          = BoolCol(notNone=True, default=True)
206     # Joins
207     roles           = RelatedJoin('Rol', addRemoveName='_rol')
208
209     def __init__(self, password=None, roles=[], **kw):
210         if password is not None:
211             kw['contrasenia'] = encryptpw(password)
212         super(Usuario, self).__init__(**kw)
213         for r in roles:
214             self.add_rol(r)
215
216     def set(self, password=None, roles=None, **kw):
217         if password is not None:
218             kw['contrasenia'] = encryptpw(password)
219         super(Usuario, self).set(**kw)
220         if roles is not None:
221             for r in self.roles:
222                 self.remove_rol(r)
223             for r in roles:
224                 self.add_rol(r)
225
226     def _get_user_name(self): # para identity
227         return self.usuario
228
229     @classmethod
230     def by_user_name(cls, user_name): # para identity
231         user = cls.byUsuario(user_name)
232         if not user.activo:
233             raise SQLObjectNotFound(_(u'El %s está inactivo' % cls.__name__))
234         return user
235
236     def _get_groups(self): # para identity
237         return self.roles
238
239     def _get_permissions(self): # para identity
240         perms = set()
241         for r in self.roles:
242             perms.update(r.permisos)
243         return perms
244
245     _get_permisos = _get_permissions
246
247     def _set_password(self, cleartext_password): # para identity
248         self.contrasenia = encryptpw(cleartext_password)
249
250     def _get_password(self): # para identity
251         return self.contrasenia
252
253     def __repr__(self):
254         raise NotImplementedError(_(u'Clase abstracta!'))
255
256     def shortrepr(self):
257         return '%s (%s)' % (self.usuario, self.nombre)
258 #}}}
259
260 class Docente(Usuario): #{{{
261     _inheritable = False
262     # Campos
263     nombrado    = BoolCol(notNone=True, default=True)
264     # Joins
265     enunciados  = MultipleJoin('Enunciado', joinColumn='autor_id')
266     cursos      = MultipleJoin('DocenteInscripto')
267
268     def add_entrega(self, instancia, **kw):
269         return Entrega(instancia=instancia, **kw)
270
271     def add_enunciado(self, nombre, anio, cuatrimestre, **kw):
272         return Enunciado(nombre=nombre, anio=anio, cuatrimestre=cuatrimestre,
273             autor=self, **kw)
274
275     def remove_enunciado(self, nombre, anio, cuatrimestre):
276         Enunciado.pk.get(nombre, anio, cuatrimestre).destroySelf()
277
278     def __repr__(self):
279         return 'Docente(id=%s, usuario=%s, nombre=%s, password=%s, email=%s, ' \
280             'telefono=%s, activo=%s, creado=%s, observaciones=%s)' \
281                 % (self.id, self.usuario, self.nombre, self.password,
282                     self.email, self.telefono, self.activo, self.creado,
283                     self.observaciones)
284 #}}}
285
286 class Alumno(Usuario): #{{{
287     _inheritable = False
288     # Campos
289     nota            = DecimalCol(size=3, precision=1, default=None)
290     # Joins
291     inscripciones   = MultipleJoin('AlumnoInscripto')
292
293     def __init__(self, padron=None, **kw):
294         if padron: kw['usuario'] = padron
295         super(Alumno, self).__init__(**kw)
296
297     def set(self, padron=None, **kw):
298         if padron: kw['usuario'] = padron
299         super(Alumno, self).set(**kw)
300
301     def _get_padron(self): # alias para poder referirse al alumno por padron
302         return self.usuario
303
304     def _set_padron(self, padron):
305         self.usuario = padron
306
307     @classmethod
308     def byPadron(cls, padron):
309         return cls.byUsuario(unicode(padron))
310
311     def __repr__(self):
312         return 'Alumno(id=%s, padron=%s, nombre=%s, password=%s, email=%s, ' \
313             'telefono=%s, activo=%s, creado=%s, observaciones=%s)' \
314                 % (self.id, self.padron, self.nombre, self.password, self.email,
315                     self.telefono, self.activo, self.creado, self.observaciones)
316 #}}}
317
318 class Tarea(InheritableSQLObject): #{{{
319     # Clave
320     nombre              = UnicodeCol(length=30, alternateID=True)
321     # Campos
322     descripcion         = UnicodeCol(length=255, default=None)
323     terminar_si_falla   = BoolCol(notNone=True, default=True)
324     rechazar_si_falla   = BoolCol(notNone=True, default=True)
325     # Joins
326     enunciados          = RelatedJoin('Enunciado', addRemoveName='_enunciado')
327
328     def __repr__(self):
329         raise NotImplementedError('Tarea es una clase abstracta')
330
331     def shortrepr(self):
332         return self.nombre
333 #}}}
334
335 class TareaFuente(Tarea): #{{{
336     # Joins
337     comandos    = MultipleJoin('ComandoFuente', joinColumn='tarea_id')
338
339     def add_comando(self, orden, comando, **kw):
340         return ComandoFuente(tarea=self, orden=orden, comando=comando, **kw)
341
342     def remove_comando(self, orden):
343         ComandoFuente.pk.get(self.id, orden).destroySelf()
344
345     def __repr__(self):
346         return 'TareaFuente(id=%s, nombre=%s, descripcion=%s)' \
347                 % (self.id, self.nombre, self.descripcion)
348 #}}}
349
350 class TareaPrueba(Tarea): #{{{
351     # Joins
352     comandos    = MultipleJoin('ComandoPrueba', joinColumn='tarea_id')
353
354     def add_comando(self, orden, comando, **kw):
355         return ComandoPrueba(tarea=self, orden=orden, comando=comando, **kw)
356
357     def remove_comando(self, orden):
358         ComandoPrueba.pk.get(self.id, orden).destroySelf()
359
360     def __repr__(self):
361         return 'TareaPrueba(id=%s, nombre=%s, descripcion=%s)' \
362                 % (self.id, self.nombre, self.descripcion)
363 #}}}
364
365 class Comando(InheritableSQLObject): #{{{
366     # Campos
367     comando             = ParamsCol(length=255, notNone=True)
368     descripcion         = UnicodeCol(length=255, default=None)
369     retorno             = IntCol(default=None)
370     terminar_si_falla   = BoolCol(notNone=True, default=True)
371     rechazar_si_falla   = BoolCol(notNone=True, default=True)
372     archivos_entrada    = BLOBCol(default=None) # ZIP con archivos de entrada
373                                                 # stdin es caso especial
374     archivos_salida     = BLOBCol(default=None) # ZIP con archivos de salida
375                                                 # stdout y stderr son especiales
376
377     def __repr__(self):
378         raise NotImplementedError('Comando es una clase abstracta')
379
380     def shortrepr(self):
381         return self.nombre
382 #}}}
383
384 class ComandoFuente(Comando): #{{{
385     # Clave
386     tarea       = ForeignKey('TareaFuente', notNone=True, cascade=True)
387     orden       = IntCol(notNone=True)
388     pk          = DatabaseIndex(tarea, orden, unique=True)
389     # Campos
390     tiempo_cpu  = FloatCol(default=None)
391
392     def ejecutar(self): pass # TODO
393
394     def __repr__(self):
395         return 'ComandoFuente(tarea=%s, orden=%s, comando=%s, descripcion=%s, ' \
396             'retorno=%s, tiempo_cpu=%s, terminar_si_falla=%s, ' \
397             'rechazar_si_falla=%s)' \
398                 % (srepr(self.tarea), self.orden, self.comando, self.descripcion,
399                     self.retorno, self.tiempo_cpu, self.terminar_si_falla,
400                     self.rechazar_si_falla)
401 #}}}
402
403 class ComandoPrueba(Comando): #{{{
404     # Clave
405     tarea               = ForeignKey('TareaPrueba', notNone=True, cascade=True)
406     orden               = IntCol(notNone=True)
407     pk                  = DatabaseIndex(tarea, orden, unique=True)
408     # Campos
409     multipl_tiempo_cpu  = FloatCol(notNone=True, default=1.0)
410
411     def ejecutar(self): pass # TODO
412
413     def __repr__(self):
414         return 'ComandoPrueba(tarea=%s, orden=%s, comando=%s, descripcion=%s, ' \
415             'retorno=%s, tiempo_cpu=%s, terminar_si_falla=%s, ' \
416             'rechazar_si_falla=%s)' \
417                 % (srepr(self.tarea), self.orden, self.comando, self.descripcion,
418                     self.retorno, self.tiempo_cpu, self.terminar_si_falla,
419                     self.rechazar_si_falla)
420 #}}}
421
422 class Enunciado(SQLObject): #{{{
423     # Clave
424     nombre          = UnicodeCol(length=60)
425     anio            = IntCol(notNone=True)
426     cuatrimestre    = IntCol(notNone=True)
427     pk              = DatabaseIndex(nombre, anio, cuatrimestre, unique=True)
428     # Campos
429     descripcion     = UnicodeCol(length=255, default=None)
430     autor           = ForeignKey('Docente', cascade='null')
431     creado          = DateTimeCol(notNone=True, default=DateTimeCol.now)
432     archivo         = BLOBCol(default=None)
433     archivo_name    = UnicodeCol(length=255, default=None)
434     archivo_type    = UnicodeCol(length=255, default=None)
435     # Joins
436     ejercicios      = MultipleJoin('Ejercicio')
437     casos_de_prueba = MultipleJoin('CasoDePrueba')
438     tareas          = RelatedJoin('Tarea', addRemoveName='_tarea')
439
440     def __init__(self, tareas=[], **kw):
441         super(Enunciado, self).__init__(**kw)
442         for tarea in tareas:
443             self.add_tarea(tarea)
444
445     def set(self, tareas=None, **kw):
446         super(Enunciado, self).set(**kw)
447         if tareas is not None:
448             for tarea in self.tareas:
449                 self.remove_tarea(tarea)
450             for tarea in tareas:
451                 self.add_tarea(tarea)
452
453     @classmethod
454     def selectByCurso(self, curso):
455         return Enunciado.selectBy(cuatrimestre=curso.cuatrimestre, anio=curso.anio)
456
457     def add_caso_de_prueba(self, nombre, **kw):
458         return CasoDePrueba(enunciado=self, nombre=nombre, **kw)
459
460     def __repr__(self):
461         return 'Enunciado(id=%s, autor=%s, nombre=%s, descripcion=%s, ' \
462             'creado=%s)' \
463                 % (self.id, srepr(self.autor), self.nombre, self.descripcion, \
464                     self.creado)
465
466     def shortrepr(self):
467         return self.nombre
468 #}}}
469
470 class CasoDePrueba(SQLObject): #{{{
471     # Clave
472     enunciado           = ForeignKey('Enunciado', cascade=True)
473     nombre              = UnicodeCol(length=40, notNone=True)
474     pk                  = DatabaseIndex(enunciado, nombre, unique=True)
475     # Campos
476     descripcion         = UnicodeCol(length=255, default=None)
477     terminar_si_falla   = BoolCol(notNone=True, default=False)
478     rechazar_si_falla   = BoolCol(notNone=True, default=True)
479     parametros          = ParamsCol(length=255, default=None)
480     retorno             = IntCol(default=None)
481     tiempo_cpu          = FloatCol(default=None)
482     archivos_entrada    = BLOBCol(default=None) # ZIP con archivos de entrada
483                                                 # stdin es caso especial
484     archivos_salida     = BLOBCol(default=None) # ZIP con archivos de salida
485                                                 # stdout y stderr son especiales
486     activo              = BoolCol(notNone=True, default=True)
487     # Joins
488     pruebas             = MultipleJoin('Prueba')
489
490     def __repr__(self):
491         return 'CasoDePrueba(enunciado=%s, nombre=%s, parametros=%s, ' \
492             'retorno=%s, tiempo_cpu=%s, descripcion=%s)' \
493                 % (srepr(self.enunciado), self.nombre, self.parametros,
494                     self.retorno, self.tiempo_cpu, self.descripcion)
495
496     def shortrepr(self):
497         return '%s:%s' % (self.enunciado.shortrepr(), self.nombre)
498 #}}}
499
500 class Ejercicio(SQLObject): #{{{
501     # Clave
502     curso           = ForeignKey('Curso', notNone=True, cascade=True)
503     numero          = IntCol(notNone=True)
504     pk              = DatabaseIndex(curso, numero, unique=True)
505     # Campos
506     enunciado       = ForeignKey('Enunciado', notNone=True, cascade=False)
507     grupal          = BoolCol(default=False) # None es grupal o individual
508     # Joins
509     instancias      = MultipleJoin('InstanciaDeEntrega')
510
511     def add_instancia(self, numero, inicio, fin, **kw):
512         return InstanciaDeEntrega(ejercicio=self, numero=numero, inicio=inicio,
513             fin=fin, **kw)
514
515     def remove_instancia(self, numero):
516         # FIXME self.id
517         InstanciaDeEntrega.pk.get(self.id, numero).destroySelf()
518
519     def __repr__(self):
520         return 'Ejercicio(id=%s, curso=%s, numero=%s, enunciado=%s, ' \
521             'grupal=%s)' \
522                 % (self.id, self.curso.shortrepr(), self.numero,
523                     self.enunciado.shortrepr(), self.grupal)
524
525     def shortrepr(self):
526         return '(%s, %s, %s)' \
527             % (self.curso.shortrepr(), str(self.numero), \
528                 self.enunciado.shortrepr())
529 #}}}
530
531 class InstanciaDeEntrega(SQLObject): #{{{
532     # Clave
533     ejercicio       = ForeignKey('Ejercicio', notNone=True, cascade=True)
534     numero          = IntCol(notNone=True)
535     pk              = DatabaseIndex(ejercicio, numero, unique=True)
536     # Campos
537     inicio          = DateTimeCol(notNone=True)
538     fin             = DateTimeCol(notNone=True)
539     procesada       = BoolCol(notNone=True, default=False)
540     observaciones   = UnicodeCol(default=None)
541     activo          = BoolCol(notNone=True, default=True)
542     # Joins
543     entregas        = MultipleJoin('Entrega', joinColumn='instancia_id')
544     correcciones    = MultipleJoin('Correccion', joinColumn='instancia_id')
545
546     def __repr__(self):
547         return 'InstanciaDeEntrega(id=%s, numero=%s, inicio=%s, fin=%s, ' \
548             'procesada=%s, observaciones=%s, activo=%s)' \
549                 % (self.id, self.numero, self.inicio, self.fin,
550                     self.procesada, self.observaciones, self.activo)
551
552     def shortrepr(self):
553         return self.numero
554 #}}}
555
556 class DocenteInscripto(SQLObject): #{{{
557     # Clave
558     curso           = ForeignKey('Curso', notNone=True, cascade=True)
559     docente         = ForeignKey('Docente', notNone=True, cascade=True)
560     pk              = DatabaseIndex(curso, docente, unique=True)
561     # Campos
562     corrige         = BoolCol(notNone=True, default=True)
563     observaciones   = UnicodeCol(default=None)
564     # Joins
565     alumnos         = MultipleJoin('AlumnoInscripto', joinColumn='tutor_id')
566     tutorias        = MultipleJoin('Tutor', joinColumn='docente_id')
567     correcciones    = MultipleJoin('Correccion', joinColumn='corrector_id')
568
569     def add_correccion(self, entrega, **kw):
570         return Correccion(instancia=entrega.instancia, entrega=entrega,
571             entregador=entrega.entregador, corrector=self, **kw)
572
573     def remove_correccion(self, instancia, entregador):
574         # FIXME instancia.id, entregador.id
575         Correccion.pk.get(instancia.id, entregador.id).destroySelf()
576
577     def __repr__(self):
578         return 'DocenteInscripto(id=%s, docente=%s, corrige=%s, ' \
579             'observaciones=%s' \
580                 % (self.id, self.docente.shortrepr(), self.corrige,
581                     self.observaciones)
582
583     def shortrepr(self):
584         return self.docente.shortrepr()
585 #}}}
586
587 class Entregador(InheritableSQLObject): #{{{
588     # Campos
589     nota            = DecimalCol(size=3, precision=1, default=None)
590     nota_cursada    = DecimalCol(size=3, precision=1, default=None)
591     observaciones   = UnicodeCol(notNone=True, default=u'')
592     activo          = BoolCol(notNone=True, default=True)
593     # Joins
594     entregas        = MultipleJoin('Entrega')
595     correcciones    = MultipleJoin('Correccion')
596
597     def add_entrega(self, instancia, **kw):
598         return Entrega(instancia=instancia, entregador=self, **kw)
599
600     def __repr__(self):
601         raise NotImplementedError, 'Clase abstracta!'
602 #}}}
603
604 class Grupo(Entregador): #{{{
605     _inheritable = False
606     # Clave
607     curso           = ForeignKey('Curso', notNone=True, cascade=True)
608     nombre          = UnicodeCol(length=20, notNone=True)
609     pk              = DatabaseIndex(curso, nombre, unique=True)
610     # Campos
611     responsable     = ForeignKey('AlumnoInscripto', default=None, cascade='null')
612     # Joins
613     miembros        = MultipleJoin('Miembro')
614     tutores         = MultipleJoin('Tutor')
615
616     def __init__(self, miembros=[], tutores=[], **kw):
617         super(Grupo, self).__init__(**kw)
618         for a in miembros:
619             self.add_miembro(a)
620         for d in tutores:
621             self.add_tutor(d)
622
623     def set(self, miembros=None, tutores=None, **kw):
624         super(Grupo, self).set(**kw)
625         if miembros is not None:
626             for m in Miembro.selectBy(grupo=self):
627                 m.destroySelf()
628             for m in miembros:
629                 self.add_miembro(m)
630         if tutores is not None:
631             for t in Tutor.selectBy(grupo=self):
632                 t.destroySelf()
633             for t in tutores:
634                 self.add_tutor(t)
635
636     _doc_alumnos = 'Devuelve una lista de AlumnoInscriptos **activos**.'
637     def _get_alumnos(self):
638         return list([m.alumno for m in Miembro.selectBy(grupo=self, baja=None)])
639
640     _doc_docentes = 'Devuelve una lista de DocenteInscriptos **activos**.'
641     def _get_docentes(self):
642         return list([t.docente for t in Tutor.selectBy(grupo=self, baja=None)])
643
644     def add_miembro(self, alumno, **kw):
645         if isinstance(alumno, AlumnoInscripto):
646             alumno = alumno.id
647         return Miembro(grupo=self, alumnoID=alumno, **kw)
648
649     def remove_miembro(self, alumno):
650         if isinstance(alumno, AlumnoInscripto):
651             alumno = alumno.id
652         m = Miembro.selectBy(grupo=self, alumnoID=alumno, baja=None).getOne()
653         m.baja = DateTimeCol.now()
654
655     def add_tutor(self, docente, **kw):
656         if isinstance(docente, DocenteInscripto):
657             docente = docente.id
658         return Tutor(grupo=self, docenteID=docente, **kw)
659
660     def remove_tutor(self, docente):
661         if isinstance(docente, DocenteInscripto):
662             docente = docente.id
663         t = Tutor.selectBy(grupo=self, docenteID=docente, baja=None)
664         t.baja = DateTimeCol.now()
665
666     def __repr__(self):
667         return 'Grupo(id=%s, nombre=%s, responsable=%s, nota=%s, ' \
668             'nota_cursada=%s, observaciones=%s, activo=%s)' \
669                 % (self.id, self.nombre, srepr(self.responsable), self.nota,
670                     self.nota_cursada, self.observaciones, self.activo)
671
672     def shortrepr(self):
673         return 'grupo:' + self.nombre
674 #}}}
675
676 class AlumnoInscripto(Entregador): #{{{
677     _inheritable = False
678     # Clave
679     curso               = ForeignKey('Curso', notNone=True, cascade=True)
680     alumno              = ForeignKey('Alumno', notNone=True, cascade=True)
681     pk                  = DatabaseIndex(curso, alumno, unique=True)
682     # Campos
683     condicional         = BoolCol(notNone=True, default=False)
684     tutor               = ForeignKey('DocenteInscripto', default=None, cascade='null')
685     # Joins
686     responsabilidades   = MultipleJoin('Grupo', joinColumn='responsable_id')
687     membresias          = MultipleJoin('Miembro', joinColumn='alumno_id')
688     entregas            = MultipleJoin('Entrega', joinColumn='alumno_id')
689     correcciones        = MultipleJoin('Correccion', joinColumn='alumno_id')
690
691     def _get_nombre(self):
692         return self.alumno.padron
693
694     def __repr__(self):
695         return 'AlumnoInscripto(id=%s, alumno=%s, condicional=%s, nota=%s, ' \
696             'nota_cursada=%s, tutor=%s, observaciones=%s, activo=%s)' \
697                 % (self.id, self.alumno.shortrepr(), self.condicional,
698                     self.nota, self.nota_cursada, srepr(self.tutor),
699                     self.observaciones, self.activo)
700
701     def shortrepr(self):
702         return self.alumno.shortrepr()
703 #}}}
704
705 class Tutor(SQLObject): #{{{
706     # Clave
707     grupo           = ForeignKey('Grupo', notNone=True, cascade=True)
708     docente         = ForeignKey('DocenteInscripto', notNone=True, cascade=True)
709     pk              = DatabaseIndex(grupo, docente, unique=True)
710     # Campos
711     alta            = DateTimeCol(notNone=True, default=DateTimeCol.now)
712     baja            = DateTimeCol(default=None)
713
714     def __repr__(self):
715         return 'Tutor(docente=%s, grupo=%s, alta=%s, baja=%s)' \
716                 % (self.docente.shortrepr(), self.grupo.shortrepr(),
717                     self.alta, self.baja)
718
719     def shortrepr(self):
720         return '%s-%s' % (self.docente.shortrepr(), self.grupo.shortrepr())
721 #}}}
722
723 class Miembro(SQLObject): #{{{
724     # Clave
725     grupo           = ForeignKey('Grupo', notNone=True, cascade=True)
726     alumno          = ForeignKey('AlumnoInscripto', notNone=True, cascade=True)
727     pk              = DatabaseIndex(grupo, alumno, unique=True)
728     # Campos
729     nota            = DecimalCol(size=3, precision=1, default=None)
730     alta            = DateTimeCol(notNone=True, default=DateTimeCol.now)
731     baja            = DateTimeCol(default=None)
732
733     def __repr__(self):
734         return 'Miembro(alumno=%s, grupo=%s, nota=%s, alta=%s, baja=%s)' \
735                 % (self.alumno.shortrepr(), self.grupo.shortrepr(),
736                     self.nota, self.alta, self.baja)
737
738     def shortrepr(self):
739         return '%s-%s' % (self.alumno.shortrepr(), self.grupo.shortrepr())
740 #}}}
741
742 class Entrega(SQLObject): #{{{
743     # Clave
744     instancia           = ForeignKey('InstanciaDeEntrega', notNone=True, cascade=False)
745     entregador          = ForeignKey('Entregador', default=None, cascade=False) # Si es None era un Docente
746     fecha               = DateTimeCol(notNone=True, default=DateTimeCol.now)
747     pk                  = DatabaseIndex(instancia, entregador, fecha, unique=True)
748     # Campos
749     archivos            = BLOBCol(notNone=True) # ZIP con fuentes de la entrega
750     correcta            = BoolCol(default=None) # None es que no se sabe qué pasó
751     inicio_tareas       = DateTimeCol(default=None) # Si es None no se procesó
752     fin_tareas          = DateTimeCol(default=None) # Si es None pero inicio no, se está procesando
753     observaciones       = UnicodeCol(notNone=True, default=u'')
754     # Joins
755     comandos_ejecutados = MultipleJoin('ComandoFuenteEjecutado')
756     pruebas             = MultipleJoin('Prueba')
757
758     def add_comando_ejecutado(self, comando, **kw):
759         return ComandoFuenteEjecutado(entrega=self, comando=comando, **kw)
760
761     def remove_comando_ejecutado(self, comando):
762         if isinstance(comando, ComandoFuente):
763             comando = comando.id
764         # FIXME self.id
765         ComandoFuenteEjecutado.pk.get(self.id, comando).destroySelf()
766
767     def add_prueba(self, caso_de_prueba, **kw):
768         return Prueba(entrega=self, caso_de_prueba=caso_de_prueba, **kw)
769
770     def remove_prueba(self, caso_de_prueba):
771         if isinstance(caso_de_prueba, CasoDePrueba):
772             caso_de_prueba = caso_de_prueba.id
773         # FIXME self.id, caso_de_prueba
774         Prueba.pk.get(self.id, caso_de_prueba).destroySelf()
775
776     def __repr__(self):
777         return 'Entrega(id=%s, instancia=%s, entregador=%s, fecha=%s, ' \
778             'correcta=%s, inicio_tareas=%s, fin_tareas=%s, observaciones=%s)' \
779                 % (self.id, self.instancia.shortrepr(), srepr(self.entregador),
780                     self.fecha, self.inicio_tareas, self.fin_tareas,
781                     self.correcta, self.observaciones)
782
783     def shortrepr(self):
784         return '%s-%s-%s' % (self.instancia.shortrepr(),
785             srepr(self.entregador), self.fecha)
786 #}}}
787
788 class Correccion(SQLObject): #{{{
789     # Clave
790     instancia       = ForeignKey('InstanciaDeEntrega', notNone=True, cascade=False)
791     entregador      = ForeignKey('Entregador', notNone=True, cascade=False) # Docente no tiene
792     pk              = DatabaseIndex(instancia, entregador, unique=True)
793     # Campos
794     entrega         = ForeignKey('Entrega', notNone=True, cascade=False)
795     corrector       = ForeignKey('DocenteInscripto', default=None, cascade='null')
796     asignado        = DateTimeCol(notNone=True, default=DateTimeCol.now)
797     corregido       = DateTimeCol(default=None)
798     nota            = DecimalCol(size=3, precision=1, default=None)
799     observaciones   = UnicodeCol(default=None)
800
801     def _get_entregas(self):
802         return list(Entrega.selectBy(instancia=self.instancia, entregador=self.entregador))
803
804     def __repr__(self):
805         return 'Correccion(instancia=%s, entregador=%s, entrega=%s, ' \
806             'corrector=%s, asignado=%s, corregido=%s, nota=%s, ' \
807             'observaciones=%s)' \
808                 % (self.instancia.shortrepr(), self.entregador.shortrepr(),
809                     self.entrega.shortrepr(), self.corrector, self.asignado,
810                     self.corregido, self.nota, self.observaciones)
811
812     def shortrepr(self):
813         if not self.corrector:
814             return '%s' % self.entrega.shortrepr()
815         return '%s,%s' % (self.entrega.shortrepr(), self.corrector.shortrepr())
816 #}}}
817
818 class ComandoEjecutado(InheritableSQLObject): #{{{
819     # Campos
820     inicio          = DateTimeCol(notNone=True, default=DateTimeCol.now)
821     fin             = DateTimeCol(default=None)
822     exito           = IntCol(default=None)
823     observaciones   = UnicodeCol(notNone=True, default=u'')
824
825     def __repr__(self):
826         raise NotImplementedError('ComandoEjecutado es una clase abstracta')
827 #}}}
828
829 class ComandoFuenteEjecutado(ComandoEjecutado): #{{{
830     # Clave
831     comando = ForeignKey('ComandoFuente', notNone=True, cascade=False)
832     entrega = ForeignKey('Entrega', notNone=True, cascade=False)
833     pk      = DatabaseIndex(comando, entrega, unique=True)
834
835     def __repr__(self):
836         return 'ComandoFuenteEjecutado(comando=%s, entrega=%s, inicio=%s, ' \
837             'fin=%s, exito=%s, observaciones=%s)' \
838                 % (self.comando.shortrepr(), self.entrega.shortrepr(),
839                     self.inicio, self.fin, self.exito, self.observaciones)
840
841     def shortrepr(self):
842         return '%s-%s' % (self.tarea.shortrepr(), self.entrega.shortrepr())
843 #}}}
844
845 class ComandoPruebaEjecutado(ComandoEjecutado): #{{{
846     # Clave
847     comando = ForeignKey('ComandoPrueba', notNone=True, cascade=False)
848     prueba  = ForeignKey('Prueba', notNone=True, cascade=False)
849     pk      = DatabaseIndex(comando, prueba, unique=True)
850
851     def __repr__(self):
852         return 'ComandoPruebaEjecutado(comando=%s, prueba=%s, inicio=%s, ' \
853             'fin=%s, exito=%s, observaciones=%s)' \
854                 % (self.comando.shortrepr(), self.prueba.shortrepr(),
855                     self.inicio, self.fin, self.exito, self.observaciones)
856
857     def shortrepr(self):
858         return '%s:%s:%s' % (self.tarea.shortrepr(), self.entrega.shortrerp(),
859             self.caso_de_prueba.shortrerp())
860 #}}}
861
862 class Prueba(SQLObject): #{{{
863     # Clave
864     entrega             = ForeignKey('Entrega', notNone=True, cascade=False)
865     caso_de_prueba      = ForeignKey('CasoDePrueba', notNone=True, cascade=False)
866     pk                  = DatabaseIndex(entrega, caso_de_prueba, unique=True)
867     # Campos
868     inicio              = DateTimeCol(notNone=True, default=DateTimeCol.now)
869     fin                 = DateTimeCol(default=None)
870     pasada              = IntCol(default=None)
871     observaciones       = UnicodeCol(notNone=True, default=u'')
872     # Joins
873     comandos_ejecutados = MultipleJoin('ComandoPruebaEjecutado')
874
875     def add_comando_ejecutado(self, comando, **kw):
876         if isinstance(comando, ComandoPrueba):
877             comando = comando.id
878         return ComandoPruebaEjecutado(prueba=self, comandoID=comando, **kw)
879
880     def remove_comando_ejecutado(self, comando):
881         if isinstance(comando, ComandoPrueba):
882             comando = comando.id
883         # FIXME self.id, comando.id
884         ComandoPruebaEjecutado.pk.get(self.id, comando).destroySelf()
885
886     def __repr__(self):
887         return 'Prueba(entrega=%s, caso_de_prueba=%s, inicio=%s, fin=%s, ' \
888             'pasada=%s, observaciones=%s)' \
889                 % (self.entrega.shortrepr(), self.caso_de_prueba.shortrepr(),
890                 self.inicio, self.fin, self.pasada, self.observaciones)
891
892     def shortrepr(self):
893         return '%s:%s' % (self.entrega.shortrepr(),
894             self.caso_de_prueba.shortrerp())
895 #}}}
896
897 #{{{ Específico de Identity
898
899 class Visita(SQLObject): #{{{
900     visit_key   = StringCol(length=40, alternateID=True,
901                     alternateMethodName="by_visit_key")
902     created     = DateTimeCol(notNone=True, default=datetime.now)
903     expiry      = DateTimeCol()
904
905     @classmethod
906     def lookup_visit(cls, visit_key):
907         try:
908             return cls.by_visit_key(visit_key)
909         except SQLObjectNotFound:
910             return None
911 #}}}
912
913 class VisitaUsuario(SQLObject): #{{{
914     # Clave
915     visit_key   = StringCol(length=40, alternateID=True,
916                           alternateMethodName="by_visit_key")
917     # Campos
918     user_id     = IntCol() # Negrada de identity
919 #}}}
920
921 class Rol(SQLObject): #{{{
922     # Clave
923     nombre      = UnicodeCol(length=255, alternateID=True,
924                     alternateMethodName='by_nombre')
925     # Campos
926     descripcion = UnicodeCol(length=255, default=None)
927     creado      = DateTimeCol(notNone=True, default=datetime.now)
928     permisos    = TupleCol(notNone=True)
929     # Joins
930     usuarios    = RelatedJoin('Usuario', addRemoveName='_usuario')
931
932     def by_group_name(self, name): # para identity
933         return self.by_nombre(name)
934 #}}}
935
936 # No es un SQLObject porque no tiene sentido agregar/sacar permisos, están
937 # hardcodeados en el código
938 class Permiso(object): #{{{
939     max_valor = 1
940     def __init__(self, nombre, descripcion):
941         self.valor = Permiso.max_valor
942         Permiso.max_valor <<= 1
943         self.nombre = nombre
944         self.descripcion = descripcion
945
946     @classmethod
947     def createTable(cls, ifNotExists): # para identity
948         pass
949
950     @property
951     def permission_name(self): # para identity
952         return self.nombre
953
954     def __and__(self, other):
955         return self.valor & other.valor
956
957     def __or__(self, other):
958         return self.valor | other.valor
959
960     def __repr__(self):
961         return self.nombre
962 #}}}
963
964 # TODO ejemplos
965 entregar_tp = Permiso(u'entregar', u'Permite entregar trabajos prácticos')
966 admin = Permiso(u'admin', u'Permite hacer ABMs arbitrarios')
967
968 #}}} Identity
969
970 #}}} Clases
971