~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to ivle/database.py

  • Committer: William Grant
  • Date: 2009-02-27 07:12:29 UTC
  • Revision ID: grantw@unimelb.edu.au-20090227071229-zzjx7fpxr7b72wqt
SubjectsView now tells users if they have no enrolments.

Show diffs side-by-side

added added

removed removed

Lines of Context:
17
17
 
18
18
# Author: Matt Giuca, Will Grant
19
19
 
20
 
"""Database utilities and content classes.
 
20
"""
 
21
Database Classes and Utilities for Storm ORM
21
22
 
22
23
This module provides all of the classes which map to database tables.
23
24
It also provides miscellaneous utility functions for database interaction.
24
25
"""
25
26
 
26
 
import hashlib
 
27
import md5
27
28
import datetime
28
29
 
29
30
from storm.locals import create_database, Store, Int, Unicode, DateTime, \
30
31
                         Reference, ReferenceSet, Bool, Storm, Desc
31
 
from storm.expr import Select, Max
32
 
from storm.exceptions import NotOneError, IntegrityError
 
32
from storm.exceptions import NotOneError
33
33
 
34
 
from ivle.worksheet.rst import rst
 
34
import ivle.conf
35
35
 
36
36
__all__ = ['get_store',
37
37
            'User',
38
38
            'Subject', 'Semester', 'Offering', 'Enrolment',
39
39
            'ProjectSet', 'Project', 'ProjectGroup', 'ProjectGroupMembership',
40
 
            'Assessed', 'ProjectSubmission', 'ProjectExtension',
41
40
            'Exercise', 'Worksheet', 'WorksheetExercise',
42
41
            'ExerciseSave', 'ExerciseAttempt',
43
42
            'TestCase', 'TestSuite', 'TestSuiteVar'
50
49
                % (self.__class__.__name__, k))
51
50
        setattr(self, k, v)
52
51
 
53
 
def get_conn_string(config):
54
 
    """Create a Storm connection string to the IVLE database
55
 
 
56
 
    @param config: The IVLE configuration.
 
52
def get_conn_string():
 
53
    """
 
54
    Returns the Storm connection string, generated from the conf file.
57
55
    """
58
56
 
59
57
    clusterstr = ''
60
 
    if config['database']['username']:
61
 
        clusterstr += config['database']['username']
62
 
        if config['database']['password']:
63
 
            clusterstr += ':' + config['database']['password']
 
58
    if ivle.conf.db_user:
 
59
        clusterstr += ivle.conf.db_user
 
60
        if ivle.conf.db_password:
 
61
            clusterstr += ':' + ivle.conf.db_password
64
62
        clusterstr += '@'
65
63
 
66
 
    host = config['database']['host'] or 'localhost'
67
 
    port = config['database']['port'] or 5432
 
64
    host = ivle.conf.db_host or 'localhost'
 
65
    port = ivle.conf.db_port or 5432
68
66
 
69
67
    clusterstr += '%s:%d' % (host, port)
70
68
 
71
 
    return "postgres://%s/%s" % (clusterstr, config['database']['name'])
72
 
 
73
 
def get_store(config):
74
 
    """Create a Storm store connected to the IVLE database.
75
 
 
76
 
    @param config: The IVLE configuration.
77
 
    """
78
 
    return Store(create_database(get_conn_string(config)))
 
69
    return "postgres://%s/%s" % (clusterstr, ivle.conf.db_dbname)
 
70
 
 
71
def get_store():
 
72
    """
 
73
    Open a database connection and transaction. Return a storm.store.Store
 
74
    instance connected to the configured IVLE database.
 
75
    """
 
76
    return Store(create_database(get_conn_string()))
79
77
 
80
78
# USERS #
81
79
 
82
80
class User(Storm):
83
 
    """An IVLE user account."""
 
81
    """
 
82
    Represents an IVLE user.
 
83
    """
84
84
    __storm_table__ = "login"
85
85
 
86
86
    id = Int(primary=True, name="loginid")
116
116
        return self.hash_password(password) == self.passhash
117
117
 
118
118
    @property
119
 
    def display_name(self):
120
 
        """Returns the "nice name" of the user or group."""
121
 
        return self.fullname
122
 
 
123
 
    @property
124
 
    def short_name(self):
125
 
        """Returns the database "identifier" name of the user or group."""
126
 
        return self.login
127
 
 
128
 
    @property
129
119
    def password_expired(self):
130
120
        fieldval = self.pass_exp
131
121
        return fieldval is not None and datetime.datetime.now() > fieldval
168
158
 
169
159
    # TODO: Invitations should be listed too?
170
160
    def get_groups(self, offering=None):
171
 
        """Get groups of which this user is a member.
172
 
 
173
 
        @param offering: An optional offering to restrict the search to.
174
 
        """
