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

« back to all changes in this revision

Viewing changes to ivle/database.py

  • Committer: David Coles
  • Date: 2010-07-27 04:52:14 UTC
  • Revision ID: coles.david@gmail.com-20100727045214-p32h1kc0gcv48dpr
Worksheets: Strip off whitespace from the end of exercise attempts.

This solves an issue where accidental whitespace in an attempt will cause 
"IndentationError" syntax error (which don't occur when run in console).

Show diffs side-by-side

added added

removed removed

Lines of Context:
17
17
 
18
18
# Author: Matt Giuca, Will Grant
19
19
 
20
 
"""
21
 
Database Classes and Utilities for Storm ORM
 
20
"""Database utilities and content classes.
22
21
 
23
22
This module provides all of the classes which map to database tables.
24
23
It also provides miscellaneous utility functions for database interaction.
25
24
"""
26
25
 
27
 
import md5
 
26
import hashlib
28
27
import datetime
 
28
import os
 
29
import urlparse
 
30
import urllib
29
31
 
30
32
from storm.locals import create_database, Store, Int, Unicode, DateTime, \
31
33
                         Reference, ReferenceSet, Bool, Storm, Desc
 
34
from storm.expr import Select, Max
 
35
from storm.exceptions import NotOneError, IntegrityError
32
36
 
33
 
import ivle.conf
34
 
import ivle.caps
 
37
from ivle.worksheet.rst import rst
35
38
 
36
39
__all__ = ['get_store',
37
40
            'User',
38
41
            'Subject', 'Semester', 'Offering', 'Enrolment',
39
42
            'ProjectSet', 'Project', 'ProjectGroup', 'ProjectGroupMembership',
 
43
            'Assessed', 'ProjectSubmission', 'ProjectExtension',
40
44
            'Exercise', 'Worksheet', 'WorksheetExercise',
41
45
            'ExerciseSave', 'ExerciseAttempt',
42
 
            'AlreadyEnrolledError', 'TestCase', 'TestSuite', 'TestSuiteVar'
 
46
            'TestCase', 'TestSuite', 'TestSuiteVar'
43
47
        ]
44
48
 
45
49
def _kwarg_init(self, **kwargs):
49
53
                % (self.__class__.__name__, k))
50
54
        setattr(self, k, v)
51
55
 
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()))
 
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)))
66
82
 
67
83
# USERS #
68
84
 
69
85
class User(Storm):
70
 
    """
71
 
    Represents an IVLE user.
72
 
    """
 
86
    """An IVLE user account."""
73
87
    __storm_table__ = "login"
74
88
 
75
89
    id = Int(primary=True, name="loginid")
76
90
    login = Unicode()
77
91
    passhash = Unicode()
78
92
    state = Unicode()
79
 
    rolenm = Unicode()
 
93
    admin = Bool()
80
94
    unixid = Int()
81
95
    nick = Unicode()
82
96
    pass_exp = DateTime()
88
102
    studentid = Unicode()
89
103
    settings = Unicode()
90
104
 
91
 
    def _get_role(self):
92
 
        if self.rolenm is None:
93
 
            return None
94
 
        return ivle.caps.Role(self.rolenm)
95
 
    def _set_role(self, value):
96
 
        if not isinstance(value, ivle.caps.Role):
97
 
            raise TypeError("role must be an ivle.caps.Role")
98
 
        self.rolenm = unicode(value)
99
 
    role = property(_get_role, _set_role)
100
 
 
101
105
    __init__ = _kwarg_init
102
106
 
103
107
    def __repr__(self):
114
118
            return None
115
119
        return self.hash_password(password) == self.passhash
116
120
 
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)
 
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
122
130
 
123
131
    @property
124
132
    def password_expired(self):
163
171
 
164
172
    # TODO: Invitations should be listed too?
165
173
    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
        """
166
178
        preds = [
167
179
            ProjectGroupMembership.user_id == self.id,
168
180
            ProjectGroup.id == ProjectGroupMembership.project_group_id,
188
200
        '''A sanely ordered list of all of the user's enrolments.'''
189
201
        return self._get_enrolments(False) 
190
202
 
 
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
 
191
224
    @staticmethod
192
225
    def hash_password(password):
193
 
        return md5.md5(password).hexdigest()
 
226
        """Hash a password with MD5."""
 
227
        return hashlib.md5(password).hexdigest()
194
228
 
195
229
    @classmethod
196
230
    def get_by_login(cls, store, login):
197
 
        """
198
 
        Get the User from the db associated with a given store and
199
 
        login.
200
 
        """
 
231
        """Find a user in a store by login name."""
201
232
        return store.find(cls, cls.login == unicode(login)).one()
202
233
 
203
 
    def get_permissions(self, user):
204
 
        if user and user.rolenm == 'admin' or user is self:
205
 
            return set(['view', 'edit'])
 
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'])
206
248
        else:
207
 
            return set()
 
249
            return set(['view_public'])
208
250
 
209
251
# SUBJECTS AND ENROLMENTS #
210
252
 
211
253
class Subject(Storm):
 
254
    """A subject (or course) which is run in some semesters."""
 
255
 
212
256
    __storm_table__ = "subject"
213
257
 
214
258
    id = Int(primary=True, name="subjectid")
215
259
    code = Unicode(name="subj_code")
216
260
    name = Unicode(name="subj_name")
217
261
    short_name = Unicode(name="subj_short_name")
218
 
    url = Unicode()
219
262
 
220
263
    offerings = ReferenceSet(id, 'Offering.subject_id')
221
264
 
224
267
    def __repr__(self):
225
268
        return "<%s '%s'>" % (type(self).__name__, self.short_name)
226
269
 
227
 
    def get_permissions(self, user):
 
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
        """
228
276
        perms = set()
229
277
        if user is not None:
230
278
            perms.add('view')
231
 
            if user.rolenm == 'admin':
 
279
            if user.admin:
232
280
                perms.add('edit')
233
281
        return perms
234
282
 
 
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
 
235
303
class Semester(Storm):
 
304
    """A semester in which subjects can be run."""
 
305
 
236
306
    __storm_table__ = "semester"
237
307
 
238
308
    id = Int(primary=True, name="semesterid")
239
309
    year = Unicode()
240
310
    semester = Unicode()
241
 
    active = Bool()
 
311
    state = Unicode()
242
312
 
243
313
    offerings = ReferenceSet(id, 'Offering.semester_id')
 
314
    enrolments = ReferenceSet(id,
 
315
                              'Offering.semester_id',
 
316
                              'Offering.id',
 
317
                              'Enrolment.offering_id')
244
318
 
245
319
    __init__ = _kwarg_init
246
320
 
248
322
        return "<%s %s/%s>" % (type(self).__name__, self.year, self.semester)
249
323
 
250
324
class Offering(Storm):
 
325
    """An offering of a subject in a particular semester."""
 
326
 
251
327
    __storm_table__ = "offering"
252
328
 
253
329
    id = Int(primary=True, name="offeringid")
255
331
    subject = Reference(subject_id, Subject.id)
256
332
    semester_id = Int(name="semesterid")
257
333
    semester = Reference(semester_id, Semester.id)
 
334
    description = Unicode()
 
335
    url = Unicode()
 
336
    show_worksheet_marks = Bool()
 
337
    worksheet_cutoff = DateTime()
258
338
    groups_student_permissions = Unicode()
259
339
 
260
340
    enrolments = ReferenceSet(id, 'Enrolment.offering_id')
263
343
                           'Enrolment.user_id',
264
344
                           'User.id')
265
345
    project_sets = ReferenceSet(id, 'ProjectSet.offering_id')
 
346
    projects = ReferenceSet(id,
 
347
                            'ProjectSet.offering_id',
 
348
                            'ProjectSet.id',
 
349
                            'Project.project_set_id')
266
350
 
267
 
    worksheets = ReferenceSet(id, 'Worksheet.offering_id')
 
351
    worksheets = ReferenceSet(id, 
 
352
        'Worksheet.offering_id', 
 
353
        order_by="seq_no"
 
354
    )
268
355
 
269
356
    __init__ = _kwarg_init
270
357
 
272
359
        return "<%s %r in %r>" % (type(self).__name__, self.subject,
273
360
                                  self.semester)
274
361
 
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):
 
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):
288
387
        perms = set()
289
388
        if user is not None:
290
 
            perms.add('view')
291
 
            if user.rolenm == 'admin':
292
 
                perms.add('edit')
 
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
293
413
        return perms
294
414
 
 
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
 
295
466
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
 
296
472
    __storm_table__ = "enrolment"
297
473
    __storm_primary__ = "user_id", "offering_id"
298
474
 
300
476
    user = Reference(user_id, User.id)
301
477
    offering_id = Int(name="offeringid")
302
478
    offering = Reference(offering_id, Offering.id)
 
479
    role = Unicode()
303
480
    notes = Unicode()
304
481
    active = Bool()
305
482
 
317
494
        return "<%s %r in %r>" % (type(self).__name__, self.user,
318
495
                                  self.offering)
319
496
 
320
 
class AlreadyEnrolledError(Exception):
321
 
    pass
 
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
 
322
509
 
323
510
# PROJECTS #
324
511
 
325
512
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
 
326
519
    __storm_table__ = "project_set"
327
520
 
328
521
    id = Int(name="projectsetid", primary=True)
339
532
        return "<%s %d in %r>" % (type(self).__name__, self.id,
340
533
                                  self.offering)
341
534
 
 
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
 
342
587
class Project(Storm):
 
588
    """A student project for which submissions can be made."""
 
589
 
343
590
    __storm_table__ = "project"
344
591
 
345
592
    id = Int(name="projectid", primary=True)
 
593
    name = Unicode()
 
594
    short_name = Unicode()
346
595
    synopsis = Unicode()
347
596
    url = Unicode()
348
597
    project_set_id = Int(name="projectsetid")
349
598
    project_set = Reference(project_set_id, ProjectSet.id)
350
599
    deadline = DateTime()
351
600
 
 
601
    assesseds = ReferenceSet(id, 'Assessed.project_id')
 
602
    submissions = ReferenceSet(id,
 
603
                               'Assessed.project_id',
 
604
                               'Assessed.id',
 
605
                               'ProjectSubmission.assessed_id')
 
606
 
352
607
    __init__ = _kwarg_init
353
608
 
354
609
    def __repr__(self):
355
 
        return "<%s '%s' in %r>" % (type(self).__name__, self.synopsis,
 
610
        return "<%s '%s' in %r>" % (type(self).__name__, self.short_name,
356
611
                                  self.project_set.offering)
357
612
 
 
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
 
358
687
class ProjectGroup(Storm):
 
688
    """A group of students working together on a project."""
 
689
 
359
690
    __storm_table__ = "project_group"
360
691
 
361
692
    id = Int(name="groupid", primary=True)
378
709
        return "<%s %s in %r>" % (type(self).__name__, self.name,
379
710
                                  self.project_set.offering)
380
711
 
 
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
 
381
758
class ProjectGroupMembership(Storm):
 
759
    """A student's membership in a project group."""
 
760
 
382
761
    __storm_table__ = "group_member"
383
762
    __storm_primary__ = "user_id", "project_group_id"
384
763
 
393
772
        return "<%s %r in %r>" % (type(self).__name__, self.user,
394
773
                                  self.project_group)
395
774
 
 
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
    days = Int()
 
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
 
396
967
# WORKSHEETS AND EXERCISES #
397
968
 
398
969
class Exercise(Storm):
399
 
    # Note: Table "problem" is called "Exercise" in the Object layer, since
400
 
    # it's called that everywhere else.
401
 
    __storm_table__ = "problem"
402
 
#TODO: Add in a field for the user-friendly identifier
 
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"
403
976
    id = Unicode(primary=True, name="identifier")
404
977
    name = Unicode()
405
978
    description = Unicode()
 
979
    _description_xhtml_cache = Unicode(name='description_xhtml_cache')
406
980
    partial = Unicode()
407
981
    solution = Unicode()
408
982
    include = Unicode()
409
983
    num_rows = Int()
410
984
 
 
985
    worksheet_exercises =  ReferenceSet(id,
 
986
        'WorksheetExercise.exercise_id')
 
987
 
411
988
    worksheets = ReferenceSet(id,
412
989
        'WorksheetExercise.exercise_id',
413
990
        'WorksheetExercise.worksheet_id',
414
991
        'Worksheet.id'
415
992
    )
416
 
    
417
 
    test_suites = ReferenceSet(id, 'TestSuite.exercise_id')
 
993
 
 
994
    test_suites = ReferenceSet(id, 
 
995
        'TestSuite.exercise_id',
 
996
        order_by='seq_no')
418
997
 
419
998
    __init__ = _kwarg_init
420
999
 
421
1000
    def __repr__(self):
422
1001
        return "<%s %s>" % (type(self).__name__, self.name)
423
1002
 
424
 
#    @classmethod
425
 
#    def get_by_name(cls, store, name):
426
 
#        """
427
 
#        Get the Exercise from the db associated with a given store and name.
428
 
#        If the exercise is not in the database, creates it and inserts it
429
 
#        automatically.
430
 
#        """
431
 
#        ex = store.find(cls, cls.name == unicode(name)).one()
432
 
#        if ex is not None:
433
 
#            return ex
434
 
#        ex = Exercise(name=unicode(name))
435
 
#        store.add(ex)
436
 
#        store.commit()
437
 
#        return ex
 
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)
438
1055
 
439
1056
class Worksheet(Storm):
 
1057
    """A worksheet with exercises for students to complete.
 
1058
 
 
1059
    Worksheets are owned by offerings.
 
1060
    """
 
1061
 
440
1062
    __storm_table__ = "worksheet"
441
1063
 
442
1064
    id = Int(primary=True, name="worksheetid")
443
 
    # XXX subject is not linked to a Subject object. This is a property of
444
 
    # the database, and will be refactored.
445
 
    subject = Unicode()
446
1065
    offering_id = Int(name="offeringid")
447
 
    name = Unicode(name="identifier")
 
1066
    identifier = Unicode()
 
1067
    name = Unicode()
448
1068
    assessable = Bool()
449
 
    mtime = DateTime()
 
1069
    published = Bool()
 
1070
    data = Unicode()
 
1071
    _data_xhtml_cache = Unicode(name='data_xhtml_cache')
 
1072
    seq_no = Int()
 
1073
    format = Unicode()
450
1074
 
451
1075
    attempts = ReferenceSet(id, "ExerciseAttempt.worksheetid")
452
1076
    offering = Reference(offering_id, 'Offering.id')
453
1077
 
454
 
    exercises = ReferenceSet(id,
455
 
        'WorksheetExercise.worksheet_id',
456
 
        'WorksheetExercise.exercise_id',
457
 
        Exercise.id)
458
 
    # Use worksheet_exercises to get access to the WorksheetExercise objects
459
 
    # binding worksheets to exercises. This is required to access the
 
1078
    all_worksheet_exercises = ReferenceSet(id,
 
1079
        '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
460
1083
    # "optional" field.
461
 
    worksheet_exercises = ReferenceSet(id,
462
 
        'WorksheetExercise.worksheet_id')
463
 
        
 
1084
 
 
1085
    @property
 
1086
    def worksheet_exercises(self):
 
1087
        return self.all_worksheet_exercises.find(active=True)
464
1088
 
465
1089
    __init__ = _kwarg_init
466
1090
 
467
1091
    def __repr__(self):
468
1092
        return "<%s %s>" % (type(self).__name__, self.name)
469
1093
 
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()
 
1094
    def remove_all_exercises(self):
 
1095
        """Remove all exercises from this worksheet.
481
1096
 
482
 
    def remove_all_exercises(self, store):
483
 
        """
484
 
        Remove all exercises from this worksheet.
485
1097
        This does not delete the exercises themselves. It just removes them
486
1098
        from the worksheet.
487
1099
        """
 
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()
488
1104
        store.find(WorksheetExercise,
489
1105
            WorksheetExercise.worksheet == self).remove()
490
 
            
491
 
    def get_permissions(self, user):
492
 
        return self.offering.get_permissions(user)
 
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)
493
1160
 
494
1161
class WorksheetExercise(Storm):
495
 
    __storm_table__ = "worksheet_problem"
496
 
    __storm_primary__ = "worksheet_id", "exercise_id"
 
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")
497
1172
 
498
1173
    worksheet_id = Int(name="worksheetid")
499
1174
    worksheet = Reference(worksheet_id, Worksheet.id)
500
 
    exercise_id = Unicode(name="problemid")
 
1175
    exercise_id = Unicode(name="exerciseid")
501
1176
    exercise = Reference(exercise_id, Exercise.id)
502
1177
    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")
503
1183
 
504
1184
    __init__ = _kwarg_init
505
1185
 
506
1186
    def __repr__(self):
507
1187
        return "<%s %s in %s>" % (type(self).__name__, self.exercise.name,
508
 
                                  self.worksheet.name)
 
1188
                                  self.worksheet.identifier)
 
1189
 
 
1190
    def get_permissions(self, user, config):
 
1191
        return self.worksheet.get_permissions(user, config)
 
1192
 
509
1193
 
510
1194
class ExerciseSave(Storm):
511
 
    """
512
 
    Represents a potential solution to an exercise that a user has submitted
513
 
    to the server for storage.
514
 
    A basic ExerciseSave is just the current saved text for this exercise for
515
 
    this user (doesn't count towards their attempts).
516
 
    ExerciseSave may be extended with additional semantics (such as
517
 
    ExerciseAttempt).
518
 
    """
519
 
    __storm_table__ = "problem_save"
520
 
    __storm_primary__ = "exercise_id", "user_id", "date"
521
 
 
522
 
    exercise_id = Unicode(name="problemid")
523
 
    exercise = Reference(exercise_id, Exercise.id)
 
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
 
524
1207
    user_id = Int(name="loginid")
525
1208
    user = Reference(user_id, User.id)
526
1209
    date = DateTime()
527
1210
    text = Unicode()
528
 
    worksheetid = Int()
529
 
    worksheet = Reference(worksheetid, Worksheet.id)
530
1211
 
531
1212
    __init__ = _kwarg_init
532
1213
 
533
1214
    def __repr__(self):
534
1215
        return "<%s %s by %s at %s>" % (type(self).__name__,
535
 
            self.exercise.name, self.user.login, self.date.strftime("%c"))
 
1216
            self.worksheet_exercise.exercise.name, self.user.login,
 
1217
            self.date.strftime("%c"))
536
1218
 
537
1219
class ExerciseAttempt(ExerciseSave):
538
 
    """
539
 
    An ExerciseAttempt is a special case of an ExerciseSave. Like an
540
 
    ExerciseSave, it constitutes exercise solution data that the user has
541
 
    submitted to the server for storage.
542
 
    In addition, it contains additional information about the submission.
543
 
    complete - True if this submission was successful, rendering this exercise
544
 
        complete for this user.
545
 
    active - True if this submission is "active" (usually true). Submissions
546
 
        may be de-activated by privileged users for special reasons, and then
547
 
        they won't count (either as a penalty or success), but will still be
548
 
        stored.
549
 
    """
550
 
    __storm_table__ = "problem_attempt"
551
 
    __storm_primary__ = "exercise_id", "user_id", "date"
 
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"
552
1238
 
553
1239
    # The "text" field is the same but has a different name in the DB table
554
1240
    # for some reason.
555
1241
    text = Unicode(name="attempt")
556
1242
    complete = Bool()
557
1243
    active = Bool()
558
 
    
559
 
    def get_permissions(self, user):
 
1244
 
 
1245
    def get_permissions(self, user, config):
560
1246
        return set(['view']) if user is self.user else set()
561
 
  
 
1247
 
562
1248
class TestSuite(Storm):
563
 
    """A Testsuite acts as a container for the test cases of an exercise."""
 
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
 
564
1255
    __storm_table__ = "test_suite"
565
1256
    __storm_primary__ = "exercise_id", "suiteid"
566
 
    
 
1257
 
567
1258
    suiteid = Int()
568
 
    exercise_id = Unicode(name="problemid")
 
1259
    exercise_id = Unicode(name="exerciseid")
569
1260
    description = Unicode()
570
1261
    seq_no = Int()
571
1262
    function = Unicode()
572
1263
    stdin = Unicode()
573
1264
    exercise = Reference(exercise_id, Exercise.id)
574
 
    test_cases = ReferenceSet(suiteid, 'TestCase.suiteid')
575
 
    variables = ReferenceSet(suiteid, 'TestSuiteVar.suiteid')
 
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)
576
1275
 
577
1276
class TestCase(Storm):
578
 
    """A TestCase is a member of a TestSuite.
579
 
    
580
 
    It contains the data necessary to check if an exercise is correct"""
 
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
 
581
1281
    __storm_table__ = "test_case"
582
1282
    __storm_primary__ = "testid", "suiteid"
583
 
    
 
1283
 
584
1284
    testid = Int()
585
1285
    suiteid = Int()
586
1286
    suite = Reference(suiteid, "TestSuite.suiteid")
587
1287
    passmsg = Unicode()
588
1288
    failmsg = Unicode()
589
 
    test_default = Unicode()
 
1289
    test_default = Unicode() # Currently unused - only used for file matching.
590
1290
    seq_no = Int()
591
 
    
 
1291
 
592
1292
    parts = ReferenceSet(testid, "TestCasePart.testid")
593
 
    
 
1293
 
594
1294
    __init__ = _kwarg_init
595
1295
 
 
1296
    def delete(self):
 
1297
        for part in self.parts:
 
1298
            part.delete()
 
1299
        Store.of(self).remove(self)
 
1300
 
596
1301
class TestSuiteVar(Storm):
597
 
    """A container for the arguments of a Test Suite"""
598
 
    __storm_table__ = "suite_variables"
 
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"
599
1308
    __storm_primary__ = "varid"
600
 
    
 
1309
 
601
1310
    varid = Int()
602
1311
    suiteid = Int()
603
1312
    var_name = Unicode()
604
1313
    var_value = Unicode()
605
1314
    var_type = Unicode()
606
1315
    arg_no = Int()
607
 
    
 
1316
 
608
1317
    suite = Reference(suiteid, "TestSuite.suiteid")
609
 
    
 
1318
 
610
1319
    __init__ = _kwarg_init
611
 
    
 
1320
 
 
1321
    def delete(self):
 
1322
        Store.of(self).remove(self)
 
1323
 
612
1324
class TestCasePart(Storm):
613
 
    """A container for the test elements of a Test Case"""
614
 
    __storm_table__ = "test_case_parts"
 
1325
    """An actual piece of code to test an exercise solution."""
 
1326
 
 
1327
    __storm_table__ = "test_case_part"
615
1328
    __storm_primary__ = "partid"
616
 
    
 
1329
 
617
1330
    partid = Int()
618
1331
    testid = Int()
619
 
    
 
1332
 
620
1333
    part_type = Unicode()
621
1334
    test_type = Unicode()
622
1335
    data = Unicode()
623
1336
    filename = Unicode()
624
 
    
 
1337
 
625
1338
    test = Reference(testid, "TestCase.testid")
626
 
    
 
1339
 
627
1340
    __init__ = _kwarg_init
 
1341
 
 
1342
    def delete(self):
 
1343
        Store.of(self).remove(self)