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

« back to all changes in this revision

Viewing changes to ivle/database.py

  • Committer: William Grant
  • Date: 2010-02-11 05:09:56 UTC
  • Revision ID: grantw@unimelb.edu.au-20100211050956-t5i2z6b8iulxteza
Unbreak existing tests.

Show diffs side-by-side

added added

removed removed

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