175
161
        preds = [
176
162
            ProjectGroupMembership.user_id == self.id,
177
163
            ProjectGroup.id == ProjectGroupMembership.project_group_id,
197
183
        '''A sanely ordered list of all of the user's enrolments.'''
198
184
        return self._get_enrolments(False) 
199
185
 
200
 
    def get_projects(self, offering=None, active_only=True):
201
 
        """Find projects that the user can submit.
202
 
 
203
 
        This will include projects for offerings in which the user is
204
 
        enrolled, as long as the project is not in a project set which has
205
 
        groups (ie. if maximum number of group members is 0).
206
 
 
207
 
        @param active_only: Whether to only search active offerings.
208
 
        @param offering: An optional offering to restrict the search to.
209
 
        """
210
 
        return Store.of(self).find(Project,
211
 
            Project.project_set_id == ProjectSet.id,
212
 
            ProjectSet.max_students_per_group == None,
213
 
            ProjectSet.offering_id == Offering.id,
214
 
            (offering is None) or (Offering.id == offering.id),
215
 
            Semester.id == Offering.semester_id,
216
 
            (not active_only) or (Semester.state == u'current'),
217
 
            Enrolment.offering_id == Offering.id,
218
 
            Enrolment.user_id == self.id,
219
 
            Enrolment.active == True)
220
 
 
221
186
    @staticmethod
222
187
    def hash_password(password):
223
 
        """Hash a password with MD5."""
224
 
        return hashlib.md5(password).hexdigest()
 
188
        return md5.md5(password).hexdigest()
225
189
 
226
190
    @classmethod
227
191
    def get_by_login(cls, store, login):
228
 
        """Find a user in a store by login name."""
 
192
        """
 
193
        Get the User from the db associated with a given store and
 
194
        login.
 
195
        """
229
196
        return store.find(cls, cls.login == unicode(login)).one()
230
197
 
231
 
    def get_permissions(self, user, config):
232
 
        """Determine privileges held by a user over this object.
233
 
 
234
 
        If the user requesting privileges is this user or an admin,
235
 
        they may do everything. Otherwise they may do nothing.
236
 
        """
 
198
    def get_permissions(self, user):
237
199
        if user and user.admin or user is self:
238
 
            return set(['view_public', 'view', 'edit', 'submit_project'])
 
200
            return set(['view', 'edit'])
239
201
        else:
240
 
            return set(['view_public'])
 
202
            return set()
241
203
 
242
204
# SUBJECTS AND ENROLMENTS #
243
205
 
244
206
class Subject(Storm):
245
 
    """A subject (or course) which is run in some semesters."""
246
 
 
247
207
    __storm_table__ = "subject"
248
208
 
249
209
    id = Int(primary=True, name="subjectid")
250
210
    code = Unicode(name="subj_code")
251
211
    name = Unicode(name="subj_name")
252
212
    short_name = Unicode(name="subj_short_name")
 
213
    url = Unicode()
253
214
 
254
215
    offerings = ReferenceSet(id, 'Offering.subject_id')
255
216
 
258
219
    def __repr__(self):
259
220
        return "<%s '%s'>" % (type(self).__name__, self.short_name)
260
221
 
261
 
    def get_permissions(self, user, config):
262
 
        """Determine privileges held by a user over this object.
263
 
 
264
 
        If the user requesting privileges is an admin, they may edit.
265
 
        Otherwise they may only read.
266
 
        """
 
222
    def get_permissions(self, user):
267
223
        perms = set()
268
224
        if user is not None:
269
225
            perms.add('view')
271
227
                perms.add('edit')
272
228
        return perms
273
229
 
274
 
    def active_offerings(self):
275
 
        """Find active offerings for this subject.
276
 
 
277
 
        Return a sequence of currently active offerings for this subject
278
 
        (offerings whose semester.state is "current"). There should be 0 or 1
279
 
        elements in this sequence, but it's possible there are more.
280
 
        """
281
 
        return self.offerings.find(Offering.semester_id == Semester.id,
282
 
                                   Semester.state == u'current')
283
 
 
284
 
    def offering_for_semester(self, year, semester):
285
 
        """Get the offering for the given year/semester, or None.
286
 
 
287
 
        @param year: A string representation of the year.
288
 
        @param semester: A string representation of the semester.
289
 
        """
290
 
        return self.offerings.find(Offering.semester_id == Semester.id,
291
 
                               Semester.year == unicode(year),
292
 
                               Semester.semester == unicode(semester)).one()
293
 
 
294
230
class Semester(Storm):
295
 
    """A semester in which subjects can be run."""
296
 
 
297
231
    __storm_table__ = "semester"
298
232
 
299
233
    id = Int(primary=True, name="semesterid")
313
247
        return "<%s %s/%s>" % (type(self).__name__, self.year, self.semester)
314
248
 
315
249
class Offering(Storm):
316
 
    """An offering of a subject in a particular semester."""
317
 
 
318
250
    __storm_table__ = "offering"
319
251
 
320
252
    id = Int(primary=True, name="offeringid")
322
254
    subject = Reference(subject_id, Subject.id)
323
255
    semester_id = Int(name="semesterid")
324
256
    semester = Reference(semester_id, Semester.id)
325
 
    description = Unicode()
326
 
    url = Unicode()
327
257
    groups_student_permissions = Unicode()
328
258
 
329
259
    enrolments = ReferenceSet(id, 'Enrolment.offering_id')
332
262
                           'Enrolment.user_id',
333
263
                           'User.id')
334
264
    project_sets = ReferenceSet(id, 'ProjectSet.offering_id')
335
 
    projects = ReferenceSet(id,
336
 
                            'ProjectSet.offering_id',
337
 
                            'ProjectSet.id',
338
 
                            'Project.project_set_id')
339
265
 
340
266
    worksheets = ReferenceSet(id, 
341
267
        'Worksheet.offering_id', 
342
 
        order_by="seq_no"
 
268
        order_by="Worksheet.seq_no"
343
269
    )
