Admin/website/build/pypager.py
author haftmann
Wed, 08 Jun 2005 15:14:09 +0200
changeset 16324 059caec54d91
parent 16323 7115adb43f3f
child 16574 57d4c33c5184
permissions -rw-r--r--
added some notes
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
     1
#!/usr/bin/env python
e634d33deb86 added new website
haftmann
parents:
diff changeset
     2
# -*- coding: Latin-1 -*-
e634d33deb86 added new website
haftmann
parents:
diff changeset
     3
16323
7115adb43f3f added file acces rights handling
haftmann
parents: 16296
diff changeset
     4
"""
7115adb43f3f added file acces rights handling
haftmann
parents: 16296
diff changeset
     5
    (on available processing instructions, see the Functions class)
7115adb43f3f added file acces rights handling
haftmann
parents: 16296
diff changeset
     6
"""
7115adb43f3f added file acces rights handling
haftmann
parents: 16296
diff changeset
     7
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
     8
__author__ = 'Florian Haftmann, florian.haftmann@informatik.tu-muenchen.de'
e634d33deb86 added new website
haftmann
parents:
diff changeset
     9
__revision__ = '$Id$'
e634d33deb86 added new website
haftmann
parents:
diff changeset
    10
e634d33deb86 added new website
haftmann
parents:
diff changeset
    11
# generic imports
e634d33deb86 added new website
haftmann
parents:
diff changeset
    12
import sys
e634d33deb86 added new website
haftmann
parents:
diff changeset
    13
import os
e634d33deb86 added new website
haftmann
parents:
diff changeset
    14
from os import path
e634d33deb86 added new website
haftmann
parents:
diff changeset
    15
import posixpath
e634d33deb86 added new website
haftmann
parents:
diff changeset
    16
import codecs
e634d33deb86 added new website
haftmann
parents:
diff changeset
    17
import shlex
e634d33deb86 added new website
haftmann
parents:
diff changeset
    18
import optparse
e634d33deb86 added new website
haftmann
parents:
diff changeset
    19
import time
e634d33deb86 added new website
haftmann
parents:
diff changeset
    20
e634d33deb86 added new website
haftmann
parents:
diff changeset
    21
# xml imports
e634d33deb86 added new website
haftmann
parents:
diff changeset
    22
from xml.sax.saxutils import escape
e634d33deb86 added new website
haftmann
parents:
diff changeset
    23
from xml.sax.saxutils import quoteattr
e634d33deb86 added new website
haftmann
parents:
diff changeset
    24
from xml.sax import make_parser as makeParser
e634d33deb86 added new website
haftmann
parents:
diff changeset
    25
from xml.sax.handler import ContentHandler
e634d33deb86 added new website
haftmann
parents:
diff changeset
    26
from xml.sax.handler import EntityResolver
e634d33deb86 added new website
haftmann
parents:
diff changeset
    27
from xml.sax.xmlreader import AttributesImpl as Attributes
e634d33deb86 added new website
haftmann
parents:
diff changeset
    28
from xml.sax import SAXException
e634d33deb86 added new website
haftmann
parents:
diff changeset
    29
from xml.sax import SAXParseException
e634d33deb86 added new website
haftmann
parents:
diff changeset
    30
e634d33deb86 added new website
haftmann
parents:
diff changeset
    31
nbsp = unichr(160)
e634d33deb86 added new website
haftmann
parents:
diff changeset
    32
e634d33deb86 added new website
haftmann
parents:
diff changeset
    33
# global configuration
e634d33deb86 added new website
haftmann
parents:
diff changeset
    34
outputEncoding = 'UTF-8'
e634d33deb86 added new website
haftmann
parents:
diff changeset
    35
e634d33deb86 added new website
haftmann
parents:
diff changeset
    36
# implement your own functions for PIs here
e634d33deb86 added new website
haftmann
parents:
diff changeset
    37
class Functions:
e634d33deb86 added new website
haftmann
parents:
diff changeset
    38
e634d33deb86 added new website
haftmann
parents:
diff changeset
    39
    def __init__(self, pc, valdict, modtime, encodingMeta):
e634d33deb86 added new website
haftmann
parents:
diff changeset
    40
e634d33deb86 added new website
haftmann
parents:
diff changeset
    41
        self._pc = pc
e634d33deb86 added new website
haftmann
parents:
diff changeset
    42
        self._valdict = valdict
e634d33deb86 added new website
haftmann
parents:
diff changeset
    43
        self._modtime = modtime
e634d33deb86 added new website
haftmann
parents:
diff changeset
    44
        self._encodingMeta = encodingMeta
e634d33deb86 added new website
haftmann
parents:
diff changeset
    45
16323
7115adb43f3f added file acces rights handling
haftmann
parents: 16296
diff changeset
    46
    def value(self, handler, **args):
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
    47
16323
7115adb43f3f added file acces rights handling
haftmann
parents: 16296
diff changeset
    48
        """<?value key="..."?> - inserts a property value given on the command line"""
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
    49
e634d33deb86 added new website
haftmann
parents:
diff changeset
    50
        value = self._valdict[args[u"key"]]
e634d33deb86 added new website
haftmann
parents:
diff changeset
    51
        handler.characters(value)
e634d33deb86 added new website
haftmann
parents:
diff changeset
    52
e634d33deb86 added new website
haftmann
parents:
diff changeset
    53
    def title(self, handler, **args):
e634d33deb86 added new website
haftmann
parents:
diff changeset
    54
