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

« back to all changes in this revision

Viewing changes to ivle/database.py

Quick port of fileservice to the new framework. It's still very much old-style,
though.

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
 
import os
29
 
import urlparse
30
 
import urllib
31
29
 
32
30
from storm.locals import create_database, Store, Int, Unicode, DateTime, \
33
31
                         Reference, ReferenceSet, Bool, Storm, Desc
34
 
from storm.expr import Select, Max
35
 
from storm.exceptions import NotOneError, IntegrityError
36
32
 
37
 
from ivle.worksheet.rst import rst
 
33
import ivle.conf
 
34
import ivle.caps
38
35
 
39
36
__all__ = ['get_store',
40
37
            'User',
41
38
            'Subject', 'Semester', 'Offering', 'Enrolment',
42
39
            'ProjectSet', 'Project', 'ProjectGroup', 'ProjectGroupMembership',
43
 
            'Assessed', 'ProjectSubmission', 'ProjectExtension',
44
40
            'Exercise', 'Worksheet', 'WorksheetExercise',
45
41
            'ExerciseSave', 'ExerciseAttempt',
46
 
            'TestCase', 'TestSuite', 'TestSuiteVar'
 
42
            'AlreadyEnrolledError', 'TestCase', 'TestSuite', 'TestSuiteVar'
47
43
        ]
48
44
 
49
45
def _kwarg_init(self, **kwargs):
53
49
                % (self.__class__.__name__, k))
54
50
        setattr(self, k, v)
55
51
 
56
 
def get_conn_string(config):
57
 
    """Create a Storm connection string to the IVLE database
58
 
 
59
 
    @param config: The IVLE configuration.
60
 
    """
61
 
 
62
 
    clusterstr = ''
63
 
    if config['database']['username']:
64
 
        clusterstr += config['database']['username']
65
 
        if config['database']['password']:
66
 
            clusterstr += ':' + config['database']['password']
67
 
        clusterstr += '@'
68
 
 
69
 
    host = config['database']['host'] or 'localhost'
70
 
    port = config['database']['port'] or 5432
71
 
 
72
 
    clusterstr += '%s:%d' % (host, port)
73
 
 
74
 
    return "postgres://%s/%s" % (clusterstr, config['database']['name'])
75
 
 
76
 
def get_store(config):
77
 
    """Create a Storm store connected to the IVLE database.
78
 
 
79
 
    @param config: The IVLE configuration.
80
 
    """
81
 
    return Store(create_database(get_conn_string(config)))
 
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()))
82
66
 
83
67
# USERS #
84
68
 
85
69
class User(Storm):
86
 
    """An IVLE user account."""
 
70
    """
 
71
    Represents an IVLE user.
 
72
    """
87
73
    __storm_table__ = "login"
88
74
 
89
75
    id = Int(primary=True, name="loginid")
90
76
    login = Unicode()
91
77
    passhash = Unicode()
92
78
    state = Unicode()
93
 
    admin = Bool()
 
79
    rolenm = Unicode()
94
80
    unixid = Int()
95
81
    nick = Unicode()
96
82
    pass_exp = DateTime()
102
88
    studentid = Unicode()
103
89
    settings = Unicode()
104
90
 
 
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
 
105
101
    __init__ = _kwarg_init
106
102
 
107
103
    def __repr__(self):
118
114
            return None
119
115
        return self.hash_password(password) == self.passhash
120
116
 
121
 
    @property
122
 
    def display_name(self):
123
 
        """Returns the "nice name" of the user or group."""
124
 
        return self.fullname
125
 
 
126
 
    @property
127
 
    def short_name(self):
128
 
        """Returns the database "identifier" name of the user or group."""
129
 
        return self.login
 
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)
130
122
 
131
123
    @property
132
124
    def password_expired(self):
171
163
 
172
164
    # TODO: Invitations should be listed too?
173
165
    def get_groups(self, offering=None):
174
 
        """Get groups of which this user is a member.
175
 
 
176
 
        @param offering: An optional offering to restrict the search to.
177
 
        """
