2012-06-30 20:58:06 -03:00
|
|
|
#!/usr/bin/env python3
|
2012-07-08 19:42:54 -03:00
|
|
|
'''Add syntax highlighting to Python source code'''
|
2012-07-03 18:42:33 -03:00
|
|
|
|
2012-07-08 19:42:54 -03:00
|
|
|
__all__ = ['analyze_python', 'ansi_highlight', 'default_ansi',
|
|
|
|
'html_highlight', 'build_html_page', 'default_css', 'default_html']
|
2012-07-03 18:42:33 -03:00
|
|
|
|
2012-07-01 03:19:30 -03:00
|
|
|
__author__ = 'Raymond Hettinger'
|
2012-06-30 20:58:06 -03:00
|
|
|
|
|
|
|
import keyword, tokenize, cgi, functools
|
|
|
|
|
|
|
|
def is_builtin(s):
|
|
|
|
'Return True if s is the name of a builtin'
|
2012-07-09 05:17:22 -03:00
|
|
|
return hasattr(__builtins__, s)
|
2012-06-30 20:58:06 -03:00
|
|
|
|
2012-07-03 17:13:52 -03:00
|
|
|
def combine_range(lines, start, end):
|
|
|
|
'Join content from a range of lines between start and end'
|
2012-07-02 17:29:57 -03:00
|
|
|
(srow, scol), (erow, ecol) = start, end
|
|
|
|
if srow == erow:
|
2012-07-08 19:42:54 -03:00
|
|
|
return lines[srow-1][scol:ecol], end
|
|
|
|
rows = [lines[srow-1][scol:]] + lines[srow: erow-1] + [lines[erow-1][:ecol]]
|
2012-07-03 17:13:52 -03:00
|
|
|
return ''.join(rows), end
|
2012-07-02 17:29:57 -03:00
|
|
|
|
2012-07-08 19:42:54 -03:00
|
|
|
def analyze_python(source):
|
|
|
|
'''Generate and classify chunks of Python for syntax highlighting.
|
|
|
|
Yields tuples in the form: (leadin_text, category, categorized_text).
|
|
|
|
The final tuple has empty strings for the category and categorized text.
|
|
|
|
|
|
|
|
'''
|
2012-07-03 04:15:59 -03:00
|
|
|
lines = source.splitlines(True)
|
2012-07-02 17:29:57 -03:00
|
|
|
lines.append('')
|
2012-06-30 20:58:06 -03:00
|
|
|
readline = functools.partial(next, iter(lines), '')
|
|
|
|
kind = tok_str = ''
|
|
|
|
tok_type = tokenize.COMMENT
|
2012-07-02 17:29:57 -03:00
|
|
|
written = (1, 0)
|
2012-06-30 20:58:06 -03:00
|
|
|
for tok in tokenize.generate_tokens(readline):
|
|
|
|
prev_tok_type, prev_tok_str = tok_type, tok_str
|
|
|
|
tok_type, tok_str, (srow, scol), (erow, ecol), logical_lineno = tok
|
2012-07-03 04:12:27 -03:00
|
|
|
kind = ''
|
2012-06-30 20:58:06 -03:00
|
|
|
if tok_type == tokenize.COMMENT:
|
|
|
|
kind = 'comment'
|
2012-07-01 04:37:05 -03:00
|
|
|
elif tok_type == tokenize.OP and tok_str[:1] not in '{}[](),.:;':
|
2012-06-30 20:58:06 -03:00
|
|
|
kind = 'operator'
|
|
|
|
elif tok_type == tokenize.STRING:
|
|
|
|
kind = 'string'
|
|
|
|
if prev_tok_type == tokenize.INDENT or scol==0:
|
|
|
|
kind = 'docstring'
|
|
|
|
elif tok_type == tokenize.NAME:
|
|
|
|
if tok_str in ('def', 'class', 'import', 'from'):
|
|
|
|
kind = 'definition'
|
|
|
|
elif prev_tok_str in ('def', 'class'):
|
|
|
|
kind = 'defname'
|
|
|
|
elif keyword.iskeyword(tok_str):
|
|
|
|
kind = 'keyword'
|
|
|
|
elif is_builtin(tok_str) and prev_tok_str != '.':
|
|
|
|
kind = 'builtin'
|
2012-07-08 19:42:54 -03:00
|
|
|
if kind:
|
|
|
|
line_upto_token, written = combine_range(lines, written, (srow, scol))
|
|
|
|
line_thru_token, written = combine_range(lines, written, (erow, ecol))
|
|
|
|
yield line_upto_token, kind, line_thru_token
|
|
|
|
line_upto_token, written = combine_range(lines, written, (erow, ecol))
|
|
|
|
yield line_upto_token, '', ''
|
2012-07-03 17:13:52 -03:00
|
|
|
|
2012-07-03 18:11:40 -03:00
|
|
|
default_ansi = {
|
2012-07-08 19:42:54 -03:00
|
|
|
'comment': ('\033[0;31m', '\033[0m'),
|
|
|
|
'string': ('\033[0;32m', '\033[0m'),
|
|
|
|
'docstring': ('\033[0;32m', '\033[0m'),
|
|
|
|
'keyword': ('\033[0;33m', '\033[0m'),
|
|
|
|
'builtin': ('\033[0;35m', '\033[0m'),
|
|
|
|
'definition': ('\033[0;33m', '\033[0m'),
|
|
|
|
'defname': ('\033[0;34m', '\033[0m'),
|
|
|
|
'operator': ('\033[0;33m', '\033[0m'),
|
2012-07-03 18:11:40 -03:00
|
|
|
}
|
|
|
|
|
2012-07-08 19:42:54 -03:00
|
|
|
def ansi_highlight(classified_text, colors=default_ansi):
|
|
|
|
'Add syntax highlighting to source code using ANSI escape sequences'
|
2012-07-03 18:11:40 -03:00
|
|
|
# http://en.wikipedia.org/wiki/ANSI_escape_code
|
|
|
|
result = []
|
2012-07-08 19:42:54 -03:00
|
|
|
for line_upto_token, kind, line_thru_token in classified_text:
|
|
|
|
opener, closer = colors.get(kind, ('', ''))
|
|
|
|
result += [line_upto_token, opener, line_thru_token, closer]
|
2012-07-03 18:11:40 -03:00
|
|
|
return ''.join(result)
|
|
|
|
|
2012-07-08 19:42:54 -03:00
|
|
|
def html_highlight(classified_text,opener='<pre class="python">\n', closer='</pre>\n'):
|
|
|
|
'Convert classified text to an HTML fragment'
|
|
|
|
result = [opener]
|
|
|
|
for line_upto_token, kind, line_thru_token in classified_text:
|
2012-06-30 20:58:06 -03:00
|
|
|
if kind:
|
2012-07-03 17:13:52 -03:00
|
|
|
result += [cgi.escape(line_upto_token),
|
|
|
|
'<span class="%s">' % kind,
|
|
|
|
cgi.escape(line_thru_token),
|
|
|
|
'</span>']
|
2012-07-02 17:29:57 -03:00
|
|
|
else:
|
2012-07-03 17:13:52 -03:00
|
|
|
result += [cgi.escape(line_upto_token),
|
|
|
|
cgi.escape(line_thru_token)]
|
2012-07-08 19:42:54 -03:00
|
|
|
result += [closer]
|
2012-07-02 17:29:57 -03:00
|
|
|
return ''.join(result)
|
2012-06-30 20:58:06 -03:00
|
|
|
|
|
|
|
default_css = {
|
|
|
|
'.comment': '{color: crimson;}',
|
|
|
|
'.string': '{color: forestgreen;}',
|
2012-07-03 17:13:52 -03:00
|
|
|
'.docstring': '{color: forestgreen; font-style:italic;}',
|
2012-06-30 20:58:06 -03:00
|
|
|
'.keyword': '{color: darkorange;}',
|
|
|
|
'.builtin': '{color: purple;}',
|
|
|
|
'.definition': '{color: darkorange; font-weight:bold;}',
|
|
|
|
'.defname': '{color: blue;}',
|
|
|
|
'.operator': '{color: brown;}',
|
|
|
|
}
|
|
|
|
|
|
|
|
default_html = '''\
|
2012-07-01 02:19:04 -03:00
|
|
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
|
|
|
|
"http://www.w3.org/TR/html4/strict.dtd">
|
|
|
|
<html>
|
|
|
|
<head>
|
|
|
|
<meta http-equiv="Content-type" content="text/html;charset=UTF-8">
|
2012-07-02 21:17:16 -03:00
|
|
|
<title> {title} </title>
|
2012-07-01 02:19:04 -03:00
|
|
|
<style type="text/css">
|
2012-07-02 21:17:16 -03:00
|
|
|
{css}
|
2012-07-01 02:19:04 -03:00
|
|
|
</style>
|
|
|
|
</head>
|
2012-06-30 20:58:06 -03:00
|
|
|
<body>
|
2012-07-02 21:17:16 -03:00
|
|
|
{body}
|
2012-07-01 02:19:04 -03:00
|
|
|
</body>
|
|
|
|
</html>
|
2012-06-30 20:58:06 -03:00
|
|
|
'''
|
|
|
|
|
2012-07-08 19:42:54 -03:00
|
|
|
def build_html_page(classified_text, title='python',
|
|
|
|
css=default_css, html=default_html):
|
|
|
|
'Create a complete HTML page with colorized source code'
|
2012-07-01 02:19:04 -03:00
|
|
|
css_str = '\n'.join(['%s %s' % item for item in css.items()])
|
2012-07-08 19:42:54 -03:00
|
|
|
result = html_highlight(classified_text)
|
2012-07-01 03:19:30 -03:00
|
|
|
title = cgi.escape(title)
|
2012-07-02 21:17:16 -03:00
|
|
|
return html.format(title=title, css=css_str, body=result)
|
2012-06-30 20:58:06 -03:00
|
|
|
|
|
|
|
|
|
|
|
if __name__ == '__main__':
|
2012-07-08 19:42:54 -03:00
|
|
|
import sys, argparse, webbrowser, os, textwrap
|
2012-06-30 20:58:06 -03:00
|
|
|
|
|
|
|
parser = argparse.ArgumentParser(
|
2012-07-08 19:42:54 -03:00
|
|
|
description = 'Add syntax highlighting to Python source code',
|
|
|
|
formatter_class=argparse.RawDescriptionHelpFormatter,
|
|
|
|
epilog = textwrap.dedent('''
|
|
|
|
examples:
|
|
|
|
|
|
|
|
# Show syntax highlighted code in the terminal window
|
|
|
|
$ ./highlight.py myfile.py
|
|
|
|
|
|
|
|
# Colorize myfile.py and display in a browser
|
|
|
|
$ ./highlight.py -b myfile.py
|
|
|
|
|
|
|
|
# Create an HTML section to embed in an existing webpage
|
|
|
|
./highlight.py -s myfile.py
|
|
|
|
|
|
|
|
# Create a complete HTML file
|
|
|
|
$ ./highlight.py -c myfile.py > myfile.html
|
|
|
|
'''))
|
2012-07-03 04:12:27 -03:00
|
|
|
parser.add_argument('sourcefile', metavar = 'SOURCEFILE',
|
2012-07-08 19:42:54 -03:00
|
|
|
help = 'file containing Python sourcecode')
|
2012-06-30 20:58:06 -03:00
|
|
|
parser.add_argument('-b', '--browser', action = 'store_true',
|
|
|
|
help = 'launch a browser to show results')
|
2012-07-03 21:55:23 -03:00
|
|
|
parser.add_argument('-c', '--complete', action = 'store_true',
|
|
|
|
help = 'build a complete html webpage')
|
2012-07-03 04:12:27 -03:00
|
|
|
parser.add_argument('-s', '--section', action = 'store_true',
|
|
|
|
help = 'show an HTML section rather than a complete webpage')
|
2012-07-09 05:17:22 -03:00
|
|
|
parser.add_argument('-v', '--verbose', action = 'store_true',
|
|
|
|
help = 'display categorized text to stderr')
|
2012-06-30 20:58:06 -03:00
|
|
|
args = parser.parse_args()
|
2012-07-03 18:11:40 -03:00
|
|
|
|
2012-07-03 21:55:23 -03:00
|
|
|
if args.section and (args.browser or args.complete):
|
2012-07-03 04:12:27 -03:00
|
|
|
parser.error('The -s/--section option is incompatible with '
|
2012-07-03 21:55:23 -03:00
|
|
|
'the -b/--browser or -c/--complete options')
|
2012-06-30 20:58:06 -03:00
|
|
|
|
2012-07-03 04:12:27 -03:00
|
|
|
sourcefile = args.sourcefile
|
2012-06-30 20:58:06 -03:00
|
|
|
with open(sourcefile) as f:
|
2012-07-03 18:42:33 -03:00
|
|
|
source = f.read()
|
2012-07-08 19:42:54 -03:00
|
|
|
classified_text = analyze_python(source)
|
2012-07-03 18:11:40 -03:00
|
|
|
|
2012-07-09 05:17:22 -03:00
|
|
|
if args.verbose:
|
|
|
|
classified_text = list(classified_text)
|
|
|
|
for line_upto_token, kind, line_thru_token in classified_text:
|
|
|
|
sys.stderr.write('%15s: %r\n' % ('leadin', line_upto_token))
|
|
|
|
sys.stderr.write('%15s: %r\n\n' % (kind, line_thru_token))
|
|
|
|
|
2012-07-03 21:55:23 -03:00
|
|
|
if args.complete or args.browser:
|
2012-07-08 19:42:54 -03:00
|
|
|
encoded = build_html_page(classified_text, title=sourcefile)
|
2012-07-03 18:11:40 -03:00
|
|
|
elif args.section:
|
2012-07-08 19:42:54 -03:00
|
|
|
encoded = html_highlight(classified_text)
|
2012-07-03 18:11:40 -03:00
|
|
|
else:
|
2012-07-08 19:42:54 -03:00
|
|
|
encoded = ansi_highlight(classified_text)
|
2012-07-03 18:11:40 -03:00
|
|
|
|
2012-06-30 20:58:06 -03:00
|
|
|
if args.browser:
|
|
|
|
htmlfile = os.path.splitext(os.path.basename(sourcefile))[0] + '.html'
|
|
|
|
with open(htmlfile, 'w') as f:
|
2012-07-03 18:11:40 -03:00
|
|
|
f.write(encoded)
|
2012-06-30 20:58:06 -03:00
|
|
|
webbrowser.open('file://' + os.path.abspath(htmlfile))
|
|
|
|
else:
|
2012-07-03 18:11:40 -03:00
|
|
|
sys.stdout.write(encoded)
|