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