#!/usr/local/bin/python -u

""" Python Highlighter for HTML                          Version: 0.5

    py2html.py [options] files...

    options:
     -h             print help
     -              read from stdin, write to stdout
     -stdout        read from files, write to stdout
     -files         read from files, write to filename+'.html' (default)
     -format:
       html         output HTML page (default)
       rawhtml      output pure HTML (without headers, titles, etc.)
     -mode:
       color        output in color (default)
       mono         output b/w (for printing)
     -title:Title   use 'Title' as title of the generated page
     -bgcolor:color use color as background-color for page
     -header:file   use contents of file as header
     -footer:file   use contents of file as footer
     -URL           replace all occurances of 'URL: link' with
                    '<A HREF="link">link</A>'; this is always enabled
		    in CGI mode
     -v             verbose

    Takes the input, assuming it is Python code and formats it into
    colored HTML. When called without parameters the script tries to
    work in CGI mode. It looks for a field 'script=URL' and tries to
    use that URL as input file. If it can't find this field, the path
    info (the part of the URL following the CGI script name) is
    tried. In case no host is given, the host where the CGI script
    lives and HTTP are used.
 
    * Uses Just van Rossum's PyFontify version 0.3 to tag Python scripts.
      You can get it via his homepage on starship:
        URL: http://starship.skyport.net/crew/just
"""
__comments__ = """

    The following snippet is a small shell script I use for viewing
    Python scripts per less on Unix:
#!/bin/sh
# Browse pretty printed Python code using ANSI codes for highlighting
py2html -stdout -format:ansi -mode:mono $* | less -r

    History:
	
    0.5: Added a few suggestions by Kevin Ng to make the CGI version
         a little more robust.

"""
__copyright__ = """
-----------------------------------------------------------------------------
(c) Copyright by Marc-Andre Lemburg, 1998 (mailto:mal@lemburg.com)

    Permission to use, copy, modify, and distribute this software and its
    documentation for any purpose and without fee or royalty is hereby granted,
    provided that the above copyright notice appear in all copies and that
    both that copyright notice and this permission notice appear in
    supporting documentation or portions thereof, including modifications,
    that you make.

    THE AUTHOR MARC-ANDRE LEMBURG DISCLAIMS ALL WARRANTIES WITH REGARD TO
    THIS SOFTWARE, INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND
    FITNESS, IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY SPECIAL,
    INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING
    FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT,
    NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION
    WITH THE USE OR PERFORMANCE OF THIS SOFTWARE !
"""

__version__ = '0.5'

__cgifooter__ = ('\n<PRE># code highlighted using <A HREF='
		 '"http://starship.skyport.net/~lemburg/">py2html.py</A> '
		 'version %s</PRE>\n' % __version__)

import sys,string,re

# Adjust path so that PyFontify is found...
sys.path.append('.')

### Constants

# URL of the input form the user is redirected to in case no script=xxx
# form field is given. The URL *must* be absolute. Leave blank to
# have the script issue an error instead.
INPUT_FORM = 'http://starship.skyport.net/~lemburg/SoftwareDescriptions.html#py2html.py'

### Helpers

def fileio(file, mode='rb', data=None, close=0):

    if type(file) == type(''):
	f = open(file,mode)
	close = 1
    else:
	f = file
    if data:
	f.write(data)
    else:
	data = f.read()
    if close: f.close()
    return data

### Converter class