16323
7115adb43f3f added file acces rights handling
haftmann
parents: 16296
diff changeset
    55
        """<?title?> - inserts the document's title as glimpsed from the <title> tag"""
7115adb43f3f added file acces rights handling
haftmann
parents: 16296
diff changeset
    56
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
    57
        handler.characters(handler._title)
e634d33deb86 added new website
haftmann
parents:
diff changeset
    58
e634d33deb86 added new website
haftmann
parents:
diff changeset
    59
    def contentType(self, handler, **args):
e634d33deb86 added new website
haftmann
parents:
diff changeset
    60
16323
7115adb43f3f added file acces rights handling
haftmann
parents: 16296
diff changeset
    61
        """<?contentType?> - inserts the document's content type/encoding"""
7115adb43f3f added file acces rights handling
haftmann
parents: 16296
diff changeset
    62
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
    63
        encoding = self._encodingMeta or handler._encoding
e634d33deb86 added new website
haftmann
parents:
diff changeset
    64
        attr = {
e634d33deb86 added new website
haftmann
parents:
diff changeset
    65
            u"http-equiv": u"Content-Type",
e634d33deb86 added new website
haftmann
parents:
diff changeset
    66
            u"content": u"text/html; charset=%s" % encoding
e634d33deb86 added new website
haftmann
parents:
diff changeset
    67
        }
e634d33deb86 added new website
haftmann
parents:
diff changeset
    68
        handler.startElement(u"meta", attr)
e634d33deb86 added new website
haftmann
parents:
diff changeset
    69
        handler.endElement(u"meta")
e634d33deb86 added new website
haftmann
parents:
diff changeset
    70
e634d33deb86 added new website
haftmann
parents:
diff changeset
    71
    def currentDate(self, handler, **args):
e634d33deb86 added new website
haftmann
parents:
diff changeset
    72
16323
7115adb43f3f added file acces rights handling
haftmann
parents: 16296
diff changeset
    73
        """<?currentDate?> - inserts the current date"""
7115adb43f3f added file acces rights handling
haftmann
parents: 16296
diff changeset
    74
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
    75
        handler.characters(unicode(time.strftime('%Y-%m-%d %H:%M:%S')))
e634d33deb86 added new website
haftmann
parents:
diff changeset
    76
e634d33deb86 added new website
haftmann
parents:
diff changeset
    77
    def modificationDate(self, handler, **args):
e634d33deb86 added new website
haftmann
parents:
diff changeset
    78
16323
7115adb43f3f added file acces rights handling
haftmann
parents: 16296
diff changeset
    79
        """<?modificationDate?> - inserts the modification date of this file"""
7115adb43f3f added file acces rights handling
haftmann
parents: 16296
diff changeset
    80
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
    81
        handler.characters(unicode(time.strftime('%Y-%m-%d %H:%M:%S',
e634d33deb86 added new website
haftmann
parents:
diff changeset
    82
            time.localtime(self._modtime))))
e634d33deb86 added new website
haftmann
parents:
diff changeset
    83
e634d33deb86 added new website
haftmann
parents:
diff changeset
    84
    def relativeRoot(self, handler, **args):
e634d33deb86 added new website
haftmann
parents:
diff changeset
    85
16323
7115adb43f3f added file acces rights handling
haftmann
parents: 16296
diff changeset
    86
        """<?relativeRoot href="..."?> - inserts the relative path specified by href"""
7115adb43f3f added file acces rights handling
haftmann
parents: 16296
diff changeset
    87
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
    88
        href = args[u"href"].encode("latin-1")
e634d33deb86 added new website
haftmann
parents:
diff changeset
    89
        handler.characters(self._pc.relDstPathOf('//'+href))
e634d33deb86 added new website
haftmann
parents:
diff changeset
    90
e634d33deb86 added new website
haftmann
parents:
diff changeset
    91
    def include(self, handler, **args):
e634d33deb86 added new website
haftmann
parents:
diff changeset
    92
16323
7115adb43f3f added file acces rights handling
haftmann
parents: 16296
diff changeset
    93
        """<?include file="..."?> - includes an XML file"""
7115adb43f3f added file acces rights handling
haftmann
parents: 16296
diff changeset
    94
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
    95
        filename = args[u"file"].encode("latin-1")
e634d33deb86 added new website
haftmann
parents:
diff changeset
    96
        filename = self._pc.absSrcPathOf(filename)
e634d33deb86 added new website
haftmann
parents:
diff changeset
    97
        self._modtime = max(self._modtime, os.stat(filename).st_mtime)
e634d33deb86 added new website
haftmann
parents:
diff changeset
    98
        istream = open(filename, "r")
e634d33deb86 added new website
haftmann
parents:
diff changeset
    99
        parseWithER(istream, handler)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   100
        istream.close()
e634d33deb86 added new website
haftmann
parents:
diff changeset
   101
e634d33deb86 added new website
haftmann
parents:
diff changeset
   102
    def navitem(self, handler, **args):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   103
16323
7115adb43f3f added file acces rights handling
haftmann
parents: 16296
diff changeset
   104
        """<?navitem target="..." title="..."?> - inserts an item in a navigation list,
16324
059caec54d91 added some notes
haftmann
parents: 16323
diff changeset
   105
            targeting to <target> and entitled <title>"""
16323
7115adb43f3f added file acces rights handling
haftmann
parents: 16296
diff changeset
   106
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
   107
        target = args[u"target"].encode("latin-1")
