30
30
from storm.locals import create_database, Store, Int, Unicode, DateTime, \
31
31
Reference, ReferenceSet, Bool, Storm, Desc
32
from storm.exceptions import NotOneError, IntegrityError
35
from ivle.worksheet.rst import rst
37
36
__all__ = ['get_store',
40
39
'ProjectSet', 'Project', 'ProjectGroup', 'ProjectGroupMembership',
41
40
'Exercise', 'Worksheet', 'WorksheetExercise',
42
41
'ExerciseSave', 'ExerciseAttempt',
43
'TestCase', 'TestSuite', 'TestSuiteVar'
42
'AlreadyEnrolledError', 'TestCase', 'TestSuite', 'TestSuiteVar'
46
45
def _kwarg_init(self, **kwargs):
55
54
Returns the Storm connection string, generated from the conf file.
60
clusterstr += ivle.conf.db_user
61
if ivle.conf.db_password:
62
clusterstr += ':' + ivle.conf.db_password
65
host = ivle.conf.db_host or 'localhost'
66
port = ivle.conf.db_port or 5432
68
clusterstr += '%s:%d' % (host, port)
70
return "postgres://%s/%s" % (clusterstr, ivle.conf.db_dbname)
56
return "postgres://%s:%s@%s:%d/%s" % (ivle.conf.db_user,
57
ivle.conf.db_password, ivle.conf.db_host, ivle.conf.db_port,
100
88
studentid = Unicode()
101
89
settings = Unicode()
92
if self.rolenm is None:
94
return ivle.caps.Role(self.rolenm)
95
def _set_role(self, value):
96
if not isinstance(value, ivle.caps.Role):
97
raise TypeError("role must be an ivle.caps.Role")
98
self.rolenm = unicode(value)
99
role = property(_get_role, _set_role)
103
101
__init__ = _kwarg_init
105
103
def __repr__(self):
117
115
return self.hash_password(password) == self.passhash
117
def hasCap(self, capability):
118
"""Given a capability (which is a Role object), returns True if this
119
User has that capability, False otherwise.
121
return self.role.hasCap(capability)
120
124
def password_expired(self):
121
125
fieldval = self.pass_exp
197
201
return store.find(cls, cls.login == unicode(login)).one()
199
203
def get_permissions(self, user):
200
if user and user.admin or user is self:
204
if user and user.rolenm == 'admin' or user is self:
201
205
return set(['view', 'edit'])
275
272
return "<%s %r in %r>" % (type(self).__name__, self.subject,
278
def enrol(self, user, role=u'student'):
275
def enrol(self, user):
279
276
'''Enrol a user in this offering.'''
280
enrolment = Store.of(self).find(Enrolment,
281
Enrolment.user_id == user.id,
282
Enrolment.offering_id == self.id).one()
284
if enrolment is None:
285
enrolment = Enrolment(user=user, offering=self)
286
self.enrolments.add(enrolment)
288
enrolment.active = True
289
enrolment.role = role
291
def unenrol(self, user):
292
'''Unenrol a user from this offering.'''
293
enrolment = Store.of(self).find(Enrolment,
294
Enrolment.user_id == user.id,
295
Enrolment.offering_id == self.id).one()
296
Store.of(enrolment).remove(enrolment)
277
# We'll get a horrible database constraint violation error if we try
278
# to add a second enrolment.
279
if Store.of(self).find(Enrolment,
280
Enrolment.user_id == user.id,
281
Enrolment.offering_id == self.id).count() == 1:
282
raise AlreadyEnrolledError()
284
e = Enrolment(user=user, offering=self, active=True)
285
self.enrolments.add(e)
298
287
def get_permissions(self, user):
300
289
if user is not None:
301
enrolment = self.get_enrolment(user)
302
if enrolment or user.admin:
304
if (enrolment and enrolment.role in (u'tutor', u'lecturer')) \
291
if user.rolenm == 'admin':
306
292
perms.add('edit')
309
def get_enrolment(self, user):
311
enrolment = self.enrolments.find(user=user).one()
317
295
class Enrolment(Storm):
318
296
__storm_table__ = "enrolment"
319
297
__storm_primary__ = "user_id", "offering_id"
416
396
# WORKSHEETS AND EXERCISES #
418
398
class Exercise(Storm):
419
__storm_table__ = "exercise"
399
# Note: Table "problem" is called "Exercise" in the Object layer, since
400
# it's called that everywhere else.
401
__storm_table__ = "problem"
402
#TODO: Add in a field for the user-friendly identifier
420
403
id = Unicode(primary=True, name="identifier")
422
405
description = Unicode()
425
408
include = Unicode()
428
worksheet_exercises = ReferenceSet(id,
429
'WorksheetExercise.exercise_id')
431
411
worksheets = ReferenceSet(id,
432
412
'WorksheetExercise.exercise_id',
433
413
'WorksheetExercise.worksheet_id',
437
test_suites = ReferenceSet(id,
438
'TestSuite.exercise_id',
417
test_suites = ReferenceSet(id, 'TestSuite.exercise_id')
441
419
__init__ = _kwarg_init
443
421
def __repr__(self):
444
422
return "<%s %s>" % (type(self).__name__, self.name)
446
def get_permissions(self, user):
453
elif 'lecturer' in set((e.role for e in user.active_enrolments)):
459
def get_description(self):
460
return rst(self.description)
463
"""Deletes the exercise, providing it has no associated worksheets."""
464
if (self.worksheet_exercises.count() > 0):
465
raise IntegrityError()
466
for suite in self.test_suites:
468
Store.of(self).remove(self)
470
425
class Worksheet(Storm):
471
426
__storm_table__ = "worksheet"
473
428
id = Int(primary=True, name="worksheetid")
429
# XXX subject is not linked to a Subject object. This is a property of
430
# the database, and will be refactored.
474
431
offering_id = Int(name="offeringid")
475
identifier = Unicode()
432
name = Unicode(name="identifier")
477
433
assessable = Bool()
482
436
attempts = ReferenceSet(id, "ExerciseAttempt.worksheetid")
483
437
offering = Reference(offering_id, 'Offering.id')
485
all_worksheet_exercises = ReferenceSet(id,
439
exercises = ReferenceSet(id,
440
'WorksheetExercise.worksheet_id',
441
'WorksheetExercise.exercise_id',
443
# Use worksheet_exercises to get access to the WorksheetExercise objects
444
# binding worksheets to exercises. This is required to access the
446
worksheet_exercises = ReferenceSet(id,
486
447
'WorksheetExercise.worksheet_id')
488
# Use worksheet_exercises to get access to the *active* WorksheetExercise
489
# objects binding worksheets to exercises. This is required to access the
493
def worksheet_exercises(self):
494
return self.all_worksheet_exercises.find(active=True)
496
450
__init__ = _kwarg_init
510
464
return store.find(cls, cls.subject == unicode(subjectname),
511
465
cls.name == unicode(worksheetname)).one()
513
def remove_all_exercises(self):
467
def remove_all_exercises(self, store):
515
469
Remove all exercises from this worksheet.
516
470
This does not delete the exercises themselves. It just removes them
517
471
from the worksheet.
519
store = Store.of(self)
520
for ws_ex in self.all_worksheet_exercises:
521
if ws_ex.saves.count() > 0 or ws_ex.attempts.count() > 0:
522
raise IntegrityError()
523
473
store.find(WorksheetExercise,
524
474
WorksheetExercise.worksheet == self).remove()
526
476
def get_permissions(self, user):
527
477
return self.offering.get_permissions(user)
530
"""Returns the xml of this worksheet, converts from rst if required."""
531
if self.format == u'rst':
532
ws_xml = rst(self.data)
538
"""Deletes the worksheet, provided it has no attempts on any exercises.
540
Returns True if delete succeeded, or False if this worksheet has
541
attempts attached."""
542
for ws_ex in self.all_worksheet_exercises:
543
if ws_ex.saves.count() > 0 or ws_ex.attempts.count() > 0:
544
raise IntegrityError()
546
self.remove_all_exercises()
547
Store.of(self).remove(self)
549
479
class WorksheetExercise(Storm):
550
__storm_table__ = "worksheet_exercise"
552
id = Int(primary=True, name="ws_ex_id")
480
__storm_table__ = "worksheet_problem"
481
__storm_primary__ = "worksheet_id", "exercise_id"
554
483
worksheet_id = Int(name="worksheetid")
555
484
worksheet = Reference(worksheet_id, Worksheet.id)
556
exercise_id = Unicode(name="exerciseid")
485
exercise_id = Unicode(name="problemid")
557
486
exercise = Reference(exercise_id, Exercise.id)
558
487
optional = Bool()
562
saves = ReferenceSet(id, "ExerciseSave.ws_ex_id")
563
attempts = ReferenceSet(id, "ExerciseAttempt.ws_ex_id")
565
489
__init__ = _kwarg_init
567
491
def __repr__(self):
568
492
return "<%s %s in %s>" % (type(self).__name__, self.exercise.name,
569
self.worksheet.identifier)
571
def get_permissions(self, user):
572
return self.worksheet.get_permissions(user)
575
495
class ExerciseSave(Storm):
581
501
ExerciseSave may be extended with additional semantics (such as
582
502
ExerciseAttempt).
584
__storm_table__ = "exercise_save"
585
__storm_primary__ = "ws_ex_id", "user_id"
587
ws_ex_id = Int(name="ws_ex_id")
588
worksheet_exercise = Reference(ws_ex_id, "WorksheetExercise.id")
504
__storm_table__ = "problem_save"
505
__storm_primary__ = "exercise_id", "user_id", "date"
507
exercise_id = Unicode(name="problemid")
508
exercise = Reference(exercise_id, Exercise.id)
590
509
user_id = Int(name="loginid")
591
510
user = Reference(user_id, User.id)
592
511
date = DateTime()
514
worksheet = Reference(worksheetid, Worksheet.id)
595
516
__init__ = _kwarg_init
611
532
they won't count (either as a penalty or success), but will still be
614
__storm_table__ = "exercise_attempt"
615
__storm_primary__ = "ws_ex_id", "user_id", "date"
535
__storm_table__ = "problem_attempt"
536
__storm_primary__ = "exercise_id", "user_id", "date"
617
538
# The "text" field is the same but has a different name in the DB table
618
539
# for some reason.
629
550
__storm_primary__ = "exercise_id", "suiteid"
632
exercise_id = Unicode(name="exerciseid")
553
exercise_id = Unicode(name="problemid")
633
554
description = Unicode()
635
556
function = Unicode()
636
557
stdin = Unicode()
637
558
exercise = Reference(exercise_id, Exercise.id)
638
test_cases = ReferenceSet(suiteid, 'TestCase.suiteid', order_by="seq_no")
639
variables = ReferenceSet(suiteid, 'TestSuiteVar.suiteid', order_by='arg_no')
642
"""Delete this suite, without asking questions."""
643
for vaariable in self.variables:
645
for test_case in self.test_cases:
647
Store.of(self).remove(self)
559
test_cases = ReferenceSet(suiteid, 'TestCase.suiteid')
560
variables = ReferenceSet(suiteid, 'TestSuiteVar.suiteid')
649
562
class TestCase(Storm):
650
563
"""A TestCase is a member of a TestSuite.
664
577
parts = ReferenceSet(testid, "TestCasePart.testid")
666
579
__init__ = _kwarg_init
669
for part in self.parts:
671
Store.of(self).remove(self)
673
581
class TestSuiteVar(Storm):
674
582
"""A container for the arguments of a Test Suite"""
675
__storm_table__ = "suite_variable"
583
__storm_table__ = "suite_variables"
676
584
__storm_primary__ = "varid"
687
595
__init__ = _kwarg_init
690
Store.of(self).remove(self)
692
597
class TestCasePart(Storm):
693
598
"""A container for the test elements of a Test Case"""
694
__storm_table__ = "test_case_part"
599
__storm_table__ = "test_case_parts"
695
600
__storm_primary__ = "partid"