29
from storm.locals import Desc
30
from genshi.filters import HTMLFormFiller
29
33
from ivle.webapp.base.xhtml import XHTMLView
30
from ivle.webapp.base.plugins import BasePlugin
34
from ivle.webapp.base.plugins import ViewPlugin, MediaPlugin
31
35
from ivle.webapp.errors import NotFound
32
from ivle.database import Subject
36
from ivle.database import Subject, Semester, Offering, Enrolment, User
36
39
class SubjectsView(XHTMLView):
37
40
'''The view of the list of subjects.'''
38
41
template = 'subjects.html'
39
appname = 'subjects' # XXX
41
def populate(self, req, ctx):
42
req.styles = ["media/subjects/subjects.css"]
44
enrolled_subjects = req.user.subjects
45
unenrolled_subjects = [subject for subject in
46
req.store.find(Subject)
47
if subject not in enrolled_subjects]
49
ctx['enrolled_subjects'] = []
50
ctx['other_subjects'] = []
52
req.content_type = "text/html"
53
req.write_html_head_foot = True
55
for subject in enrolled_subjects:
57
new_subj['name'] = subject.name
58
new_subj['url'] = subject.url
59
ctx['enrolled_subjects'].append(new_subj)
61
if len(unenrolled_subjects) > 0:
62
for subject in unenrolled_subjects:
64
new_subj['name'] = subject.name
65
new_subj['url'] = subject.url
66
ctx['other_subjects'].append(new_subj)
69
class SubjectView(XHTMLView):
70
'''The view of a subject.'''
71
template = 'subject.html'
72
appname = 'subjects' # XXX
74
def __init__(self, req, subject, path):
75
self.subject = req.store.find(Subject, code=subject).one()
78
def populate(self, req, ctx):
79
if self.subject is None:
44
def authorize(self, req):
45
return req.user is not None
47
def populate(self, req, ctx):
48
ctx['user'] = req.user
50
for semester in req.store.find(Semester).order_by(Desc(Semester.year),
51
Desc(Semester.semester)):
52
enrolments = semester.enrolments.find(user=req.user)
53
if enrolments.count():
54
ctx['semesters'].append((semester, enrolments))
57
class UserValidator(formencode.FancyValidator):
58
"""A FormEncode validator that turns a username into a user.
60
The state must have a 'store' attribute, which is the Storm store
62
def _to_python(self, value, state):
63
user = User.get_by_login(state.store, value)
67
raise formencode.Invalid('User does not exist', value, state)
70
class NoEnrolmentValidator(formencode.FancyValidator):
71
"""A FormEncode validator that ensures absence of an enrolment.
73
The state must have an 'offering' attribute.
75
def _to_python(self, value, state):
76
if state.offering.get_enrolment(value):
77
raise formencode.Invalid('User already enrolled', value, state)
81
class EnrolSchema(formencode.Schema):
82
user = formencode.All(NoEnrolmentValidator(), UserValidator())
85
class EnrolView(XHTMLView):
86
"""A form to enrol a user in an offering."""
87
template = 'enrol.html'
91
def __init__(self, req, subject, year, semester):
92
"""Find the given offering by subject, year and semester."""
93
self.context = req.store.find(Offering,
94
Offering.subject_id == Subject.id,
95
Subject.short_name == subject,
96
Offering.semester_id == Semester.id,
97
Semester.year == year,
98
Semester.semester == semester).one()
82
ctx['serve_loc'] = urllib.quote(util.make_path(os.path.join('media',
83
'subjects', self.subject.code, self.path)))
85
class Plugin(BasePlugin):
103
def filter(self, stream, ctx):
104
return stream | HTMLFormFiller(data=ctx['data'])
106
def populate(self, req, ctx):
107
if req.method == 'POST':
108
data = dict(req.get_fieldstorage())
110
validator = EnrolSchema()
111
req.offering = self.context # XXX: Getting into state.
112
data = validator.to_python(data, state=req)
113
self.context.enrol(data['user'])
115
req.throw_redirect(req.uri)
116
except formencode.Invalid, e:
117
errors = e.unpack_errors()
122
ctx['data'] = data or {}
123
ctx['offering'] = self.context
124
ctx['errors'] = errors
127
class Plugin(ViewPlugin, MediaPlugin):
87
129
('subjects/', SubjectsView),
88
('subjects/:subject', SubjectView, {'path': ''}),
89
('subjects/:subject/*(path)', SubjectView),
130
('subjects/:subject/:year/:semester/+enrolments/+new', EnrolView),
134
('subjects', 'Subjects',
135
'View subject content and complete worksheets',
136
'subjects.png', 'subjects', 5)
139
media = 'subject-media'