class PrettyPrint:

    """ generic Pretty Printer class

        * supports tagging Python scripts in the following ways: 

	  # format/mode |  color  mono
	  # --------------------------
	  # rawhtml     |    x     x   (HTML without headers, etc.)
	  # html        |    x     x   (a HTML page with HEAD&BODY:)
	  # ansi        |          x   (with Ansi-escape sequences)

	* interfaces:

	   file_filter -- takes two files: input & output (may be stdin/stdout)
	   filter -- takes a string and returns the highlighted version
	
	* to create an instance use:

	  c = PrettyPrint(tagfct,format,mode)

	  where format and mode must be strings according to the
	  above table if you plan to use PyFontify.fontify as
	  tagfct

        * the tagfct has to take one argument, text, and return a taglist
	  (format: [(id,left,right,sublist),...], where id is the
	  "name" given to the slice left:right in text and sublist is a
	  taglist for tags inside the slice or None)

    """

    # misc settings
    title = ''
    bgcolor = '#FFFFFF'
    header = ''
    footer = ''
    replace_URLs = 0
    # formats to be used
    formats = {}

    def __init__(self,tagfct=None,format='html',mode='color'):

	self.tag = tagfct
	self.set_mode = getattr(self,'set_mode_'+format+'_'+mode)
	self.filter = getattr(self,'filter_'+format)
	self.set_mode()

    def file_filter(self,infile,outfile):

	text = fileio(infile,'r')
	if type(infile) == type('') and self.title == '':
	    self.title = infile
	fileio(outfile,'w',self.filter(text))

    ### set pre- and postfixes for formats & modes
    #
    # These methods must set self.formats to a dictionary having
    # an entry for every tag returned by the tagging function.
    #
    # The format used is simple:
    #  tag:(prefix,postfix)
    # where prefix and postfix are either strings or callable objects,
    # that return a string (they are called with the matching tag text
    # as only parameter). prefix is inserted in front of the tag, postfix
    # is inserted right after the tag.

    def set_mode_html_color(self):

	self.formats = {
	    'all':('<PRE>','</PRE>'),
	    'comment':('<FONT COLOR=#1111CC>','</FONT>'),
	    'keyword':('<FONT COLOR=#3333CC><B>','</B></FONT>'),
	    'parameter':('<FONT COLOR=#000066>','</FONT>'),
	    'identifier':( lambda x,strip=string.strip:
                           '<A NAME="%s"><FONT COLOR=#CC0000><B>' % (strip(x)),
	                   '</B></FONT></A>'),
	    'string':('<FONT COLOR=#115511>','</FONT>')
	    }

    set_mode_rawhtml_color = set_mode_html_color

    def set_mode_html_mono(self):

	self.formats = {
	    'all':('<PRE>','</PRE>'),
	    'comment':('',''),
	    'keyword':( '<U>','</U>'),
	    'parameter':('',''),
	    'identifier':( lambda x,strip=string.strip:
                           '<A NAME="%s"><B>' % (strip(x)),
		           '</B>'),
	    'string':('','')
	    }

    set_mode_rawhtml_mono = set_mode_html_mono

    def set_mode_ansi_mono(self):

	self.formats = {
	    'all':('',''),
	    'comment':('\033[2m','\033[m'),
	    'keyword':('\033[4m','\033[m'),
	    'parameter':('',''),
	    'identifier':('\033[1m','\033[m'),
	    'string':('','')
	    }

    ### filter for Python scripts given as string

    def escape_html(self,text):

	t = (('<','&lt;'),('>','&gt;'))
	for x,y in t:
	    text = string.join(string.split(text,x),y)
	return text

    def filter_html(self,text):

	output = self.fontify(self.escape_html(text))
	if self.replace_URLs: 
	    output = re.sub('URL:([ \t]+)([^ \n\r<]+)',
			    'URL:\\1<A HREF="\\2">\\2</A>',output)
	html = """<HTML><HEAD><TITLE>%s</TITLE></HEAD>
		  <BODY BGCOLOR=%s>
		  <!--header-->%s
		  <!--script-->%s
		  <!--footer-->%s
		  </BODY>\n"""%(self.title,self.bgcolor,self.header,output,self.footer)
	return html

    def filter_rawhtml(self,text):

	output = self.fontify(self.escape_html(text))
	if self.replace_URLs: 
	    output = re.sub('URL:([ \t]+)([^ \n\r<]+)',
			    'URL:\\1<A HREF="\\2">\\2</A>',output)
	return self.header+output+self.footer

    def filter_ansi(self,text):

	output = self.fontify(text)
	return self.header+output+self.footer

    ### fontify engine

    def fontify(self,pytext):

	# parse
	taglist = self.tag(pytext)

	# prepend special 'all' tag:
	taglist[:0] = [('all',0,len(pytext),None)]

	# prepare splitting
	splits = []
	addsplits(splits,pytext,self.formats,taglist)

	# do splitting & inserting
	splits.sort()
	l = []
	li = 0
	for ri,dummy,insert in splits:
	    if ri > li: l.append(pytext[li:ri])
	    l.append(insert)
	    li = ri
	if li < len(pytext): l.append(pytext[li:])
	
	return string.join(l,'')

def addsplits(splits,text,formats,taglist):
    # helper for fontify()
    for id,left,right,sublist in taglist:
	try:
	    pre,post = formats[id]
	except KeyError:
	    # sys.stderr.write('Warning: no format for %s specified\n'%repr(id))
	    pre,post = '',''
	if type(pre) != type(''):
	    pre = pre(text[left:right])
	if type(post) != type(''):
	    post = post(text[left:right])
	# len(splits) is a dummy used to make sorting stable
	splits.append((left,len(splits),pre))
	if sublist:
	    addsplits(splits,text,formats,sublist)
	splits.append((right,len(splits),post))

def write_html_error(titel,text):

    print """\
<HTML><HEADER><TITLE>%s</TITLE></HEADER>
<BODY>
<H2>%s</H2>
%s
</BODY></HTML>
""" % (titel,titel,text)