344
270
 
345
271
    __init__ = _kwarg_init
349
275
                                  self.semester)
350
276
 
351
277
    def enrol(self, user, role=u'student'):
352
 
        """Enrol a user in this offering.
353
 
 
354
 
        Enrolments handle both the staff and student cases. The role controls
355
 
        the privileges granted by this enrolment.
356
 
        """
 
278
        '''Enrol a user in this offering.'''
357
279
        enrolment = Store.of(self).find(Enrolment,
358
280
                               Enrolment.user_id == user.id,
359
281
                               Enrolment.offering_id == self.id).one()
372
294
                               Enrolment.offering_id == self.id).one()
373
295
        Store.of(enrolment).remove(enrolment)
374
296
 
375
 
    def get_permissions(self, user, config):
 
297
    def get_permissions(self, user):
376
298
        perms = set()
377
299
        if user is not None:
378
300
            enrolment = self.get_enrolment(user)
379
301
            if enrolment or user.admin:
380
302
                perms.add('view')
381
 
            if enrolment and enrolment.role == u'tutor':
382
 
                perms.add('view_project_submissions')
383
 
                # Site-specific policy on the role of tutors
384
 
                if config['policy']['tutors_can_enrol_students']:
385
 
                    perms.add('enrol')
386
 
                    perms.add('enrol_student')
387
 
                if config['policy']['tutors_can_edit_worksheets']:
388
 
                    perms.add('edit_worksheets')
389
 
                if config['policy']['tutors_can_admin_groups']:
390
 
                    perms.add('admin_groups')
391
 
            if (enrolment and enrolment.role in (u'lecturer')) or user.admin:
392
 
                perms.add('view_project_submissions')
393
 
                perms.add('admin_groups')
394
 
                perms.add('edit_worksheets')
395
 
                perms.add('edit')           # Can edit projects & details
396
 
                perms.add('enrol')          # Can see enrolment screen at all
397
 
                perms.add('enrol_student')  # Can enrol students
398
 
                perms.add('enrol_tutor')    # Can enrol tutors
399
 
            if user.admin:
400
 
                perms.add('enrol_lecturer') # Can enrol lecturers
 
303
            if (enrolment and enrolment.role in (u'tutor', u'lecturer')) \
 
304
               or user.admin:
 
305
                perms.add('edit')
401
306
        return perms
402
307
 
403
308
    def get_enrolment(self, user):
404
 
        """Find the user's enrolment in this offering."""
405
309
        try:
406
310
            enrolment = self.enrolments.find(user=user).one()
407
311
        except NotOneError:
409
313
 
410
314
        return enrolment
411
315
 
412
 
    def get_members_by_role(self, role):
413
 
        return Store.of(self).find(User,
414
 
                Enrolment.user_id == User.id,
415
 
                Enrolment.offering_id == self.id,
416
 
                Enrolment.role == role
417
 
                ).order_by(User.login)
418
 
 
419
 
    @property
420
 
    def students(self):
421
 
        return self.get_members_by_role(u'student')
422
 
 
423
 
    def get_open_projects_for_user(self, user):
424
 
        """Find all projects currently open to submissions by a user."""
425
 
        # XXX: Respect extensions.
426
 
        return self.projects.find(Project.deadline > datetime.datetime.now())
427
 
 
428
 
    def clone_worksheets(self, source):
429
 
        """Clone all worksheets from the specified source to this offering."""
430
 
        import ivle.worksheet.utils
431
 
        for worksheet in source.worksheets:
432
 
            newws = Worksheet()
433
 
            newws.seq_no = worksheet.seq_no
434
 
            newws.identifier = worksheet.identifier
435
 
            newws.name = worksheet.name
436
 
            newws.assessable = worksheet.assessable
437
 
            newws.data = worksheet.data
438
 
            newws.format = worksheet.format
439
 
            newws.offering = self
440
 
            Store.of(self).add(newws)
441
 
            ivle.worksheet.utils.update_exerciselist(newws)
442
 
 
443
 
 
444
316
class Enrolment(Storm):
445
 
    """An enrolment of a user in an offering.
446
 
 
447
 
    This represents the roles of both staff and students.
448
 
    """
449
 
 
450
317
    __storm_table__ = "enrolment"
451
318
    __storm_primary__ = "user_id", "offering_id"
452
319
 
475
342
# PROJECTS #
476
343
 
477
344
class ProjectSet(Storm):
478
 
    """A set of projects that share common groups.
479
 
 
480
 
    Each student project group is attached to a project set. The group is
481
 
    valid for all projects in the group's set.
482
 
    """
483
 
 
484
345
    __storm_table__ = "project_set"
485
346
 
486
347
    id = Int(name="projectsetid", primary=True)
497
358
        return "<%s %d in %r>" % (type(self).__name__, self.id,
498
359
                                  self.offering)
499
360
 
500
 
    def get_permissions(self, user, config):
501
 
        return self.offering.get_permissions(user, config)
502
 
 
503
 
    def get_groups_for_user(self, user):
504
 
        """List all groups in this offering of which the user is a member."""
505
 
        assert self.is_group
506
 
        return Store.of(self).find(
507
 
            ProjectGroup,
508
 
            ProjectGroupMembership.user_id == user.id,
509
 
            ProjectGroupMembership.project_group_id == ProjectGroup.id,
510
 
            ProjectGroup.project_set_id == self.id)
