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

« back to all changes in this revision

Viewing changes to ivle/database.py

  • Committer: Matt Giuca
  • Date: 2009-02-24 04:44:52 UTC
  • mto: This revision was merged to the branch mainline in revision 1119.
  • Revision ID: matt.giuca@gmail.com-20090224044452-km2gcpvsqsoud0up
image-source/title.svg: Shrunk title to 42px (not 50px). This allows us to
    shrink the whole top bar.
ivle/webapp/coremedia/images/chrome/title.png: Updated from SVG.
ivle/webapp/coremedia/ivle.css: Shrunk header bar to 4em from 5.3em.

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