def main(argv): import getopt def usage(): print 'usage: %s [-d] [-p basedir] xml files ...' % argv[0] return 100 try: (opts, args) = getopt.getopt(argv[1:], 'dp:') except getopt.GetoptError: return usage() if not args: return usage() debug = 0 basedir = '.' for (k, v) in opts: if k == '-d': debug += 1 elif k == '-p': basedir = v modules = {} root = ElementTree().parse(args.pop(0)) for module in root.getchildren(): if module.tag != 'module': continue modules[module.get('name')] = module modules[module.get('src')] = module for name in args: try: module = modules[name] except KeyError: print >>sys.stderr, 'not found: %r' % name continue src = os.path.join(basedir, module.get('src')) fp = file(src) annot(fp, module) fp.close() return 0
def convert_to_wiki(text): output = StringIO() html = markdown(text, ["fenced_code"]) html = "<div>\n{0}\n</div>".format(html) root = ElementTree().parse(StringIO(html)) for child in root.getchildren(): if child.tag[0] == "h": try: level = int(child.tag[1]) except: continue headerHandler(child, output, level) elif child.tag in handlers: handlers[child.tag](child,output) else: print "Unknown tag {0}".format(child.tag) return output.getvalue()
def convert_to_wiki(text): output = StringIO() html = markdown(text, ["fenced_code"]) html = "<div>\n{0}\n</div>".format(html) root = ElementTree().parse(StringIO(html)) for child in root.getchildren(): if child.tag[0] == "h": try: level = int(child.tag[1]) except: continue headerHandler(child, output, level) elif child.tag in handlers: handlers[child.tag](child, output) else: print "Unknown tag {0}".format(child.tag) return output.getvalue()
def convert(self, markdown_text, levelOffset=0, contentType=""): self.levelOffset = levelOffset self.content = Content() self.contentType = contentType html = markdown(markdown_text, ["fenced_code"]) html = "<div>\n{0}\n</div>".format(html) root = ElementTree().parse(StringIO(html)) for child in root.getchildren(): if child.tag[0] == "h": try: level = int(child.tag[1]) except: continue self.headerHandler(child, level) elif child.tag in self.handlers: self.handlers[child.tag](self, child) else: print "Unknown tag {0}".format(child.tag) return self.content
def convert(self, markdown_text, levelOffset=0, contentType=""): self.levelOffset = levelOffset self.content = Content() self.contentType = contentType html = markdown(markdown_text, ["fenced_code"]) html = "<div>\n{0}\n</div>".format(html) root = ElementTree().parse(StringIO(html)) for child in root.getchildren(): if child.tag[0] == "h": try: level = int(child.tag[1]) except: continue self.headerHandler(child, level) elif child.tag in self.handlers: self.handlers[child.tag](self, child) else: print "Unknown tag {0}".format(child.tag) return self.content