511
 
 
512
 
    def get_submission_principal(self, user):
513
 
        """Get the principal on behalf of which the user can submit.
514
 
 
515
 
        If this is a solo project set, the given user is returned. If
516
 
        the user is a member of exactly one group, all the group is
517
 
        returned. Otherwise, None is returned.
518
 
        """
519
 
        if self.is_group:
520
 
            groups = self.get_groups_for_user(user)
521
 
            if groups.count() == 1:
522
 
                return groups.one()
523
 
            else:
524
 
                return None
525
 
        else:
526
 
            return user
527
 
 
528
 
    @property
529
 
    def is_group(self):
530
 
        return self.max_students_per_group is not None
531
 
 
532
 
    @property
533
 
    def assigned(self):
534
 
        """Get the entities (groups or users) assigned to submit this project.
535
 
 
536
 
        This will be a Storm ResultSet.
537
 
        """
538
 
        #If its a solo project, return everyone in offering
539
 
        if self.is_group:
540
 
            return self.project_groups
541
 
        else:
542
 
            return self.offering.students
543
 
 
544
 
class DeadlinePassed(Exception):
545
 
    """An exception indicating that a project cannot be submitted because the
546
 
    deadline has passed."""
547
 
    def __init__(self):
548
 
        pass
549
 
    def __str__(self):
550
 
        return "The project deadline has passed"
551
 
 
552
361
class Project(Storm):
553
 
    """A student project for which submissions can be made."""
554
 
 
555
362
    __storm_table__ = "project"
556
363
 
557
364
    id = Int(name="projectid", primary=True)
558
 
    name = Unicode()
559
 
    short_name = Unicode()
560
365
    synopsis = Unicode()
561
366
    url = Unicode()
562
367
    project_set_id = Int(name="projectsetid")
563
368
    project_set = Reference(project_set_id, ProjectSet.id)
564
369
    deadline = DateTime()
565
370
 
566
 
    assesseds = ReferenceSet(id, 'Assessed.project_id')
567
 
    submissions = ReferenceSet(id,
568
 
                               'Assessed.project_id',
569
 
                               'Assessed.id',
570
 
                               'ProjectSubmission.assessed_id')
571
 
 
572
371
    __init__ = _kwarg_init
573
372
 
574
373
    def __repr__(self):
