61
40
TIMESTAMP_FORMAT = '%Y-%m-%d %H:%M:%S'
65
"""Handler for Ajax backend TutorialService app."""
66
# Set request attributes
67
req.write_html_head_foot = False # No HTML
70
req.throw_error(req.HTTP_BAD_REQUEST)
71
fields = req.get_fieldstorage()
72
act = fields.getfirst('action')
73
exercise = fields.getfirst('exercise')
74
if act is None or exercise is None:
75
req.throw_error(req.HTTP_BAD_REQUEST)
77
exercise = exercise.value
79
if act == 'save' or act == 'test':
81
if req.method != 'POST':
82
req.throw_error(req.HTTP_BAD_REQUEST)
84
code = fields.getfirst('code')
86
req.throw_error(req.HTTP_BAD_REQUEST)
90
handle_save(req, exercise, code, fields)
92
handle_test(req, exercise, code, fields)
93
elif act == 'getattempts':
94
handle_getattempts(req, exercise)
95
elif act == 'getattempt':
96
date = fields.getfirst('date')
98
req.throw_error(req.HTTP_BAD_REQUEST)
100
# Convert into a struct_time
101
# The time *should* be in the same format as the DB (since it should
102
# be bounced back to us from the getattempts output). Assume this.
43
class AttemptsRESTView(JSONRESTView):
44
'''REST view of a user's attempts at an exercise.'''
45
def __init__(self, req, subject, worksheet, exercise, username):
46
# TODO: Find exercise within worksheet.
47
self.user = ivle.database.User.get_by_login(req.store, username)
50
self.exercise = exercise
51
self.context = self.user # XXX: Not quite right.
53
@require_permission('edit')
55
"""Handles a GET Attempts action."""
56
exercise = ivle.database.Exercise.get_by_name(req.store,
59
attempts = ivle.worksheet.get_exercise_attempts(req.store, self.user,
60
exercise, allow_inactive=HISTORY_ALLOW_INACTIVE)
61
# attempts is a list of ExerciseAttempt objects. Convert to dictionaries
62
time_fmt = lambda dt: datetime.datetime.strftime(dt, TIMESTAMP_FORMAT)
63
attempts = [{'date': time_fmt(a.date), 'complete': a.complete}
69
@require_permission('edit')
70
def PUT(self, req, data):
71
""" Tests the given submission """
72
exercisefile = ivle.util.open_exercise_file(self.exercise)
73
if exercisefile is None:
76
# Start a console to run the tests on
77
jail_path = os.path.join(ivle.conf.jail_base, req.user.login)
78
working_dir = os.path.join("/home", req.user.login)
79
cons = ivle.console.Console(req.user.unixid, jail_path, working_dir)
81
# Parse the file into a exercise object using the test suite
82
exercise_obj = ivle.webapp.tutorial.test.parse_exercise_file(
86
# Run the test cases. Get the result back as a JSONable object.
88
test_results = exercise_obj.run_tests(data['code'])
93
# Get the Exercise from the database
94
exercise = ivle.database.Exercise.get_by_name(req.store, self.exercise)
96
attempt = ivle.database.ExerciseAttempt(user=req.user,
98
date=datetime.datetime.now(),
99
complete=test_results['passed'],
101
text=unicode(data['code']))
103
req.store.add(attempt)
105
# Query the DB to get an updated score on whether or not this problem
106
# has EVER been completed (may be different from "passed", if it has
107
# been completed before), and the total number of attempts.
108
completed, attempts = ivle.worksheet.get_exercise_status(req.store,
110
test_results["completed"] = completed
111
test_results["attempts"] = attempts
116
class AttemptRESTView(JSONRESTView):
117
'''REST view of an exercise attempt.'''
119
def __init__(self, req, subject, worksheet, exercise, username, date):
120
# TODO: Find exercise within worksheet.
121
user = ivle.database.User.get_by_login(req.store, username)
104
126
date = datetime.datetime.strptime(date, TIMESTAMP_FORMAT)
105
127
except ValueError:
106
# Date was not in correct format
107
req.throw_error(req.HTTP_BAD_REQUEST)
108
handle_getattempt(req, exercise, date)
110
req.throw_error(req.HTTP_BAD_REQUEST)
112
def handle_save(req, exercisename, code, fields):
113
"""Handles a save action. This saves the user's code without executing it.
115
# Need to open JUST so we know this is a real exercise.
116
# (This avoids users submitting code for bogus exercises).
117
exercisefile = util.open_exercise_file(exercisename)
118
if exercisefile is None:
119
req.throw_error(req.HTTP_NOT_FOUND,
120
"The exercise was not found.")
123
exercise = ivle.database.Exercise.get_by_name(req.store, exercisename)
124
ivle.worksheet.save_exercise(req.store, req.user, exercise,
125
unicode(code), datetime.datetime.now())
128
req.write('{"result": "ok"}')
131
def handle_test(req, exercisesrc, code, fields):
132
"""Handles a test action."""
134
exercisefile = util.open_exercise_file(exercisesrc)
135
if exercisefile is None:
136
req.throw_error(req.HTTP_NOT_FOUND,
137
"The exercise was not found.")
139
# Start a console to run the tests on
140
jail_path = os.path.join(ivle.conf.jail_base, req.user.login)
141
working_dir = os.path.join("/home", req.user.login)
142
cons = console.Console(req.user.unixid, jail_path, working_dir)
144
# Parse the file into a exercise object using the test suite
145
exercise_obj = test.parse_exercise_file(exercisefile, cons)
148
# Run the test cases. Get the result back as a JSONable object.
150
test_results = exercise_obj.run_tests(code)
155
# Get the Exercise from the database
156
exercise = ivle.database.Exercise.get_by_name(req.store, exercisesrc)
158
attempt = ivle.database.ExerciseAttempt(user=req.user,
160
date=datetime.datetime.now(),
161
complete=test_results['passed'],
162
text=unicode(code)) # XXX
164
req.store.add(attempt)
166
# Query the DB to get an updated score on whether or not this problem
167
# has EVER been completed (may be different from "passed", if it has
168
# been completed before), and the total number of attempts.
169
completed, attempts = ivle.worksheet.get_exercise_status(req.store,
171
test_results["completed"] = completed
172
test_results["attempts"] = attempts
174
req.write(cjson.encode(test_results))
176
def handle_getattempts(req, exercisename):
177
"""Handles a getattempts action."""
178
exercise = ivle.database.Exercise.get_by_name(req.store, exercisename)
179
attempts = ivle.worksheet.get_exercise_attempts(req.store, req.user,
180
exercise, allow_inactive=HISTORY_ALLOW_INACTIVE)
181
# attempts is a list of ExerciseAttempt objects. Convert to dictionaries.
182
time_fmt = lambda dt: datetime.datetime.strftime(dt, TIMESTAMP_FORMAT)
183
attempts = [{'date': time_fmt(a.date), 'complete': a.complete}
185
req.write(cjson.encode(attempts))
187
def handle_getattempt(req, exercisename, date):
188
"""Handles a getattempts action. Date is a datetime.datetime."""
189
exercise = ivle.database.Exercise.get_by_name(req.store, exercisename)
190
attempt = ivle.worksheet.get_exercise_attempt(req.store, req.user,
191
exercise, as_of=date, allow_inactive=HISTORY_ALLOW_INACTIVE)
192
if attempt is not None:
193
attempt = attempt.text
194
# attempt may be None; will write "null"
195
req.write(cjson.encode({'code': attempt}))
130
exercise = ivle.database.Exercise.get_by_name(req.store, exercise)
131
attempt = ivle.worksheet.get_exercise_attempt(req.store, user,
132
exercise, as_of=date, allow_inactive=HISTORY_ALLOW_INACTIVE)
137
self.context = attempt
139
@require_permission('view')
141
return {'code': self.context.text}
144
class ExerciseRESTView(JSONRESTView):
145
'''REST view of an exercise.'''
147
def get_permissions(self, user):
148
# XXX: Do it properly.
154
@named_operation('save')
155
def save(self, req, text):
156
# Need to open JUST so we know this is a real exercise.
157
# (This avoids users submitting code for bogus exercises).
158
exercisefile = ivle.util.open_exercise_file(self.exercise)
159
if exercisefile is None:
163
exercise = ivle.database.Exercise.get_by_name(req.store, self.exercise)
164
ivle.worksheet.save_exercise(req.store, req.user, exercise,
165
unicode(text), datetime.datetime.now())
166
return {"result": "ok"}
added
removed
ivle/webapp/tutorial/service.py
