26
from storm.locals import Store
27
28
import ivle.console
28
29
import ivle.database
29
30
from ivle.database import Exercise, ExerciseAttempt, ExerciseSave, Worksheet, \
30
Offering, Subject, Semester, WorksheetExercise
31
Offering, Subject, Semester, User, WorksheetExercise
32
import ivle.worksheet.utils
33
33
import ivle.webapp.tutorial.test
35
34
from ivle.webapp.base.rest import (JSONRESTView, named_operation,
36
35
require_permission)
37
36
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
43
39
TIMESTAMP_FORMAT = '%Y-%m-%d %H:%M:%S'
45
41
class AttemptsRESTView(JSONRESTView):
46
42
'''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.
66
44
@require_permission('edit')
67
45
def GET(self, req):
68
46
"""Handles a GET Attempts action."""
69
47
attempts = req.store.find(ExerciseAttempt,
70
ExerciseAttempt.ws_ex_id == self.worksheet_exercise.id,
71
ExerciseAttempt.user_id == self.user.id)
48
ExerciseAttempt.ws_ex_id == self.context.worksheet_exercise.id,
49
ExerciseAttempt.user_id == self.context.user.id)
72
50
# attempts is a list of ExerciseAttempt objects. Convert to dictionaries
73
51
time_fmt = lambda dt: datetime.datetime.strftime(dt, TIMESTAMP_FORMAT)
74
52
attempts = [{'date': time_fmt(a.date), 'complete': a.complete}
80
58
@require_permission('edit')
81
59
def PUT(self, req, data):
82
60
""" Tests the given submission """
83
exercise = req.store.find(Exercise,
84
Exercise.id == self.worksheet_exercise.exercise_id).one()
88
61
# Start a console to run the tests on
89
jail_path = os.path.join(ivle.conf.jail_base, req.user.login)
62
jail_path = os.path.join(req.config['paths']['jails']['mounts'],
90
64
working_dir = os.path.join("/home", req.user.login)
91
cons = ivle.console.Console(req.user.unixid, jail_path, working_dir)
65
cons = ivle.console.Console(req.config, req.user.unixid, jail_path,
93
68
# Parse the file into a exercise object using the test suite
94
69
exercise_obj = ivle.webapp.tutorial.test.parse_exercise_file(
70
self.context.worksheet_exercise.exercise, cons)
97
72
# Run the test cases. Get the result back as a JSONable object.
124
99
class AttemptRESTView(JSONRESTView):
125
100
'''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 = req.store.find(ExerciseAttempt,
151
ExerciseAttempt.user_id == user.id,
152
ExerciseAttempt.ws_ex_id == worksheet_exercise.id,
153
ExerciseAttempt.date == date
159
self.context = attempt
161
102
@require_permission('view')
162
103
def GET(self, req):
163
104
return {'code': self.context.text}
166
class ExerciseRESTView(JSONRESTView):
167
'''REST view of an exercise.'''
169
def get_permissions(self, user):
170
# XXX: Do it properly.
171
# XXX: Does any user have the ability to save as themselves?
172
# XXX: Does a user EVER have permission to save as another user?
178
@named_operation('save')
107
class WorksheetExerciseRESTView(JSONRESTView):
108
'''REST view of a worksheet exercise.'''
110
@named_operation('view')
179
111
def save(self, req, text):
180
112
# Find the appropriate WorksheetExercise to save to. If its not found,
181
113
# the user is submitting against a non-existant worksheet/exercise
182
worksheet_exercise = req.store.find(WorksheetExercise,
183
WorksheetExercise.exercise_id == self.exercise,
184
WorksheetExercise.worksheet_id == Worksheet.id,
185
Worksheet.offering_id == Offering.id,
186
Offering.subject_id == Subject.id,
187
Subject.code == self.subject,
188
Offering.semester_id == Semester.id,
189
Semester.year == self.year,
190
Semester.semester == self.semester).one()
192
if worksheet_exercise is None:
195
115
old_save = req.store.find(ExerciseSave,
196
ExerciseSave.ws_ex_id == worksheet_exercise.id,
116
ExerciseSave.ws_ex_id == self.context.id,
197
117
ExerciseSave.user == req.user).one()
199
119
#Overwrite the old, or create a new if there isn't one
211
131
return {"result": "ok"}
214
def generate_exerciselist(worksheet, req, worksheetdata):
215
"""Runs through the worksheetstream, generating the appropriate
216
WorksheetExercises, and de-activating the old ones."""
218
# Turns the worksheet into an xml stream, and then finds all the
219
# exercise nodes in the stream.
220
worksheetdata = genshi.XML(worksheetdata)
221
for kind, data, pos in worksheetdata:
222
if kind is genshi.core.START:
223
# Data is a tuple of tag name and a list of name->value tuples
224
if data[0] == 'exercise':
230
if attr[0] == 'optional':
231
optional = attr[1] == 'true'
233
exercises.append((src, optional))
235
# Set all current worksheet_exercises to be inactive
236
db_worksheet_exercises = req.store.find(WorksheetExercise,
237
WorksheetExercise.worksheet_id == worksheet.id)
238
for worksheet_exercise in db_worksheet_exercises:
239
worksheet_exercise.active = False
241
for exerciseid, optional in exercises:
242
worksheet_exercise = req.store.find(WorksheetExercise,
243
WorksheetExercise.worksheet_id == worksheet.id,
244
Exercise.id == WorksheetExercise.exercise_id,
245
Exercise.id == exerciseid).one()
246
if worksheet_exercise is None:
247
exercise = req.store.find(Exercise,
248
Exercise.id == exerciseid
252
worksheet_exercise = WorksheetExercise()
253
worksheet_exercise.worksheet_id = worksheet.id
254
worksheet_exercise.exercise_id = exercise.id
255
req.store.add(worksheet_exercise)
256
worksheet_exercise.active = True
257
worksheet_exercise.seq_no = ex_num
258
worksheet_exercise.optional = optional
261
134
# Note that this is the view of an existing worksheet. Creation is handled
262
135
# by OfferingRESTView (as offerings have worksheets)
263
136
class WorksheetRESTView(JSONRESTView):
264
137
"""View used to update a worksheet."""
266
def get_permissions(self, user):
267
# XXX: Do it properly.
268
# XXX: Lecturers should be allowed to add worksheets Only to subjects
269
# under their control
271
if user.rolenm == 'admin':
278
def __init__(self, req, **kwargs):
280
self.worksheet = kwargs['worksheet']
281
self.subject = kwargs['subject']
282
self.year = kwargs['year']
283
self.semester = kwargs['semester']
285
self.context = req.store.find(Worksheet,
286
Worksheet.identifier == self.worksheet,
287
Worksheet.offering_id == Offering.id,
288
Offering.subject_id == Subject.id,
289
Subject.code == self.subject,
290
Offering.semester_id == Semester.id,
291
Semester.year == self.year,
292
Semester.semester == self.semester).one()
294
if self.context is None:
297
@named_operation('save')
139
@named_operation('edit')
298
140
def save(self, req, name, assessable, data, format):
299
141
"""Takes worksheet data and saves it."""
300
self.generate_exerciselist(self.context, req, data)
302
142
self.context.name = unicode(name)
303
143
self.context.assessable = self.convert_bool(assessable)
304
144
self.context.data = unicode(data)
145
self.context.format = unicode(format)
146
ivle.worksheet.utils.update_exerciselist(self.context)
306
148
return {"result": "ok"}
308
150
class WorksheetsRESTView(JSONRESTView):
309
151
"""View used to update and create Worksheets."""
311
def get_permissions(self, user):
312
# XXX: Do it properly.
313
# XXX: Lecturers should be allowed to add worksheets Only to subjects
314
# under their control
316
if user.rolenm == 'admin':
317
return set(['add_worksheet', 'set_sequence'])
323
def __init__(self, req, **kwargs):
325
self.subject = kwargs['subject']
326
self.year = kwargs['year']
327
self.semester = kwargs['semester']
329
self.context = req.store.find(Offering,
330
Offering.subject_id == Subject.id,
331
Subject.code == self.subject,
332
Offering.semester_id == Semester.id,
333
Semester.year == self.year,
334
Semester.semester == self.semester).one()
336
if self.context is None:
339
@named_operation('add_worksheet')
153
@named_operation('edit')
340
154
def add_worksheet(self, req, identifier, name, assessable, data, format):
341
155
"""Takes worksheet data and adds it."""
354
168
# This call is added for clarity, as the worksheet is implicitly added.
355
169
req.store.add(new_worksheet)
357
generate_exerciselist(new_worksheet, req, data)
171
ivle.worksheet.utils.update_exerciselist(new_worksheet)
359
173
return {"result": "ok"}
361
@named_operation('set_sequence')
362
def seq_sequence(self, req, worksheet_list):
363
"""Takes a list of worksheet-seq_no pairs and updates their
364
corresponding Worksheet objects to match."""
366
for worksheetid, seq_no in worksheet_list:
367
worksheet = req.store.find(Worksheet,
368
Worksheet.offering_id == self.context.id,
369
Worksheet.identifier == worksheetid).one()
370
if worksheet is None:
371
raise NotFound(worksheet)
372
worksheet.seq_no = seq_no
175
@named_operation('edit')
176
def move_up(self, req, worksheetid):
177
"""Takes a list of worksheet-seq_no pairs and updates their
178
corresponding Worksheet objects to match."""
180
worksheet_below = req.store.find(Worksheet,
181
Worksheet.offering_id == self.context.id,
182
Worksheet.identifier == unicode(worksheetid)).one()
183
if worksheet_below is None:
184
raise NotFound('worksheet_below')
185
worksheet_above = req.store.find(Worksheet,
186
Worksheet.offering_id == self.context.id,
187
Worksheet.seq_no == (worksheet_below.seq_no - 1)).one()
188
if worksheet_above is None:
189
raise NotFound('worksheet_above')
191
worksheet_below.seq_no = worksheet_below.seq_no - 1
192
worksheet_above.seq_no = worksheet_above.seq_no + 1
194
return {'result': 'ok'}
196
@named_operation('edit')
197
def move_down(self, req, worksheetid):
198
"""Takes a list of worksheet-seq_no pairs and updates their
199
corresponding Worksheet objects to match."""
201
worksheet_above = req.store.find(Worksheet,
202
Worksheet.offering_id == self.context.id,
203
Worksheet.identifier == unicode(worksheetid)).one()
204
if worksheet_above is None:
205
raise NotFound('worksheet_below')
206
worksheet_below = req.store.find(Worksheet,
207
Worksheet.offering_id == self.context.id,
208
Worksheet.seq_no == (worksheet_above.seq_no + 1)).one()
209
if worksheet_below is None:
210
raise NotFound('worksheet_above')
212
worksheet_below.seq_no = worksheet_below.seq_no - 1
213
worksheet_above.seq_no = worksheet_above.seq_no + 1
374
215
return {'result': 'ok'}
added
removed
ivle/webapp/tutorial/service.py
