bin/lesson_check.py

   1 #!/usr/bin/env python
   2
   3 """
   4 Check lesson files and their contents.
   5 """
   6
   7
   8 import os
   9 import glob
  10 import re
  11 from argparse import ArgumentParser
  12
  13 from util import (Reporter, read_markdown, load_yaml, check_unwanted_files,
  14                   require)
  15
  16 __version__ = '0.3'
  17
  18 # Where to look for source Markdown files.
  19 SOURCE_DIRS = ['', '_episodes', '_extras']
  20
  21 # Required files: each entry is ('path': YAML_required).
  22 # FIXME: We do not yet validate whether any files have the required
  23 #   YAML headers, but should in the future.
  24 # The '%' is replaced with the source directory path for checking.
  25 # Episodes are handled specially, and extra files in '_extras' are also handled
  26 # specially. This list must include all the Markdown files listed in the
  27 # 'bin/initialize' script.
  28 REQUIRED_FILES = {
  29     '%/CONDUCT.md': True,
  30     '%/CONTRIBUTING.md': False,
  31     '%/LICENSE.md': True,
  32     '%/README.md': False,
  33     '%/_extras/discuss.md': True,
  34     '%/_extras/guide.md': True,
  35     '%/index.md': True,
  36     '%/reference.md': True,
  37     '%/setup.md': True,
  38 }
  39
  40 # Episode filename pattern.
  41 P_EPISODE_FILENAME = re.compile(r'/_episodes/(\d\d)-[-\w]+.md$')
  42
  43 # Pattern to match lines ending with whitespace.
  44 P_TRAILING_WHITESPACE = re.compile(r'\s+$')
  45
  46 # Pattern to match figure references in HTML.
  47 P_FIGURE_REFS = re.compile(r'<img[^>]+src="([^"]+)"[^>]*>')
  48
  49 # Pattern to match internally-defined Markdown links.
  50 P_INTERNAL_LINK_REF = re.compile(r'\[([^\]]+)\]\[([^\]]+)\]')
  51
  52 # Pattern to match reference links (to resolve internally-defined references).
  53 P_INTERNAL_LINK_DEF = re.compile(r'^\[([^\]]+)\]:\s*(.+)')
  54
  55 # What kinds of blockquotes are allowed?
  56 KNOWN_BLOCKQUOTES = {
  57     'callout',
  58     'challenge',
  59     'checklist',
  60     'discussion',
  61     'keypoints',
  62     'objectives',
  63     'prereq',
  64     'quotation',
  65     'solution',
  66     'testimonial'
  67 }
  68
  69 # What kinds of code fragments are allowed?
  70 KNOWN_CODEBLOCKS = {
  71     'error',
  72     'output',
  73     'source',
  74     'language-bash',
  75     'html',
  76     'language-make',
  77     'language-matlab',
  78     'language-python',
  79     'language-r',
  80     'language-shell',
  81     'language-sql'
  82 }
  83
  84 # What fields are required in teaching episode metadata?
  85 TEACHING_METADATA_FIELDS = {
  86     ('title', str),
  87     ('teaching', int),
  88     ('exercises', int),
  89     ('questions', list),
  90     ('objectives', list),
  91     ('keypoints', list)
  92 }
  93
  94 # What fields are required in break episode metadata?
  95 BREAK_METADATA_FIELDS = {
  96     ('layout', str),
  97     ('title', str),
  98     ('break', int)
  99 }
 100
 101 # How long are lines allowed to be?
 102 MAX_LINE_LEN = 100
 103
 104
 105 def main():
 106     """Main driver."""
 107
 108     args = parse_args()
 109     args.reporter = Reporter()
 110     check_config(args.reporter, args.source_dir)
 111     args.references = read_references(args.reporter, args.reference_path)
 112
 113     docs = read_all_markdown(args.source_dir, args.parser)
 114     check_fileset(args.source_dir, args.reporter, list(docs.keys()))
 115     check_unwanted_files(args.source_dir, args.reporter)
 116     for filename in list(docs.keys()):
 117         checker = create_checker(args, filename, docs[filename])
 118         checker.check()
 119
 120     args.reporter.report()
 121     if args.reporter.messages and not args.permissive:
 122         exit(1)
 123
 124
 125 def parse_args():
 126     """Parse command-line arguments."""
 127
 128     parser = ArgumentParser(description="""Check episode files in a lesson.""")
 129     parser.add_argument('-l', '--linelen',
 130                         default=False,
 131                         action="store_true",
 132                         dest='line_lengths',
 133                         help='Check line lengths')
 134     parser.add_argument('-p', '--parser',
 135                         default=None,
 136                         dest='parser',
 137                         help='path to Markdown parser')
 138     parser.add_argument('-r', '--references',
 139                         default=None,
 140                         dest='reference_path',
 141                         help='path to Markdown file of external references')
 142     parser.add_argument('-s', '--source',
 143                         default=os.curdir,
 144                         dest='source_dir',
 145                         help='source directory')
 146     parser.add_argument('-w', '--whitespace',
 147                         default=False,
 148                         action="store_true",
 149                         dest='trailing_whitespace',
 150                         help='Check for trailing whitespace')
 151     parser.add_argument('--permissive',
 152                         default=False,
 153                         action="store_true",
 154                         dest='permissive',
 155                         help='Do not raise an error even if issues are detected')
 156
 157     args, extras = parser.parse_known_args()
 158     require(args.parser is not None,
 159             'Path to Markdown parser not provided')
 160     require(not extras,
 161             'Unexpected trailing command-line arguments "{0}"'.format(extras))
 162
 163     return args
 164
 165
 166 def check_config(reporter, source_dir):
 167     """Check configuration file."""
 168
 169     config_file = os.path.join(source_dir, '_config.yml')
 170     config = load_yaml(config_file)
 171     reporter.check_field(config_file, 'configuration',
 172                          config, 'kind', 'lesson')
 173     reporter.check_field(config_file, 'configuration',
 174                          config, 'carpentry', ('swc', 'dc', 'lc'))
 175     reporter.check_field(config_file, 'configuration', config, 'title')
 176     reporter.check_field(config_file, 'configuration', config, 'email')
 177
 178     reporter.check({'values': {'root': '..'}} in config.get('defaults', []),
 179                    'configuration',
 180                    '"root" not set to ".." in configuration')
 181
 182
 183 def read_references(reporter, ref_path):
 184     """Read shared file of reference links, returning dictionary of valid references
 185     {symbolic_name : URL}
 186     """
 187
 188     result = {}
 189     urls_seen = set()
 190     if ref_path:
 191         with open(ref_path, 'r') as reader:
 192             for (num, line) in enumerate(reader):
 193                 line_num = num + 1
 194                 m = P_INTERNAL_LINK_DEF.search(line)
 195                 require(m,
 196                         '{0}:{1} not valid reference:\n{2}'.format(ref_path, line_num, line.rstrip()))
 197                 name = m.group(1)
 198                 url = m.group(2)
 199                 require(name,
 200                         'Empty reference at {0}:{1}'.format(ref_path, line_num))
 201                 reporter.check(name not in result,
 202                                ref_path,
 203                                'Duplicate reference {0} at line {1}',
 204                                name, line_num)
 205                 reporter.check(url not in urls_seen,
 206                                ref_path,
 207                                'Duplicate definition of URL {0} at line {1}',
 208                                url, line_num)
 209                 result[name] = url
 210                 urls_seen.add(url)
 211     return result
 212
 213
 214 def read_all_markdown(source_dir, parser):
 215     """Read source files, returning
 216     {path : {'metadata':yaml, 'metadata_len':N, 'text':text, 'lines':[(i, line, len)], 'doc':doc}}
 217     """
 218
 219     all_dirs = [os.path.join(source_dir, d) for d in SOURCE_DIRS]
 220     all_patterns = [os.path.join(d, '*.md') for d in all_dirs]
 221     result = {}
 222     for pat in all_patterns:
 223         for filename in glob.glob(pat):
 224             data = read_markdown(parser, filename)
 225             if data:
 226                 result[filename] = data
 227     return result
 228
 229
 230 def check_fileset(source_dir, reporter, filenames_present):
 231     """Are all required files present? Are extraneous files present?"""
 232
 233     # Check files with predictable names.
 234     required = [p.replace('%', source_dir) for p in REQUIRED_FILES]
 235     missing = set(required) - set(filenames_present)
 236     for m in missing:
 237         reporter.add(None, 'Missing required file {0}', m)
 238
 239     # Check episode files' names.
 240     seen = []
 241     for filename in filenames_present:
 242         if '_episodes' not in filename:
 243             continue
 244         m = P_EPISODE_FILENAME.search(filename)
 245         if m and m.group(1):
 246             seen.append(m.group(1))
 247         else:
 248             reporter.add(
 249                 None, 'Episode {0} has badly-formatted filename', filename)
 250
 251     # Check for duplicate episode numbers.
 252     reporter.check(len(seen) == len(set(seen)),
 253                    None,
 254                    'Duplicate episode numbers {0} vs {1}',
 255                    sorted(seen), sorted(set(seen)))
 256
 257     # Check that numbers are consecutive.
 258     seen = sorted([int(s) for s in seen])
 259     clean = True
 260     for i in range(len(seen) - 1):
 261         clean = clean and ((seen[i+1] - seen[i]) == 1)
 262     reporter.check(clean,
 263                    None,
 264                    'Missing or non-consecutive episode numbers {0}',
 265                    seen)
 266
 267
 268 def create_checker(args, filename, info):
 269     """Create appropriate checker for file."""
 270
 271     for (pat, cls) in CHECKERS:
 272         if pat.search(filename):
 273             return cls(args, filename, **info)
 274
 275
 276 class CheckBase(object):
 277     """Base class for checking Markdown files."""
 278
 279     def __init__(self, args, filename, metadata, metadata_len, text, lines, doc):
 280         """Cache arguments for checking."""
 281
 282         super(CheckBase, self).__init__()
 283         self.args = args
 284         self.reporter = self.args.reporter  # for convenience
 285         self.filename = filename
 286         self.metadata = metadata
 287         self.metadata_len = metadata_len
 288         self.text = text
 289         self.lines = lines
 290         self.doc = doc
 291
 292         self.layout = None
 293
 294     def check(self):
 295         """Run tests."""
 296
 297         self.check_metadata()
 298         self.check_line_lengths()
 299         self.check_trailing_whitespace()
 300         self.check_blockquote_classes()
 301         self.check_codeblock_classes()
 302         self.check_defined_link_references()
 303
 304     def check_metadata(self):
 305         """Check the YAML metadata."""
 306
 307         self.reporter.check(self.metadata is not None,
 308                             self.filename,
 309                             'Missing metadata entirely')
 310
 311         if self.metadata and (self.layout is not None):
 312             self.reporter.check_field(
 313                 self.filename, 'metadata', self.metadata, 'layout', self.layout)
 314
 315     def check_line_lengths(self):
 316         """Check the raw text of the lesson body."""
 317
 318         if self.args.line_lengths:
 319             over = [i for (i, l, n) in self.lines if (
 320                 n > MAX_LINE_LEN) and (not l.startswith('!'))]
 321             self.reporter.check(not over,
 322                                 self.filename,
 323                                 'Line(s) are too long: {0}',
 324                                 ', '.join([str(i) for i in over]))
 325
 326     def check_trailing_whitespace(self):
 327         """Check for whitespace at the ends of lines."""
 328
 329         if self.args.trailing_whitespace:
 330             trailing = [
 331                 i for (i, l, n) in self.lines if P_TRAILING_WHITESPACE.match(l)]
 332             self.reporter.check(not trailing,
 333                                 self.filename,
 334                                 'Line(s) end with whitespace: {0}',
 335                                 ', '.join([str(i) for i in trailing]))
 336
 337     def check_blockquote_classes(self):
 338         """Check that all blockquotes have known classes."""
 339
 340         for node in self.find_all(self.doc, {'type': 'blockquote'}):
 341             cls = self.get_val(node, 'attr', 'class')
 342             self.reporter.check(cls in KNOWN_BLOCKQUOTES,
 343                                 (self.filename, self.get_loc(node)),
 344                                 'Unknown or missing blockquote type {0}',
 345                                 cls)
 346
 347     def check_codeblock_classes(self):
 348         """Check that all code blocks have known classes."""
 349
 350         for node in self.find_all(self.doc, {'type': 'codeblock'}):
 351             cls = self.get_val(node, 'attr', 'class')
 352             self.reporter.check(cls in KNOWN_CODEBLOCKS,
 353                                 (self.filename, self.get_loc(node)),
 354                                 'Unknown or missing code block type {0}',
 355                                 cls)
 356
 357     def check_defined_link_references(self):
 358         """Check that defined links resolve in the file.
 359
 360         Internally-defined links match the pattern [text][label].
 361         """
 362
 363         result = set()
 364         for node in self.find_all(self.doc, {'type': 'text'}):
 365             for match in P_INTERNAL_LINK_REF.findall(node['value']):
 366                 text = match[0]
 367                 link = match[1]
 368                 if link not in self.args.references:
 369                     result.add('"{0}"=>"{1}"'.format(text, link))
 370         self.reporter.check(not result,
 371                             self.filename,
 372                             'Internally-defined links may be missing definitions: {0}',
 373                             ', '.join(sorted(result)))
 374
 375     def find_all(self, node, pattern, accum=None):
 376         """Find all matches for a pattern."""
 377
 378         assert isinstance(pattern, dict), 'Patterns must be dictionaries'
 379         if accum is None:
 380             accum = []
 381         if self.match(node, pattern):
 382             accum.append(node)
 383         for child in node.get('children', []):
 384             self.find_all(child, pattern, accum)
 385         return accum
 386
 387     def match(self, node, pattern):
 388         """Does this node match the given pattern?"""
 389
 390         for key in pattern:
 391             if key not in node:
 392                 return False
 393             val = pattern[key]
 394             if isinstance(val, str):
 395                 if node[key] != val:
 396                     return False
 397             elif isinstance(val, dict):
 398                 if not self.match(node[key], val):
 399                     return False
 400         return True
 401
 402     def get_val(self, node, *chain):
 403         """Get value one or more levels down."""
 404
 405         curr = node
 406         for selector in chain:
 407             curr = curr.get(selector, None)
 408             if curr is None:
 409                 break
 410         return curr
 411
 412     def get_loc(self, node):
 413         """Convenience method to get node's line number."""
 414
 415         result = self.get_val(node, 'options', 'location')
 416         if self.metadata_len is not None:
 417             result += self.metadata_len
 418         return result
 419
 420
 421 class CheckNonJekyll(CheckBase):
 422     """Check a file that isn't translated by Jekyll."""
 423
 424     def __init__(self, args, filename, metadata, metadata_len, text, lines, doc):
 425         super(CheckNonJekyll, self).__init__(
 426             args, filename, metadata, metadata_len, text, lines, doc)
 427
 428     def check_metadata(self):
 429         self.reporter.check(self.metadata is None,
 430                             self.filename,
 431                             'Unexpected metadata')
 432
 433
 434 class CheckIndex(CheckBase):
 435     """Check the main index page."""
 436
 437     def __init__(self, args, filename, metadata, metadata_len, text, lines, doc):
 438         super(CheckIndex, self).__init__(args, filename,
 439                                          metadata, metadata_len, text, lines, doc)
 440         self.layout = 'lesson'
 441
 442     def check_metadata(self):
 443         super(CheckIndex, self).check_metadata()
 444         self.reporter.check(self.metadata.get('root', '') == '.',
 445                             self.filename,
 446                             'Root not set to "."')
 447
 448
 449 class CheckEpisode(CheckBase):
 450     """Check an episode page."""
 451
 452     def __init__(self, args, filename, metadata, metadata_len, text, lines, doc):
 453         super(CheckEpisode, self).__init__(args, filename,
 454                                            metadata, metadata_len, text, lines, doc)
 455
 456     def check(self):
 457         """Run extra tests."""
 458
 459         super(CheckEpisode, self).check()
 460         self.check_reference_inclusion()
 461
 462     def check_metadata(self):
 463         super(CheckEpisode, self).check_metadata()
 464         if self.metadata:
 465             if 'layout' in self.metadata:
 466                 if self.metadata['layout'] == 'break':
 467                     self.check_metadata_fields(BREAK_METADATA_FIELDS)
 468                 else:
 469                     self.reporter.add(self.filename,
 470                                       'Unknown episode layout "{0}"',
 471                                       self.metadata['layout'])
 472             else:
 473                 self.check_metadata_fields(TEACHING_METADATA_FIELDS)
 474
 475     def check_metadata_fields(self, expected):
 476         """Check metadata fields."""
 477         for (name, type_) in expected:
 478             if name not in self.metadata:
 479                 self.reporter.add(self.filename,
 480                                   'Missing metadata field {0}',
 481                                   name)
 482             elif not isinstance(self.metadata[name], type_):
 483                 self.reporter.add(self.filename,
 484                                   '"{0}" has wrong type in metadata ({1} instead of {2})',
 485                                   name, type(self.metadata[name]), type_)
 486
 487     def check_reference_inclusion(self):
 488         """Check that links file has been included."""
 489
 490         if not self.args.reference_path:
 491             return
 492
 493         for (i, last_line, line_len) in reversed(self.lines):
 494             if last_line:
 495                 break
 496
 497         require(last_line,
 498                 'No non-empty lines in {0}'.format(self.filename))
 499
 500         include_filename = os.path.split(self.args.reference_path)[-1]
 501         if include_filename not in last_line:
 502             self.reporter.add(self.filename,
 503                               'episode does not include "{0}"',
 504                               include_filename)
 505
 506
 507 class CheckReference(CheckBase):
 508     """Check the reference page."""
 509
 510     def __init__(self, args, filename, metadata, metadata_len, text, lines, doc):
 511         super(CheckReference, self).__init__(
 512             args, filename, metadata, metadata_len, text, lines, doc)
 513         self.layout = 'reference'
 514
 515
 516 class CheckGeneric(CheckBase):
 517     """Check a generic page."""
 518
 519     def __init__(self, args, filename, metadata, metadata_len, text, lines, doc):
 520         super(CheckGeneric, self).__init__(args, filename,
 521                                            metadata, metadata_len, text, lines, doc)
 522         self.layout = 'page'
 523
 524
 525 CHECKERS = [
 526     (re.compile(r'CONTRIBUTING\.md'), CheckNonJekyll),
 527     (re.compile(r'README\.md'), CheckNonJekyll),
 528     (re.compile(r'index\.md'), CheckIndex),
 529     (re.compile(r'reference\.md'), CheckReference),
 530     (re.compile(r'_episodes/.*\.md'), CheckEpisode),
 531     (re.compile(r'.*\.md'), CheckGeneric)
 532 ]
 533
 534
 535 if __name__ == '__main__':
 536     main()