def redirect_to(url):

    sys.stdout.write('Content-Type: text/html\r\n')
    sys.stdout.write('Status: 302\r\n')
    sys.stdout.write('Location: %s\r\n\r\n' % url)
    print """
<HTML><HEAD>
<TITLE>302 Moved Temporarily</TITLE>
</HEAD><BODY>
<H1>302 Moved Temporarily</H1>
The document has moved to <A HREF="%s">%s</A>.<P>
</BODY></HTML>
""" % (url,url)

def main(cmdline):

    """ main(cmdline) -- process cmdline as if it were sys.argv 
    """
    # parse options/files
    options = []
    optvalues = {}
    for o in cmdline[1:]:
	if o[0] == '-':
	    if ':' in o:
		k,v = tuple(string.split(o,':'))
		optvalues[k] = v
		options.append(k)
	    else:
		options.append(o)
	else:
	    break
    files = cmdline[len(options)+1:]

    # create converting object	

    # load fontifier
    if '-marcs' in options:
	# use mxTextTool's tagging engine
	from mxTextTools import tag
	from mxTextTools.Examples.Python import python_script
	tagfct = lambda text,tag=tag,pytable=python_script: \
		 tag(text,pytable)[1]
	print "Py2HTML: using Marc's tagging engine"
    else:
	# load Just's
	try:
	    import PyFontify
	    if PyFontify.__version__ < '0.3': raise ValueError
	    tagfct = PyFontify.fontify
	except:
	    print """
    Sorry, but this script needs the PyFontify.py module version 0.3;
    You can download it from Just's homepage at

       URL: http://starship.skyport.net/crew/just
"""
	    sys.exit()
	

    if '-format' in options:
	format = optvalues['-format']
    else:
	# use default
	format = 'html'

    if '-mode' in options:
	mode = optvalues['-mode']
    else:
	# use default
	mode = 'color'

    c = PrettyPrint(tagfct,format,mode)
    convert = c.file_filter

    # start working

    if '-title' in options:
	c.title = optvalues['-title']

    if '-bgcolor' in options:
	c.bgcolor = optvalues['-bgcolor']

    if '-header' in options:
	try:
	    f = open(optvalues['-header'])
	    c.header = f.read()
	    f.close()
	except IOError:
	    if verbose: print 'IOError: header file not found'
	    
    if '-footer' in options:
	try:
	    f = open(optvalues['-footer'])
	    c.footer = f.read()
	    f.close()
	except IOError:
	    if verbose: print 'IOError: footer file not found'

    if '-URL' in options:
	c.replace_URLs = 1

    if '-' in options:
	convert(sys.stdin,sys.stdout)
	sys.exit()

    if '-h' in options:
	print __doc__
	sys.exit()

    if len(files) == 0:
	# Turn URL processing on
	c.replace_URLs = 1
	# Try CGI processing...
	import cgi,urllib,urlparse,os
	form = cgi.FieldStorage()
	if not form.has_key('script'):
	    # Ok, then try pathinfo
	    if not os.environ.has_key('PATH_INFO'):
		if INPUT_FORM:
		    redirect_to(INPUT_FORM)
		else:
		    sys.stdout.write('Content-Type: text/html\r\n\r\n')
		    write_html_error('Missing Parameter',
				     'Missing script=URL field in request')
		sys.exit(1)
	    url = os.environ['PATH_INFO'][1:] # skip the leading slash
	else:
	    url = form['script'].value
	sys.stdout.write('Content-Type: text/html\r\n\r\n')
	scheme, host, path, params, query, frag = urlparse.urlparse(url)
	if not host:
	    scheme = 'http'
	    if os.environ.has_key('HTTP_HOST'):
		host = os.environ['HTTP_HOST']
	    else:
		host = 'localhost'
	    url = urlparse.urlunparse((scheme, host, path, params, query, frag))
	#print url; sys.exit()
	network = urllib.URLopener()
	try:
	    tempfile,headers = network.retrieve(url)
	except IOError,reason:
	    write_html_error('Error opening "%s"' % url,
			     'The given URL could not be opened. Reason: %s' %\
			     str(reason))
	    sys.exit(1)
	f = open(tempfile,'rb')
	c.title = url
	c.footer = __cgifooter__
	convert(f,sys.stdout)
	f.close()
	network.close()
	sys.exit()

    if '-stdout' in options:
	filebreak = '-'*72
	for f in files:
	    try:
		if len(files) > 1:
		    print filebreak
		    print 'File:',f
		    print filebreak
		convert(f,sys.stdout)
	    except IOError:
		pass
    else:
	verbose = ('-v' in options)
	if verbose:
	    print 'Py2HTML: working on',
	for f in files:
	    try:
		if verbose: print f,
		convert(f,f+'.html')
	    except IOError:
		if verbose: print '(IOError!)',
	if verbose:
	    print
	    print 'Done.'

if __name__=='__main__':
    main(sys.argv)