e634d33deb86 added new website
haftmann
parents:
diff changeset
   108
        target = self._pc.relDstPathOf(target)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   109
        if self._pc.isSrc(target):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   110
            wrapTagname = u"strong"
e634d33deb86 added new website
haftmann
parents:
diff changeset
   111
        else:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   112
            wrapTagname = u"span"
e634d33deb86 added new website
haftmann
parents:
diff changeset
   113
        title = args[u"title"]
e634d33deb86 added new website
haftmann
parents:
diff changeset
   114
        attr = {}
e634d33deb86 added new website
haftmann
parents:
diff changeset
   115
        handler.startElement(u"li", attr)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   116
        handler.startElement(wrapTagname, {})
e634d33deb86 added new website
haftmann
parents:
diff changeset
   117
        handler.startElement(u"a", {
e634d33deb86 added new website
haftmann
parents:
diff changeset
   118
            u"href": unicode(target, 'latin-1')
e634d33deb86 added new website
haftmann
parents:
diff changeset
   119
        })
e634d33deb86 added new website
haftmann
parents:
diff changeset
   120
        handler.characters(title)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   121
        handler.endElement(u"a")
e634d33deb86 added new website
haftmann
parents:
diff changeset
   122
        handler.endElement(wrapTagname)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   123
        handler.endElement(u"li")
e634d33deb86 added new website
haftmann
parents:
diff changeset
   124
16296
f05c81817ec6 refinements
haftmann
parents: 16241
diff changeset
   125
    def downloadLink(self, handler, **args):
f05c81817ec6 refinements
haftmann
parents: 16241
diff changeset
   126
16324
059caec54d91 added some notes
haftmann
parents: 16323
diff changeset
   127
        """<?downloadLink target="..." [title="..."]?> - inserts a link to a file
059caec54d91 added some notes
haftmann
parents: 16323
diff changeset
   128
           to download; if the title is omitted, it is the bare filename itself"""
059caec54d91 added some notes
haftmann
parents: 16323
diff changeset
   129
16296
f05c81817ec6 refinements
haftmann
parents: 16241
diff changeset
   130
        target = args[u"target"].encode("latin-1")
f05c81817ec6 refinements
haftmann
parents: 16241
diff changeset
   131
        targetReal = self._pc.absDstPathOf(target)
f05c81817ec6 refinements
haftmann
parents: 16241
diff changeset
   132
        title = args.get(u"title", unicode(posixpath.split(targetReal)[1], 'latin-1'))
f05c81817ec6 refinements
haftmann
parents: 16241
diff changeset
   133
        size = os.stat(targetReal).st_size
f05c81817ec6 refinements
haftmann
parents: 16241
diff changeset
   134
        handler.startElement(u"a", {
f05c81817ec6 refinements
haftmann
parents: 16241
diff changeset
   135
            u"href": target
f05c81817ec6 refinements
haftmann
parents: 16241
diff changeset
   136
        })
f05c81817ec6 refinements
haftmann
parents: 16241
diff changeset
   137
        handler.characters(title)
f05c81817ec6 refinements
haftmann
parents: 16241
diff changeset
   138
        handler.endElement(u"a")
f05c81817ec6 refinements
haftmann
parents: 16241
diff changeset
   139
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
   140
    def downloadCells(self, handler, **args):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   141
16324
059caec54d91 added some notes
haftmann
parents: 16323
diff changeset
   142
        """<?downloadCells target="..." [title="..."]?> - like downloadLink, but
059caec54d91 added some notes
haftmann
parents: 16323
diff changeset
   143
           puts the link into a table cell and appends a table cell displaying the
059caec54d91 added some notes
haftmann
parents: 16323
diff changeset
   144
           size of the linked file"""
059caec54d91 added some notes
haftmann
parents: 16323
diff changeset
   145
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
   146
        target = args[u"target"].encode("latin-1")
e634d33deb86 added new website
haftmann
parents:
diff changeset
   147
        targetReal = self._pc.absDstPathOf(target)
16296
f05c81817ec6 refinements
haftmann
parents: 16241
diff changeset
   148
        title = args.get(u"title", unicode(posixpath.split(targetReal)[1], 'latin-1'))
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
   149
        size = os.stat(targetReal).st_size
e634d33deb86 added new website
haftmann
parents:
diff changeset
   150
        handler.startElement(u"td", {})
e634d33deb86 added new website
haftmann
parents:
diff changeset
   151
        handler.startElement(u"a", {
e634d33deb86 added new website
haftmann
parents:
diff changeset
   152
            u"href": target
e634d33deb86 added new website
haftmann
parents:
diff changeset
   153
        })
e634d33deb86 added new website
haftmann
parents:
diff changeset
   154
        handler.characters(title)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   155
        handler.endElement(u"a")
e634d33deb86 added new website
haftmann
parents:
diff changeset
   156
        handler.endElement(u"td")
e634d33deb86 added new website
haftmann
parents:
diff changeset
   157
        handler.startElement(u"td", {})
e634d33deb86 added new website
haftmann
parents:
diff changeset
   158
        handler.characters(u"%i%sKB" % (size / 1024, unichr(160)))
e634d33deb86 added new website
haftmann
parents:
diff changeset
   159
        handler.endElement(u"td")
e634d33deb86 added new website
haftmann
parents:
diff changeset
   160
16323
7115adb43f3f added file acces rights handling
haftmann
parents: 16296
diff changeset
   161
    def getPc(self):
