26
from storm.locals import Store
28
27
import ivle.console
29
28
import ivle.database
30
29
from ivle.database import Exercise, ExerciseAttempt, ExerciseSave, Worksheet, \
31
Offering, Subject, Semester, User, WorksheetExercise
30
Offering, Subject, Semester, WorksheetExercise
32
31
import ivle.worksheet.utils
33
33
import ivle.webapp.tutorial.test
34
34
from ivle.webapp.base.rest import (JSONRESTView, named_operation,
35
35
require_permission)
36
36
from ivle.webapp.errors import NotFound
38
# If True, getattempts or getattempt will allow browsing of inactive/disabled
39
# attempts. If False, will not allow this.
40
HISTORY_ALLOW_INACTIVE = False
39
42
TIMESTAMP_FORMAT = '%Y-%m-%d %H:%M:%S'
41
44
class AttemptsRESTView(JSONRESTView):
42
45
'''REST view of a user's attempts at an exercise.'''
47
def __init__(self, req, subject, year, semester, worksheet,
49
self.user = ivle.database.User.get_by_login(req.store, username)
53
self.worksheet_exercise = req.store.find(WorksheetExercise,
54
WorksheetExercise.exercise_id == unicode(exercise),
55
WorksheetExercise.worksheet_id == Worksheet.id,
56
Worksheet.offering_id == Offering.id,
57
Worksheet.identifier == unicode(worksheet),
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.
44
66
@require_permission('edit')
45
67
def GET(self, req):
46
68
"""Handles a GET Attempts action."""
47
69
attempts = req.store.find(ExerciseAttempt,
48
ExerciseAttempt.ws_ex_id == self.context.worksheet_exercise.id,
49
ExerciseAttempt.user_id == self.context.user.id)
70
ExerciseAttempt.ws_ex_id == self.worksheet_exercise.id,
71
ExerciseAttempt.user_id == self.user.id)
50
72
# attempts is a list of ExerciseAttempt objects. Convert to dictionaries
51
73
time_fmt = lambda dt: datetime.datetime.strftime(dt, TIMESTAMP_FORMAT)
52
74
attempts = [{'date': time_fmt(a.date), 'complete': a.complete}
58
80
@require_permission('edit')
59
81
def PUT(self, req, data):
60
82
""" Tests the given submission """
83
exercise = req.store.find(Exercise,
84
Exercise.id == self.worksheet_exercise.exercise_id).one()
61
88
# Start a console to run the tests on
62
jail_path = os.path.join(req.config['paths']['jails']['mounts'],
89
jail_path = os.path.join(ivle.conf.jail_base, req.user.login)
64
90
working_dir = os.path.join("/home", req.user.login)
65
cons = ivle.console.Console(req.config, req.user.unixid, jail_path,
91
cons = ivle.console.Console(req.user.unixid, jail_path, working_dir)
68
93
# Parse the file into a exercise object using the test suite
69
94
exercise_obj = ivle.webapp.tutorial.test.parse_exercise_file(
70
self.context.worksheet_exercise.exercise, cons)
72
97
# Run the test cases. Get the result back as a JSONable object.
99
124
class AttemptRESTView(JSONRESTView):
100
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
# 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)
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()
159
attempt = ivle.worksheet.utils.get_exercise_attempt(req.store, user,
160
worksheet_exercise, as_of=date,
161
allow_inactive=HISTORY_ALLOW_INACTIVE)
166
self.context = attempt
102
168
@require_permission('view')
103
169
def GET(self, req):
104
170
return {'code': self.context.text}
107
173
class WorksheetExerciseRESTView(JSONRESTView):
108
'''REST view of a worksheet exercise.'''
110
@named_operation('view')
174
'''REST view of an exercise.'''
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?
185
@named_operation('save')
111
186
def save(self, req, text):
112
187
# Find the appropriate WorksheetExercise to save to. If its not found,
113
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()
199
if worksheet_exercise is None:
115
202
old_save = req.store.find(ExerciseSave,
116
ExerciseSave.ws_ex_id == self.context.id,
203
ExerciseSave.ws_ex_id == worksheet_exercise.id,
117
204
ExerciseSave.user == req.user).one()
119
206
#Overwrite the old, or create a new if there isn't one
131
218
return {"result": "ok"}
134
222
# Note that this is the view of an existing worksheet. Creation is handled
135
223
# by OfferingRESTView (as offerings have worksheets)
136
224
class WorksheetRESTView(JSONRESTView):
137
225
"""View used to update a worksheet."""
139
@named_operation('edit')
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
239
def __init__(self, req, **kwargs):
241
self.worksheet = kwargs['worksheet']
242
self.subject = kwargs['subject']
243
self.year = kwargs['year']
244
self.semester = kwargs['semester']
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()
255
if self.context is None:
258
@named_operation('save')
140
259
def save(self, req, name, assessable, data, format):
141
260
"""Takes worksheet data and saves it."""
142
261
self.context.name = unicode(name)
150
269
class WorksheetsRESTView(JSONRESTView):
151
270
"""View used to update and create Worksheets."""
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
284
def __init__(self, req, **kwargs):
286
self.subject = kwargs['subject']
287
self.year = kwargs['year']
288
self.semester = kwargs['semester']
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()
297
if self.context is None:
153
300
@named_operation('edit')
154
301
def add_worksheet(self, req, identifier, name, assessable, data, format):