178
166
        preds = [
179
167
            ProjectGroupMembership.user_id == self.id,
180
168
            ProjectGroup.id == ProjectGroupMembership.project_group_id,
200
188
        '''A sanely ordered list of all of the user's enrolments.'''
201
189
        return self._get_enrolments(False) 
202
190
 
203
 
    def get_projects(self, offering=None, active_only=True):
204
 
        """Find projects that the user can submit.
205
 
 
206
 
        This will include projects for offerings in which the user is
207
 
        enrolled, as long as the project is not in a project set which has
208
 
        groups (ie. if maximum number of group members is 0).
209
 
 
210
 
        @param active_only: Whether to only search active offerings.
211
 
        @param offering: An optional offering to restrict the search to.
212
 
        """
213
 
        return Store.of(self).find(Project,
214
 
            Project.project_set_id == ProjectSet.id,
215
 
            ProjectSet.max_students_per_group == None,
216
 
            ProjectSet.offering_id == Offering.id,
217
 
            (offering is None) or (Offering.id == offering.id),
218
 
            Semester.id == Offering.semester_id,
219
 
            (not active_only) or (Semester.state == u'current'),
220
 
            Enrolment.offering_id == Offering.id,
221
 
            Enrolment.user_id == self.id,
222
 
            Enrolment.active == True)
223
 
 
224
191
    @staticmethod
225
192
    def hash_password(password):
226
 
        """Hash a password with MD5."""
227
 
        return hashlib.md5(password).hexdigest()
 
193
        return md5.md5(password).hexdigest()
228
194
 
229
195
    @classmethod
230
196
    def get_by_login(cls, store, login):
231
 
        """Find a user in a store by login name."""
 
197
        """
 
198
        Get the User from the db associated with a given store and
 
199
        login.
 
200
        """
232
201
        return store.find(cls, cls.login == unicode(login)).one()
233
202
 
234
 
    def get_svn_url(self, config):
235
 
        """Get the subversion repository URL for this user or group."""
236
 
        url = config['urls']['svn_addr']
237
 
        path = 'users/%s' % self.login
238
 
        return urlparse.urljoin(url, path)
239
 
 
240
 
    def get_permissions(self, user, config):
241
 
        """Determine privileges held by a user over this object.
242
 
 
243
 
        If the user requesting privileges is this user or an admin,
244
 
        they may do everything. Otherwise they may do nothing.
245
 
        """
246
 
        if user and user.admin or user is self:
247
 
            return set(['view_public', 'view', 'edit', 'submit_project'])
 
203
    def get_permissions(self, user):
 
204
        if user and user.rolenm == 'admin' or user is self:
 
205
            return set(['view', 'edit'])
248
206
        else:
249
 
            return set(['view_public'])
 
207
            return set()
250
208
 
251
209
# SUBJECTS AND ENROLMENTS #
252
210
 
253
211
class Subject(Storm):
254
 
    """A subject (or course) which is run in some semesters."""
255
 
 
256
212
    __storm_table__ = "subject"
257
213
 
258
214
    id = Int(primary=True, name="subjectid")
259
215
    code = Unicode(name="subj_code")
260
216
    name = Unicode(name="subj_name")
261
217
    short_name = Unicode(name="subj_short_name")
 
218
    url = Unicode()
262
219
 
263
220
    offerings = ReferenceSet(id, 'Offering.subject_id')
264
221
 
267
224
    def __repr__(self):
268
225
        return "<%s '%s'>" % (type(self).__name__, self.short_name)
269
226
 
270
 
    def get_permissions(self, user, config):
271
 
        """Determine privileges held by a user over this object.
272
 
 
273
 
        If the user requesting privileges is an admin, they may edit.
274
 
        Otherwise they may only read.
275
 
        """
 
227
    def get_permissions(self, user):
276
228
        perms = set()
277
229
        if user is not None:
278
230
            perms.add('view')
279
 
            if user.admin:
 
231
            if user.rolenm == 'admin':
280
232
                perms.add('edit')
281
233
        return perms
282
234
 
283
 
    def active_offerings(self):
284
 
        """Find active offerings for this subject.
285
 
 
286
 
        Return a sequence of currently active offerings for this subject
287
 
        (offerings whose semester.state is "current"). There should be 0 or 1
288
 
        elements in this sequence, but it's possible there are more.
289
 
        """
290
 
        return self.offerings.find(Offering.semester_id == Semester.id,
291
 
                                   Semester.state == u'current')
292
 
 
293
 
    def offering_for_semester(self, year, semester):
294
 
        """Get the offering for the given year/semester, or None.
295
 
 
296
 
        @param year: A string representation of the year.
297
 
        @param semester: A string representation of the semester.
298
 
        """
299
 
        return self.offerings.find(Offering.semester_id == Semester.id,
300
 
                               Semester.year == unicode(year),
301
 
                               Semester.semester == unicode(semester)).one()
302
 
 
303
235
class Semester(Storm):
304
 
    """A semester in which subjects can be run."""
305
 
 
306
236
    __storm_table__ = "semester"
307
237
 
308
238
    id = Int(primary=True, name="semesterid")
309
239
    year = Unicode()
310
240
    semester = Unicode()
311
 
    state = Unicode()
 
241
    active = Bool()
312
242
 
313
243
    offerings = ReferenceSet(id, 'Offering.semester_id')
314
 
    enrolments = ReferenceSet(id,
315
 
                              'Offering.semester_id',
316
 
                              'Offering.id',
317
 
                              'Enrolment.offering_id')
318
244
 
319
245
    __init__ = _kwarg_init
320
246
 
322
248
        return "<%s %s/%s>" % (type(self).__name__, self.year, self.semester)
323
249
 
324
250
class Offering(Storm):
325
 
    """An offering of a subject in a particular semester."""
326
 
 
327
251
    __storm_table__ = "offering"
328
252
 
329
253
    id = Int(primary=True, name="offeringid")
331
255
    subject = Reference(subject_id, Subject.id)
332
256
    semester_id = Int(name="semesterid")
333
257
    semester = Reference(semester_id, Semester.id)
334
 
    description = Unicode()
335
 
    url = Unicode()
336
 
    show_worksheet_marks = Bool()
337
 
    worksheet_cutoff = DateTime()
338
258
    groups_student_permissions = Unicode()
339
259
 
340
260
    enrolments = ReferenceSet(id, 'Enrolment.offering_id')
343
263
                           'Enrolment.user_id',
344
264
                           'User.id')
345
265
    project_sets = ReferenceSet(id, 'ProjectSet.offering_id')
346
 
    projects = ReferenceSet(id,
347
 
                            'ProjectSet.offering_id',
348
 
                            'ProjectSet.id',
349
 
                            'Project.project_set_id')
350
266
 
351
 
    worksheets = ReferenceSet(id, 
352
 
        'Worksheet.offering_id', 
353
 
        order_by="seq_no"
354
 
    )
 
267
    worksheets = ReferenceSet(id, 'Worksheet.offering_id')
355
268
 
356
269
    __init__ = _kwarg_init
357
270
 
359
272
        return "<%s %r in %r>" % (type(self).__name__, self.subject,
360
273
                                  self.semester)
361
274
 
362
 
    def enrol(self, user, role=u'student'):
363
 
        """Enrol a user in this offering.
364
 
 
365
 
        Enrolments handle both the staff and student cases. The role controls
366
 
        the privileges granted by this enrolment.
367
 
        """
368
 
        enrolment = Store.of(self).find(Enrolment,
369
 
                               Enrolment.user_id == user.id,
370
 
                               Enrolment.offering_id == self.id).one()
371
 
 
372
 
        if enrolment is None:
373
 
            enrolment = Enrolment(user=user, offering=self)
374
 
            self.enrolments.add(enrolment)
375
 
 
376
 
        enrolment.active = True
377
 
        enrolment.role = role
378
 
 
379
 
    def unenrol(self, user):
380
 
        '''Unenrol a user from this offering.'''
381
 
        enrolment = Store.of(self).find(Enrolment,
382
 
                               Enrolment.user_id == user.id,
383
 
                               Enrolment.offering_id == self.id).one()
384
 
        Store.of(enrolment).remove(enrolment)
385
 
 
386
 
    def get_permissions(self, user, config):
 
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)
 
286
 
 
287
    def get_permissions(self, user):
387
288
        perms = set()
388
289
        if user is not None:
389
 
            enrolment = self.get_enrolment(user)
390
 
            if enrolment or user.admin:
391
 
                perms.add('view')
392
 
            if enrolment and enrolment.role == u'tutor':
393
 
                perms.add('view_project_submissions')
394
 
                # Site-specific policy on the role of tutors
395
 
                if config['policy']['tutors_can_enrol_students']:
396
 
                    perms.add('enrol')
397
 
                    perms.add('enrol_student')
398
 
                if config['policy']['tutors_can_edit_worksheets']:
399
 
                    perms.add('edit_worksheets')
400
 
                if config['policy']['tutors_can_admin_groups']:
401
 
                    perms.add('admin_groups')
402
 
            if (enrolment and enrolment.role in (u'lecturer')) or user.admin:
403
 
                perms.add('view_project_submissions')
404
 
                perms.add('admin_groups')
405
 
                perms.add('edit_worksheets')
406
 
                perms.add('view_worksheet_marks')
407
 
                perms.add('edit')           # Can edit projects & details
408
 
                perms.add('enrol')          # Can see enrolment screen at all
409
 
                perms.add('enrol_student')  # Can enrol students
410
 
                perms.add('enrol_tutor')    # Can enrol tutors
