def doc_string(self, doc_string, strformat=unicode):
triplequotes = self.format('comments').text(u'"""')
self.text_lines = 2 + sum(
[(1 + (6 + len(line)) // self.display_width)
for line in doc_string.splitlines()])
doc_string = strformat(escape_triple_quotes(doc_string))
self.stream.write(indent(u'\n'.join([
triplequotes, doc_string, triplequotes]), u' ') + u'\n')
def doc_string(self, doc_string):
#self.stream.write(' """' + doc_string.content_type + '\n')
prefix = ' '
self.stream.write('%s"""\n' % prefix)
doc_string = escape_triple_quotes(indent(doc_string, prefix))
self.stream.write(doc_string)
self.stream.write('\n%s"""\n' % prefix)
self.stream.flush()
def doc_string(self, doc_string, strformat=unicode):
triplequotes = self.format('comments').text(u'"""')
self.text_lines = 2 + sum([(1 + (6 + len(line)) // self.display_width)
for line in doc_string.splitlines()])
doc_string = strformat(escape_triple_quotes(doc_string))
self.stream.write(
indent(u'\n'.join([triplequotes, doc_string, triplequotes]),
u' ') + u'\n')
def doc_string(self, doc_string):
#self.stream.write(' """' + doc_string.content_type + '\n')
prefix = ' '
self.stream.write('%s"""\n' % prefix)
doc_string = escape_triple_quotes(indent(doc_string, prefix))
self.stream.write(doc_string)
self.stream.write('\n%s"""\n' % prefix)
self.stream.flush()
def doc_string(self, doc_string):
#self.stream.write(' """' + doc_string.content_type + '\n')
doc_string = _text(doc_string)
prefix = u" "
if self.current_rule:
prefix += u" "
self.stream.write(u'%s"""\n' % prefix)
doc_string = escape_triple_quotes(indent(doc_string, prefix))
self.stream.write(doc_string)
self.stream.write(u'\n%s"""\n' % prefix)
self.stream.flush()
def doc_string(self, doc_string):
#self.stream.write(' """' + doc_string.content_type + '\n')
doc_string = _text(doc_string)
prefix = u" "
if self.current_rule:
prefix += u" "
self.stream.write(u'%s"""\n' % prefix)
doc_string = escape_triple_quotes(indent(doc_string, prefix))
self.stream.write(doc_string)
self.stream.write(u'\n%s"""\n' % prefix)
self.stream.flush()
