20
20
'''AJAX backend for the tutorial application.'''
25
from storm.locals import Store
27
28
import ivle.database
28
29
from ivle.database import Exercise, ExerciseAttempt, ExerciseSave, Worksheet, \
29
Offering, Subject, Semester, User, WorksheetExercise
30
import ivle.worksheet.utils
31
from ivle.webapp.base.rest import (JSONRESTView, write_operation,
30
Offering, Subject, Semester, WorksheetExercise
33
import ivle.webapp.tutorial.test
35
from ivle.webapp.base.rest import (JSONRESTView, named_operation,
32
36
require_permission)
33
37
from ivle.webapp.errors import NotFound
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
36
43
TIMESTAMP_FORMAT = '%Y-%m-%d %H:%M:%S'
39
45
class AttemptsRESTView(JSONRESTView):
40
46
'''REST view of a user's attempts at an exercise.'''
48
def __init__(self, req, subject, year, semester, worksheet,
50
self.user = ivle.database.User.get_by_login(req.store, username)
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()
64
self.context = self.user # XXX: Not quite right.
42
66
@require_permission('edit')
43
67
def GET(self, req):
44
68
"""Handles a GET Attempts action."""
45
69
attempts = req.store.find(ExerciseAttempt,
46
ExerciseAttempt.ws_ex_id == self.context.worksheet_exercise.id,
47
ExerciseAttempt.user_id == self.context.user.id)
70
ExerciseAttempt.ws_ex_id == self.worksheet_exercise.id,
71
ExerciseAttempt.user_id == self.user.id)
48
72
# attempts is a list of ExerciseAttempt objects. Convert to dictionaries
49
73
time_fmt = lambda dt: datetime.datetime.strftime(dt, TIMESTAMP_FORMAT)
50
74
attempts = [{'date': time_fmt(a.date), 'complete': a.complete}
56
80
@require_permission('edit')
57
81
def PUT(self, req, data):
58
82
""" Tests the given submission """
59
test_results = ivle.worksheet.utils.test_exercise_submission(
60
req.config, req.user, self.context.worksheet_exercise.exercise,
83
exercise = req.store.find(Exercise,
84
Exercise.id == self.worksheet_exercise.exercise_id).one()
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)
93
# Parse the file into a exercise object using the test suite
94
exercise_obj = ivle.webapp.tutorial.test.parse_exercise_file(
97
# Run the test cases. Get the result back as a JSONable object.
99
test_results = exercise_obj.run_tests(data['code'])
63
104
attempt = ivle.database.ExerciseAttempt(user=req.user,
64
worksheet_exercise = self.context.worksheet_exercise,
105
worksheet_exercise = self.worksheet_exercise,
65
106
date = datetime.datetime.now(),
66
107
complete = test_results['passed'],
67
108
text = unicode(data['code'])
72
113
# Query the DB to get an updated score on whether or not this problem
73
114
# has EVER been completed (may be different from "passed", if it has
74
115
# been completed before), and the total number of attempts.
75
completed, attempts = ivle.worksheet.utils.get_exercise_status(
76
req.store, req.user, self.context.worksheet_exercise)
116
completed, attempts = ivle.worksheet.get_exercise_status(req.store,
117
req.user, self.worksheet_exercise)
77
118
test_results["completed"] = completed
78
119
test_results["attempts"] = attempts
83
124
class AttemptRESTView(JSONRESTView):
84
125
'''REST view of an exercise attempt.'''
127
def __init__(self, req, subject, year, semester, worksheet, exercise,
129
# TODO: Find exercise within worksheet.
130
user = ivle.database.User.get_by_login(req.store, username)
135
date = datetime.datetime.strptime(date, TIMESTAMP_FORMAT)
139
worksheet_exercise = req.store.find(WorksheetExercise,
140
WorksheetExercise.exercise_id == exercise,
141
WorksheetExercise.worksheet_id == Worksheet.id,
142
Worksheet.identifier == worksheet,
143
Worksheet.offering_id == Offering.id,
144
Offering.subject_id == Subject.id,
145
Subject.code == subject,
146
Offering.semester_id == Semester.id,
147
Semester.year == year,
148
Semester.semester == semester).one()
150
attempt = ivle.worksheet.get_exercise_attempt(req.store, user,
151
worksheet_exercise, as_of=date,
152
allow_inactive=HISTORY_ALLOW_INACTIVE)
157
self.context = attempt
86
159
@require_permission('view')
87
160
def GET(self, req):
88
161
return {'code': self.context.text}
91
class WorksheetExerciseRESTView(JSONRESTView):
92
'''REST view of a worksheet exercise.'''
94
@write_operation('view')
164
class ExerciseRESTView(JSONRESTView):
165
'''REST view of an exercise.'''
167
def get_permissions(self, user):
168
# XXX: Do it properly.
169
# XXX: Does any user have the ability to save as themselves?
170
# XXX: Does a user EVER have permission to save as another user?
176
@named_operation('save')
95
177
def save(self, req, text):
96
178
# Find the appropriate WorksheetExercise to save to. If its not found,
97
179
# the user is submitting against a non-existant worksheet/exercise
180
worksheet_exercise = req.store.find(WorksheetExercise,
181
WorksheetExercise.exercise_id == self.exercise,
182
WorksheetExercise.worksheet_id == Worksheet.id,
183
Worksheet.offering_id == Offering.id,
184
Offering.subject_id == Subject.id,
185
Subject.code == self.subject,
186
Offering.semester_id == Semester.id,
187
Semester.year == self.year,
188
Semester.semester == self.semester).one()
190
if worksheet_exercise is None:
99
193
old_save = req.store.find(ExerciseSave,
100
ExerciseSave.ws_ex_id == self.context.id,
194
ExerciseSave.ws_ex_id == worksheet_exercise.id,
101
195
ExerciseSave.user == req.user).one()
103
197
#Overwrite the old, or create a new if there isn't one
115
209
return {"result": "ok"}
213
# Note that this is the view of an existing worksheet. Creation is handled
214
# by OfferingRESTView (as offerings have worksheets)
215
class WorksheetRESTView(JSONRESTView):
216
"""View used to update a worksheet."""
218
def get_permissions(self, user):
219
# XXX: Do it properly.
220
# XXX: Lecturers should be allowed to add worksheets Only to subjects
221
# under their control
230
def __init__(self, req, **kwargs):
232
self.worksheet = kwargs['worksheet']
233
self.subject = kwargs['subject']
234
self.year = kwargs['year']
235
self.semester = kwargs['semester']
237
self.context = req.store.find(Worksheet,
238
Worksheet.identifier == self.worksheet,
239
Worksheet.offering_id == Offering.id,
240
Offering.subject_id == Subject.id,
241
Subject.code == self.subject,
242
Offering.semester_id == Semester.id,
243
Semester.year == self.year,
244
Semester.semester == self.semester).one()
246
if self.context is None:
249
@named_operation('save')
250
def save(self, req, name, assessable, data, format):
251
"""Takes worksheet data and saves it."""
252
self.context.name = unicode(name)
253
self.context.assessable = self.convert_bool(assessable)
254
self.context.data = unicode(data)
255
self.context.format = unicode(format)
256
ivle.worksheet.update_exerciselist(self.context)
258
return {"result": "ok"}
118
260
class WorksheetsRESTView(JSONRESTView):
119
261
"""View used to update and create Worksheets."""
121
@write_operation('edit_worksheets')
263
def get_permissions(self, user):
264
# XXX: Do it properly.
265
# XXX: Lecturers should be allowed to add worksheets Only to subjects
266
# under their control
275
def __init__(self, req, **kwargs):
277
self.subject = kwargs['subject']
278
self.year = kwargs['year']
279
self.semester = kwargs['semester']
281
self.context = req.store.find(Offering,
282
Offering.subject_id == Subject.id,
283
Subject.code == self.subject,
284
Offering.semester_id == Semester.id,
285
Semester.year == self.year,
286
Semester.semester == self.semester).one()
288
if self.context is None:
291
@named_operation('edit')
292
def add_worksheet(self, req, identifier, name, assessable, data, format):
293
"""Takes worksheet data and adds it."""
295
new_worksheet = Worksheet()
296
new_worksheet.seq_no = self.context.worksheets.count()
297
# Setting new_worksheet.offering implicitly adds new_worksheet,
298
# hence worksheets.count MUST be called above it
299
new_worksheet.offering = self.context
300
new_worksheet.identifier = unicode(identifier)
301
new_worksheet.name = unicode(name)
302
new_worksheet.assessable = self.convert_bool(assessable)
303
new_worksheet.data = unicode(data)
304
new_worksheet.format = unicode(format)
306
# This call is added for clarity, as the worksheet is implicitly added.
307
req.store.add(new_worksheet)
309
ivle.worksheet.update_exerciselist(new_worksheet)
311
return {"result": "ok"}
313
@named_operation('edit')
122
314
def move_up(self, req, worksheetid):
123
315
"""Takes a list of worksheet-seq_no pairs and updates their
124
316
corresponding Worksheet objects to match."""