7115adb43f3f added file acces rights handling
haftmann
parents: 16296
diff changeset
   162
7115adb43f3f added file acces rights handling
haftmann
parents: 16296
diff changeset
   163
        return self._pc
7115adb43f3f added file acces rights handling
haftmann
parents: 16296
diff changeset
   164
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
   165
# a notion of paths
e634d33deb86 added new website
haftmann
parents:
diff changeset
   166
class PathCalculator:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   167
e634d33deb86 added new website
haftmann
parents:
diff changeset
   168
    def __init__(self, srcLoc, srcRoot, dstRoot):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   169
e634d33deb86 added new website
haftmann
parents:
diff changeset
   170
        self._src = path.normpath(path.abspath(srcLoc))
e634d33deb86 added new website
haftmann
parents:
diff changeset
   171
        srcPath, srcName = path.split(self._src)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   172
        self._srcRoot = path.normpath(path.abspath(srcRoot))
e634d33deb86 added new website
haftmann
parents:
diff changeset
   173
        self._dstRoot = path.normpath(path.abspath(dstRoot))
e634d33deb86 added new website
haftmann
parents:
diff changeset
   174
        self._relRoot = ""
e634d33deb86 added new website
haftmann
parents:
diff changeset
   175
        relLocChain = []
e634d33deb86 added new website
haftmann
parents:
diff changeset
   176
        diffRoot = srcPath
e634d33deb86 added new website
haftmann
parents:
diff changeset
   177
        while diffRoot != self._srcRoot:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   178
            self._relRoot = path.join(self._relRoot, os.pardir)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   179
            diffRoot, chainPiece = path.split(diffRoot)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   180
            relLocChain.insert(0, chainPiece)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   181
        self._relRoot = self._relRoot and self._relRoot + '/'
e634d33deb86 added new website
haftmann
parents:
diff changeset
   182
        self._relLoc = relLocChain and path.join(*relLocChain) or ""
e634d33deb86 added new website
haftmann
parents:
diff changeset
   183
e634d33deb86 added new website
haftmann
parents:
diff changeset
   184
    def isSrc(self, loc):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   185
e634d33deb86 added new website
haftmann
parents:
diff changeset
   186
        return self.absSrcPathOf(loc) == self._src
e634d33deb86 added new website
haftmann
parents:
diff changeset
   187
e634d33deb86 added new website
haftmann
parents:
diff changeset
   188
    def relRootPath(self):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   189
e634d33deb86 added new website
haftmann
parents:
diff changeset
   190
        return self._relRoot
e634d33deb86 added new website
haftmann
parents:
diff changeset
   191
e634d33deb86 added new website
haftmann
parents:
diff changeset
   192
    def absSrcPathOf(self, loc):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   193
e634d33deb86 added new website
haftmann
parents:
diff changeset
   194
        if loc.startswith("//"):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   195
            return path.normpath(path.abspath(loc[2:]))
e634d33deb86 added new website
haftmann
parents:
diff changeset
   196
        else:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   197
            return path.normpath(path.abspath(path.join(self._relLoc, loc)))
e634d33deb86 added new website
haftmann
parents:
diff changeset
   198
e634d33deb86 added new website
haftmann
parents:
diff changeset
   199
    def absDstPathOf(self, loc):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   200
e634d33deb86 added new website
haftmann
parents:
diff changeset
   201
        if loc.startswith("//"):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   202
            return path.join(self._dstRoot, loc[2:])
e634d33deb86 added new website
haftmann
parents:
diff changeset
   203
        else:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   204
            return path.join(self._dstRoot, self._relLoc, loc)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   205
e634d33deb86 added new website
haftmann
parents:
diff changeset
   206
    def relSrcPathOf(self, loc):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   207
e634d33deb86 added new website
haftmann
parents:
diff changeset
   208
        loc = self.absSrcPathOf(loc)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   209
        loc = self.stripCommonPrefix(loc, self._srcRoot)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   210
        loc = self.stripCommonPrefix(loc, self._relLoc)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   211
        return loc
e634d33deb86 added new website
haftmann
parents:
diff changeset
   212
e634d33deb86 added new website
haftmann
parents:
diff changeset
   213
    def relDstPathOf(self, loc):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   214
e634d33deb86 added new website
haftmann
parents:
diff changeset
   215
        loc = self.absDstPathOf(loc)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   216
        loc = self.stripCommonPrefix(loc, self._dstRoot)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   217
        loc = self.stripCommonPrefix(loc, self._relLoc)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   218
        return loc
e634d33deb86 added new website
haftmann
parents:
diff changeset
   219
e634d33deb86 added new website
haftmann
parents:
diff changeset
   220
    def stripCommonPrefix(self, loc, prefix):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   221
e634d33deb86 added new website
haftmann
parents:
diff changeset
   222
        common = self.commonPrefix((loc, prefix))
e634d33deb86 added new website
haftmann
parents:
diff changeset
   223
        if common:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   224
            loc = loc[len(common):]
e634d33deb86 added new website
haftmann
parents:
diff changeset
   225
            if loc and loc[0] == '/':
e634d33deb86 added new website
haftmann
parents:
diff changeset
   226
                loc = loc[1:]
e634d33deb86 added new website
haftmann
parents:
diff changeset
   227
        return loc
e634d33deb86 added new website
haftmann
parents:
diff changeset
   228
e634d33deb86 added new website
haftmann
parents:
diff changeset
   229
    def commonPrefix(self, locs):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   230
