( self, double=False )
| 2007 | self.ofd.write( ")" ) |
| 2008 | |
| 2009 | def newline( self, double=False ): |
| 2010 | if double or not self.need_indent: |
| 2011 | self.ofd.write( "\n" ) |
| 2012 | self.need_indent = True |
| 2013 | |
| 2014 | def do_indent( self ): |
| 2015 | if self.need_indent: |
no test coverage detected