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