e634d33deb86 added new website
haftmann
parents:
diff changeset
   231
        common = path.commonprefix(locs)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   232
        # commonprefix bugs
e634d33deb86 added new website
haftmann
parents:
diff changeset
   233
        if [ loc for loc in locs if len(loc) != common ] and \
e634d33deb86 added new website
haftmann
parents:
diff changeset
   234
            [ loc for loc in locs if len(common) < len(loc) and loc[len(common)] != path.sep ]:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   235
                common = path.split(common)[0]
e634d33deb86 added new website
haftmann
parents:
diff changeset
   236
        if common and common[-1] == path.sep:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   237
            common = common[:-1]
e634d33deb86 added new website
haftmann
parents:
diff changeset
   238
e634d33deb86 added new website
haftmann
parents:
diff changeset
   239
        return common or ""
e634d33deb86 added new website
haftmann
parents:
diff changeset
   240
e634d33deb86 added new website
haftmann
parents:
diff changeset
   241
# the XML transformer
e634d33deb86 added new website
haftmann
parents:
diff changeset
   242
class TransformerHandler(ContentHandler, EntityResolver):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   243
e634d33deb86 added new website
haftmann
parents:
diff changeset
   244
    def __init__(self, out, encoding, dtd, func):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   245
e634d33deb86 added new website
haftmann
parents:
diff changeset
   246
        ContentHandler.__init__(self)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   247
        #~ EntityResolver.__init__(self)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   248
        self._out = codecs.getwriter(encoding)(out)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   249
        self._ns_contexts = [{}] # contains uri -> prefix dicts
e634d33deb86 added new website
haftmann
parents:
diff changeset
   250
        self._current_context = self._ns_contexts[-1]
e634d33deb86 added new website
haftmann
parents:
diff changeset
   251
        self._undeclared_ns_maps = []
e634d33deb86 added new website
haftmann
parents:
diff changeset
   252
        self._encoding = encoding
e634d33deb86 added new website
haftmann
parents:
diff changeset
   253
        self._lastStart = False
e634d33deb86 added new website
haftmann
parents:
diff changeset
   254
        self._func = func
e634d33deb86 added new website
haftmann
parents:
diff changeset
   255
        self._characterBuffer = {}
e634d33deb86 added new website
haftmann
parents:
diff changeset
   256
        self._currentXPath = []
e634d33deb86 added new website
haftmann
parents:
diff changeset
   257
        self._title = None
e634d33deb86 added new website
haftmann
parents:
diff changeset
   258
        self._init = False
e634d33deb86 added new website
haftmann
parents:
diff changeset
   259
        self._dtd = dtd
e634d33deb86 added new website
haftmann
parents:
diff changeset
   260
e634d33deb86 added new website
haftmann
parents:
diff changeset
   261
    def closeLastStart(self):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   262
e634d33deb86 added new website
haftmann
parents:
diff changeset
   263
        if self._lastStart:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   264
            self._out.write(u'>')
e634d33deb86 added new website
haftmann
parents:
diff changeset
   265
            self._lastStart = False
e634d33deb86 added new website
haftmann
parents:
diff changeset
   266
e634d33deb86 added new website
haftmann
parents:
diff changeset
   267
    def flushCharacterBuffer(self):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   268
e634d33deb86 added new website
haftmann
parents:
diff changeset
   269
        self._out.write(escape(u"".join(self._characterBuffer)))
e634d33deb86 added new website
haftmann
parents:
diff changeset
   270
        self._characterBuffer = []
e634d33deb86 added new website
haftmann
parents:
diff changeset
   271
e634d33deb86 added new website
haftmann
parents:
diff changeset
   272
    def transformAbsPath(self, attrs, attrname):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   273
e634d33deb86 added new website
haftmann
parents:
diff changeset
   274
        pathval = attrs.get(attrname, None)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   275
        if pathval and pathval.startswith(u"//"):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   276
            attrs = dict(attrs)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   277
            pathRel = self._func.getPc().relDstPathOf(pathval)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   278
            pathDst = self._func.getPc().absDstPathOf(pathval)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   279
            if not path.exists(pathDst):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   280
                raise Exception("Path does not exist: %s" % pathDst)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   281
            attrs[attrname] = pathRel
e634d33deb86 added new website
haftmann
parents:
diff changeset
   282
            return attrs
e634d33deb86 added new website
haftmann
parents:
diff changeset
   283
        else:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   284
            return attrs
e634d33deb86 added new website
haftmann
parents:
diff changeset
   285
e634d33deb86 added new website
haftmann
parents:
diff changeset
   286
    def startDocument(self):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   287
e634d33deb86 added new website
haftmann
parents:
diff changeset
   288
        if not self._init:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   289
            if self._encoding.upper() != 'UTF-8':
e634d33deb86 added new website
haftmann
parents:
diff changeset
   290
                self._out.write(u'<?xml version="1.0" encoding="%s"?>\n' %
e634d33deb86 added new website
haftmann
parents:
diff changeset
   291
                                self._encoding)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   292
            else:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   293
                self._out.write(u'<?xml version="1.0"?>\n')
e634d33deb86 added new website
haftmann
parents:
diff changeset
   294
            self._init = True
e634d33deb86 added new website
haftmann
parents:
diff changeset
   295
e634d33deb86 added new website
haftmann
parents:
diff changeset
   296
    def startPrefixMapping(self, prefix, uri):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   297
