summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRemi Collet <fedora@famillecollet.com>2016-01-22 09:01:26 +0100
committerRemi Collet <fedora@famillecollet.com>2016-01-22 09:01:26 +0100
commitd84531c16dc55b04ae77badbd2115768010bd146 (patch)
tree93312497b385ef9d6789140fec070b77fce7b0c4
parent602c9b296cb3cd6fac9a374e214263d98c44c23b (diff)
pear PHP7 tracker update to Console_Table
-rw-r--r--mallard2man.py358
1 files changed, 0 insertions, 358 deletions
diff --git a/mallard2man.py b/mallard2man.py
deleted file mode 100644
index d628974..0000000
--- a/mallard2man.py
+++ /dev/null
@@ -1,358 +0,0 @@
-#!/usr/bin/env python
-
-#
-# mallard2man.py
-#
-# Copyright (C) 2014 MongoDB, Inc.
-#
-# This program is free software: you can redistribute it and/or modify
-# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation, either version 3 of the License, or
-# (at your option) any later version.
-#
-# This program is distributed in the hope that it will be useful,
-# but WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
-# GNU General Public License for more details.
-#
-# You should have received a copy of the GNU General Public License
-# along with this program. If not, see <http://www.gnu.org/licenses/>.
-#
-
-COPYRIGHT_HOLDER = "MongoDB, Inc."
-GROUP = "MongoDB C Driver"
-BUG_URL = 'https://jira.mongodb.org/browse/CDRIVER'
-
-"""
-This script is mean to convert a fairly basic mallard format documentation
-page to a groff styled man page.
-"""
-
-import os
-import re
-import sys
-
-import codecs
-from datetime import datetime
-from xml.etree import ElementTree
-
-INCLUDE = '{http://www.w3.org/2001/XInclude}include'
-TITLE = '{http://projectmallard.org/1.0/}title'
-SUBTITLE = '{http://projectmallard.org/1.0/}subtitle'
-SECTION = '{http://projectmallard.org/1.0/}section'
-INFO = '{http://projectmallard.org/1.0/}info'
-ITEM = '{http://projectmallard.org/1.0/}item'
-LISTING = '{http://projectmallard.org/1.0/}listing'
-LIST = '{http://projectmallard.org/1.0/}list'
-LINK = '{http://projectmallard.org/1.0/}link'
-LINKS = '{http://projectmallard.org/1.0/}links'
-SYNOPSIS = '{http://projectmallard.org/1.0/}synopsis'
-CODE = '{http://projectmallard.org/1.0/}code'
-P = '{http://projectmallard.org/1.0/}p'
-SCREEN = '{http://projectmallard.org/1.0/}screen'
-EM = '{http://projectmallard.org/1.0/}em'
-NOTE = '{http://projectmallard.org/1.0/}note'
-TABLE = '{http://projectmallard.org/1.0/}table'
-TR = '{http://projectmallard.org/1.0/}tr'
-TD = '{http://projectmallard.org/1.0/}td'
-OUTPUT = '{http://projectmallard.org/1.0/}output'
-
-# Matches "\" and "-", but not "\-".
-replaceables = re.compile(r'(\\(?!-))|((?<!\\)-)')
-
-
-class Convert(object):
- title = None
- subtitle = None
- sections = None
- relpath = None
-
- def __init__(self, inFile, outFile, section):
- self.inFile = inFile
- self.relpath = os.path.dirname(inFile)
- self.outFile = outFile
- self.section = section
- self.sections = []
-
- # Map: section id -> section element.
- self.sections_map = {}
-
- def _parse(self):
- self.tree = ElementTree.ElementTree()
- self.tree.parse(open(self.inFile))
- self.root = self.tree.getroot()
-
- # Python's standard ElementTree doesn't store an element's parent on
- # the element. Make a child->parent map.
- try:
- iterator = self.tree.iter()
- except AttributeError:
- # Python 2.6.
- iterator = self.tree.getiterator()
- self.parent_map = dict((c, p) for p in iterator for c in p)
-
- def _get_parent(self, ele):
- return self.parent_map[ele]
-
- def _extract(self):
- # Extract the title and subtitle.
- for child in self.root.getchildren():
- if child.tag == TITLE:
- # A title like "Version Checks" can't have spaces, otherwise
- # the "whatis" entry can't be parsed from the man page title.
- self.title = child.text.strip().replace(' ', '_')
- elif child.tag == SUBTITLE:
- self.subtitle = child.text.strip()
- elif child.tag == SECTION:
- if child.get('id'):
- self.sections_map[child.get('id')] = child
- self.sections.append(child)
-
- if not self.subtitle and 'description' in self.sections_map:
- # No "subtitle" element, use description section title as subtitle.
- self.subtitle = self._section_text(self.sections_map['description'])
-
- def _section_text(self, section):
- # Find <section id="description"><p>some text</p></section>.
- for child in section:
- if child.tag != TITLE:
- return self._textify_elem(child)
-
- def _textify_elem(self, elem):
- return ''.join(elem.itertext()).strip()
-
- def _writeComment(self, text=''):
- lines = text.split('\n')
- for line in lines:
- self.outFile.write('.\\" ')
- self.outFile.write(line)
- self.outFile.write('\n')
-
- def _escape_char(self, match):
- c = match.group(0)
- if c == "-":
- return r"\(hy"
- elif c == "\\":
- return "\\e"
-
- assert False, "invalid char passed to _escape_char: %r" % c
-
- def _escape(self, text):
- # Avoid "hyphen-used-as-minus-sign" lintian warning about man pages,
- # and escape text like "\0" as "\\0". We'll replace all "-" with "\(hy",
- # which is an explicit hyphen, but leave alone the first line's
- # "name \- description" text.
- return replaceables.sub(self._escape_char, text)
-
- def _write(self, text):
- self._write_noescape(self._escape(text))
-
- def _write_noescape(self, text):
- self.outFile.write(text)
-
- def _writeCommand(self, text):
- self._write(text)
- self._write('\n')
-
- def _writeLine(self, text):
- if text is not None:
- text = text.strip()
- if text.startswith('.'):
- text = '\\&' + text
- self._write(text)
- self._write('\n')
-
- def _generateHeader(self):
- year = datetime.utcnow().year
- self._writeComment('This manpage is Copyright (C) %s %s' % (year, COPYRIGHT_HOLDER))
- self._writeComment('')
- self._writeComment(
- "Permission is granted to copy, distribute and/or modify this document\n"
- "under the terms of the GNU Free Documentation License, Version 1.3\n"
- "or any later version published by the Free Software Foundation;\n"
- "with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.\n"
- "A copy of the license is included in the section entitled \"GNU\n"
- "Free Documentation License\".")
- self._writeComment('')
-
- date = datetime.fromtimestamp(int(os.stat(self.inFile).st_mtime)).strftime('%Y-%m-%d')
- title = self.title.replace('()','').upper()
- self._write('.TH "%s" "%s" "%s" "%s"\n' % (title, self.section, date, GROUP))
- self._write('.SH NAME\n')
- self._write_noescape('%s \\- %s\n' % (self.title, self.subtitle))
-
- def _generateSection(self, section):
- # Try to render the title first
- for child in section.getchildren():
- if child.tag == TITLE:
- s = child.text.strip().upper()
- self._writeCommand('.SH "%s"' % s)
- for child in section.getchildren():
- self._generateElement(child)
- if child.tail:
- self._writeLine(child.tail)
-
- def _generateSynopsis(self, synopsis):
- self._writeCommand('.nf')
- for child in synopsis.getchildren():
- self._generateElement(child)
- if child.tail:
- self._writeLine(child.tail)
- self._writeCommand('.fi')
-
- def _generateCode(self, code):
- text = code.text
- is_synopsis = self._get_parent(code).tag.endswith('synopsis')
- if text and '\n' not in text and not is_synopsis:
- text = text.replace('()', '(%s)' % self.section)
- self._writeCommand('.B ' + text)
- else:
- self._writeCommand('.nf')
- self._writeLine(code.text)
- for child in code.getchildren():
- self._generateElement(child)
- self._writeCommand('.fi')
-
- def _generateNote(self, note):
- self._writeCommand('.B NOTE')
- self._writeCommand('.RS')
- for child in note.getchildren():
- self._generateElement(child)
- if child.tail:
- self._writeLine(child.tail)
- self._writeCommand('.RE')
-
- def _generateP(self, p):
- if p.text:
- self._writeLine(p.text)
- for child in p.getchildren():
- self._generateElement(child)
- if child.tail:
- self._writeLine(child.tail)
-
- def _generateScreen(self, screen):
- for child in screen.getchildren():
- self._generateElement(child)
-
- def _generateListing(self, listing):
- for child in listing.getchildren():
- self._generateElement(child)
-
- def _generateList(self, l):
- for child in l.getchildren():
- self._generateElement(child)
-
- def _generateEM(self, em):
- self._writeCommand('.B %s' % em.text)
-
- def _generateOutput(self, output):
- self._generateCode(output)
-
- def _generateItem(self, item):
- self._writeCommand('.IP \\[bu] 2')
- for child in item.getchildren():
- self._generateElement(child)
-
- def _generateElement(self, ele):
- if ele.tag == SECTION:
- self._generateSection(ele)
- elif ele.tag == SYNOPSIS:
- self._generateSynopsis(ele)
- elif ele.tag == CODE:
- self._generateCode(ele)
- elif ele.tag == OUTPUT:
- self._generateOutput(ele)
- elif ele.tag == P:
- self._generateP(ele)
- elif ele.tag == EM:
- self._generateEM(ele)
- elif ele.tag == LISTING:
- self._generateListing(ele)
- elif ele.tag == ITEM:
- self._generateItem(ele)
- elif ele.tag == LIST:
- self._generateList(ele)
- elif ele.tag == TITLE:
- pass
- elif ele.tag == SCREEN:
- self._generateScreen(ele)
- elif ele.tag == LINK:
- self._generateLink(ele)
- elif ele.tag == NOTE:
- self._generateNote(ele)
- elif ele.tag == TABLE:
- self._generateTable(ele)
- elif ele.tag == TR:
- self._generateTr(ele)
- elif ele.tag == TD:
- self._generateTd(ele)
- elif ele.tag == INCLUDE:
- f = ele.attrib['href']
- f = os.path.join(self.relpath, f)
- d = codecs.open(f, 'r', encoding='utf-8').read()
- self._writeLine(d)
- else:
- print('unknown element type %s' % ele)
-
- def _generateTable(self, table):
- for child in table.getchildren():
- self._generateElement(child)
-
- def _generateTr(self, tr):
- self._writeCommand('.TP')
- self._writeCommand('.B')
- for child in tr.getchildren():
- self._generateElement(child)
- self._writeCommand('.LP')
-
- def _generateTd(self, td):
- for child in td.getchildren():
- self._generateElement(child)
-
- def _generateLink(self, link):
- text = link.text
- if text and '()' in text:
- text = text.replace('()', '(%s)' % self.section)
- if text:
- self._writeCommand('.B ' + text)
-
- def _generateSections(self):
- for section in self.sections:
- self._generateElement(section)
-
- def _generateFooter(self):
- self._write('\n.B')
- self._write('\n.SH COLOPHON')
- self._write('\nThis page is part of %s.' % GROUP)
- self._write('\nPlease report any bugs at %s.' % BUG_URL.replace('-','\\-'))
-
- def _generate(self):
- self.realname = self.outFile
- self.outFile = codecs.open(self.outFile + '.tmp', 'w', encoding='utf-8')
- self._generateHeader()
- self._generateSections()
- self._generateFooter()
- os.rename(self.outFile.name, self.realname)
- self.outFile.close()
-
- def convert(self):
- self._parse()
- self._extract()
- self._generate()
-
-def main(filenames, section='3'):
- for inFile in filenames:
- dirName = os.path.dirname(inFile) + '/man/'
- baseName = os.path.basename(inFile)
- baseFile = os.path.splitext(baseName)[0]
- outFile = dirName + baseFile + '.' + section
- c = Convert(inFile, outFile, section)
- c.convert()
-
-if __name__ == '__main__':
- if len(sys.argv) < 3:
- print('usage: %s SECTION FILENAMES...' % sys.argv[0])
- sys.exit(1)
- section = sys.argv[1]
- main(sys.argv[2:], section)
- sys.exit(0)