# -*- coding: utf-8 -*-
from __future__ import division, print_function
__copyright__ = "Copyright (C) 2014 Andreas Kloeckner"
__license__ = """
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:
The above copyright notice and this permission notice shall be included in
all copies or substantial portions of the Software.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
THE SOFTWARE.
"""
import re
import datetime
import six
import sys
from django.core.exceptions import ObjectDoesNotExist
from django.utils.html import escape
from course.content import get_repo_blob
from relate.utils import Struct
# {{{ validation tools
class ValidationError(RuntimeError):
pass
ID_RE = re.compile(r"^[\w]+$")
def validate_identifier(location, s):
if not ID_RE.match(s):
raise ValidationError("%s: invalid identifier '%s'"
% (location, s))
def validate_role(location, role):
from course.constants import participation_role
if role not in [
participation_role.instructor,
participation_role.teaching_assistant,
participation_role.student,
participation_role.unenrolled,
]:
raise ValidationError("%s: invalid role '%s'"
% (location, role))
def validate_struct(ctx, location, obj, required_attrs, allowed_attrs):
"""
:arg required_attrs: an attribute validation list (see below)
:arg allowed_attrs: an attribute validation list (see below)
An attribute validation list is a list of elements, where each element is
either a string (the name of the attribute), in which case the type of each
attribute is not checked, or a tuple *(name, type)*, where type is valid
as a second argument to :func:`isinstance`.
"""
present_attrs = set(name for name in dir(obj) if not name.startswith("_"))
for required, attr_list in [
(True, required_attrs),
(False, allowed_attrs),
]:
for attr_rec in attr_list:
if isinstance(attr_rec, tuple):
attr, allowed_types = attr_rec
else:
attr = attr_rec
allowed_types = None
if attr not in present_attrs:
if required:
raise ValidationError("%s: attribute '%s' missing"
% (location, attr))
else:
present_attrs.remove(attr)
val = getattr(obj, attr)
is_markup = False
if allowed_types == "markup":
allowed_types = str
is_markup = True
if allowed_types == str:
# Love you, too, Python 2.
allowed_types = (str, unicode)
if not isinstance(val, allowed_types):
raise ValidationError("%s: attribute '%s' has "
"wrong type: got '%s', expected '%s'"
% (location, attr, type(val).__name__,
escape(str(allowed_types))))
if is_markup:
validate_markup(ctx, "%s: attribute %s" % (location, attr), val)
if present_attrs:
raise ValidationError("%s: extraneous attribute(s) '%s'"
% (location, ",".join(present_attrs)))
datespec_types = (datetime.date, six.string_types, datetime.datetime)
# }}}
class ValidationWarning(object):
def __init__(self, location, text):
self.location = location
self.text = text
class ValidationContext(object):
"""
.. attribute:: repo
.. attribute:: commit_sha
.. attribute:: datespec_callback
a function that is supposed to be called on all encountered datespecs
"""
def __init__(self, repo, commit_sha, datespec_callback=None):
self.repo = repo
self.commit_sha = commit_sha
self.datespec_callback = datespec_callback
self.warnings = []
def encounter_datespec(self, location, datespec):
if self.datespec_callback is not None:
self.datespec_callback(location, datespec)
def add_warning(self, *args, **kwargs):
self.warnings.append(ValidationWarning(*args, **kwargs))
# {{{ course page validation
def validate_markup(ctx, location, markup_str):
def reverse_func(*args, **kwargs):
pass
from course.content import markup_to_html
try:
markup_to_html(
course=None,
repo=ctx.repo,
commit_sha=ctx.commit_sha,
text=markup_str,
reverse_func=reverse_func,
validate_only=True)
except:
from traceback import print_exc
print_exc()
tp, e, _ = sys.exc_info()
raise ValidationError("%s: %s: %s" % (
location, tp.__name__, str(e)))
def validate_chunk_rule(ctx, location, chunk_rule):
validate_struct(
ctx,
location,
chunk_rule,
required_attrs=[
("weight", int),
],
allowed_attrs=[
("start", datespec_types),
("end", datespec_types),
("role", str),
("roles", list),
("shown", bool),
])
if hasattr(chunk_rule, "start"):
ctx.encounter_datespec(location, chunk_rule.start)
if hasattr(chunk_rule, "end"):
ctx.encounter_datespec(location, chunk_rule.end)
if hasattr(chunk_rule, "role"):
ctx.add_warning(location, "Uses deprecated 'role' attribute--"
"use 'roles' instead")
validate_role(location, chunk_rule.role)
if hasattr(chunk_rule, "roles"):
for role in chunk_rule.roles:
validate_role(location, role)
def validate_chunk(ctx, location, chunk):
validate_struct(
ctx,
location,
chunk,
required_attrs=[
("title", str),
("id", str),
("rules", list),
("content", "markup"),
],
allowed_attrs=[]
)
for i, rule in enumerate(chunk.rules):
validate_chunk_rule(ctx,
"%s, rule %d" % (location, i+1),
rule)
def validate_course_desc_struct(ctx, location, course_desc):
validate_struct(
ctx,
location,
course_desc,
required_attrs=[
("name", str),
("number", str),
("run", str),
("chunks", list),
],
allowed_attrs=[
("grade_summary_code", str),
]
)
for i, chunk in enumerate(course_desc.chunks):
validate_chunk(ctx,
"%s, chunk %d ('%s')"
% (location, i+1, getattr(chunk, "id", None)),
chunk)
# {{{ check chunk id uniqueness
chunk_ids = set()
for chunk in course_desc.chunks:
if chunk.id in chunk_ids:
raise ValidationError("%s: chunk id '%s' not unique"
% (location, chunk.id))
chunk_ids.add(chunk.id)
# }}}
# }}}
# {{{ flow validation
def validate_flow_page(ctx, location, page_desc):
if not hasattr(page_desc, "id"):
raise ValidationError("%s: flow page has no ID" % location)
validate_identifier(location, page_desc.id)
from course.content import get_flow_page_class
try:
class_ = get_flow_page_class(ctx.repo, page_desc.type, ctx.commit_sha)
class_(ctx, location, page_desc)
except ValidationError:
raise
except:
tp, e, _ = sys.exc_info()
from traceback import format_exc
raise ValidationError(
"%s: could not instantiate flow page: %s: %s
%s" % (location, tp.__name__, str(e), format_exc())) def validate_flow_group(ctx, location, grp): validate_struct( ctx, location, grp, required_attrs=[ ("id", str), ("pages", list), ], allowed_attrs=[] ) # {{{ check page id uniqueness page_ids = set() for page_desc in grp.pages: if page_desc.id in page_ids: raise ValidationError("%s: page id '%s' not unique" % (location, page_desc.id)) page_ids.add(page_desc.id) # }}} for i, page_desc in enumerate(grp.pages): validate_flow_page( ctx, "%s, page %d ('%s')" % (location, i+1, getattr(page_desc, "id", None)), page_desc) validate_identifier(location, grp.id) # {{{ flow access rules def validate_new_session_rule(ctx, location, nrule, tags): validate_struct( ctx, location, nrule, required_attrs=[], allowed_attrs=[ ("if_after", datespec_types), ("if_before", datespec_types), ("if_has_role", list), ("if_has_fewer_sessions_than", int), ("tag_session", str), ] ) if hasattr(nrule, "if_after"): ctx.encounter_datespec(location, nrule.if_after) if hasattr(nrule, "if_before"): ctx.encounter_datespec(location, nrule.if_before) if hasattr(nrule, "if_has_role"): for j, role in enumerate(nrule.if_has_role): validate_role( "%s, role %d" % (location, j+1), role) if hasattr(nrule, "tag_session"): if nrule.tag_session not in tags: raise ValidationError( "%s: invalid tag '%s'" % (location, nrule.tag_session)) def validate_session_access_rule(ctx, location, arule, tags): validate_struct( ctx, location, arule, required_attrs=[ ("permissions", list), ], allowed_attrs=[ ("if_after", datespec_types), ("if_before", datespec_types), ("if_has_role", list), ("if_has_tag", str), ("if_in_progress", bool), ("if_completed_before", datespec_types), ("message", datespec_types), ] ) if hasattr(arule, "if_after"): ctx.encounter_datespec(location, arule.if_after) if hasattr(arule, "if_before"): ctx.encounter_datespec(location, arule.if_before) if hasattr(arule, "if_completed_before"): ctx.encounter_datespec(location, arule.if_completed_before) if hasattr(arule, "if_has_role"): for j, role in enumerate(arule.if_has_role): validate_role( "%s, role %d" % (location, j+1), role) if hasattr(arule, "if_has_tag"): if arule.if_has_tag not in tags: raise ValidationError( "%s: invalid tag '%s'" % (location, arule.if_has_tag)) for j, perm in enumerate(arule.permissions): validate_flow_permission( ctx, "%s, permission %d" % (location, j+1), perm) def validate_session_grading_rule(ctx, location, grule, tags): """ :returns: whether the rule only applies conditionally """ validate_struct( ctx, location, grule, required_attrs=[ ("grade_identifier", (type(None), str)), ], allowed_attrs=[ ("if_has_role", list), ("if_has_tag", str), ("if_completed_before", datespec_types), ("credit_percent", (int, float)), ("due", datespec_types), ("grade_aggregation_strategy", str), ("description", str), ] ) has_conditionals = False if hasattr(grule, "if_completed_before"): ctx.encounter_datespec(location, grule.if_completed_before) has_conditionals = True if hasattr(grule, "if_has_role"): for j, role in enumerate(grule.if_has_role): validate_role( "%s, role %d" % (location, j+1), role) has_conditionals = True if hasattr(grule, "if_has_tag"): if grule.if_has_tag not in tags: raise ValidationError( "%s: invalid tag '%s'" % (location, grule.if_has_tag)) has_conditionals = True if hasattr(grule, "due"): ctx.encounter_datespec(location, grule.due) if grule.grade_identifier: validate_identifier("%s: grade_identifier" % location, grule.grade_identifier) if not hasattr(grule, "grade_aggregation_strategy"): raise ValidationError( "%s: grading rule that have a grade identifier (%s: %s) " "must have a grade_aggregation_strategy" % (location, type(grule.grade_identifier), grule.grade_identifier)) from course.constants import GRADE_AGGREGATION_STRATEGY_CHOICES if grule.grade_aggregation_strategy not in \ dict(GRADE_AGGREGATION_STRATEGY_CHOICES): raise ValidationError("%s: invalid grade aggregation strategy" % location) return has_conditionals def validate_flow_rules(ctx, location, rules): validate_struct( ctx, location + ", rules", rules, required_attrs=[ ("access", list), ("grading", list), ], allowed_attrs=[ # may not start with an underscore ("new_session", list), ("tags", list), ] ) tags = getattr(rules, "tags", []) for i, tag in enumerate(tags): validate_identifier("%s: tag %d" % (location, i+1), tag) # {{{ validate new-session rules if hasattr(rules, "new_session"): for i, nrule in enumerate(rules.new_session): validate_new_session_rule( ctx, "%s, rules/new_session %d" % (location, i+1), nrule, tags) # }}} # {{{ validate access rules for i, arule in enumerate(rules.access): validate_session_access_rule( ctx, location="%s, rules/access #%d" % (location, i+1), arule=arule, tags=tags) # }}} # {{{ validate grading rules has_conditionals = None for i, grule in enumerate(rules.grading): has_conditionals = validate_session_grading_rule( ctx, location="%s, rules/grading #%d" % (location, i+1), grule=grule, tags=tags) if has_conditionals: raise ValidationError( "%s, rules/grading: " "last grading rule must be unconditional" % location) # }}} def validate_flow_permission(ctx, location, permission): from course.constants import FLOW_PERMISSION_CHOICES if permission not in dict(FLOW_PERMISSION_CHOICES): raise ValidationError("%s: invalid flow permission '%s'" % (location, permission)) # }}} def validate_flow_desc(ctx, location, flow_desc): validate_struct( ctx, location, flow_desc, required_attrs=[ ("title", str), ("description", "markup"), ("groups", list), ("completion_text", "markup"), ], allowed_attrs=[ ("rules", Struct), ] ) if hasattr(flow_desc, "rules"): validate_flow_rules(ctx, location, flow_desc.rules) # {{{ check for non-emptiness flow_has_page = False for i, grp in enumerate(flow_desc.groups): group_has_page = False for page in grp.pages: group_has_page = flow_has_page = True break if not group_has_page: raise ValidationError("%s, group %d ('%d'): no pages found" % (location, i+1, grp.id)) if not flow_has_page: raise ValidationError("%s: no pages found" % location) # }}} # {{{ check group id uniqueness group_ids = set() for grp in flow_desc.groups: if grp.id in group_ids: raise ValidationError("%s: group id '%s' not unique" % (location, grp.id)) group_ids.add(grp.id) # }}} for i, grp in enumerate(flow_desc.groups): validate_flow_group(ctx, "%s, group %d ('%s')" % (location, i+1, grp.id), grp) validate_markup(ctx, location, flow_desc.description) validate_markup(ctx, location, flow_desc.completion_text) # }}} # {{{ calendar validation def validate_calendar_desc_struct(ctx, location, events_desc): validate_struct( ctx, location, events_desc, required_attrs=[ ], allowed_attrs=[ ("event_kinds", Struct), ("events", Struct), ] ) # FIXME could do more here # }}} def get_yaml_from_repo_safely(repo, full_name, commit_sha): from course.content import get_yaml_from_repo try: return get_yaml_from_repo( repo=repo, full_name=full_name, commit_sha=commit_sha, cached=False) except: from traceback import print_exc print_exc() tp, e, _ = sys.exc_info() raise ValidationError("%s: %s: %s" % ( full_name, tp.__name__, unicode(e))) def validate_course_content(repo, course_file, events_file, validate_sha, datespec_callback=None): course_desc = get_yaml_from_repo_safely(repo, course_file, commit_sha=validate_sha) ctx = ValidationContext( repo=repo, commit_sha=validate_sha, datespec_callback=datespec_callback) validate_course_desc_struct(ctx, course_file, course_desc) try: from course.content import get_yaml_from_repo events_desc = get_yaml_from_repo(repo, events_file, commit_sha=validate_sha, cached=False) except ObjectDoesNotExist: # That's OK--no calendar info. pass else: validate_calendar_desc_struct(ctx, events_file, events_desc) try: flows_tree = get_repo_blob(repo, "flows", validate_sha) except ObjectDoesNotExist: # That's OK--no flows yet. pass else: for entry in flows_tree.items(): if not entry.path.endswith(".yml"): continue location = "flows/%s" % entry.path flow_desc = get_yaml_from_repo_safely(repo, location, commit_sha=validate_sha) validate_flow_desc(ctx, location, flow_desc) return ctx.warnings # {{{ validation script support class FileSystemFakeRepo(object): def __init__(self, root): self.root = root def controldir(self): return self.root def __getitem__(self, sha): return sha def __str__(self): return "