e634d33deb86 added new website
haftmann
parents:
diff changeset
   298
        self._ns_contexts.append(self._current_context.copy())
e634d33deb86 added new website
haftmann
parents:
diff changeset
   299
        self._current_context[uri] = prefix
e634d33deb86 added new website
haftmann
parents:
diff changeset
   300
        self._undeclared_ns_maps.append((prefix, uri))
e634d33deb86 added new website
haftmann
parents:
diff changeset
   301
e634d33deb86 added new website
haftmann
parents:
diff changeset
   302
    def endPrefixMapping(self, prefix):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   303
e634d33deb86 added new website
haftmann
parents:
diff changeset
   304
        self._current_context = self._ns_contexts[-1]
e634d33deb86 added new website
haftmann
parents:
diff changeset
   305
        del self._ns_contexts[-1]
e634d33deb86 added new website
haftmann
parents:
diff changeset
   306
e634d33deb86 added new website
haftmann
parents:
diff changeset
   307
    def startElement(self, name, attrs):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   308
e634d33deb86 added new website
haftmann
parents:
diff changeset
   309
        if name == u"dummy:wrapper":
e634d33deb86 added new website
haftmann
parents:
diff changeset
   310
            return
e634d33deb86 added new website
haftmann
parents:
diff changeset
   311
        self.closeLastStart()
e634d33deb86 added new website
haftmann
parents:
diff changeset
   312
        self.flushCharacterBuffer()
e634d33deb86 added new website
haftmann
parents:
diff changeset
   313
        self._out.write(u'<' + name)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   314
        # this list is not exhaustive
e634d33deb86 added new website
haftmann
parents:
diff changeset
   315
        for tagname, attrname in ((u"a", u"href"), (u"img", u"src"), (u"link", u"href")):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   316
            if name == tagname:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   317
                attrs = self.transformAbsPath(attrs, attrname)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   318
        for (name, value) in attrs.items():
e634d33deb86 added new website
haftmann
parents:
diff changeset
   319
            self._out.write(u' %s=%s' % (name, quoteattr(value)))
e634d33deb86 added new website
haftmann
parents:
diff changeset
   320
        self._currentXPath.append(name)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   321
        self._lastStart = True
e634d33deb86 added new website
haftmann
parents:
diff changeset
   322
e634d33deb86 added new website
haftmann
parents:
diff changeset
   323
    def endElement(self, name):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   324
e634d33deb86 added new website
haftmann
parents:
diff changeset
   325
        if name == u"dummy:wrapper":
e634d33deb86 added new website
haftmann
parents:
diff changeset
   326
            return
e634d33deb86 added new website
haftmann
parents:
diff changeset
   327
        elif name == u'title':
e634d33deb86 added new website
haftmann
parents:
diff changeset
   328
            self._title = u"".join(self._characterBuffer)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   329
        self.flushCharacterBuffer()
e634d33deb86 added new website
haftmann
parents:
diff changeset
   330
        if self._lastStart:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   331
            self._out.write(u'/>')
e634d33deb86 added new website
haftmann
parents:
diff changeset
   332
            self._lastStart = False
e634d33deb86 added new website
haftmann
parents:
diff changeset
   333
        else:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   334
            self._out.write('</%s>' % name)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   335
        self._currentXPath.pop()
e634d33deb86 added new website
haftmann
parents:
diff changeset
   336
e634d33deb86 added new website
haftmann
parents:
diff changeset
   337
    def startElementNS(self, name, qname, attrs):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   338
e634d33deb86 added new website
haftmann
parents:
diff changeset
   339
        self.closeLastStart()
e634d33deb86 added new website
haftmann
parents:
diff changeset
   340
        self.flushCharacterBuffer()
e634d33deb86 added new website
haftmann
parents:
diff changeset
   341
        if name[0] is None:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   342
            # if the name was not namespace-scoped, use the unqualified part
e634d33deb86 added new website
haftmann
parents:
diff changeset
   343
            name = name[1]
e634d33deb86 added new website
haftmann
parents:
diff changeset
   344
        else:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   345
            # else try to restore the original prefix from the namespace
e634d33deb86 added new website
haftmann
parents:
diff changeset
   346
            name = self._current_context[name[0]] + u":" + name[1]
e634d33deb86 added new website
haftmann
parents:
diff changeset
   347
        self._out.write(u'<' + name)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   348
e634d33deb86 added new website
haftmann
parents:
diff changeset
   349
        for pair in self._undeclared_ns_maps:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   350
            self._out.write(u' xmlns:%s="%s"' % pair)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   351
        self._undeclared_ns_maps = []
e634d33deb86 added new website
haftmann
parents:
diff changeset
   352
e634d33deb86 added new website
haftmann
parents:
diff changeset
   353
        for (name, value) in attrs.items():
e634d33deb86 added new website
haftmann
parents:
diff changeset
   354
            name = self._current_context[name[0]] + ":" + name[1]
e634d33deb86 added new website
haftmann
parents:
diff changeset
   355
            self._out.write(' %s=%s' % (name, quoteattr(value)))
e634d33deb86 added new website
haftmann
parents:
diff changeset
   356
        self._out.write('>')
e634d33deb86 added new website
haftmann
parents:
diff changeset
   357
        self._currentXPath.append(name)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   358
e634d33deb86 added new website
haftmann
parents:
diff changeset
   359
    def endElementNS(self, name, qname):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   360
e634d33deb86 added new website
haftmann
parents:
diff changeset
   361
        self.flushCharacterBuffer()
