mirrors/cpython
1
0
Fork 0
mirror of https://github.com/python/cpython.git synced 2025-07-23 11:15:24 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 11

Check for \NULL markup errors.

Browse source
This commit is contained in:
Raymond Hettinger 2003-09-08 17:33:31 +00:00
parent 7bbcde70d1
commit b9c07af46c
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
Tools/scripts/texcheck.py
View file

@ -99,6 +99,7 @@ def checkit(source, opts, morecmds=[]):
delimiters = re.compile(r'\\(begin|end){([_a-zA-Z]+)}|([()\[\]])') delimiters = re.compile(r'\\(begin|end){([_a-zA-Z]+)}|([()\[\]])')
braces = re.compile(r'({)|(})') braces = re.compile(r'({)|(})')
doubledwords = re.compile(r'(\b[A-za-z]+\b) \b\1\b') doubledwords = re.compile(r'(\b[A-za-z]+\b) \b\1\b')
nullmarkup = re.compile(r'\NULL(?!\{\})')
openers = [] # Stack of pending open delimiters openers = [] # Stack of pending open delimiters
bracestack = [] # Stack of pending open braces bracestack = [] # Stack of pending open braces
@ -151,6 +152,10 @@ def checkit(source, opts, morecmds=[]):
if '\\' + cmd in validcmds: if '\\' + cmd in validcmds:
print 'Warning, forward slash used on line %d with cmd: /%s' % (lineno, cmd) print 'Warning, forward slash used on line %d with cmd: /%s' % (lineno, cmd)
# Check for bad markup
if nullmarkup.search(line):
print r'Warning, \NULL should be written as \NULL{} on line %d' % (lineno,)
# Validate commands # Validate commands
nc = line.find(r'\newcommand') nc = line.find(r'\newcommand')
if nc != -1: if nc != -1: