]> git.llucax.com Git - software/sercom.git/blob - sercom/model.py
Bugfix. Elimina un JOIN que confundía grupo con rol.
[software/sercom.git] / sercom / model.py
1 # vim: set et sw=4 sts=4 encoding=utf-8 :
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
9 from turbogears import identity
10 from turbogears.identity import encrypt_password as encryptpw
11
12 hub = PackageHub("sercom")
13 __connection__ = hub
14
15 __all__ = ('Curso', 'Usuario', 'Docente', 'Alumno', 'Tarea', 'CasoDePrueba')
16
17 #{{{ Custom Columns
18
19 class TupleValidator(PickleValidator):
20     """
21     Validator for tuple types.  A tuple type is simply a pickle type
22     that validates that the represented type is a tuple.
23     """
24
25     def to_python(self, value, state):
26         value = super(TupleValidator, self).to_python(value, state)
27         if value is None:
28             return None
29         if isinstance(value, tuple):
30             return value
31         raise validators.Invalid("expected a tuple in the TupleCol '%s', got %s %r instead" % \
32             (self.name, type(value), value), value, state)
33
34     def from_python(self, value, state):
35         if value is None:
36             return None
37         if not isinstance(value, tuple):
38             raise validators.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
44     def __init__(self, **kw):
45         super(SOTupleCol, self).__init__(**kw)
46
47     def createValidators(self):
48         return [TupleValidator(name=self.name)] + \
49             super(SOPickleCol, self).createValidators()
50
51 class TupleCol(PickleCol):
52     baseClass = SOTupleCol
53
54 #}}}
55
56 #{{{ Tablas intermedias
57
58
59 # BUG en SQLObject, SQLExpression no tiene cálculo de hash pero se usa como
60 # key de un dict. Workarround hasta que lo arreglen.
61 SQLExpression.__hash__ = lambda self: hash(str(self))
62
63 instancia_tarea_t = table.instancia_tarea
64
65 enunciado_tarea_t = table.enunciado_tarea
66
67 dependencia_t = table.dependencia
68
69 #}}}
70
71 #{{{ Clases
72
73 def srepr(obj): #{{{
74     if obj is not None:
75         return obj.shortrepr()
76     return obj
77 #}}}
78
79 class ByObject(object): #{{{
80     @classmethod
81     def by(cls, **kw):
82         try:
83             return cls.selectBy(**kw)[0]
84         except IndexError:
85             raise SQLObjectNotFound, "The object %s with columns %s does not exist" % (cls.__name__, kw)
86 #}}}
87
88 class Curso(SQLObject, ByObject): #{{{
89     # Clave
90     anio            = IntCol(notNone=True)
91     cuatrimestre    = IntCol(notNone=True)
92     numero          = IntCol(notNone=True)
93     pk              = DatabaseIndex(anio, cuatrimestre, numero, unique=True)
94     # Campos
95     descripcion     = UnicodeCol(length=255, default=None)
96     # Joins
97     docentes        = MultipleJoin('DocenteInscripto')
98     alumnos         = MultipleJoin('AlumnoInscripto')
99     grupos          = MultipleJoin('Grupo')
100     ejercicios      = MultipleJoin('Ejercicio', orderBy='numero')
101
102     def __init__(self, anio, cuatrimestre, numero, descripcion=None,
103             docentes=[], ejercicios=[], **kargs):
104         SQLObject.__init__(self, anio=anio, cuatrimestre=cuatrimestre,
105             numero=numero, descripcion=descripcion, **kargs)
106         for d in docentes:
107             self.add_docente(d)
108         for (n, e) in enumerate(ejercicios):
109             self.add_ejercicio(n, e)
110
111     def add_docente(self, docente, *args, **kargs):
112         return DocenteInscripto(self, docente, *args, **kargs)
113
114     def add_alumno(self, alumno, *args, **kargs):
115         return AlumnoInscripto(self, alumno, *args, **kargs)
116
117     def add_grupo(self, nombre, *args, **kargs):
118         return Grupo(self, unicode(nombre), *args, **kargs)
119
120     def add_ejercicio(self, numero, enunciado, *args, **kargs):
121         return Ejercicio(self, numero, enunciado, *args, **kargs)
122
123     def __repr__(self):
124         return 'Curso(id=%s, anio=%s, cuatrimestre=%s, numero=%s, ' \
125             'descripcion=%s)' \
126                 % (self.id, self.anio, self.cuatrimestre, self.numero,
127                     self.descripcion)
128
129     def shortrepr(self):
130         return '%s.%s.%s' \
131             % (self.anio, self.cuatrimestre, self.numero, self.descripcion)
132 #}}}
133
134 class Usuario(InheritableSQLObject, ByObject): #{{{
135     # Clave (para docentes puede ser un nombre de usuario arbitrario)
136     usuario         = UnicodeCol(length=10, alternateID=True)
137     # Campos
138     contrasenia     = UnicodeCol(length=255, default=None)
139     nombre          = UnicodeCol(length=255, notNone=True)
140     email           = UnicodeCol(length=255, default=None)
141     telefono        = UnicodeCol(length=255, default=None)
142     creado          = DateTimeCol(notNone=True, default=DateTimeCol.now)
143     observaciones   = UnicodeCol(default=None)
144     activo          = BoolCol(notNone=True, default=True)
145     # Joins
146     roles           = RelatedJoin('Rol')
147
148     def _get_user_name(self): # para identity
149         return self.usuario
150
151     @classmethod
152     def by_user_name(cls, user_name): # para identity
153         user = cls.byUsuario(user_name)
154         if not user.activo:
155             raise SQLObjectNotFound, "The object %s with user_name %s is " \
156                 "not active" % (cls.__name__, user_name)
157         return user
158
159     def _get_groups(self): # para identity
160         return self.roles
161
162     def _get_permissions(self): # para identity
163         perms = set()
164         for g in self.groups:
165             perms.update(g.permisos)
166         return perms
167
168     def _set_password(self, cleartext_password): # para identity
169         self.contrasenia = encryptpw(cleartext_password)
170
171     def _get_password(self): # para identity
172         return self.contrasenia
173
174     def __repr__(self):
175         raise NotImplementedError, 'Clase abstracta!'
176
177     def shortrepr(self):
178         return '%s (%s)' % (self.usuario, self.nombre)
179 #}}}
180
181 class Docente(Usuario): #{{{
182     _inheritable = False
183     # Campos
184     nombrado        = BoolCol(notNone=True, default=True)
185     # Joins
186     enunciados      = MultipleJoin('Enunciado', joinColumn='autor_id')
187     inscripciones   = MultipleJoin('DocenteInscripto')
188
189     def __init__(self, usuario, nombre, password=None, email=None,
190             telefono=None, nombrado=True, activo=False, observaciones=None,
191             roles=[], **kargs):
192         passwd = password and encryptpw(password)
193         InheritableSQLObject.__init__(self, usuario=usuario, nombre=nombre,
194             contrasenia=passwd, email=email, telefono=telefono,
195             nombrado=nombrado, activo=activo, observaciones=observaciones,
196             **kargs)
197         for r in roles:
198             self.addRol(r)
199
200     def add_entrega(self, instancia, *args, **kargs):
201         return Entrega(instancia, *args, **kargs)
202
203     def add_enunciado(self, nombre, *args, **kargs):
204         return Enunciado(nombre, self, *args, **kargs)
205
206     def __repr__(self):
207         return 'Docente(id=%s, usuario=%s, nombre=%s, password=%s, email=%s, ' \
208             'telefono=%s, activo=%s, creado=%s, observaciones=%s)' \
209                 % (self.id, self.usuario, self.nombre, self.password,
210                     self.email, self.telefono, self.activo, self.creado,
211                     self.observaciones)
212 #}}}
213
214 class Alumno(Usuario): #{{{
215     _inheritable = False
216     # Campos
217     nota            = DecimalCol(size=3, precision=1, default=None)
218     # Joins
219     inscripciones   = MultipleJoin('AlumnoInscripto')
220
221     def __init__(self, padron, nombre, password=None, email=None,
222             telefono=None, activo=False, observaciones=None, roles=[], **kargs):
223         passwd = password and encryptpw(password)
224         InheritableSQLObject.__init__(self, usuario=padron, nombre=nombre,
225             email=email, contrasenia=passwd, telefono=telefono, activo=activo,
226             observaciones=observaciones, **kargs)
227         for r in roles:
228             self.addRol(r)
229
230     def _get_padron(self): # alias para poder referirse al alumno por padron
231         return self.usuario
232
233     def _set_padron(self, padron):
234         self.usuario = padron
235
236     def __repr__(self):
237         return 'Alumno(id=%s, padron=%s, nombre=%s, password=%s, email=%s, ' \
238             'telefono=%s, activo=%s, creado=%s, observaciones=%s)' \
239                 % (self.id, self.padron, self.nombre, self.password, self.email,
240                     self.telefono, self.activo, self.creado, self.observaciones)
241 #}}}
242
243 class Tarea(InheritableSQLObject, ByObject): #{{{
244     # Clave
245     nombre          = UnicodeCol(length=30, alternateID=True)
246     # Campos
247     descripcion     = UnicodeCol(length=255, default=None)
248     # Joins
249
250     def __init__(self, nombre, descripcion=None, dependencias=(), **kargs):
251         InheritableSQLObject.__init__(self, nombre=nombre,
252             descripcion=descripcion, **kargs)
253         if dependencias:
254             self.dependencias = dependencias
255
256     def _get_dependencias(self):
257         OtherTarea = Alias(Tarea, 'other_tarea')
258         self.__dependencias = tuple(Tarea.select(
259             AND(
260                 Tarea.q.id == dependencia_t.hijo_id,
261                 OtherTarea.q.id == dependencia_t.padre_id,
262                 self.id == dependencia_t.padre_id,
263             ),
264             clauseTables=(dependencia_t,),
265             orderBy=dependencia_t.orden,
266         ))
267         return self.__dependencias
268
269     def _set_dependencias(self, dependencias):
270         orden = {}
271         for i, t in enumerate(dependencias):
272             orden[t.id] = i
273         new = frozenset([t.id for t in dependencias])
274         old = frozenset([t.id for t in self.dependencias])
275         dependencias = dict([(t.id, t) for t in dependencias])
276         for tid in old - new: # eliminadas
277             self._connection.query(str(Delete(dependencia_t, where=AND(
278                 dependencia_t.padre_id == self.id,
279                 dependencia_t.hijo_id == tid))))
280         for tid in new - old: # creadas
281             self._connection.query(str(Insert(dependencia_t, values=dict(
282                 padre_id=self.id, hijo_id=tid, orden=orden[tid]
283             ))))
284         for tid in new & old: # actualizados
285             self._connection.query(str(Update(dependencia_t,
286                 values=dict(orden=orden[tid]), where=AND(
287                     dependencia_t.padre_id == self.id,
288                     dependencia_t.hijo_id == tid,
289                 ))))
290
291     def __repr__(self):
292         return 'Tarea(id=%s, nombre=%s, descripcion=%s)' \
293                 % (self.id, self.nombre, self.descripcion)
294
295     def shortrepr(self):
296         return self.nombre
297 #}}}
298
299 class Enunciado(SQLObject, ByObject): #{{{
300     # Clave
301     nombre          = UnicodeCol(length=60, alternateID=True)
302     # Campos
303     autor           = ForeignKey('Docente', notNone=True)
304     descripcion     = UnicodeCol(length=255, default=None)
305     creado          = DateTimeCol(notNone=True, default=DateTimeCol.now)
306     # Joins
307     ejercicios      = MultipleJoin('Ejercicio')
308     casos_de_prueba = MultipleJoin('CasoDePrueba')
309
310     def __init__(self, nombre, autor, descripcion=None, tareas=(),
311             **kargs):
312         SQLObject.__init__(self, nombre=nombre, autorID=autor.id,
313             descripcion=descripcion, **kargs)
314         if tareas:
315             self.tareas = tareas
316
317     def add_caso_de_prueba(self, nombre, *args, **kargs):
318         return CasoDePrueba(self, nombre, *args, **kargs)
319
320     def _get_tareas(self):
321         self.__tareas = tuple(Tarea.select(
322             AND(
323                 Tarea.q.id == enunciado_tarea_t.tarea_id,
324                 Enunciado.q.id == enunciado_tarea_t.enunciado_id,
325                 Enunciado.q.id == self.id
326             ),
327             clauseTables=(enunciado_tarea_t, Enunciado.sqlmeta.table),
328             orderBy=enunciado_tarea_t.orden,
329         ))
330         return self.__tareas
331
332     def _set_tareas(self, tareas):
333         orden = {}
334         for i, t in enumerate(tareas):
335             orden[t.id] = i
336         new = frozenset([t.id for t in tareas])
337         old = frozenset([t.id for t in self.tareas])
338         tareas = dict([(t.id, t) for t in tareas])
339         for tid in old - new: # eliminadas
340             self._connection.query(str(Delete(enunciado_tarea_t, where=AND(
341                 enunciado_tarea_t.enunciado_id == self.id,
342                 enunciado_tarea_t.tarea_id == tid))))
343         for tid in new - old: # creadas
344             self._connection.query(str(Insert(enunciado_tarea_t, values=dict(
345                 enunciado_id=self.id, tarea_id=tid, orden=orden[tid]
346             ))))
347         for tid in new & old: # actualizados
348             self._connection.query(str(Update(enunciado_tarea_t,
349                 values=dict(orden=orden[tid]), where=AND(
350                     enunciado_tarea_t.enunciado_id == self.id,
351                     enunciado_tarea_t.tarea_id == tid,
352                 ))))
353
354     def __repr__(self):
355         return 'Enunciado(id=%s, autor=%s, nombre=%s, descripcion=%s, ' \
356             'creado=%s)' \
357                 % (self.id, srepr(self.autor), self.nombre, self.descripcion, \
358                     self.creado)
359
360     def shortrepr(self):
361         return self.nombre
362 #}}}
363
364 class CasoDePrueba(SQLObject): #{{{
365     # Clave
366     enunciado       = ForeignKey('Enunciado')
367     nombre          = UnicodeCol(length=40, notNone=True)
368     pk              = DatabaseIndex(enunciado, nombre, unique=True)
369     # Campos
370 #    privado         = IntCol(default=None) TODO iria en instancia_de_entrega_caso_de_prueba
371     parametros      = TupleCol(notNone=True, default=())
372     retorno         = IntCol(default=None)
373     tiempo_cpu      = FloatCol(default=None)
374     descripcion     = UnicodeCol(length=255, default=None)
375     # Joins
376     pruebas         = MultipleJoin('Prueba')
377
378     def __init__(self, enunciado, nombre, parametros=(), retorno=None,
379             tiempo_cpu=None, descripcion=None, **kargs):
380         SQLObject.__init__(self, enunciadoID=enunciado.id, nombre=nombre,
381             parametros=parametros, retorno=retorno, tiempo_cpu=tiempo_cpu,
382             descripcion=descripcion, **kargs)
383
384     def __repr__(self):
385         return 'CasoDePrueba(enunciado=%s, nombre=%s, parametros=%s, ' \
386             'retorno=%s, tiempo_cpu=%s, descripcion=%s)' \
387                 % (self.enunciado.shortrepr(), self.nombre, self.parametros,
388                     self.retorno, self.tiempo_cpu, self.descripcion)
389
390     def shortrepr(self):
391         return '%s:%s' % (self.enunciado.shortrepr(), self.nombre)
392 #}}}
393
394 class Ejercicio(SQLObject, ByObject): #{{{
395     # Clave
396     curso           = ForeignKey('Curso', notNone=True)
397     numero          = IntCol(notNone=True)
398     pk              = DatabaseIndex(curso, numero, unique=True)
399     # Campos
400     enunciado       = ForeignKey('Enunciado', notNone=True)
401     grupal          = BoolCol(notNone=True, default=False)
402     # Joins
403     instancias      = MultipleJoin('InstanciaDeEntrega')
404
405     def __init__(self, curso, numero, enunciado, grupal=False, **kargs):
406         SQLObject.__init__(self, cursoID=curso.id, numero=numero,
407             enunciadoID=enunciado.id, grupal=grupal, **kargs)
408
409     def add_instancia(self, numero, inicio, fin, *args, **kargs):
410         return InstanciaDeEntrega(self, numero, inicio, fin, *args, **kargs)
411
412     def __repr__(self):
413         return 'Ejercicio(id=%s, curso=%s, numero=%s, enunciado=%s, ' \
414             'grupal=%s)' \
415                 % (self.id, self.curso.shortrepr(), self.numero,
416                     self.enunciado.shortrepr(), self.grupal)
417
418     def shortrepr(self):
419         return '(%s, %s, %s)' \
420             % (self.curso.shortrepr(), self.nombre, \
421                 self.enunciado.shortrepr())
422 #}}}
423
424 class InstanciaDeEntrega(SQLObject, ByObject): #{{{
425     # Clave
426     ejercicio       = ForeignKey('Ejercicio', notNone=True)
427     numero          = IntCol(notNone=True)
428     # Campos
429     inicio          = DateTimeCol(notNone=True)
430     fin             = DateTimeCol(notNone=True)
431     procesada       = BoolCol(notNone=True, default=False)
432     observaciones   = UnicodeCol(default=None)
433     activo          = BoolCol(notNone=True, default=True)
434     # Joins
435     entregas        = MultipleJoin('Entrega', joinColumn='instancia_id')
436     correcciones    = MultipleJoin('Correccion', joinColumn='instancia_id')
437     casos_de_prueba = RelatedJoin('CasoDePrueba') # TODO CasoInstancia -> private
438
439     def __init__(self, ejercicio, numero, inicio, fin, observaciones=None,
440             activo=True, tareas=(), **kargs):
441         SQLObject.__init__(self, ejercicioID=ejercicio.id, numero=numero,
442             fin=fin, inicio=inicio, observaciones=observaciones, activo=activo,
443             **kargs)
444         if tareas:
445             self.tareas = tareas
446
447     def _get_tareas(self):
448         self.__tareas = tuple(Tarea.select(
449             AND(
450                 Tarea.q.id == instancia_tarea_t.tarea_id,
451                 InstanciaDeEntrega.q.id == instancia_tarea_t.instancia_id,
452                 InstanciaDeEntrega.q.id == self.id,
453             ),
454             clauseTables=(instancia_tarea_t, InstanciaDeEntrega.sqlmeta.table),
455             orderBy=instancia_tarea_t.orden,
456         ))
457         return self.__tareas
458
459     def _set_tareas(self, tareas):
460         orden = {}
461         for i, t in enumerate(tareas):
462             orden[t.id] = i
463         new = frozenset([t.id for t in tareas])
464         old = frozenset([t.id for t in self.tareas])
465         tareas = dict([(t.id, t) for t in tareas])
466         for tid in old - new: # eliminadas
467             self._connection.query(str(Delete(instancia_tarea_t, where=AND(
468                 instancia_tarea_t.instancia_id == self.id,
469                 instancia_tarea_t.tarea_id == tid))))
470         for tid in new - old: # creadas
471             self._connection.query(str(Insert(instancia_tarea_t, values=dict(
472                 instancia_id=self.id, tarea_id=tid, orden=orden[tid]
473             ))))
474         for tid in new & old: # actualizados
475             self._connection.query(str(Update(instancia_tarea_t,
476                 values=dict(orden=orden[tid]), where=AND(
477                     instancia_tarea_t.instancia_id == self.id,
478                     instancia_tarea_t.tarea_id == tid,
479                 ))))
480
481     def __repr__(self):
482         return 'InstanciaDeEntrega(id=%s, numero=%s, inicio=%s, fin=%s, ' \
483             'procesada=%s, observaciones=%s, activo=%s)' \
484                 % (self.id, self.numero, self.inicio, self.fin,
485                     self.procesada, self.observaciones, self.activo)
486
487     def shortrepr(self):
488         return self.numero
489 #}}}
490
491 class DocenteInscripto(SQLObject, ByObject): #{{{
492     # Clave
493     curso           = ForeignKey('Curso', notNone=True)
494     docente         = ForeignKey('Docente', notNone=True)
495     pk              = DatabaseIndex(curso, docente, unique=True)
496     # Campos
497     corrige         = BoolCol(notNone=True, default=True)
498     observaciones   = UnicodeCol(default=None)
499     # Joins
500     alumnos         = MultipleJoin('AlumnoInscripto', joinColumn='tutor_id')
501     tutorias        = MultipleJoin('Tutor', joinColumn='docente_id')
502     entregas        = MultipleJoin('Entrega', joinColumn='instancia_id')
503     correcciones    = MultipleJoin('Correccion', joinColumn='corrector_id')
504
505     def __init__(self, curso, docente, corrige=True, observaciones=None,
506             **kargs):
507         SQLObject.__init__(self, cursoID=curso.id, docenteID=docente.id,
508             corrige=corrige, observaciones=observaciones, **kargs)
509
510     def add_correccion(self, entrega, *args, **kargs):
511         return Correccion(entrega.instancia, entrega.entregador, entrega,
512             self, *args, **kargs)
513
514     def __repr__(self):
515         return 'DocenteInscripto(id=%s, docente=%s, corrige=%s, ' \
516             'observaciones=%s' \
517                 % (self.id, self.docente.shortrepr(), self.corrige,
518                     self.observaciones)
519
520     def shortrepr(self):
521         return self.docente.shortrepr()
522 #}}}
523
524 class Entregador(InheritableSQLObject, ByObject): #{{{
525     # Campos
526     nota            = DecimalCol(size=3, precision=1, default=None)
527     nota_cursada    = DecimalCol(size=3, precision=1, default=None)
528     observaciones   = UnicodeCol(default=None)
529     activo          = BoolCol(notNone=True, default=True)
530     # Joins
531     entregas        = MultipleJoin('Entrega')
532     correcciones    = MultipleJoin('Correccion')
533
534     def add_entrega(self, instancia, *args, **kargs):
535         return Entrega(instancia, self, *args, **kargs)
536
537     def __repr__(self):
538         raise NotImplementedError, 'Clase abstracta!'
539 #}}}
540
541 class Grupo(Entregador): #{{{
542     _inheritable = False
543     # Clave
544     curso           = ForeignKey('Curso', notNone=True)
545     nombre          = UnicodeCol(length=20, notNone=True)
546     # Campos
547     responsable     = ForeignKey('AlumnoInscripto', default=None)
548     # Joins
549     miembros        = MultipleJoin('Miembro')
550     tutores         = MultipleJoin('Tutor')
551
552     def __init__(self, curso, nombre, responsable=None, **kargs):
553         resp_id = responsable and responsable.id
554         InheritableSQLObject.__init__(self, cursoID=curso.id, nombre=nombre,
555             responsableID=resp_id, **kargs)
556
557     def add_alumno(self, alumno, *args, **kargs):
558         return Miembro(self, alumno, *args, **kargs)
559
560     def add_docente(self, docente, *args, **kargs):
561         return Tutor(self, docente, *args, **kargs)
562
563     def __repr__(self):
564         return 'Grupo(id=%s, nombre=%s, responsable=%s, nota=%s, ' \
565             'nota_cursada=%s, observaciones=%s, activo=%s)' \
566                 % (self.id, self.nombre, srepr(self.responsable), self.nota,
567                     self.nota_cursada, self.observaciones, self.activo)
568
569     def shortrepr(self):
570         return 'grupo:' + self.nombre
571 #}}}
572
573 class AlumnoInscripto(Entregador): #{{{
574     _inheritable = False
575     # Clave
576     curso               = ForeignKey('Curso', notNone=True)
577     alumno              = ForeignKey('Alumno', notNone=True)
578     pk                  = DatabaseIndex(curso, alumno, unique=True)
579     # Campos
580     condicional         = BoolCol(notNone=True, default=False)
581     tutor               = ForeignKey('DocenteInscripto', default=None)
582     # Joins
583     responsabilidades   = MultipleJoin('Grupo', joinColumn='responsable_id')
584     membresias          = MultipleJoin('Miembro', joinColumn='alumno_id')
585     entregas            = MultipleJoin('Entrega', joinColumn='alumno_id')
586     correcciones        = MultipleJoin('Correccion', joinColumn='alumno_id')
587
588     def __init__(self, curso, alumno, condicional=False, tutor=None, **kargs):
589         tutor_id = tutor and tutor.id
590         InheritableSQLObject.__init__(self, cursoID=curso.id, tutorID=tutor_id,
591             alumnoID=alumno.id, condicional=condicional, **kargs)
592
593     def __repr__(self):
594         return 'AlumnoInscripto(id=%s, alumno=%s, condicional=%s, nota=%s, ' \
595             'nota_cursada=%s, tutor=%s, observaciones=%s, activo=%s)' \
596                 % (self.id, self.alumno.shortrepr(), self.condicional,
597                     self.nota, self.nota_cursada, srepr(self.tutor),
598                     self.observaciones, self.activo)
599
600     def shortrepr(self):
601         return self.alumno.shortrepr()
602 #}}}
603
604 class Tutor(SQLObject, ByObject): #{{{
605     # Clave
606     grupo           = ForeignKey('Grupo', notNone=True)
607     docente         = ForeignKey('DocenteInscripto', notNone=True)
608     pk              = DatabaseIndex(grupo, docente, unique=True)
609     # Campos
610     alta            = DateTimeCol(notNone=True, default=DateTimeCol.now)
611     baja            = DateTimeCol(default=None)
612
613     def __init__(self, grupo, docente, **kargs):
614         SQLObject.__init__(self, grupoID=grupo.id, docenteID=docente.id,
615             **kargs)
616
617     def __repr__(self):
618         return 'Tutor(docente=%s, grupo=%s, alta=%s, baja=%s)' \
619                 % (self.docente.shortrepr(), self.grupo.shortrepr(),
620                     self.alta, self.baja)
621
622     def shortrepr(self):
623         return '%s-%s' % (self.docente.shortrepr(), self.grupo.shortrepr())
624 #}}}
625
626 class Miembro(SQLObject, ByObject): #{{{
627     # Clave
628     grupo           = ForeignKey('Grupo', notNone=True)
629     alumno          = ForeignKey('AlumnoInscripto', notNone=True)
630     pk              = DatabaseIndex(grupo, alumno, unique=True)
631     # Campos
632     nota            = DecimalCol(size=3, precision=1, default=None)
633     alta            = DateTimeCol(notNone=True, default=DateTimeCol.now)
634     baja            = DateTimeCol(default=None)
635
636     def __init__(self, grupo, alumno, **kargs):
637         SQLObject.__init__(self, grupoID=grupo.id, alumnoID=alumno.id, **kargs)
638
639     def __repr__(self):
640         return 'Miembro(alumno=%s, grupo=%s, nota=%s, alta=%s, baja=%s)' \
641                 % (self.alumno.shortrepr(), self.grupo.shortrepr(),
642                     self.nota, self.alta, self.baja)
643
644     def shortrepr(self):
645         return '%s-%s' % (self.alumno.shortrepr(), self.grupo.shortrepr())
646 #}}}
647
648 class Entrega(SQLObject, ByObject): #{{{
649     # Clave
650     instancia       = ForeignKey('InstanciaDeEntrega', notNone=True)
651     entregador      = ForeignKey('Entregador', default=None) # Si es None era un Docente
652     fecha           = DateTimeCol(notNone=True, default=DateTimeCol.now)
653     pk              = DatabaseIndex(instancia, entregador, fecha, unique=True)
654     # Campos
655     correcta        = BoolCol(notNone=True, default=False)
656     observaciones   = UnicodeCol(default=None)
657     # Joins
658     tareas          = MultipleJoin('TareaEjecutada')
659     # Para generar código
660     codigo_dict     = r'0123456789abcdefghijklmnopqrstuvwxyz_.,*@#+'
661     codigo_format   = r'%m%d%H%M%S'
662
663     def __init__(self, instancia, entregador=None, observaciones=None, **kargs):
664         entregador_id = entregador and entregador.id
665         SQLObject.__init__(self, instanciaID=instancia.id,
666             entregadorID=entregador_id, observaciones=observaciones, **kargs)
667
668     def add_tarea_ejecutada(self, tarea, *args, **kargs):
669         return TareaEjecutada(tarea, self, *args, **kargs)
670
671     def _get_codigo(self):
672         if not hasattr(self, '_codigo'): # cache
673             n = long(self.fecha.strftime(Entrega.codigo_format))
674             d = Entrega.codigo_dict
675             l = len(d)
676             res = ''
677             while n:
678                     res += d[n % l]
679                     n /= l
680             self._codigo = res
681         return self._codigo
682
683     def _set_fecha(self, fecha):
684         self._SO_set_fecha(fecha)
685         if hasattr(self, '_codigo'): del self._codigo # bye, bye cache!
686
687     def __repr__(self):
688         return 'Entrega(instancia=%s, entregador=%s, codigo=%s, fecha=%s, ' \
689             'correcta=%s, observaciones=%s)' \
690                 % (self.instancia.shortrepr(), srepr(self.entregador),
691                     self.codigo, self.fecha, self.correcta, self.observaciones)
692
693     def shortrepr(self):
694         return '%s-%s-%s' % (self.instancia.shortrepr(), srepr(self.entregador),
695             self.codigo)
696 #}}}
697
698 class Correccion(SQLObject, ByObject): #{{{
699     # Clave
700     instancia       = ForeignKey('InstanciaDeEntrega', notNone=True)
701     entregador      = ForeignKey('Entregador', notNone=True) # Docente no tiene
702     pk              = DatabaseIndex(instancia, entregador, unique=True)
703     # Campos
704     entrega         = ForeignKey('Entrega', notNone=True)
705     corrector       = ForeignKey('DocenteInscripto', notNone=True)
706     asignado        = DateTimeCol(notNone=True, default=DateTimeCol.now)
707     corregido       = DateTimeCol(default=None)
708     nota            = DecimalCol(size=3, precision=1, default=None)
709     observaciones   = UnicodeCol(default=None)
710
711     def __init__(self, instancia, entregador, entrega, corrector=None,
712             observaciones=None, **kargs):
713         SQLObject.__init__(self, instanciaID=instancia.id, entregaID=entrega.id,
714             entregadorID=entregador.id, correctorID=corrector.id,
715             observaciones=observaciones, **kargs)
716
717     def __repr__(self):
718         return 'Correccion(instancia=%s, entregador=%s, entrega=%s, ' \
719             'corrector=%s, asignado=%s, corregido=%s, nota=%s, ' \
720             'observaciones=%s)' \
721                 % (self.instancia.shortrepr(), self.entregador.shortrepr(),
722                     self.entrega.shortrepr(), self.corrector, self.asignado,
723                     self.corregido, self.nota, self.observaciones)
724
725     def shortrepr(self):
726         return '%s,%s' % (self.entrega.shortrepr(), self.corrector.shortrepr())
727 #}}}
728
729 class TareaEjecutada(InheritableSQLObject, ByObject): #{{{
730     # Clave
731     tarea           = ForeignKey('Tarea', notNone=True)
732     entrega         = ForeignKey('Entrega', notNone=True)
733     pk              = DatabaseIndex(tarea, entrega, unique=True)
734     # Campos
735     inicio          = DateTimeCol(notNone=True, default=DateTimeCol.now)
736     fin             = DateTimeCol(default=None)
737     exito           = IntCol(default=None)
738     observaciones   = UnicodeCol(default=None)
739     # Joins
740     pruebas         = MultipleJoin('Prueba')
741
742     def __init__(self, tarea, entrega, observaciones=None, **kargs):
743         InheritableSQLObject.__init__(self, tareaID=tarea.id,
744             entregaID=entrega.id, observaciones=observaciones, **kargs)
745
746     def add_prueba(self, caso_de_prueba, *args, **kargs):
747         return Prueba(self, caso_de_prueba, *args, **kargs)
748
749     def __repr__(self):
750         return 'TareaEjecutada(tarea=%s, entrega=%s, inicio=%s, fin=%s, ' \
751             'exito=%s, observaciones=%s)' \
752                 % (self.tarea.shortrepr(), self.entrega.shortrepr(),
753                     self.inicio, self.fin, self.exito, self.observaciones)
754
755     def shortrepr(self):
756         return '%s-%s' % (self.tarea.shortrepr(), self.entrega.shortrepr())
757 #}}}
758
759 class Prueba(SQLObject): #{{{
760     # Clave
761     tarea_ejecutada = ForeignKey('TareaEjecutada', notNone=True)
762     caso_de_prueba  = ForeignKey('CasoDePrueba', notNone=True)
763     pk              = DatabaseIndex(tarea_ejecutada, caso_de_prueba, unique=True)
764     # Campos
765     inicio          = DateTimeCol(notNone=True, default=DateTimeCol.now)
766     fin             = DateTimeCol(default=None)
767     pasada          = IntCol(default=None)
768     observaciones   = UnicodeCol(default=None)
769
770     def __init__(self, tarea_ejecutada, caso_de_prueba, observaciones=None,
771             **kargs):
772         SQLObject.__init__(self, tarea_ejecutadaID=tarea_ejecutada.id,
773             caso_de_pruebaID=caso_de_prueba.id, observaciones=observaciones,
774             **kargs)
775
776     def __repr__(self):
777         return 'Prueba(tarea_ejecutada=%s, caso_de_prueba=%s, inicio=%s, ' \
778             'fin=%s, pasada=%s, observaciones=%s)' \
779                 % (self.tarea_ejecutada.shortrepr(),
780                     self.caso_de_prueba.shortrepr(), self.inicio, self.fin,
781                     self.pasada, self.observaciones)
782
783     def shortrepr(self):
784         return '%s:%s' % (self.tarea_ejecutada.shortrepr(),
785             self.caso_de_prueba.shortrerp())
786 #}}}
787
788 #{{{ Específico de Identity
789
790 class Visita(SQLObject): #{{{
791     visit_key   = StringCol(length=40, alternateID=True,
792                     alternateMethodName="by_visit_key")
793     created     = DateTimeCol(notNone=True, default=datetime.now)
794     expiry      = DateTimeCol()
795
796     @classmethod
797     def lookup_visit(cls, visit_key):
798         try:
799             return cls.by_visit_key(visit_key)
800         except SQLObjectNotFound:
801             return None
802 #}}}
803
804 class VisitaUsuario(SQLObject): #{{{
805     # Clave
806     visit_key   = StringCol(length=40, alternateID=True,
807                           alternateMethodName="by_visit_key")
808     # Campos
809     user_id     = IntCol() # Negrada de identity
810 #}}}
811
812 class Rol(SQLObject): #{{{
813     # Clave
814     nombre      = UnicodeCol(length=255, alternateID=True,
815                     alternateMethodName="by_group_name")
816     # Campos
817     descripcion = UnicodeCol(length=255, default=None)
818     creado      = DateTimeCol(notNone=True, default=datetime.now)
819     permisos    = TupleCol(notNone=True)
820     # Joins
821     usuarios    = RelatedJoin('Usuario')
822
823     def __init__(self, nombre, permisos=(), descripcion=None, **kargs):
824         SQLObject.__init__(self, nombre=nombre, permisos=permisos,
825             descripcion=descripcion, **kargs)
826 #}}}
827
828 # No es un SQLObject porque no tiene sentido agregar/sacar permisos, están
829 # hardcodeados en el código
830 class Permiso(object): #{{{
831     def __init__(self, nombre, descripcion):
832         self.nombre = nombre
833         self.descripcion = descripcion
834
835     @classmethod
836     def createTable(cls, ifNotExists): # para identity
837         pass
838
839     @property
840     def permission_name(self): # para identity
841         return self.nombre
842
843     def __repr__(self):
844         return self.nombre
845 #}}}
846
847 # TODO ejemplos
848 entregar_tp = Permiso(u'entregar', u'Permite entregar trabajos prácticos')
849 admin = Permiso(u'admin', u'Permite hacer ABMs arbitrarios')
850
851 #}}} Identity
852
853 #}}} Clases
854