e634d33deb86 added new website
haftmann
parents:
diff changeset
   362
        if name[0] is None:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   363
            name = name[1]
e634d33deb86 added new website
haftmann
parents:
diff changeset
   364
        else:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   365
            name = self._current_context[name[0]] + u":" + name[1]
e634d33deb86 added new website
haftmann
parents:
diff changeset
   366
        if self._lastStart:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   367
            self._out.write(u'/>')
e634d33deb86 added new website
haftmann
parents:
diff changeset
   368
            self._lastStart = False
e634d33deb86 added new website
haftmann
parents:
diff changeset
   369
        else:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   370
            self._out.write(u'</%s>' % name)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   371
        self._currentXPath.pop()
e634d33deb86 added new website
haftmann
parents:
diff changeset
   372
e634d33deb86 added new website
haftmann
parents:
diff changeset
   373
    def characters(self, content):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   374
e634d33deb86 added new website
haftmann
parents:
diff changeset
   375
        self.closeLastStart()
e634d33deb86 added new website
haftmann
parents:
diff changeset
   376
        self._characterBuffer.append(content)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   377
e634d33deb86 added new website
haftmann
parents:
diff changeset
   378
    def ignorableWhitespace(self, content):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   379
e634d33deb86 added new website
haftmann
parents:
diff changeset
   380
        self.closeLastStart()
e634d33deb86 added new website
haftmann
parents:
diff changeset
   381
        self.flushCharacterBuffer()
e634d33deb86 added new website
haftmann
parents:
diff changeset
   382
        self._out.write(content)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   383
e634d33deb86 added new website
haftmann
parents:
diff changeset
   384
    def resolveEntity(self, publicId, systemId):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   385
e634d33deb86 added new website
haftmann
parents:
diff changeset
   386
        loc, name = posixpath.split(systemId)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   387
        if loc == u"http://www.w3.org/TR/xhtml1/DTD" or loc == u"":
e634d33deb86 added new website
haftmann
parents:
diff changeset
   388
            systemId = path.join(self._dtd, name)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   389
        return EntityResolver.resolveEntity(self, publicId, systemId)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   390
e634d33deb86 added new website
haftmann
parents:
diff changeset
   391
    def processingInstruction(self, target, data):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   392
e634d33deb86 added new website
haftmann
parents:
diff changeset
   393
        self.closeLastStart()
e634d33deb86 added new website
haftmann
parents:
diff changeset
   394
        self.flushCharacterBuffer()
e634d33deb86 added new website
haftmann
parents:
diff changeset
   395
        func = getattr(self._func, target)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   396
        args = {}
e634d33deb86 added new website
haftmann
parents:
diff changeset
   397
        for keyval in shlex.split(data.encode("utf-8")):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   398
            key, val = keyval.split("=", 1)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   399
            args[key] = val
e634d33deb86 added new website
haftmann
parents:
diff changeset
   400
        func(self, **args)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   401
e634d33deb86 added new website
haftmann
parents:
diff changeset
   402
def parseWithER(istream, handler):
e634d33deb86 added new website
haftmann
parents:
diff changeset
   403
e634d33deb86 added new website
haftmann
parents:
diff changeset
   404
    parser = makeParser()
e634d33deb86 added new website
haftmann
parents:
diff changeset
   405
    parser.setContentHandler(handler)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   406
    parser.setEntityResolver(handler)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   407
    parser.parse(istream)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   408
e634d33deb86 added new website
haftmann
parents:
diff changeset
   409
def main():
e634d33deb86 added new website
haftmann
parents:
diff changeset
   410
e634d33deb86 added new website
haftmann
parents:
diff changeset
   411
    # parse command line
e634d33deb86 added new website
haftmann
parents:
diff changeset
   412
    cmdlineparser = optparse.OptionParser(
e634d33deb86 added new website
haftmann
parents:
diff changeset
   413
        usage = '%prog [options] [key=value]* src [dst]',
e634d33deb86 added new website
haftmann
parents:
diff changeset
   414
        conflict_handler = "error",
e634d33deb86 added new website
haftmann
parents:
diff changeset
   415
        description = '''Leightweight HTML page generation tool''',
e634d33deb86 added new website
haftmann
parents:
diff changeset
   416
        add_help_option = True,
e634d33deb86 added new website
haftmann
parents:
diff changeset
   417
    )
e634d33deb86 added new website
haftmann
parents:
diff changeset
   418
    cmdlineparser.add_option("-s", "--srcroot",
e634d33deb86 added new website
haftmann
parents:
diff changeset
   419
        action="store", dest="srcroot",
e634d33deb86 added new website
haftmann
parents:
diff changeset
   420
        type="string", default=".",
e634d33deb86 added new website
haftmann
parents:
diff changeset
   421
        help="source tree root", metavar='location')
e634d33deb86 added new website
haftmann
parents:
diff changeset
   422
    cmdlineparser.add_option("-d", "--dstroot",
e634d33deb86 added new website
haftmann
parents:
diff changeset
   423
        action="store", dest="dstroot",
e634d33deb86 added new website
haftmann
parents:
diff changeset
   424
        type="string", default=".",
e634d33deb86 added new website
haftmann
parents:
diff changeset
   425
        help="destination tree root", metavar='location')