411
 
            if user.admin:
412
 
                perms.add('enrol_lecturer') # Can enrol lecturers
 
290
            perms.add('view')
 
291
            if user.rolenm == 'admin':
 
292
                perms.add('edit')
413
293
        return perms
414
294
 
415
 
    def get_enrolment(self, user):
416
 
        """Find the user's enrolment in this offering."""
417
 
        try:
418
 
            enrolment = self.enrolments.find(user=user).one()
419
 
        except NotOneError:
420
 
            enrolment = None
421
 
 
422
 
        return enrolment
423
 
 
424
 
    def get_members_by_role(self, role):
425
 
        return Store.of(self).find(User,
426
 
                Enrolment.user_id == User.id,
427
 
                Enrolment.offering_id == self.id,
428
 
                Enrolment.role == role
429
 
                ).order_by(User.login)
430
 
 
431
 
    @property
432
 
    def students(self):
433
 
        return self.get_members_by_role(u'student')
434
 
 
435
 
    def get_open_projects_for_user(self, user):
436
 
        """Find all projects currently open to submissions by a user."""
437
 
        # XXX: Respect extensions.
438
 
        return self.projects.find(Project.deadline > datetime.datetime.now())
439
 
 
440
 
    def has_worksheet_cutoff_passed(self, user):
441
 
        """Check whether the worksheet cutoff has passed.
442
 
        A user is required, in case we support extensions.
443
 
        """
444
 
        if self.worksheet_cutoff is None:
445
 
            return False
446
 
        else:
447
 
            return self.worksheet_cutoff < datetime.datetime.now()
448
 
 
449
 
    def clone_worksheets(self, source):
450
 
        """Clone all worksheets from the specified source to this offering."""
451
 
        import ivle.worksheet.utils
452
 
        for worksheet in source.worksheets:
453
 
            newws = Worksheet()
454
 
            newws.seq_no = worksheet.seq_no
455
 
            newws.identifier = worksheet.identifier
456
 
            newws.name = worksheet.name
457
 
            newws.assessable = worksheet.assessable
458
 
            newws.published = worksheet.published
459
 
            newws.data = worksheet.data
460
 
            newws.format = worksheet.format
461
 
            newws.offering = self
462
 
            Store.of(self).add(newws)
463
 
            ivle.worksheet.utils.update_exerciselist(newws)
464
 
 
465
 
 
466
295
class Enrolment(Storm):
467
 
    """An enrolment of a user in an offering.
468
 
 
469
 
    This represents the roles of both staff and students.
470
 
    """
471
 
 
472
296
    __storm_table__ = "enrolment"
473
297
    __storm_primary__ = "user_id", "offering_id"
474
298
 
476
300
    user = Reference(user_id, User.id)
477
301
    offering_id = Int(name="offeringid")
478
302
    offering = Reference(offering_id, Offering.id)
479
 
    role = Unicode()
480
303
    notes = Unicode()
481
304
    active = Bool()
482
305
 
494
317
        return "<%s %r in %r>" % (type(self).__name__, self.user,
495
318
                                  self.offering)
496
319
 
497
 
    def get_permissions(self, user, config):
498
 
        # A user can edit any enrolment that they could have created.
499
 
        perms = set()
500
 
        if ('enrol_' + str(self.role)) in self.offering.get_permissions(
501
 
            user, config):
502
 
            perms.add('edit')
503
 
        return perms
504
 
 
505
 
    def delete(self):
506
 
        """Delete this enrolment."""
507
 
        Store.of(self).remove(self)
508
 
 
 
320
class AlreadyEnrolledError(Exception):
 
321
    pass
509
322
 
510
323
# PROJECTS #
511
324
 
512
325
class ProjectSet(Storm):
513
 
    """A set of projects that share common groups.
514
 
 
515
 
    Each student project group is attached to a project set. The group is
516
 
    valid for all projects in the group's set.
517
 
    """
518
 
 
519
326
    __storm_table__ = "project_set"
520
327
 
521
328
    id = Int(name="projectsetid", primary=True)
532
339
        return "<%s %d in %r>" % (type(self).__name__, self.id,
533
340
                                  self.offering)
534
341
 
535
 
    def get_permissions(self, user, config):
536
 
        return self.offering.get_permissions(user, config)
537
 
 
538
 
    def get_groups_for_user(self, user):
539
 
        """List all groups in this offering of which the user is a member."""
540
 
        assert self.is_group
541
 
        return Store.of(self).find(
542
 
            ProjectGroup,
543
 
            ProjectGroupMembership.user_id == user.id,
544
 
            ProjectGroupMembership.project_group_id == ProjectGroup.id,
545
 
            ProjectGroup.project_set_id == self.id)
546
 
 
547
 
    def get_submission_principal(self, user):
548
 
        """Get the principal on behalf of which the user can submit.
549
 
 
550
 
        If this is a solo project set, the given user is returned. If
551
 
        the user is a member of exactly one group, all the group is
552
 
        returned. Otherwise, None is returned.
553
 
        """
554
 
        if self.is_group:
555
 
            groups = self.get_groups_for_user(user)
556
 
            if groups.count() == 1:
557
 
                return groups.one()
558
 
            else:
559
 
                return None
560
 
        else:
561
 
            return user
562
 
 
563
 
    @property
564
 
    def is_group(self):
565
 
        return self.max_students_per_group is not None
566
 
 
567
 
    @property
568
 
    def assigned(self):
569
 
        """Get the entities (groups or users) assigned to submit this project.
570
 
 
571
 
        This will be a Storm ResultSet.
572
 
        """
573
 
        #If its a solo project, return everyone in offering
574
 
        if self.is_group:
575
 
            return self.project_groups
576
 
        else:
577
 
            return self.offering.students
578
 
 
579
 
class DeadlinePassed(Exception):
580
 
    """An exception indicating that a project cannot be submitted because the
581
 
    deadline has passed."""
582
 
    def __init__(self):
583
 
        pass
584
 
    def __str__(self):
585
 
        return "The project deadline has passed"
586
 
 
587
342
class Project(Storm):
588
 
    """A student project for which submissions can be made."""
589
 
 
590
343
    __storm_table__ = "project"
591
344
 
592
345
    id = Int(name="projectid", primary=True)
593
 
    name = Unicode()
594
 
    short_name = Unicode()
595
346
    synopsis = Unicode()
596
347
    url = Unicode()
597
348
    project_set_id = Int(name="projectsetid")
598
349
    project_set = Reference(project_set_id, ProjectSet.id)
599
350
    deadline = DateTime()
600
351
 
601
 
    assesseds = ReferenceSet(id, 'Assessed.project_id')
602
 
    submissions = ReferenceSet(id,
603
 
                               'Assessed.project_id',
604
 
                               'Assessed.id',
605
 
                               'ProjectSubmission.assessed_id')
