20
20
'''AJAX backend for the tutorial application.'''
25
from storm.locals import Store
27
27
import ivle.database
28
from ivle.database import Exercise, ExerciseAttempt, ExerciseSave, Worksheet, \
29
Offering, Subject, Semester, User, WorksheetExercise
30
import ivle.worksheet.utils
28
from ivle.database import Exercise, ExerciseAttempt, ExerciseSave, Worksheet, Offering, Subject, Semester
31
import ivle.webapp.tutorial.test
31
33
from ivle.webapp.base.rest import (JSONRESTView, named_operation,
32
34
require_permission)
33
35
from ivle.webapp.errors import NotFound
37
# If True, getattempts or getattempt will allow browsing of inactive/disabled
38
# attempts. If False, will not allow this.
39
HISTORY_ALLOW_INACTIVE = False
36
41
TIMESTAMP_FORMAT = '%Y-%m-%d %H:%M:%S'
39
44
class AttemptsRESTView(JSONRESTView):
40
45
'''REST view of a user's attempts at an exercise.'''
46
def __init__(self, req, subject, year, semester, worksheet,
48
self.user = ivle.database.User.get_by_login(req.store, username)
51
self.exercise = exercise
53
self.worksheet = req.store.find(Worksheet,
54
Worksheet.name == worksheet,
55
Worksheet.offering_id == Offering.id,
56
Offering.subject_id == Subject.id,
57
Subject.code == subject,
58
Offering.semester_id == Semester.id,
59
Semester.year == year,
60
Semester.semester == semester).one()
62
self.context = self.user # XXX: Not quite right.
42
64
@require_permission('edit')
43
65
def GET(self, req):
44
66
"""Handles a GET Attempts action."""
67
exercise = req.store.find(Exercise, Exercise.id == self.exercise).one()
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.exercise_id == 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, Exercise.id == self.exercise).one()
87
# Start a console to run the tests on
88
jail_path = os.path.join(ivle.conf.jail_base, req.user.login)
89
working_dir = os.path.join("/home", req.user.login)
90
cons = ivle.console.Console(req.user.unixid, jail_path, working_dir)
92
# Parse the file into a exercise object using the test suite
93
exercise_obj = ivle.webapp.tutorial.test.parse_exercise_file(
96
# Run the test cases. Get the result back as a JSONable object.
98
test_results = exercise_obj.run_tests(data['code'])
63
103
attempt = ivle.database.ExerciseAttempt(user=req.user,
64
worksheet_exercise = self.context.worksheet_exercise,
65
date = datetime.datetime.now(),
66
complete = test_results['passed'],
67
text = unicode(data['code'])
105
date=datetime.datetime.now(),
106
complete=test_results['passed'],
107
worksheet=self.worksheet,
108
text=unicode(data['code']))
70
110
req.store.add(attempt)
72
112
# Query the DB to get an updated score on whether or not this problem
73
113
# has EVER been completed (may be different from "passed", if it has
74
114
# 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)
115
completed, attempts = ivle.worksheet.get_exercise_status(req.store,
116
req.user, exercise, self.worksheet)
77
117
test_results["completed"] = completed
78
118
test_results["attempts"] = attempts
83
123
class AttemptRESTView(JSONRESTView):
84
124
'''REST view of an exercise attempt.'''
126
def __init__(self, req, subject, worksheet, exercise, username, date):
127
# TODO: Find exercise within worksheet.
128
user = ivle.database.User.get_by_login(req.store, username)
133
date = datetime.datetime.strptime(date, TIMESTAMP_FORMAT)
137
exercise = ivle.database.Exercise.get_by_name(req.store, exercise)
138
worksheet = req.store.find(Worksheet,
139
Worksheet.name == self.worksheet,
140
Worksheet.offering_id == Offering.id,
141
Offering.subject_id == Subject.id,
142
Subject.code == self.subject,
143
Offering.semester_id == Semester.id,
144
Semester.year == self.year,
145
Semester.semester == self.semester).one()
147
attempt = ivle.worksheet.get_exercise_attempt(req.store, user,
148
exercise, worksheet, as_of=date, allow_inactive=HISTORY_ALLOW_INACTIVE)
153
self.context = attempt
86
155
@require_permission('view')
87
156
def GET(self, req):
88
157
return {'code': self.context.text}
91
class WorksheetExerciseRESTView(JSONRESTView):
92
'''REST view of a worksheet exercise.'''
94
@named_operation('view')
160
class ExerciseRESTView(JSONRESTView):
161
'''REST view of an exercise.'''
163
def get_permissions(self, user):
164
# XXX: Do it properly.
170
@named_operation('save')
95
171
def save(self, req, text):
96
# Find the appropriate WorksheetExercise to save to. If its not found,
97
# the user is submitting against a non-existant worksheet/exercise
99
old_save = req.store.find(ExerciseSave,
100
ExerciseSave.ws_ex_id == self.context.id,
101
ExerciseSave.user == req.user).one()
103
#Overwrite the old, or create a new if there isn't one
105
new_save = ExerciseSave()
106
req.store.add(new_save)
110
new_save.worksheet_exercise = self.context
111
new_save.user = req.user
112
new_save.text = unicode(text)
113
new_save.date = datetime.datetime.now()
172
# Need to open JUST so we know this is a real exercise.
173
# (This avoids users submitting code for bogus exercises).
174
exercise = req.store.find(Exercise,
175
Exercise.id == self.exercise).one()
176
worksheet = req.store.find(Worksheet,
177
Worksheet.name == self.worksheet,
178
Worksheet.offering_id == Offering.id,
179
Offering.subject_id == Subject.id,
180
Subject.code == self.subject,
181
Offering.semester_id == Semester.id,
182
Semester.year == self.year,
183
Semester.semester == self.semester).one()
184
ivle.worksheet.save_exercise(req.store, req.user, exercise, worksheet,
185
unicode(text), datetime.datetime.now())
115
186
return {"result": "ok"}
118
class WorksheetsRESTView(JSONRESTView):
119
"""View used to update and create Worksheets."""
121
@named_operation('edit_worksheets')
122
def move_up(self, req, worksheetid):
123
"""Takes a list of worksheet-seq_no pairs and updates their
124
corresponding Worksheet objects to match."""
126
worksheet_below = req.store.find(Worksheet,
127
Worksheet.offering_id == self.context.id,
128
Worksheet.identifier == unicode(worksheetid)).one()
129
if worksheet_below is None:
130
raise NotFound('worksheet_below')
131
worksheet_above = req.store.find(Worksheet,
132
Worksheet.offering_id == self.context.id,
133
Worksheet.seq_no == (worksheet_below.seq_no - 1)).one()
134
if worksheet_above is None:
135
raise NotFound('worksheet_above')
137
worksheet_below.seq_no = worksheet_below.seq_no - 1
138
worksheet_above.seq_no = worksheet_above.seq_no + 1
140
return {'result': 'ok'}
142
@named_operation('edit_worksheets')
143
def move_down(self, req, worksheetid):
144
"""Takes a list of worksheet-seq_no pairs and updates their
145
corresponding Worksheet objects to match."""
147
worksheet_above = req.store.find(Worksheet,
148
Worksheet.offering_id == self.context.id,
149
Worksheet.identifier == unicode(worksheetid)).one()
150
if worksheet_above is None:
151
raise NotFound('worksheet_below')
152
worksheet_below = req.store.find(Worksheet,
153
Worksheet.offering_id == self.context.id,
154
Worksheet.seq_no == (worksheet_above.seq_no + 1)).one()
155
if worksheet_below is None:
156
raise NotFound('worksheet_above')
158
worksheet_below.seq_no = worksheet_below.seq_no - 1
159
worksheet_above.seq_no = worksheet_above.seq_no + 1
161
return {'result': 'ok'}
added
removed
ivle/webapp/tutorial/service.py