e634d33deb86 added new website
haftmann
parents:
diff changeset
   426
    cmdlineparser.add_option("-t", "--dtd",
e634d33deb86 added new website
haftmann
parents:
diff changeset
   427
        action="store", dest="dtd",
e634d33deb86 added new website
haftmann
parents:
diff changeset
   428
        type="string", default=".",
e634d33deb86 added new website
haftmann
parents:
diff changeset
   429
        help="local mirror of XHTML DTDs", metavar='location')
e634d33deb86 added new website
haftmann
parents:
diff changeset
   430
    cmdlineparser.add_option("-m", "--encodinghtml",
e634d33deb86 added new website
haftmann
parents:
diff changeset
   431
        action="store", dest="encodinghtml",
e634d33deb86 added new website
haftmann
parents:
diff changeset
   432
        type="string", default="",
e634d33deb86 added new website
haftmann
parents:
diff changeset
   433
        help="force value of html content encoding meta ", metavar='encoding')
e634d33deb86 added new website
haftmann
parents:
diff changeset
   434
e634d33deb86 added new website
haftmann
parents:
diff changeset
   435
e634d33deb86 added new website
haftmann
parents:
diff changeset
   436
    options, args = cmdlineparser.parse_args(sys.argv[1:])
e634d33deb86 added new website
haftmann
parents:
diff changeset
   437
e634d33deb86 added new website
haftmann
parents:
diff changeset
   438
    # check source
e634d33deb86 added new website
haftmann
parents:
diff changeset
   439
    if len(args) < 1:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   440
        cmdlineparser.error("Exactly one soure file must be given")
e634d33deb86 added new website
haftmann
parents:
diff changeset
   441
e634d33deb86 added new website
haftmann
parents:
diff changeset
   442
    # read arguments
e634d33deb86 added new website
haftmann
parents:
diff changeset
   443
    valdict = {}
e634d33deb86 added new website
haftmann
parents:
diff changeset
   444
    if len(args) == 1:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   445
        src = args[0]
e634d33deb86 added new website
haftmann
parents:
diff changeset
   446
        dst = None
e634d33deb86 added new website
haftmann
parents:
diff changeset
   447
    else:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   448
        if "=" in args[-2]:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   449
            src = args[-1]
e634d33deb86 added new website
haftmann
parents:
diff changeset
   450
            dst = None
e634d33deb86 added new website
haftmann
parents:
diff changeset
   451
            vallist = args[:-1]
e634d33deb86 added new website
haftmann
parents:
diff changeset
   452
        else:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   453
            src = args[-2]
e634d33deb86 added new website
haftmann
parents:
diff changeset
   454
            dst = args[-1]
e634d33deb86 added new website
haftmann
parents:
diff changeset
   455
            if dst == "-":
e634d33deb86 added new website
haftmann
parents:
diff changeset
   456
                dst = None
e634d33deb86 added new website
haftmann
parents:
diff changeset
   457
            vallist = args[:-2]
e634d33deb86 added new website
haftmann
parents:
diff changeset
   458
        for keyval in vallist:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   459
            key, val = keyval.split("=", 1)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   460
            valdict[unicode(key, 'latin-1')] = unicode(val, 'latin-1')
e634d33deb86 added new website
haftmann
parents:
diff changeset
   461
e634d33deb86 added new website
haftmann
parents:
diff changeset
   462
    # path calculator
e634d33deb86 added new website
haftmann
parents:
diff changeset
   463
    pc = PathCalculator(src, options.srcroot, options.dstroot)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   464
e634d33deb86 added new website
haftmann
parents:
diff changeset
   465
    # function space
e634d33deb86 added new website
haftmann
parents:
diff changeset
   466
    modtime = os.stat(src).st_mtime
e634d33deb86 added new website
haftmann
parents:
diff changeset
   467
    func = Functions(pc, valdict, modtime, options.encodinghtml)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   468
e634d33deb86 added new website
haftmann
parents:
diff changeset
   469
    # allocate file handles
e634d33deb86 added new website
haftmann
parents:
diff changeset
   470
    istream = open(src, 'r')
e634d33deb86 added new website
haftmann
parents:
diff changeset
   471
    if dst is not None:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   472
        ostream = open(dst, 'wb')
e634d33deb86 added new website
haftmann
parents:
diff changeset
   473
    else:
e634d33deb86 added new website
haftmann
parents:
diff changeset
   474
        ostream = sys.stdout
e634d33deb86 added new website
haftmann
parents:
diff changeset
   475
e634d33deb86 added new website
haftmann
parents:
diff changeset
   476
    # process file
e634d33deb86 added new website
haftmann
parents:
diff changeset
   477
    transformer = TransformerHandler(ostream, outputEncoding, options.dtd, func)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   478
    parseWithER(istream, transformer)
e634d33deb86 added new website
haftmann
parents:
diff changeset
   479
e634d33deb86 added new website
haftmann
parents:
diff changeset
   480
    # close handles
e634d33deb86 added new website
haftmann
parents:
diff changeset
   481
    ostream.close()
e634d33deb86 added new website
haftmann
parents:
diff changeset
   482
    istream.close()
e634d33deb86 added new website
haftmann
parents:
diff changeset
   483
e634d33deb86 added new website
haftmann
parents:
diff changeset
   484
if __name__ == '__main__':
e634d33deb86 added new website
haftmann
parents:
diff changeset
   485
    main()
e634d33deb86 added new website
haftmann
parents:
diff changeset
   486
e634d33deb86 added new website
haftmann
parents:
diff changeset
   487
__todo__ = '''
e634d33deb86 added new website
haftmann
parents:
diff changeset
   488
'''