575
 
        return "<%s '%s' in %r>" % (type(self).__name__, self.short_name,
 
374
        return "<%s '%s' in %r>" % (type(self).__name__, self.synopsis,
576
375
                                  self.project_set.offering)
577
376
 
578
 
    def can_submit(self, principal, user):
579
 
        return (self in principal.get_projects() and
580
 
                not self.has_deadline_passed(user))
581
 
 
582
 
    def submit(self, principal, path, revision, who):
583
 
        """Submit a Subversion path and revision to a project.
584
 
 
585
 
        @param principal: The owner of the Subversion repository, and the
586
 
                          entity on behalf of whom the submission is being made
587
 
        @param path: A path within that repository to submit.
588
 
        @param revision: The revision of that path to submit.
589
 
        @param who: The user who is actually making the submission.
590
 
        """
591
 
 
592
 
        if not self.can_submit(principal, who):
593
 
            raise DeadlinePassed()
594
 
 
595
 
        a = Assessed.get(Store.of(self), principal, self)
596
 
        ps = ProjectSubmission()
597
 
        ps.path = path
598
 
        ps.revision = revision
599
 
        ps.date_submitted = datetime.datetime.now()
600
 
        ps.assessed = a
601
 
        ps.submitter = who
602
 
 
603
 
        return ps
604
 
 
605
 
    def get_permissions(self, user, config):
606
 
        return self.project_set.offering.get_permissions(user, config)
607
 
 
608
 
    @property
609
 
    def latest_submissions(self):
610
 
        """Return the latest submission for each Assessed."""
611
 
        return Store.of(self).find(ProjectSubmission,
612
 
            Assessed.project_id == self.id,
613
 
            ProjectSubmission.assessed_id == Assessed.id,
614
 
            ProjectSubmission.date_submitted == Select(
615
 
                    Max(ProjectSubmission.date_submitted),
616
 
                    ProjectSubmission.assessed_id == Assessed.id,
617
 
                    tables=ProjectSubmission
618
 
            )
619
 
        )
620
 
 
621
 
    def has_deadline_passed(self, user):
622
 
        """Check whether the deadline has passed."""
623
 
        # XXX: Need to respect extensions.
624
 
        return self.deadline < datetime.datetime.now()
625
 
 
626
 
    def get_submissions_for_principal(self, principal):
627
 
        """Fetch a ResultSet of all submissions by a particular principal."""
628
 
        assessed = Assessed.get(Store.of(self), principal, self)
629
 
        if assessed is None:
630
 
            return
631
 
        return assessed.submissions
632
 
 
633
 
 
634
 
 
635
377
class ProjectGroup(Storm):
636
 
    """A group of students working together on a project."""
637
 
 
638
378
    __storm_table__ = "project_group"
639
379
 
640
380
    id = Int(name="groupid", primary=True)
657
397
        return "<%s %s in %r>" % (type(self).__name__, self.name,
658
398
                                  self.project_set.offering)
659
399
 
660
 
    @property
661
 
    def display_name(self):
662
 
        """Returns the "nice name" of the user or group."""
663
 
        return self.nick
664
 
 
665
 
    @property
666
 
    def short_name(self):
667
 
        """Returns the database "identifier" name of the user or group."""
668
 
        return self.name
669
 
 
670
 
    def get_projects(self, offering=None, active_only=True):
671
 
        '''Find projects that the group can submit.
672
 
 
673
 
        This will include projects in the project set which owns this group,
674
 
        unless the project set disallows groups (in which case none will be
675
 
        returned).
676
 
 
677
 
        @param active_only: Whether to only search active offerings.
678
 
        @param offering: An optional offering to restrict the search to.
679
 
        '''
680
 
        return Store.of(self).find(Project,
681
 
            Project.project_set_id == ProjectSet.id,
682
 
            ProjectSet.id == self.project_set.id,
683
 
            ProjectSet.max_students_per_group != None,
684
 
            ProjectSet.offering_id == Offering.id,
685
 
            (offering is None) or (Offering.id == offering.id),
686
 
            Semester.id == Offering.semester_id,
687
 
            (not active_only) or (Semester.state == u'current'))
688
 
 
689
 
 
690
 
    def get_permissions(self, user, config):
691
 
        if user.admin or user in self.members:
692
 
            return set(['submit_project'])
693
 
        else:
694
 
            return set()
695
 
 
696
400
class ProjectGroupMembership(Storm):
697
 
    """A student's membership in a project group."""
698
 
 
699
401
    __storm_table__ = "group_member"
700
402
    __storm_primary__ = "user_id", "project_group_id"
701
403
 
710
412
        return "<%s %r in %r>" % (type(self).__name__, self.user,
711
413
                                  self.project_group)
712
414
 
713
 
class Assessed(Storm):
714
 
    """A composite of a user or group combined with a project.
715
 
 
716
 
    Each project submission and extension refers to an Assessed. It is the
717
 
    sole specifier of the repository and project.
718
 
    """
719
 
 
720
 
    __storm_table__ = "assessed"
721
 
 
722
 
    id = Int(name="assessedid", primary=True)
723
 
    user_id = Int(name="loginid")
724
 
    user = Reference(user_id, User.id)
725
 
    project_group_id = Int(name="groupid")
726
 
    project_group = Reference(project_group_id, ProjectGroup.id)
727
 
 
728
 
    project_id = Int(name="projectid")
729
 
    project = Reference(project_id, Project.id)
730
 
 
731
 
    extensions = ReferenceSet(id, 'ProjectExtension.assessed_id')
732
 
    submissions = ReferenceSet(
733
 
        id, 'ProjectSubmission.assessed_id', order_by='date_submitted')
734
 
 
735
 
    def __repr__(self):
736
 
        return "<%s %r in %r>" % (type(self).__name__,
737
 
            self.user or self.project_group, self.project)
738
 
 
739
 
    @property
740
 
    def is_group(self):
741
 
        """True if the Assessed is a group, False if it is a user."""
742
 
        return self.project_group is not None
743
 
 
744
 
    @property
745
 
    def principal(self):
746
 
        return self.project_group or self.user
747
 
 
748
 
    @property
749
 
    def checkout_location(self):
750
 
        """Returns the location of the Subversion workspace for this piece of
751
 
        assessment, relative to each group member's home directory."""
752
 
        subjectname = self.project.project_set.offering.subject.short_name
753
 
        if self.is_group:
754
 
            checkout_dir_name = self.principal.short_name
755
 
        else:
756
 
            checkout_dir_name = "mywork"
757
 
        return subjectname + "/" + checkout_dir_name
758
 
 
759
 
    @classmethod
760
 
    def get(cls, store, principal, project):
761
 
        """Find or create an Assessed for the given user or group and project.
762
 
 
763
 
        @param principal: The user or group.
764
 
        @param project: The project.
765
 
        """
766
 
        t = type(principal)
767
 
        if t not in (User, ProjectGroup):
768
 
            raise AssertionError('principal must be User or ProjectGroup')
769
 
 
770
 
        a = store.find(cls,
771
 
            (t is User) or (cls.project_group_id == principal.id),
772
 
            (t is ProjectGroup) or (cls.user_id == principal.id),
773
 
            cls.project_id == project.id).one()
774
 
 
775
 
        if a is None:
776
 
            a = cls()
777
 
            if t is User:
778
 
                a.user = principal
779
 
            else:
780
 
                a.project_group = principal
781
 
            a.project = project
782
 
            store.add(a)
783
 
 
784
 
        return a
785
 
 
786
 
 
787
 
class ProjectExtension(Storm):
788
 
    """An extension granted to a user or group on a particular project.
789
 
 
790
 
    The user or group and project are specified by the Assessed.
791
 
    """
792
 
 
793
 
    __storm_table__ = "project_extension"
794
 
 
795
 
    id = Int(name="extensionid", primary=True)
796
 
    assessed_id = Int(name="assessedid")
797
 
    assessed = Reference(assessed_id, Assessed.id)
798
 
    deadline = DateTime()
799
 
    approver_id = Int(name="approver")
800
 
    approver = Reference(approver_id, User.id)
801
 
    notes = Unicode()
802
 
 
803
 
class ProjectSubmission(Storm):
804
 
    """A submission from a user or group repository to a particular project.
805
 
 
806
 
    The content of a submission is a single path and revision inside a
807
 
    repository. The repository is that owned by the submission's user and
808
 
    group, while the path and revision are explicit.
809
 
 
810
 
    The user or group and project are specified by the Assessed.
811
 
    """
812
 
 
813
 
    __storm_table__ = "project_submission"
814
 
 
815
 
    id = Int(name="submissionid", primary=True)
816
 
    assessed_id = Int(name="assessedid")
817
 
    assessed = Reference(assessed_id, Assessed.id)
818
 
    path = Unicode()
819
 
    revision = Int()
820
 
    submitter_id = Int(name="submitter")
821
 
    submitter = Reference(submitter_id, User.id)
822
 
    date_submitted = DateTime()
823
 
 
824
 
    def get_verify_url(self, user):
825
 
        """Get the URL for verifying this submission, within the account of
826
 
        the given user."""
827
 
        # If this is a solo project, then self.path will be prefixed with the
828
 
        # subject name. Remove the first path segment.
829
 
        submitpath = self.path[1:] if self.path[:1] == '/' else self.path
830
 
        if not self.assessed.is_group:
831
 
            if '/' in submitpath:
832
 
                submitpath = submitpath.split('/', 1)[1]
833
 
            else:
834
 
                submitpath = ''
835
 
        return "/files/%s/%s/%s?r=%d" % (user.login,
836
 
            self.assessed.checkout_location, submitpath, self.revision)
837
 
 
838
415
# WORKSHEETS AND EXERCISES #
839
416
 
840
417
class Exercise(Storm):
841
 
    """An exercise for students to complete in a worksheet.
842
 
 
843
 
    An exercise may be present in any number of worksheets.
844
 
    """
845
 
 
846
418
    __storm_table__ = "exercise"
847
419
    id = Unicode(primary=True, name="identifier")
848
420
    name = Unicode()
852
424
    include = Unicode()
853
425
    num_rows = Int()
854
426
 
855
 
    worksheet_exercises =  ReferenceSet(id,
856
 
        'WorksheetExercise.exercise_id')
857
 
 
858
427
    worksheets = ReferenceSet(id,
859
428
        'WorksheetExercise.exercise_id',
860
429
        'WorksheetExercise.worksheet_id',
861
430
        'Worksheet.id'
862
431
    )
863
 
 
864
 
    test_suites = ReferenceSet(id, 
865
 
        'TestSuite.exercise_id',
866
 
        order_by='seq_no')
 
432
    
 
433
    test_suites = ReferenceSet(id, 'TestSuite.exercise_id')
867
434
 
868
435
    __init__ = _kwarg_init
869
436
 
870
437
    def __repr__(self):
871
438
        return "<%s %s>" % (type(self).__name__, self.name)
872
439
 
873
 
    def get_permissions(self, user, config):
874
 
        return self.global_permissions(user, config)
875
 
 
876
 
    @staticmethod
877
 
    def global_permissions(user, config):
878
 
        """Gets the set of permissions this user has over *all* exercises.
879
 
        This is used to determine who may view the exercises list, and create
880
 
        new exercises."""
 
440
    def get_permissions(self, user):
881
441
        perms = set()
882
 
        roles = set()
883
442
        if user is not None:
884
443
            if user.admin:
885
444
                perms.add('edit')
886
445
                perms.add('view')
887
 
            elif u'lecturer' in set((e.role for e in user.active_enrolments)):
888
 
                perms.add('edit')
889
 
                perms.add('view')
890
 
            elif (config['policy']['tutors_can_edit_worksheets']
891
 
            and u'tutor' in set((e.role for e in user.active_enrolments))):
892
 
                # Site-specific policy on the role of tutors
893
 
                perms.add('edit')
894
 
                perms.add('view')
895
 
 
896
446
        return perms
897
447
 
898
 
    def get_description(self):
899
 
        """Return the description interpreted as reStructuredText."""
900
 
        return rst(self.description)
901
 
 
902
 
    def delete(self):
903
 
        """Deletes the exercise, providing it has no associated worksheets."""
904
 
        if (self.worksheet_exercises.count() > 0):
905
 
            raise IntegrityError()
906
 
        for suite in self.test_suites:
907
 
            suite.delete()
908
 
        Store.of(self).remove(self)
909
 
 
910
448
class Worksheet(Storm):
911
 
    """A worksheet with exercises for students to complete.
912
 
 
913
 
    Worksheets are owned by offerings.
914
 
    """
915
 
 
916
449
    __storm_table__ = "worksheet"
917
450
 
918
451
    id = Int(primary=True, name="worksheetid")
933
466
    # Use worksheet_exercises to get access to the *active* WorksheetExercise
934
467
    # objects binding worksheets to exercises. This is required to access the
935
468
    # "optional" field.
936
 
 
937
469
    @property
938
470
    def worksheet_exercises(self):
939
471
        return self.all_worksheet_exercises.find(active=True)
943
475
    def __repr__(self):
944
476
        return "<%s %s>" % (type(self).__name__, self.name)
945
477
 
946
 
    def remove_all_exercises(self):
947
 
        """Remove all exercises from this worksheet.
 
478
    # XXX Refactor this - make it an instance method of Subject rather than a
 
479
    # class method of Worksheet. Can't do that now because Subject isn't
 
480
    # linked referentially to the Worksheet.
 
481
    @classmethod
 
482
    def get_by_name(cls, store, subjectname, worksheetname):
 
483
        """
 
484
        Get the Worksheet from the db associated with a given store, subject
 
485
        name and worksheet name.
 
486
        """
 
487
        return store.find(cls, cls.subject == unicode(subjectname),
 
488
            cls.name == unicode(worksheetname)).one()
948
489
 
 
490
    def remove_all_exercises(self, store):
 
491
        """
 
492
        Remove all exercises from this worksheet.
949
493
        This does not delete the exercises themselves. It just removes them
950
494
        from the worksheet.
951
495
        """
952
 
        store = Store.of(self)
953
 
        for ws_ex in self.all_worksheet_exercises:
954
 
            if ws_ex.saves.count() > 0 or ws_ex.attempts.count() > 0:
955
 
                raise IntegrityError()
956
496
        store.find(WorksheetExercise,
957
497
            WorksheetExercise.worksheet == self).remove()
958
 
 
959
 
    def get_permissions(self, user, config):
960
 
        # Almost the same permissions as for the offering itself
961
 
        perms = self.offering.get_permissions(user, config)
962
 
        # However, "edit" permission is derived from the "edit_worksheets"
963
 
        # permission of the offering
964
 
        if 'edit_worksheets' in perms:
965
 
            perms.add('edit')
966
 
        else:
967
 
            perms.discard('edit')
968
 
        return perms
969
 
 
970
 
    def get_xml(self):
971
 
        """Returns the xml of this worksheet, converts from rst if required."""
972
 
        if self.format == u'rst':
973
 
            ws_xml = rst(self.data)
974
 
            return ws_xml
975
 
        else:
976
 
            return self.data
977
 
 
978
 
    def delete(self):
979
 
        """Deletes the worksheet, provided it has no attempts on any exercises.
980
 
 
981
 
        Returns True if delete succeeded, or False if this worksheet has
982
 
        attempts attached."""
983
 
        for ws_ex in self.all_worksheet_exercises:
984
 
            if ws_ex.saves.count() > 0 or ws_ex.attempts.count() > 0:
985
 
                raise IntegrityError()
986
 
 
987
 
        self.remove_all_exercises()
988
 
        Store.of(self).remove(self)
 
498
            
 
499
    def get_permissions(self, user):
 
500
        return self.offering.get_permissions(user)
989
501
 
990
502
class WorksheetExercise(Storm):
991
 
    """A link between a worksheet and one of its exercises.
992
 
 
993
 
    These may be marked optional, in which case the exercise does not count
994
 
    for marking purposes. The sequence number is used to order the worksheet
995
 
    ToC.
996
 
    """
997
 
 
998
503
    __storm_table__ = "worksheet_exercise"
999
 
 
 
504
    
1000
505
    id = Int(primary=True, name="ws_ex_id")
1001
506
 
1002
507
    worksheet_id = Int(name="worksheetid")
1006
511
    optional = Bool()
1007
512
    active = Bool()
1008
513
    seq_no = Int()
1009
 
 
 
514
    
1010
515
    saves = ReferenceSet(id, "ExerciseSave.ws_ex_id")
1011
516
    attempts = ReferenceSet(id, "ExerciseAttempt.ws_ex_id")
1012
517
 
1016
521
        return "<%s %s in %s>" % (type(self).__name__, self.exercise.name,
1017
522
                                  self.worksheet.identifier)
1018
523
 
1019
 
    def get_permissions(self, user, config):
1020
 
        return self.worksheet.get_permissions(user, config)
1021
 
 
 
524
    def get_permissions(self, user):
 
525
        return self.worksheet.get_permissions(user)
1022
526
 
1023
527
class ExerciseSave(Storm):
1024
 
    """A potential exercise solution submitted by a user for storage.
1025
 
 
1026
 
    This is not an actual tested attempt at an exercise, it's just a save of
1027
 
    the editing session.
1028
 
    """
1029
 
 
 
528
    """
 
529
    Represents a potential solution to an exercise that a user has submitted
 
530
    to the server for storage.
 
531
    A basic ExerciseSave is just the current saved text for this exercise for
 
532
    this user (doesn't count towards their attempts).
 
533
    ExerciseSave may be extended with additional semantics (such as
 
534
    ExerciseAttempt).
 
535
    """
1030
536
    __storm_table__ = "exercise_save"
1031
537
    __storm_primary__ = "ws_ex_id", "user_id"
1032
538
 
1045
551
            self.exercise.name, self.user.login, self.date.strftime("%c"))
1046
552
 
1047
553
class ExerciseAttempt(ExerciseSave):
1048
 
    """An attempt at solving an exercise.
1049
 
 
1050
 
    This is a special case of ExerciseSave, used when the user submits a
1051
 
    candidate solution. Like an ExerciseSave, it constitutes exercise solution
1052
 
    data.
1053
 
 
1054
 
    In addition, it contains information about the result of the submission:
1055
 
 
1056
 
     - complete - True if this submission was successful, rendering this
1057
 
                  exercise complete for this user in this worksheet.
1058
 
     - active   - True if this submission is "active" (usually true).
1059
 
                  Submissions may be de-activated by privileged users for
1060
 
                  special reasons, and then they won't count (either as a
1061
 
                  penalty or success), but will still be stored.
1062
 
    """
1063
 
 
 
554
    """
 
555
    An ExerciseAttempt is a special case of an ExerciseSave. Like an
 
556
    ExerciseSave, it constitutes exercise solution data that the user has
 
557
    submitted to the server for storage.
 
558
    In addition, it contains additional information about the submission.
 
559
    complete - True if this submission was successful, rendering this exercise
 
560
        complete for this user.
 
561
    active - True if this submission is "active" (usually true). Submissions
 
562
        may be de-activated by privileged users for special reasons, and then
 
563
        they won't count (either as a penalty or success), but will still be
 
564
        stored.
 
565
    """
1064
566
    __storm_table__ = "exercise_attempt"
1065
567
    __storm_primary__ = "ws_ex_id", "user_id", "date"
1066
568
 
1069
571
    text = Unicode(name="attempt")
1070
572
    complete = Bool()
1071
573
    active = Bool()
1072
 
 
1073
 
    def get_permissions(self, user, config):
 
574
    
 
575
    def get_permissions(self, user):
1074
576
        return set(['view']) if user is self.user else set()
1075
 
 
 
577
  
1076
578
class TestSuite(Storm):
1077
 
    """A container to group an exercise's test cases.
1078
 
 
1079
 
    The test suite contains some information on how to test. The function to
1080
 
    test, variables to set and stdin data are stored here.
1081
 
    """
1082
 
 
 
579
    """A Testsuite acts as a container for the test cases of an exercise."""
1083
580
    __storm_table__ = "test_suite"
1084
581
    __storm_primary__ = "exercise_id", "suiteid"
1085
 
 
 
582
    
1086
583
    suiteid = Int()
1087
584
    exercise_id = Unicode(name="exerciseid")
1088
585
    description = Unicode()
1090
587
    function = Unicode()
1091
588
    stdin = Unicode()
1092
589
    exercise = Reference(exercise_id, Exercise.id)
1093
 
    test_cases = ReferenceSet(suiteid, 'TestCase.suiteid', order_by="seq_no")
1094
 
    variables = ReferenceSet(suiteid, 'TestSuiteVar.suiteid', order_by='arg_no')
1095
 
 
1096
 
    def delete(self):
1097
 
        """Delete this suite, without asking questions."""
1098
 
        for variable in self.variables:
1099
 
            variable.delete()
1100
 
        for test_case in self.test_cases:
1101
 
            test_case.delete()
1102
 
        Store.of(self).remove(self)
 
590
    test_cases = ReferenceSet(suiteid, 'TestCase.suiteid')
 
591
    variables = ReferenceSet(suiteid, 'TestSuiteVar.suiteid')
1103
592
 
1104
593
class TestCase(Storm):
1105
 
    """A container for actual tests (see TestCasePart), inside a test suite.
1106
 
 
1107
 
    It is the lowest level shown to students on their pass/fail status."""
1108
 
 
 
594
    """A TestCase is a member of a TestSuite.
 
595
    
 
596
    It contains the data necessary to check if an exercise is correct"""
1109
597
    __storm_table__ = "test_case"
1110
598
    __storm_primary__ = "testid", "suiteid"
1111
 
 
 
599
    
1112
600
    testid = Int()
1113
601
    suiteid = Int()
1114
602
    suite = Reference(suiteid, "TestSuite.suiteid")
1115
603
    passmsg = Unicode()
1116
604
    failmsg = Unicode()
1117
 
    test_default = Unicode() # Currently unused - only used for file matching.
 
605
    test_default = Unicode()
1118
606
    seq_no = Int()
1119
 
 
 
607
    
1120
608
    parts = ReferenceSet(testid, "TestCasePart.testid")
1121
 
 
 
609
    
1122
610
    __init__ = _kwarg_init
1123
611
 
1124
 
    def delete(self):
1125
 
        for part in self.parts:
1126
 
            part.delete()
1127
 
        Store.of(self).remove(self)
1128
 
 
1129
612
class TestSuiteVar(Storm):
1130
 
    """A variable used by an exercise test suite.
1131
 
 
1132
 
    This may represent a function argument or a normal variable.
1133
 
    """
1134
 
 
 
613
    """A container for the arguments of a Test Suite"""
1135
614
    __storm_table__ = "suite_variable"
1136
615
    __storm_primary__ = "varid"
1137
 
 
 
616
    
1138
617
    varid = Int()
1139
618
    suiteid = Int()
1140
619
    var_name = Unicode()
1141
620
    var_value = Unicode()
1142
621
    var_type = Unicode()
1143
622
    arg_no = Int()
1144
 
 
 
623
    
1145
624
    suite = Reference(suiteid, "TestSuite.suiteid")
1146
 
 
 
625
    
1147
626
    __init__ = _kwarg_init
1148
 
 
1149
 
    def delete(self):
1150
 
        Store.of(self).remove(self)
1151
 
 
 
627
    
1152
628
class TestCasePart(Storm):
1153
 
    """An actual piece of code to test an exercise solution."""
1154
 
 
 
629
    """A container for the test elements of a Test Case"""
1155
630
    __storm_table__ = "test_case_part"
1156
631
    __storm_primary__ = "partid"
1157
 
 
 
632
    
1158
633
    partid = Int()
1159
634
    testid = Int()
1160
 
 
 
635
    
1161
636
    part_type = Unicode()
1162
637
    test_type = Unicode()
1163
638
    data = Unicode()
1164
639
    filename = Unicode()
1165
 
 
 
640
    
1166
641
    test = Reference(testid, "TestCase.testid")
1167
 
 
 
642
    
1168
643
    __init__ = _kwarg_init
1169
 
 
1170
 
    def delete(self):
1171
 
        Store.of(self).remove(self)