606
 
 
607
352
    __init__ = _kwarg_init
608
353
 
609
354
    def __repr__(self):
610
 
        return "<%s '%s' in %r>" % (type(self).__name__, self.short_name,
 
355
        return "<%s '%s' in %r>" % (type(self).__name__, self.synopsis,
611
356
                                  self.project_set.offering)
612
357
 
613
 
    def can_submit(self, principal, user, late=False):
614
 
        """
615
 
        @param late: If True, does not take the deadline into account.
616
 
        """
617
 
        return (self in principal.get_projects() and
618
 
                (late or not self.has_deadline_passed(user)))
619
 
 
620
 
    def submit(self, principal, path, revision, who, late=False):
621
 
        """Submit a Subversion path and revision to a project.
622
 
 
623
 
        @param principal: The owner of the Subversion repository, and the
624
 
                          entity on behalf of whom the submission is being made
625
 
        @param path: A path within that repository to submit.
626
 
        @param revision: The revision of that path to submit.
627
 
        @param who: The user who is actually making the submission.
628
 
        @param late: If True, will not raise a DeadlinePassed exception even
629
 
            after the deadline. (Default False.)
630
 
        """
631
 
 
632
 
        if not self.can_submit(principal, who, late=late):
633
 
            raise DeadlinePassed()
634
 
 
635
 
        a = Assessed.get(Store.of(self), principal, self)
636
 
        ps = ProjectSubmission()
637
 
        # Raise SubmissionError if the path is illegal
638
 
        ps.path = ProjectSubmission.test_and_normalise_path(path)
639
 
        ps.revision = revision
640
 
        ps.date_submitted = datetime.datetime.now()
641
 
        ps.assessed = a
642
 
        ps.submitter = who
643
 
 
644
 
        return ps
645
 
 
646
 
    def get_permissions(self, user, config):
647
 
        return self.project_set.offering.get_permissions(user, config)
648
 
 
649
 
    @property
650
 
    def latest_submissions(self):
651
 
        """Return the latest submission for each Assessed."""
652
 
        return Store.of(self).find(ProjectSubmission,
653
 
            Assessed.project_id == self.id,
654
 
            ProjectSubmission.assessed_id == Assessed.id,
655
 
            ProjectSubmission.date_submitted == Select(
656
 
                    Max(ProjectSubmission.date_submitted),
657
 
                    ProjectSubmission.assessed_id == Assessed.id,
658
 
                    tables=ProjectSubmission
659
 
            )
660
 
        )
661
 
 
662
 
    def has_deadline_passed(self, user):
663
 
        """Check whether the deadline has passed."""
664
 
        # XXX: Need to respect extensions.
665
 
        return self.deadline < datetime.datetime.now()
666
 
 
667
 
    def get_submissions_for_principal(self, principal):
668
 
        """Fetch a ResultSet of all submissions by a particular principal."""
669
 
        assessed = Assessed.get(Store.of(self), principal, self)
670
 
        if assessed is None:
671
 
            return
672
 
        return assessed.submissions
673
 
 
674
 
    @property
675
 
    def can_delete(self):
676
 
        """Can only delete if there are no submissions."""
677
 
        return self.submissions.count() == 0
678
 
 
679
 
    def delete(self):
680
 
        """Delete the project. Fails if can_delete is False."""
681
 
        if not self.can_delete:
682
 
            raise IntegrityError()
683
 
        for assessed in self.assesseds:
684
 
            assessed.delete()
685
 
        Store.of(self).remove(self)
686
 
 
687
358
class ProjectGroup(Storm):
688
 
    """A group of students working together on a project."""
689
 
 
690
359
    __storm_table__ = "project_group"
691
360
 
692
361
    id = Int(name="groupid", primary=True)
709
378
        return "<%s %s in %r>" % (type(self).__name__, self.name,
710
379
                                  self.project_set.offering)
711
380
 
712
 
    @property
713
 
    def display_name(self):
714
 
        """Returns the "nice name" of the user or group."""
715
 
        return self.nick
716
 
 
717
 
    @property
718
 
    def short_name(self):
719
 
        """Returns the database "identifier" name of the user or group."""
720
 
        return self.name
721
 
 
722
 
    def get_projects(self, offering=None, active_only=True):
723
 
        '''Find projects that the group can submit.
724
 
 
725
 
        This will include projects in the project set which owns this group,
726
 
        unless the project set disallows groups (in which case none will be
727
 
        returned).
728
 
 
729
 
        @param active_only: Whether to only search active offerings.
730
 
        @param offering: An optional offering to restrict the search to.
731
 
        '''
732
 
        return Store.of(self).find(Project,
733
 
            Project.project_set_id == ProjectSet.id,
734
 
            ProjectSet.id == self.project_set.id,
735
 
            ProjectSet.max_students_per_group != None,
736
 
            ProjectSet.offering_id == Offering.id,
737
 
            (offering is None) or (Offering.id == offering.id),
738
 
            Semester.id == Offering.semester_id,
739
 
            (not active_only) or (Semester.state == u'current'))
740
 
 
741
 
    def get_svn_url(self, config):
742
 
        """Get the subversion repository URL for this user or group."""
743
 
        url = config['urls']['svn_addr']
744
 
        path = 'groups/%s_%s_%s_%s' % (
745
 
                self.project_set.offering.subject.short_name,
746
 
                self.project_set.offering.semester.year,
747
 
                self.project_set.offering.semester.semester,
748
 
                self.name
749
 
                )
750
 
        return urlparse.urljoin(url, path)
751
 
 
752
 
    def get_permissions(self, user, config):
753
 
        if user.admin or user in self.members:
754
 
            return set(['submit_project'])
755
 
        else:
756
 
            return set()
757
 
 
758
381
class ProjectGroupMembership(Storm):
759
 
    """A student's membership in a project group."""
760
 
 
761
382
    __storm_table__ = "group_member"
762
383
    __storm_primary__ = "user_id", "project_group_id"
763
384
 
772
393
        return "<%s %r in %r>" % (type(self).__name__, self.user,
773
394
                                  self.project_group)
774
395
 
775
 
class Assessed(Storm):
776
 
    """A composite of a user or group combined with a project.
777
 
 
778
 
    Each project submission and extension refers to an Assessed. It is the
779
 
    sole specifier of the repository and project.
780
 
    """
781
 
 
782
 
    __storm_table__ = "assessed"
783
 
 
784
 
    id = Int(name="assessedid", primary=True)
785
 
    user_id = Int(name="loginid")
786
 
    user = Reference(user_id, User.id)
787
 
    project_group_id = Int(name="groupid")
788
 
    project_group = Reference(project_group_id, ProjectGroup.id)
789
 
 
790
 
    project_id = Int(name="projectid")
791
 
    project = Reference(project_id, Project.id)
792
 
 
793
 
    extensions = ReferenceSet(id, 'ProjectExtension.assessed_id')
794
 
    submissions = ReferenceSet(
795
 
        id, 'ProjectSubmission.assessed_id', order_by='date_submitted')
796
 
 
797
 
    def __repr__(self):
798
 
        return "<%s %r in %r>" % (type(self).__name__,
799
 
            self.user or self.project_group, self.project)
800
 
 
801
 
    @property
802
 
    def is_group(self):
803
 
        """True if the Assessed is a group, False if it is a user."""
804
 
        return self.project_group is not None
805
 
 
806
 
    @property
807
 
    def principal(self):
808
 
        return self.project_group or self.user
809
 
 
810
 
    @property
811
 
    def checkout_location(self):
812
 
        """Returns the location of the Subversion workspace for this piece of
813
 
        assessment, relative to each group member's home directory."""
814
 
        subjectname = self.project.project_set.offering.subject.short_name
815
 
        if self.is_group:
816
 
            checkout_dir_name = self.principal.short_name
817
 
        else:
818
 
            checkout_dir_name = "mywork"
819
 
        return subjectname + "/" + checkout_dir_name
820
 
 
821
 
    @classmethod
822
 
    def get(cls, store, principal, project):
823
 
        """Find or create an Assessed for the given user or group and project.
824
 
 
825
 
        @param principal: The user or group.
826
 
        @param project: The project.
827
 
        """
828
 
        t = type(principal)
829
 
        if t not in (User, ProjectGroup):
830
 
            raise AssertionError('principal must be User or ProjectGroup')
831
 
 
832
 
        a = store.find(cls,
833
 
            (t is User) or (cls.project_group_id == principal.id),
834
 
            (t is ProjectGroup) or (cls.user_id == principal.id),
835
 
            cls.project_id == project.id).one()
836
 
 
837
 
        if a is None:
838
 
            a = cls()
839
 
            if t is User:
840
 
                a.user = principal
841
 
            else:
842
 
                a.project_group = principal
843
 
            a.project = project
844
 
            store.add(a)
845
 
 
846
 
        return a
847
 
 
848
 
    def delete(self):
849
 
        """Delete the assessed. Fails if there are any submissions. Deletes
850
 
        extensions."""
851
 
        if self.submissions.count() > 0:
852
 
            raise IntegrityError()
853
 
        for extension in self.extensions:
854
 
            extension.delete()
855
 
        Store.of(self).remove(self)
856
 
 
857
 
class ProjectExtension(Storm):
858
 
    """An extension granted to a user or group on a particular project.
859
 
 
860
 
    The user or group and project are specified by the Assessed.
861
 
    """
862
 
 
863
 
    __storm_table__ = "project_extension"
864
 
 
865
 
    id = Int(name="extensionid", primary=True)
866
 
    assessed_id = Int(name="assessedid")
867
 
    assessed = Reference(assessed_id, Assessed.id)
868
 
    deadline = DateTime()
869
 
    approver_id = Int(name="approver")
870
 
    approver = Reference(approver_id, User.id)
871
 
    notes = Unicode()
872
 
 
873
 
    def delete(self):
874
 
        """Delete the extension."""
875
 
        Store.of(self).remove(self)
876
 
 
877
 
class SubmissionError(Exception):
878
 
    """Denotes a validation error during submission."""
879
 
    pass
880
 
 
881
 
class ProjectSubmission(Storm):
882
 
    """A submission from a user or group repository to a particular project.
883
 
 
884
 
    The content of a submission is a single path and revision inside a
885
 
    repository. The repository is that owned by the submission's user and
886
 
    group, while the path and revision are explicit.
887
 
 
888
 
    The user or group and project are specified by the Assessed.
889
 
    """
890
 
 
891
 
    __storm_table__ = "project_submission"
892
 
 
893
 
    id = Int(name="submissionid", primary=True)
894
 
    assessed_id = Int(name="assessedid")
895
 
    assessed = Reference(assessed_id, Assessed.id)
896
 
    path = Unicode()
897
 
    revision = Int()
898
 
    submitter_id = Int(name="submitter")
899
 
    submitter = Reference(submitter_id, User.id)
900
 
    date_submitted = DateTime()
901
 
 
902
 
    def get_verify_url(self, user):
903
 
        """Get the URL for verifying this submission, within the account of
904
 
        the given user."""
905
 
        # If this is a solo project, then self.path will be prefixed with the
906
 
        # subject name. Remove the first path segment.
907
 
        submitpath = self.path[1:] if self.path[:1] == '/' else self.path
908
 
        if not self.assessed.is_group:
909
 
            if '/' in submitpath:
910
 
                submitpath = submitpath.split('/', 1)[1]
911
 
            else:
912
 
                submitpath = ''
913
 
        return "/files/%s/%s/%s?r=%d" % (user.login,
914
 
            self.assessed.checkout_location, submitpath, self.revision)
915
 
 
916
 
    def get_svn_url(self, config):
917
 
        """Get subversion URL for this submission"""
918
 
        princ = self.assessed.principal
919
 
        base = princ.get_svn_url(config)
920
 
        if self.path.startswith(os.sep):
921
 
            return os.path.join(base,
922
 
                    urllib.quote(self.path[1:].encode('utf-8')))
923
 
        else:
924
 
            return os.path.join(base, urllib.quote(self.path.encode('utf-8')))
925
 
 
926
 
    def get_svn_export_command(self, req):
927
 
        """Returns a Unix shell command to export a submission"""
928
 
        svn_url = self.get_svn_url(req.config)
929
 
        username = (req.user.login if req.user.login.isalnum() else
930
 
                "'%s'"%req.user.login)
931
 
        export_dir = self.assessed.principal.short_name
932
 
        return "svn export --username %s -r%d '%s' %s"%(req.user.login,
933
 
                self.revision, svn_url, export_dir)
934
 
 
935
 
    @staticmethod
936
 
    def test_and_normalise_path(path):
937
 
        """Test that path is valid, and normalise it. This prevents possible
938
 
        injections using malicious paths.
939
 
        Returns the updated path, if successful.
940
 
        Raises SubmissionError if invalid.
941
 
        """
942
 
        # Ensure the path is absolute to prevent being tacked onto working
943
 
        # directories.
944
 
        # Prevent '\n' because it will break all sorts of things.
945
 
        # Prevent '[' and ']' because they can be used to inject into the
946
 
        # svn.conf.
947
 
        # Normalise to avoid resulting in ".." path segments.
948
 
        if not os.path.isabs(path):
949
 
            raise SubmissionError("Path is not absolute")
950
 
        if any(c in path for c in "\n[]"):
951
 
            raise SubmissionError("Path must not contain '\\n', '[' or ']'")
952
 
        return os.path.normpath(path)
953
 
 
954
 
    @property
955
 
    def late(self):
956
 
        """True if the project was submitted late."""
957
 
        return self.days_late > 0
958
 
 
959
 
    @property
960
 
    def days_late(self):
961
 
        """The number of days the project was submitted late (rounded up), or
962
 
        0 if on-time."""
963
 
        # XXX: Need to respect extensions.
964
 
        return max(0,
965
 
            (self.date_submitted - self.assessed.project.deadline).days + 1)
966
 
 
967
396
# WORKSHEETS AND EXERCISES #
968
397
 
969
398
class Exercise(Storm):
970
 
    """An exercise for students to complete in a worksheet.
971
 
 
972
 
    An exercise may be present in any number of worksheets.
973
 
    """
974
 
 
975
 
    __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
976
403
    id = Unicode(primary=True, name="identifier")
977
404
    name = Unicode()
978
405
    description = Unicode()
979
 
    _description_xhtml_cache = Unicode(name='description_xhtml_cache')
980
406
    partial = Unicode()
981
407
    solution = Unicode()
982
408
    include = Unicode()
983
409
    num_rows = Int()
984
410
 
985
 
    worksheet_exercises =  ReferenceSet(id,
986
 
        'WorksheetExercise.exercise_id')
987
 
 
988
411
    worksheets = ReferenceSet(id,
989
412
        'WorksheetExercise.exercise_id',
990
413
        'WorksheetExercise.worksheet_id',
991
414
        'Worksheet.id'
992
415
    )
993
 
 
994
 
    test_suites = ReferenceSet(id, 
995
 
        'TestSuite.exercise_id',
996
 
        order_by='seq_no')
 
416
    
 
417
    test_suites = ReferenceSet(id, 'TestSuite.exercise_id')
997
418
 
998
419
    __init__ = _kwarg_init
999
420
 
1000
421
    def __repr__(self):
1001
422
        return "<%s %s>" % (type(self).__name__, self.name)
1002
423
 
1003
 
    def get_permissions(self, user, config):
1004
 
        return self.global_permissions(user, config)
1005
 
 
1006
 
    @staticmethod
1007
 
    def global_permissions(user, config):
1008
 
        """Gets the set of permissions this user has over *all* exercises.
1009
 
        This is used to determine who may view the exercises list, and create
1010
 
        new exercises."""
1011
 
        perms = set()
1012
 
        roles = set()
1013
 
        if user is not None:
1014
 
            if user.admin:
1015
 
                perms.add('edit')
1016
 
                perms.add('view')
1017
 
            elif u'lecturer' in set((e.role for e in user.active_enrolments)):
1018
 
                perms.add('edit')
1019
 
                perms.add('view')
1020
 
            elif (config['policy']['tutors_can_edit_worksheets']
1021
 
            and u'tutor' in set((e.role for e in user.active_enrolments))):
1022
 
                # Site-specific policy on the role of tutors
1023
 
                perms.add('edit')
1024
 
                perms.add('view')
1025
 
 
1026
 
        return perms
1027
 
 
1028
 
    def _cache_description_xhtml(self, invalidate=False):
1029
 
        # Don't regenerate an existing cache unless forced.
1030
 
        if self._description_xhtml_cache is not None and not invalidate:
1031
 
            return
1032
 
 
1033
 
        if self.description:
1034
 
            self._description_xhtml_cache = rst(self.description)
1035
 
        else:
1036
 
            self._description_xhtml_cache = None
1037
 
 
1038
 
    @property
1039
 
    def description_xhtml(self):
1040
 
        """The XHTML exercise description, converted from reStructuredText."""
1041
 
        self._cache_description_xhtml()
1042
 
        return self._description_xhtml_cache
1043
 
 
1044
 
    def set_description(self, description):
1045
 
        self.description = description
1046
 
        self._cache_description_xhtml(invalidate=True)
1047
 
 
1048
 
    def delete(self):
1049
 
        """Deletes the exercise, providing it has no associated worksheets."""
1050
 
        if (self.worksheet_exercises.count() > 0):
1051
 
            raise IntegrityError()
1052
 
        for suite in self.test_suites:
1053
 
            suite.delete()
1054
 
        Store.of(self).remove(self)
1055
424
 
1056
425
class Worksheet(Storm):
1057
 
    """A worksheet with exercises for students to complete.
1058
 
 
1059
 
    Worksheets are owned by offerings.
1060
 
    """
1061
 
 
1062
426
    __storm_table__ = "worksheet"
1063
427
 
1064
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.
1065
431
    offering_id = Int(name="offeringid")
1066
 
    identifier = Unicode()
1067
 
    name = Unicode()
 
432
    name = Unicode(name="identifier")
1068
433
    assessable = Bool()
1069
 
    published = Bool()
1070
 
    data = Unicode()
1071
 
    _data_xhtml_cache = Unicode(name='data_xhtml_cache')
1072
 
    seq_no = Int()
1073
 
    format = Unicode()
 
434
    mtime = DateTime()
1074
435
 
1075
436
    attempts = ReferenceSet(id, "ExerciseAttempt.worksheetid")
1076
437
    offering = Reference(offering_id, 'Offering.id')
1077
438
 
1078
 
    all_worksheet_exercises = ReferenceSet(id,
 
439
    exercises = ReferenceSet(id,
 
440
        'WorksheetExercise.worksheet_id',
 
441
        'WorksheetExercise.exercise_id',
 
442
        Exercise.id)
 
443
    # Use worksheet_exercises to get access to the WorksheetExercise objects
 
444
    # binding worksheets to exercises. This is required to access the
 
445
    # "optional" field.
 
446
    worksheet_exercises = ReferenceSet(id,
1079
447
        'WorksheetExercise.worksheet_id')
1080
 
 
1081
 
    # Use worksheet_exercises to get access to the *active* WorksheetExercise
1082
 
    # objects binding worksheets to exercises. This is required to access the
1083
 
    # "optional" field.
1084
 
 
1085
 
    @property
1086
 
    def worksheet_exercises(self):
1087
 
        return self.all_worksheet_exercises.find(active=True)
 
448
        
1088
449
 
1089
450
    __init__ = _kwarg_init
1090
451
 
1091
452
    def __repr__(self):
1092
453
        return "<%s %s>" % (type(self).__name__, self.name)
1093
454
 
1094
 
    def remove_all_exercises(self):
1095
 
        """Remove all exercises from this worksheet.
 
455
    # XXX Refactor this - make it an instance method of Subject rather than a
 
456
    # class method of Worksheet. Can't do that now because Subject isn't
 
457
    # linked referentially to the Worksheet.
 
458
    @classmethod
 
459
    def get_by_name(cls, store, subjectname, worksheetname):
 
460
        """
 
461
        Get the Worksheet from the db associated with a given store, subject
 
462
        name and worksheet name.
 
463
        """
 
464
        return store.find(cls, cls.subject == unicode(subjectname),
 
465
            cls.name == unicode(worksheetname)).one()
1096
466
 
 
467
    def remove_all_exercises(self, store):
 
468
        """
 
469
        Remove all exercises from this worksheet.
1097
470
        This does not delete the exercises themselves. It just removes them
1098
471
        from the worksheet.
1099
472
        """
1100
 
        store = Store.of(self)
1101
 
        for ws_ex in self.all_worksheet_exercises:
1102
 
            if ws_ex.saves.count() > 0 or ws_ex.attempts.count() > 0:
1103
 
                raise IntegrityError()
1104
473
        store.find(WorksheetExercise,
1105
474
            WorksheetExercise.worksheet == self).remove()
1106
 
 
1107
 
    def get_permissions(self, user, config):
1108
 
        offering_perms = self.offering.get_permissions(user, config)
1109
 
 
1110
 
        perms = set()
1111
 
 
1112
 
        # Anybody who can view an offering can view a published
1113
 
        # worksheet.
1114
 
        if 'view' in offering_perms and self.published:
1115
 
            perms.add('view')
1116
 
 
1117
 
        # Any worksheet editors can both view and edit.
1118
 
        if 'edit_worksheets' in offering_perms:
1119
 
            perms.add('view')
1120
 
            perms.add('edit')
1121
 
 
1122
 
        return perms
1123
 
 
1124
 
    def _cache_data_xhtml(self, invalidate=False):
1125
 
        # Don't regenerate an existing cache unless forced.
1126
 
        if self._data_xhtml_cache is not None and not invalidate:
1127
 
            return
1128
 
 
1129
 
        if self.format == u'rst':
1130
 
            self._data_xhtml_cache = rst(self.data)
1131
 
        else:
1132
 
            self._data_xhtml_cache = None
1133
 
 
1134
 
    @property
1135
 
    def data_xhtml(self):
1136
 
        """The XHTML of this worksheet, converted from rST if required."""
1137
 
        # Update the rST -> XHTML cache, if required.
1138
 
        self._cache_data_xhtml()
1139
 
 
1140
 
        if self.format == u'rst':
1141
 
            return self._data_xhtml_cache
1142
 
        else:
1143
 
            return self.data
1144
 
 
1145
 
    def set_data(self, data):
1146
 
        self.data = data
1147
 
        self._cache_data_xhtml(invalidate=True)
1148
 
 
1149
 
    def delete(self):
1150
 
        """Deletes the worksheet, provided it has no attempts on any exercises.
1151
 
 
1152
 
        Returns True if delete succeeded, or False if this worksheet has
1153
 
        attempts attached."""
1154
 
        for ws_ex in self.all_worksheet_exercises:
1155
 
            if ws_ex.saves.count() > 0 or ws_ex.attempts.count() > 0:
1156
 
                raise IntegrityError()
1157
 
 
1158
 
        self.remove_all_exercises()
1159
 
        Store.of(self).remove(self)
 
475
            
 
476
    def get_permissions(self, user):
 
477
        return self.offering.get_permissions(user)
1160
478
 
1161
479
class WorksheetExercise(Storm):
1162
 
    """A link between a worksheet and one of its exercises.
1163
 
 
1164
 
    These may be marked optional, in which case the exercise does not count
1165
 
    for marking purposes. The sequence number is used to order the worksheet
1166
 
    ToC.
1167
 
    """
1168
 
 
1169
 
    __storm_table__ = "worksheet_exercise"
1170
 
 
1171
 
    id = Int(primary=True, name="ws_ex_id")
 
480
    __storm_table__ = "worksheet_problem"
 
481
    __storm_primary__ = "worksheet_id", "exercise_id"
1172
482
 
1173
483
    worksheet_id = Int(name="worksheetid")
1174
484
    worksheet = Reference(worksheet_id, Worksheet.id)
1175
 
    exercise_id = Unicode(name="exerciseid")
 
485
    exercise_id = Unicode(name="problemid")
1176
486
    exercise = Reference(exercise_id, Exercise.id)
1177
487
    optional = Bool()
1178
 
    active = Bool()
1179
 
    seq_no = Int()
1180
 
 
1181
 
    saves = ReferenceSet(id, "ExerciseSave.ws_ex_id")
1182
 
    attempts = ReferenceSet(id, "ExerciseAttempt.ws_ex_id")
1183
488
 
1184
489
    __init__ = _kwarg_init
1185
490
 
1186
491
    def __repr__(self):
1187
492
        return "<%s %s in %s>" % (type(self).__name__, self.exercise.name,
1188
 
                                  self.worksheet.identifier)
1189
 
 
1190
 
    def get_permissions(self, user, config):
1191
 
        return self.worksheet.get_permissions(user, config)
1192
 
 
 
493
                                  self.worksheet.name)
1193
494
 
1194
495
class ExerciseSave(Storm):
1195
 
    """A potential exercise solution submitted by a user for storage.
1196
 
 
1197
 
    This is not an actual tested attempt at an exercise, it's just a save of
1198
 
    the editing session.
1199
 
    """
1200
 
 
1201
 
    __storm_table__ = "exercise_save"
1202
 
    __storm_primary__ = "ws_ex_id", "user_id"
1203
 
 
1204
 
    ws_ex_id = Int(name="ws_ex_id")
1205
 
    worksheet_exercise = Reference(ws_ex_id, "WorksheetExercise.id")
1206
 
 
 
496
    """
 
497
    Represents a potential solution to an exercise that a user has submitted
 
498
    to the server for storage.
 
499
    A basic ExerciseSave is just the current saved text for this exercise for
 
500
    this user (doesn't count towards their attempts).
 
501
    ExerciseSave may be extended with additional semantics (such as
 
502
    ExerciseAttempt).
 
503
    """
 
504
    __storm_table__ = "problem_save"
 
505
    __storm_primary__ = "exercise_id", "user_id", "date"
 
506
 
 
507
    exercise_id = Unicode(name="problemid")
 
508
    exercise = Reference(exercise_id, Exercise.id)
1207
509
    user_id = Int(name="loginid")
1208
510
    user = Reference(user_id, User.id)
1209
511
    date = DateTime()
1210
512
    text = Unicode()
 
513
    worksheetid = Int()
 
514
    worksheet = Reference(worksheetid, Worksheet.id)
1211
515
 
1212
516
    __init__ = _kwarg_init
1213
517
 
1214
518
    def __repr__(self):
1215
519
        return "<%s %s by %s at %s>" % (type(self).__name__,
1216
 
            self.worksheet_exercise.exercise.name, self.user.login,
1217
 
            self.date.strftime("%c"))
 
520
            self.exercise.name, self.user.login, self.date.strftime("%c"))
1218
521
 
1219
522
class ExerciseAttempt(ExerciseSave):
1220
 
    """An attempt at solving an exercise.
1221
 
 
1222
 
    This is a special case of ExerciseSave, used when the user submits a
1223
 
    candidate solution. Like an ExerciseSave, it constitutes exercise solution
1224
 
    data.
1225
 
 
1226
 
    In addition, it contains information about the result of the submission:
1227
 
 
1228
 
     - complete - True if this submission was successful, rendering this
1229
 
                  exercise complete for this user in this worksheet.
1230
 
     - active   - True if this submission is "active" (usually true).
1231
 
                  Submissions may be de-activated by privileged users for
1232
 
                  special reasons, and then they won't count (either as a
1233
 
                  penalty or success), but will still be stored.
1234
 
    """
1235
 
 
1236
 
    __storm_table__ = "exercise_attempt"
1237
 
    __storm_primary__ = "ws_ex_id", "user_id", "date"
 
523
    """
 
524
    An ExerciseAttempt is a special case of an ExerciseSave. Like an
 
525
    ExerciseSave, it constitutes exercise solution data that the user has
 
526
    submitted to the server for storage.
 
527
    In addition, it contains additional information about the submission.
 
528
    complete - True if this submission was successful, rendering this exercise
 
529
        complete for this user.
 
530
    active - True if this submission is "active" (usually true). Submissions
 
531
        may be de-activated by privileged users for special reasons, and then
 
532
        they won't count (either as a penalty or success), but will still be
 
533
        stored.
 
534
    """
 
535
    __storm_table__ = "problem_attempt"
 
536
    __storm_primary__ = "exercise_id", "user_id", "date"
1238
537
 
1239
538
    # The "text" field is the same but has a different name in the DB table
1240
539
    # for some reason.
1241
540
    text = Unicode(name="attempt")
1242
541
    complete = Bool()
1243
542
    active = Bool()
1244
 
 
1245
 
    def get_permissions(self, user, config):
 
543
    
 
544
    def get_permissions(self, user):
1246
545
        return set(['view']) if user is self.user else set()
1247
 
 
 
546
  
1248
547
class TestSuite(Storm):
1249
 
    """A container to group an exercise's test cases.
1250
 
 
1251
 
    The test suite contains some information on how to test. The function to
1252
 
    test, variables to set and stdin data are stored here.
1253
 
    """
1254
 
 
 
548
    """A Testsuite acts as a container for the test cases of an exercise."""
1255
549
    __storm_table__ = "test_suite"
1256
550
    __storm_primary__ = "exercise_id", "suiteid"
1257
 
 
 
551
    
1258
552
    suiteid = Int()
1259
 
    exercise_id = Unicode(name="exerciseid")
 
553
    exercise_id = Unicode(name="problemid")
1260
554
    description = Unicode()
1261
555
    seq_no = Int()
1262
556
    function = Unicode()
1263
557
    stdin = Unicode()
1264
558
    exercise = Reference(exercise_id, Exercise.id)
1265
 
    test_cases = ReferenceSet(suiteid, 'TestCase.suiteid', order_by="seq_no")
1266
 
    variables = ReferenceSet(suiteid, 'TestSuiteVar.suiteid', order_by='arg_no')
1267
 
 
1268
 
    def delete(self):
1269
 
        """Delete this suite, without asking questions."""
1270
 
        for variable in self.variables:
1271
 
            variable.delete()
1272
 
        for test_case in self.test_cases:
1273
 
            test_case.delete()
1274
 
        Store.of(self).remove(self)
 
559
    test_cases = ReferenceSet(suiteid, 'TestCase.suiteid')
 
560
    variables = ReferenceSet(suiteid, 'TestSuiteVar.suiteid')
1275
561
 
1276
562
class TestCase(Storm):
1277
 
    """A container for actual tests (see TestCasePart), inside a test suite.
1278
 
 
1279
 
    It is the lowest level shown to students on their pass/fail status."""
1280
 
 
 
563
    """A TestCase is a member of a TestSuite.
 
564
    
 
565
    It contains the data necessary to check if an exercise is correct"""
1281
566
    __storm_table__ = "test_case"
1282
567
    __storm_primary__ = "testid", "suiteid"
1283
 
 
 
568
    
1284
569
    testid = Int()
1285
570
    suiteid = Int()
1286
571
    suite = Reference(suiteid, "TestSuite.suiteid")
1287
572
    passmsg = Unicode()
1288
573
    failmsg = Unicode()
1289
 
    test_default = Unicode() # Currently unused - only used for file matching.
 
574
    test_default = Unicode()
1290
575
    seq_no = Int()
1291
 
 
 
576
    
1292
577
    parts = ReferenceSet(testid, "TestCasePart.testid")
1293
 
 
 
578
    
1294
579
    __init__ = _kwarg_init
1295
580
 
1296
 
    def delete(self):
1297
 
        for part in self.parts:
1298
 
            part.delete()
1299
 
        Store.of(self).remove(self)
1300
 
 
1301
581
class TestSuiteVar(Storm):
1302
 
    """A variable used by an exercise test suite.
1303
 
 
1304
 
    This may represent a function argument or a normal variable.
1305
 
    """
1306
 
 
1307
 
    __storm_table__ = "suite_variable"
 
582
    """A container for the arguments of a Test Suite"""
 
583
    __storm_table__ = "suite_variables"
1308
584
    __storm_primary__ = "varid"
1309
 
 
 
585
    
1310
586
    varid = Int()
1311
587
    suiteid = Int()
1312
588
    var_name = Unicode()
1313
589
    var_value = Unicode()
1314
590
    var_type = Unicode()
1315
591
    arg_no = Int()
1316
 
 
 
592
    
1317
593
    suite = Reference(suiteid, "TestSuite.suiteid")
1318
 
 
 
594
    
1319
595
    __init__ = _kwarg_init
1320
 
 
1321
 
    def delete(self):
1322
 
        Store.of(self).remove(self)
1323
 
 
 
596
    
1324
597
class TestCasePart(Storm):
1325
 
    """An actual piece of code to test an exercise solution."""
1326
 
 
1327
 
    __storm_table__ = "test_case_part"
 
598
    """A container for the test elements of a Test Case"""
 
599
    __storm_table__ = "test_case_parts"
1328
600
    __storm_primary__ = "partid"
1329
 
 
 
601
    
1330
602
    partid = Int()
1331
603
    testid = Int()
1332
 
 
 
604
    
1333
605
    part_type = Unicode()
1334
606
    test_type = Unicode()
1335
607
    data = Unicode()
1336
608
    filename = Unicode()
1337
 
 
 
609
    
1338
610
    test = Reference(testid, "TestCase.testid")
1339
 
 
 
611
    
1340
612
    __init__ = _kwarg_init
1341
 
 
1342
 
    def delete(self):
1343
 
        Store.of(self).remove(self)