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

« back to all changes in this revision

Viewing changes to ivle/webapp/tutorial/service.py

  • Committer: mattgiuca
  • Date: 2008-01-12 16:13:31 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:203
browser: Removed all directory-listing specific HTML from the Python-generated
    html. This can't be static because different handlers need different
    content inside the page body (eg. binary files don't use a table).
    The JavaScript now clears a lot more of the page and rebuilds the entire
    directory listing table dynamically.

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
# IVLE - Informatics Virtual Learning Environment
2
 
# Copyright (C) 2007-2009 The University of Melbourne
3
 
#
4
 
# This program is free software; you can redistribute it and/or modify
5
 
# it under the terms of the GNU General Public License as published by
6
 
# the Free Software Foundation; either version 2 of the License, or
7
 
# (at your option) any later version.
8
 
#
9
 
# This program is distributed in the hope that it will be useful,
10
 
# but WITHOUT ANY WARRANTY; without even the implied warranty of
11
 
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
12
 
# GNU General Public License for more details.
13
 
#
14
 
# You should have received a copy of the GNU General Public License
15
 
# along with this program; if not, write to the Free Software
16
 
# Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
17
 
 
18
 
# Author: Matt Giuca, Nick Chadwick
19
 
 
20
 
'''AJAX backend for the tutorial application.'''
21
 
 
22
 
import os
23
 
import datetime
24
 
import genshi
25
 
 
26
 
import ivle.util
27
 
import ivle.console
28
 
import ivle.database
29
 
from ivle.database import Exercise, ExerciseAttempt, ExerciseSave, Worksheet, \
30
 
                          Offering, Subject, Semester, WorksheetExercise
31
 
import ivle.worksheet
32
 
import ivle.conf
33
 
import ivle.webapp.tutorial.test
34
 
 
35
 
from ivle.webapp.base.rest import (JSONRESTView, named_operation,
36
 
                                   require_permission)
37
 
from ivle.webapp.errors import NotFound
38
 
 
39
 
# If True, getattempts or getattempt will allow browsing of inactive/disabled
40
 
# attempts. If False, will not allow this.
41
 
HISTORY_ALLOW_INACTIVE = False
42
 
 
43
 
TIMESTAMP_FORMAT = '%Y-%m-%d %H:%M:%S'
44
 
 
45
 
class AttemptsRESTView(JSONRESTView):
46
 
    '''REST view of a user's attempts at an exercise.'''
47
 
    
48
 
    def __init__(self, req, subject, year, semester, worksheet, 
49
 
                                                exercise, username):
50
 
        self.user = ivle.database.User.get_by_login(req.store, username)
51
 
        if self.user is None:
52
 
            raise NotFound()
53
 
        
54
 
        self.worksheet_exercise = req.store.find(WorksheetExercise,
55
 
            WorksheetExercise.exercise_id == exercise,
56
 
            WorksheetExercise.worksheet_id == Worksheet.id,
57
 
            Worksheet.offering_id == Offering.id,
58
 
            Offering.subject_id == Subject.id,
59
 
            Subject.code == subject,
60
 
            Offering.semester_id == Semester.id,
61
 
            Semester.year == year,
62
 
            Semester.semester == semester).one()
63
 
        
64
 
        self.context = self.user # XXX: Not quite right.
65
 
 
66
 
    @require_permission('edit')
67
 
    def GET(self, req):
68
 
        """Handles a GET Attempts action."""
69
 
        attempts = req.store.find(ExerciseAttempt, 
70
 
                ExerciseAttempt.ws_ex_id == self.worksheet_exercise.id,
71
 
                ExerciseAttempt.user_id == self.user.id)
72
 
        # attempts is a list of ExerciseAttempt objects. Convert to dictionaries
73
 
        time_fmt = lambda dt: datetime.datetime.strftime(dt, TIMESTAMP_FORMAT)
74
 
        attempts = [{'date': time_fmt(a.date), 'complete': a.complete}
75
 
                for a in attempts]
76
 
 
77
 
        return attempts
78
 
 
79
 
 
80
 
    @require_permission('edit')
81
 
    def PUT(self, req, data):
82
 
        """ Tests the given submission """
83
 
        exercise = req.store.find(Exercise, 
84
 
            Exercise.id == self.worksheet_exercise.exercise_id).one()
85
 
        if exercise is None:
86
 
            raise NotFound()
87
 
 
88
 
        # Start a console to run the tests on
89
 
        jail_path = os.path.join(ivle.conf.jail_base, req.user.login)
90
 
        working_dir = os.path.join("/home", req.user.login)
91
 
        cons = ivle.console.Console(req.user.unixid, jail_path, working_dir)
92
 
 
93
 
        # Parse the file into a exercise object using the test suite
94
 
        exercise_obj = ivle.webapp.tutorial.test.parse_exercise_file(
95
 
                                                            exercise, cons)
96
 
 
97
 
        # Run the test cases. Get the result back as a JSONable object.
98
 
        # Return it.
99
 
        test_results = exercise_obj.run_tests(data['code'])
100
 
 
101
 
        # Close the console
102
 
        cons.close()
103
 
 
104
 
        attempt = ivle.database.ExerciseAttempt(user=req.user,
105
 
            worksheet_exercise = self.worksheet_exercise,
106
 
            date = datetime.datetime.now(),
107
 
            complete = test_results['passed'],
108
 
            text = unicode(data['code'])
109
 
        )
110
 
 
111
 
        req.store.add(attempt)
112
 
 
113
 
        # Query the DB to get an updated score on whether or not this problem
114
 
        # has EVER been completed (may be different from "passed", if it has
115
 
        # been completed before), and the total number of attempts.
116
 
        completed, attempts = ivle.worksheet.get_exercise_status(req.store,
117
 
            req.user, self.worksheet_exercise)
118
 
        test_results["completed"] = completed
119
 
        test_results["attempts"] = attempts
120
 
 
121
 
        return test_results
122
 
 
123
 
 
124
 
class AttemptRESTView(JSONRESTView):
125
 
    '''REST view of an exercise attempt.'''
126
 
 
127
 
    def __init__(self, req, subject, year, semester, worksheet, exercise, 
128
 
                 username, date):
129
 
        # TODO: Find exercise within worksheet.
130
 
        user = ivle.database.User.get_by_login(req.store, username)
131
 
        if user is None:
132
 
            raise NotFound()
133
 
 
134
 
        try:
135
 
            date = datetime.datetime.strptime(date, TIMESTAMP_FORMAT)
136
 
        except ValueError:
137
 
            raise NotFound()
138
 
 
139
 
        # XXX Hack around Google Code issue #87
140
 
        # Query from the given date +1 secnod.
141
 
        # Date is in seconds (eg. 3:47:12), while the data is in finer time
142
 
        # (eg. 3:47:12.3625). The query "date <= 3:47:12" will fail because
143
 
        # 3:47:12.3625 is greater. Hence we do the query from +1 second,
144
 
        # "date <= 3:47:13", and it finds the correct submission, UNLESS there
145
 
        # are multiple submissions inside the same second.
146
 
        date += datetime.timedelta(seconds=1)
147
 
 
148
 
        worksheet_exercise = req.store.find(WorksheetExercise,
149
 
            WorksheetExercise.exercise_id == exercise,
150
 
            WorksheetExercise.worksheet_id == Worksheet.id,
151
 
            Worksheet.identifier == worksheet,
152
 
            Worksheet.offering_id == Offering.id,
153
 
            Offering.subject_id == Subject.id,
154
 
            Subject.code == subject,
155
 
            Offering.semester_id == Semester.id,
156
 
            Semester.year == year,
157
 
            Semester.semester == semester).one()
158
 
            
159
 
        attempt = ivle.worksheet.get_exercise_attempt(req.store, user,
160
 
                        worksheet_exercise, as_of=date,
161
 
                        allow_inactive=HISTORY_ALLOW_INACTIVE) 
162
 
 
163
 
        if attempt is None:
164
 
            raise NotFound()
165
 
 
166
 
        self.context = attempt
167
 
 
168
 
    @require_permission('view')
169
 
    def GET(self, req):
170
 
        return {'code': self.context.text}
171
 
 
172
 
 
173
 
class ExerciseRESTView(JSONRESTView):
174
 
    '''REST view of an exercise.'''
175
 
 
176
 
    def get_permissions(self, user):
177
 
        # XXX: Do it properly.
178
 
        # XXX: Does any user have the ability to save as themselves?
179
 
        # XXX: Does a user EVER have permission to save as another user?
180
 
        if user is not None:
181
 
            return set(['save'])
182
 
        else:
183
 
            return set()
184
 
 
185
 
    @named_operation('save')
186
 
    def save(self, req, text):
187
 
        # Find the appropriate WorksheetExercise to save to. If its not found,
188
 
        # the user is submitting against a non-existant worksheet/exercise
189
 
        worksheet_exercise = req.store.find(WorksheetExercise,
190
 
            WorksheetExercise.exercise_id == self.exercise,
191
 
            WorksheetExercise.worksheet_id == Worksheet.id,
192
 
            Worksheet.offering_id == Offering.id,
193
 
            Offering.subject_id == Subject.id,
194
 
            Subject.code == self.subject,
195
 
            Offering.semester_id == Semester.id,
196
 
            Semester.year == self.year,
197
 
            Semester.semester == self.semester).one()
198
 
        
199
 
        if worksheet_exercise is None:
200
 
            raise NotFound()
201
 
 
202
 
        old_save = req.store.find(ExerciseSave,
203
 
            ExerciseSave.ws_ex_id == worksheet_exercise.id,
204
 
            ExerciseSave.user == req.user).one()
205
 
        
206
 
        #Overwrite the old, or create a new if there isn't one
207
 
        if old_save is None:
208
 
            new_save = ExerciseSave()
209
 
            req.store.add(new_save)
210
 
        else:
211
 
            new_save = old_save
212
 
        
213
 
        new_save.worksheet_exercise = worksheet_exercise
214
 
        new_save.user = req.user
215
 
        new_save.text = unicode(text)
216
 
        new_save.date = datetime.datetime.now()
217
 
 
218
 
        return {"result": "ok"}
219
 
 
220
 
 
221
 
 
222
 
# Note that this is the view of an existing worksheet. Creation is handled
223
 
# by OfferingRESTView (as offerings have worksheets)
224
 
class WorksheetRESTView(JSONRESTView):
225
 
    """View used to update a worksheet."""
226
 
 
227
 
    def get_permissions(self, user):
228
 
        # XXX: Do it properly.
229
 
        # XXX: Lecturers should be allowed to add worksheets Only to subjects
230
 
        #      under their control
231
 
        if user is not None:
232
 
            if user.admin:
233
 
                return set(['save'])
234
 
            else:
235
 
                return set()
236
 
        else:
237
 
            return set()    
238
 
 
239
 
    def __init__(self, req, **kwargs):
240
 
    
241
 
        self.worksheet = kwargs['worksheet']
242
 
        self.subject = kwargs['subject']
243
 
        self.year = kwargs['year']
244
 
        self.semester = kwargs['semester']
245
 
    
246
 
        self.context = req.store.find(Worksheet,
247
 
            Worksheet.identifier == self.worksheet,
248
 
            Worksheet.offering_id == Offering.id,
249
 
            Offering.subject_id == Subject.id,
250
 
            Subject.code == self.subject,
251
 
            Offering.semester_id == Semester.id,
252
 
            Semester.year == self.year,
253
 
            Semester.semester == self.semester).one()
254
 
        
255
 
        if self.context is None:
256
 
            raise NotFound()
257
 
    
258
 
    @named_operation('save')
259
 
    def save(self, req, name, assessable, data, format):
260
 
        """Takes worksheet data and saves it."""
261
 
        self.context.name = unicode(name)
262
 
        self.context.assessable = self.convert_bool(assessable)
263
 
        self.context.data = unicode(data)
264
 
        self.context.format = unicode(format)
265
 
        ivle.worksheet.update_exerciselist(self.context)
266
 
        
267
 
        return {"result": "ok"}
268
 
 
269
 
class WorksheetsRESTView(JSONRESTView):
270
 
    """View used to update and create Worksheets."""
271
 
    
272
 
    def get_permissions(self, user):
273
 
        # XXX: Do it properly.
274
 
        # XXX: Lecturers should be allowed to add worksheets Only to subjects
275
 
        #      under their control
276
 
        if user is not None:
277
 
            if user.admin:
278
 
                return set(['edit'])
279
 
            else:
280
 
                return set()
281
 
        else:
282
 
            return set()
283
 
 
284
 
    def __init__(self, req, **kwargs):
285
 
    
286
 
        self.subject = kwargs['subject']
287
 
        self.year = kwargs['year']
288
 
        self.semester = kwargs['semester']
289
 
    
290
 
        self.context = req.store.find(Offering,
291
 
            Offering.subject_id == Subject.id,
292
 
            Subject.code == self.subject,
293
 
            Offering.semester_id == Semester.id,
294
 
            Semester.year == self.year,
295
 
            Semester.semester == self.semester).one()
296
 
        
297
 
        if self.context is None:
298
 
            raise NotFound()
299
 
 
300
 
    @named_operation('edit')
301
 
    def add_worksheet(self, req, identifier, name, assessable, data, format):
302
 
        """Takes worksheet data and adds it."""
303
 
        
304
 
        new_worksheet = Worksheet()
305
 
        new_worksheet.seq_no = self.context.worksheets.count()
306
 
        # Setting new_worksheet.offering implicitly adds new_worksheet,
307
 
        # hence worksheets.count MUST be called above it
308
 
        new_worksheet.offering = self.context
309
 
        new_worksheet.identifier = unicode(identifier)
310
 
        new_worksheet.name = unicode(name)
311
 
        new_worksheet.assessable = self.convert_bool(assessable)
312
 
        new_worksheet.data = unicode(data)
313
 
        new_worksheet.format = unicode(format)
314
 
        
315
 
        # This call is added for clarity, as the worksheet is implicitly added.        
316
 
        req.store.add(new_worksheet)
317
 
        
318
 
        ivle.worksheet.update_exerciselist(new_worksheet)
319
 
        
320
 
        return {"result": "ok"}
321
 
 
322
 
    @named_operation('edit')
323
 
    def move_up(self, req, worksheetid):
324
 
        """Takes a list of worksheet-seq_no pairs and updates their 
325
 
        corresponding Worksheet objects to match."""
326
 
        
327
 
        worksheet_below = req.store.find(Worksheet,
328
 
            Worksheet.offering_id == self.context.id,
329
 
            Worksheet.identifier == unicode(worksheetid)).one()
330
 
        if worksheet_below is None:
331
 
            raise NotFound('worksheet_below')
332
 
        worksheet_above = req.store.find(Worksheet,
333
 
            Worksheet.offering_id == self.context.id,
334
 
            Worksheet.seq_no == (worksheet_below.seq_no - 1)).one()
335
 
        if worksheet_above is None:
336
 
            raise NotFound('worksheet_above')
337
 
 
338
 
        worksheet_below.seq_no = worksheet_below.seq_no - 1
339
 
        worksheet_above.seq_no = worksheet_above.seq_no + 1
340
 
        
341
 
        return {'result': 'ok'}
342
 
 
343
 
    @named_operation('edit')
344
 
    def move_down(self, req, worksheetid):
345
 
        """Takes a list of worksheet-seq_no pairs and updates their 
346
 
        corresponding Worksheet objects to match."""
347
 
        
348
 
        worksheet_above = req.store.find(Worksheet,
349
 
            Worksheet.offering_id == self.context.id,
350
 
            Worksheet.identifier == unicode(worksheetid)).one()
351
 
        if worksheet_above is None:
352
 
            raise NotFound('worksheet_below')
353
 
        worksheet_below = req.store.find(Worksheet,
354
 
            Worksheet.offering_id == self.context.id,
355
 
            Worksheet.seq_no == (worksheet_above.seq_no + 1)).one()
356
 
        if worksheet_below is None:
357
 
            raise NotFound('worksheet_above')
358
 
 
359
 
        worksheet_below.seq_no = worksheet_below.seq_no - 1
360
 
        worksheet_above.seq_no = worksheet_above.seq_no + 1
361
 
        
362
 
        return {'result': 'ok'}